default: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb Solver43 instances/Sat_Data/bench/HW-verification/40randomsets/04_rule/SAT_dat.k75.cnf 0 300.0 2147483647 9207562 -K '0.8' -R '1.4' -blocksort '1' -definesort '1' -elimbound '0' -elimsort '1' -innerlimit '10' -localtimelimit '5' -maxcommon '-1' -numlimit '-1' -rnd-freq '0' -scorefactor '1.5'
CSSC-IBM-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb Solver43 instances/Sat_Data/bench/HW-verification/40randomsets/04_rule/SAT_dat.k75.cnf 0 300.0 2147483647 9207562 -K '0.9' -R '1.45' -blocksort '0' -definesort '0' -elimbound '0' -elimsort '2' -innerlimit '10' -localtimelimit '1' -maxcommon '-1' -numlimit '1000' -rnd-freq '0.005' -scorefactor '1.4'
CSSC-5SAT500-sat-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb Solver43 instances/Sat_Data/jack_instances/5sat500.test/unif-k5-r20.00-v500-c10000-S1025515093.cnf 0 300.0 2147483647 9207562 -K '0.8' -R '1.4' -blocksort '1' -definesort '1' -elimbound '0' -elimsort '1' -innerlimit '10' -localtimelimit '5' -maxcommon '-1' -numlimit '-1' -rnd-freq '0' -scorefactor '1.5'
CSSC-CircuitFuzz-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb Solver43 instances/Sat_Data/circuit_fuzz/fuzz_100_6463.cnf UNSATISFIABLE 300.0 2147483647 9207562 -K '0.7' -R '1.35' -blocksort '2' -definesort '1' -elimbound '0' -elimsort '0' -innerlimit '-1' -localtimelimit '5' -maxcommon '-1' -numlimit '10000' -rnd-freq '0' -scorefactor '1.7'
CSSC-GI-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb Solver43 instances/Sat_Data/GI/iso_m2D_s36.AB23.cnf SATISFIABLE 300.0 2147483647 9207562 -K '0.9' -R '1.3' -blocksort '0' -definesort '0' -elimbound '5' -elimsort '1' -innerlimit '-1' -localtimelimit '5' -maxcommon '20000' -numlimit '10000' -rnd-freq '0' -scorefactor '5'
CSSC-BMC08-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb Solver43 instances/Sat_Data/bmc/bmc08-50/abp4ptimoneg.k50.cnf SATISFIABLE 300.0 2147483647 9207562 -K '0.8' -R '1.4' -blocksort '1' -definesort '1' -elimbound '0' -elimsort '1' -innerlimit '10' -localtimelimit '5' -maxcommon '-1' -numlimit '-1' -rnd-freq '0' -scorefactor '1.5'
CSSC-LABS-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb Solver43 instances/Sat_Data/LABS/LABS_n025_goal004.cnf SATISFIABLE 300.0 2147483647 9207562 -K '0.85' -R '1.35' -blocksort '0' -definesort '0' -elimbound '0' -elimsort '2' -innerlimit '10' -localtimelimit '5' -maxcommon '100' -numlimit '100000' -rnd-freq '0' -scorefactor '1.4'
CSSC-K3-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb Solver43 instances/Sat_Data/K3-inst/k3-v275-c1172/unif-v275-c1172-797-S58452150.cnf UNSATISFIABLE 300.0 2147483647 9207562 -K '0.7' -R '1.5' -blocksort '0' -definesort '2' -elimbound '0' -elimsort '2' -innerlimit '-1' -localtimelimit '5' -maxcommon '1000' -numlimit '-1' -rnd-freq '0' -scorefactor '1.5'
CSSC-unsat-unif-k5-300s-2day: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb Solver43 instances/Sat_Data/unsat-unif-k5/unif-k5-r21.117-v50-c1056-S3376777782583961866.cnf UNSATISFIABLE 300.0 2147483647 9207562 -K '0.7' -R '1.3' -blocksort '0' -definesort '1' -elimbound '0' -elimsort '0' -innerlimit '10' -localtimelimit '1' -maxcommon '100' -numlimit '10000' -rnd-freq '0' -scorefactor '5'
CSSC-SWV-300s-2days: cd /global/scratch/hutter/cssc/solvers; ruby ../scripts/generic_solver_wrapper.rb Solver43 instances/Sat_Data/bench/SW-verification/GZIP_v1.2.4__v1.1/gzip_vc1028.cnf SATISFIABLE 300.0 2147483647 9207562 -K '0.8' -R '1.5' -blocksort '0' -definesort '0' -elimbound '5' -elimsort '0' -innerlimit '20' -localtimelimit '1' -maxcommon '1000' -numlimit '-1' -rnd-freq '0' -scorefactor '5'