default: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb simpsat instances/Sat_Data/bench/HW-verification/40randomsets/04_rule/SAT_dat.k75.cnf 0 300.0 2147483647 9207562 -gaussuntil '100' -maxnummatrixes '3' -minmatrixrows '20' -rnd-freq '0' -savematrix '2' CSSC-IBM-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb simpsat instances/Sat_Data/bench/HW-verification/40randomsets/04_rule/SAT_dat.k75.cnf 0 300.0 2147483647 9207562 -gaussuntil '0' -maxnummatrixes '5' -minmatrixrows '320' -rnd-freq '0.05' -savematrix '4' CSSC-5SAT500-sat-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb simpsat instances/Sat_Data/jack_instances/5sat500.test/unif-k5-r20.00-v500-c10000-S1025515093.cnf 0 300.0 2147483647 9207562 -gaussuntil '100' -maxnummatrixes '3' -minmatrixrows '20' -rnd-freq '0' -savematrix '2' CSSC-CircuitFuzz-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb simpsat instances/Sat_Data/circuit_fuzz/fuzz_100_6463.cnf UNSATISFIABLE 300.0 2147483647 9207562 -gaussuntil '0' -maxnummatrixes '3' -minmatrixrows '80' -rnd-freq '0' -savematrix '6' CSSC-GI-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb simpsat instances/Sat_Data/GI/iso_m2D_s36.AB23.cnf SATISFIABLE 300.0 2147483647 9207562 -gaussuntil '100' -maxnummatrixes '3' -minmatrixrows '20' -rnd-freq '0' -savematrix '2' CSSC-BMC08-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb simpsat instances/Sat_Data/bmc/bmc08-50/abp4ptimoneg.k50.cnf SATISFIABLE 300.0 2147483647 9207562 -gaussuntil '500' -maxnummatrixes '3' -minmatrixrows '40' -rnd-freq '0.005' -savematrix '4' CSSC-LABS-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb simpsat instances/Sat_Data/LABS/LABS_n025_goal004.cnf SATISFIABLE 300.0 2147483647 9207562 -gaussuntil '100' -maxnummatrixes '3' -minmatrixrows '20' -rnd-freq '0' -savematrix '2' CSSC-K3-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb simpsat instances/Sat_Data/K3-inst/k3-v275-c1172/unif-v275-c1172-797-S58452150.cnf UNSATISFIABLE 300.0 2147483647 9207562 -gaussuntil '0' -maxnummatrixes '5' -minmatrixrows '80' -rnd-freq '0' -savematrix '2' CSSC-unsat-unif-k5-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb simpsat instances/Sat_Data/unsat-unif-k5/unif-k5-r21.117-v50-c1056-S3376777782583961866.cnf UNSATISFIABLE 300.0 2147483647 9207562 -gaussuntil '200' -maxnummatrixes '3' -minmatrixrows '20' -rnd-freq '0' -savematrix '4' CSSC-SWV-300s-2days: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb simpsat instances/Sat_Data/bench/SW-verification/GZIP_v1.2.4__v1.1/gzip_vc1028.cnf SATISFIABLE 300.0 2147483647 9207562 -gaussuntil '0' -maxnummatrixes '3' -minmatrixrows '320' -rnd-freq '0.005' -savematrix '6'