randSat tst_v10_c100.cnf 10 100
randSat tst_v20_c100.cnf 20 100
randSat tst_v30_c100.cnf 30 100

randSat tst_v10_c200.cnf 10 200
randSat tst_v20_c200.cnf 20 200
randSat tst_v30_c200.cnf 30 200

randSat tst_v50_c500.cnf 50 500
randSat tst_v10_c50.cnf 10 50

randSat tst_v25_c100.cnf 25 100

randSat tst_v100_c5000.cnf 100 5000
randSat tst_v100_c400.cnf 100 400
randSat tst_v100_c430.cnf 100 430

randSat tst_v100_c420.cnf 100 420
randSat tst_v100_c425.cnf 100 425
