Category | filename -------------+------------------------------------------------------------------------------------------------------------------------------------------------------------------------- APPLICATION | SAT02/industrial/aloul/Bart/bart17.shuffled.cnf APPLICATION | SAT02/industrial/aloul/Homer/homer14.shuffled.cnf APPLICATION | SAT02/industrial/aloul/Homer/homer16.shuffled.cnf APPLICATION | SAT02/industrial/aloul/Homer/homer17.shuffled.cnf APPLICATION | SAT02/industrial/biere/dinphil/dp04s04.shuffled.cnf APPLICATION | SAT02/industrial/biere/dinphil/dp04u03.shuffled.cnf APPLICATION | SAT02/industrial/biere/dinphil/dp10s10.shuffled.cnf APPLICATION | SAT02/industrial/dellacherie/comb/comb1.shuffled.cnf APPLICATION | SAT02/industrial/goldberg/fpga_routing/vda_gr_rcs_w9.shuffled.cnf APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net60-25-10.shuffled.cnf APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net60-30-1.shuffled.cnf APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net60-40-10.shuffled.cnf APPLICATION | SAT02/industrial/goldberg/rand_net/rand_net70-60-10.shuffled.cnf APPLICATION | SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w8.shuffled.cnf APPLICATION | SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w9.shuffled.cnf APPLICATION | SAT03/industrial/goldberg/hard_eq_check/c6288mul.miter.shuffled-as.sat03-346.cnf APPLICATION | SAT03/industrial/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.cnf APPLICATION | SAT03/industrial/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.cnf APPLICATION | SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf APPLICATION | SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf APPLICATION | SAT03/industrial/li/li-test4/li-test4-100.shuffled-as.sat03-370.cnf APPLICATION | SAT03/industrial/maris/CNF/gripper13u.shuffled-as.sat03-395.cnf APPLICATION | SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf APPLICATION | SAT03/industrial/schuppan/l2s/dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf APPLICATION | SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf APPLICATION | SAT03/industrial/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf APPLICATION | SAT04/industrial/hoonsang/vis-bmc/all.used-as.sat04-986.cnf APPLICATION | SAT04/industrial/hoonsang/vis-bmc/dekker.used-as.sat04-989.cnf APPLICATION | SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf APPLICATION | SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf APPLICATION | SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf APPLICATION | SAT04/industrial/velev/pipe-sat-1-1/12pipe_bug4_q0.used-as.sat04-723.cnf APPLICATION | SAT04/industrial/velev/pipe-sat-1-1/12pipe_bug6_q0.used-as.sat04-725.cnf APPLICATION | SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf APPLICATION | SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf APPLICATION | SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_25.renamed-as.sat05-1913.cnf APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_32.renamed-as.sat05-1919.cnf APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_34.renamed-as.sat05-1926.cnf APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_35.renamed-as.sat05-1921.cnf APPLICATION | SAT05/industrial/grieu05/vmpc/vmpc_36.renamed-as.sat05-1922.cnf APPLICATION | SAT05/industrial/maris05/DriverLog/driverlog1_ks99i.renamed-as.sat05-3951.cnf APPLICATION | SAT05/industrial/maris05/DriverLog/driverlog3_v01a.renamed-as.sat05-3963.cnf APPLICATION | SAT05/industrial/maris05/Ferry/ferry5_ks99i.renamed-as.sat05-3994.cnf APPLICATION | SAT05/industrial/maris05/Rovers/rovers1_ks99i.renamed-as.sat05-3971.cnf APPLICATION | SAT05/industrial/narain05/vpn/clauses-8.renamed-as.sat05-1964.cnf APPLICATION | SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf APPLICATION | SAT07/industrial/anbulagan/hard-sat/partial-10-15-s.cnf APPLICATION | SAT07/industrial/anbulagan/hard-sat/partial-10-17-s.cnf APPLICATION | SAT07/industrial/anbulagan/hard-unsat/dated-10-17-u.cnf APPLICATION | SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf APPLICATION | SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf APPLICATION | SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf APPLICATION | SAT07/industrial/anbulagan/medium-unsat/dated-5-11-u.cnf APPLICATION | SAT07/industrial/babic/dspam/dspam_dump_vc949.cnf APPLICATION | SAT07/industrial/babic/hsatv17/hsat_vc12062.cnf APPLICATION | SAT07/industrial/crypto/mizh-sha0-36-2.cnf APPLICATION | SAT07/industrial/fuhs/hard/AProVE07-01.cnf APPLICATION | SAT07/industrial/fuhs/hard/AProVE07-03.cnf APPLICATION | SAT07/industrial/fuhs/medium/AProVE07-21.cnf APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k100.cnf APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k20.cnf APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k45.cnf APPLICATION | SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k80.cnf APPLICATION | SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf APPLICATION | SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf APPLICATION | SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf APPLICATION | SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf APPLICATION | SAT07/industrial/manolios/manol-pipe-f7idw.cnf APPLICATION | SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf APPLICATION | SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf APPLICATION | SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.cnf APPLICATION | SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf APPLICATION | SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug5.cnf APPLICATION | SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug6.cnf APPLICATION | SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf APPLICATION | SAT09/APPLICATIONS/bioinfo/q_query_3_L150_coli.sat.cnf APPLICATION | SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf APPLICATION | SAT09/APPLICATIONS/bioinfo/q_query_3_L70_coli.sat.cnf APPLICATION | SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray04_32.cnf APPLICATION | SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf APPLICATION | SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl064.cnf APPLICATION | SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner128.cnf APPLICATION | SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf APPLICATION | SAT09/APPLICATIONS/bitverif/maxxor/maxxor032.cnf APPLICATION | SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf APPLICATION | SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf APPLICATION | SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf APPLICATION | SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor016.cnf APPLICATION | SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf APPLICATION | SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf APPLICATION | SAT09/APPLICATIONS/bitverif/mulhs/mulhs016.cnf APPLICATION | SAT09/APPLICATIONS/bitverif/smulo/smulo064.cnf APPLICATION | SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf APPLICATION | SAT09/APPLICATIONS/c32sat/post-cbmc-zfcp-2.8-u2-noholes.cnf APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-14-s100.cnf APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-16-s100.cnf APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-19-s100.cnf APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-21-s100.cnf APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-22-s100.cnf APPLICATION | SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf APPLICATION | SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf APPLICATION | SAT09/APPLICATIONS/crypto/md5gen/gus-md5-12.cnf APPLICATION | SAT09/APPLICATIONS/diagnosis/ACG-10-10p0.cnf APPLICATION | SAT09/APPLICATIONS/diagnosis/ACG-15-5p1.cnf APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-15-10p1.cnf APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.cnf APPLICATION | SAT09/APPLICATIONS/diagnosis/UCG-20-5p1.cnf APPLICATION | SAT09/APPLICATIONS/diagnosis/UR-10-10p1.cnf APPLICATION | SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf APPLICATION | SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-10-5t1.cnf APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10p1.cnf APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10t0.cnf APPLICATION | SAT09/APPLICATIONS/diagnosis/UTI-20-10t1.cnf APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_19_UNKNOWN.cnf APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_09_UNKNOWN.cnf APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_15_SAT.cnf APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_18_SAT.cnf APPLICATION | SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-02.cnf APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-06.cnf APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-07.cnf APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-09.cnf APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-10.cnf APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-11.cnf APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-12.cnf APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-13.cnf APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-15.cnf APPLICATION | SAT11/application/fuhs/AProVE11/AProVE11-16.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom12.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom15.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom16.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom17.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom18.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom19.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom20.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom21.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom22.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom23.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom24.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom25.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom26.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top21.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top22.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top23.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top24.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top25.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top26.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top28.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top29.cnf APPLICATION | SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top30.cnf APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-13-step17.cnf APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step20.cnf APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step21.cnf APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step15.cnf APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step16.cnf APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step15.cnf APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step16.cnf APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step13.cnf APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step14.cnf APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-21-step11.cnf APPLICATION | SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-30-step11.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-countbits128-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-nlzbe256-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf APPLICATION | SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_10_keyfind_1.cnf APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_1_keyfind_1.cnf APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_2_keyfind_1.cnf APPLICATION | SAT11/application/kullmann/AES/Benchmarks/128/aes_128_3_keyfind_1.cnf APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_1_keyfind_1.cnf APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_2_keyfind_1.cnf APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_3_keyfind_1.cnf APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_4_keyfind_1.cnf APPLICATION | SAT11/application/kullmann/AES/Benchmarks/32/aes_32_5_keyfind_1.cnf APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_1_keyfind_1.cnf APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_2_keyfind_1.cnf APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_3_keyfind_1.cnf APPLICATION | SAT11/application/kullmann/AES/Benchmarks/64/aes_64_4_keyfind_1.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E00N23.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E00X23.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E02F17.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E03N17.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E04N18.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E05X15.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E07N15.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/E15N15.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/korf-15.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf APPLICATION | SAT11/application/leberre/2dimensionalstrippacking/korf-18.cnf APPLICATION | SAT11/application/manthey/traffic/traffic_3b_unknown.cnf APPLICATION | SAT11/application/manthey/traffic/traffic_3_uc_sat.cnf APPLICATION | SAT11/application/manthey/traffic/traffic_b_unsat.cnf APPLICATION | SAT11/application/manthey/traffic/traffic_fb_unknown.cnf APPLICATION | SAT11/application/manthey/traffic/traffic_f_unknown.cnf APPLICATION | SAT11/application/manthey/traffic/traffic_kkb_unknown.cnf APPLICATION | SAT11/application/manthey/traffic/traffic_pcb_unknown.cnf APPLICATION | SAT11/application/manthey/traffic/traffic_r_sat.cnf APPLICATION | SAT11/application/manthey/traffic/traffic_r_uc_sat.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.160-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.170-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.180-SAT.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.120-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.150-SAT.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-3.035-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-4.025-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.080-SAT.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf APPLICATION | SAT11/application/rintanen/SATPlanning/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf APPLICATION | SAT_RACE06/ibm-2002-21r-k95.cnf APPLICATION | SAT_RACE06/velev-npe-1.0-9dlx-b71.cnf APPLICATION | SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf APPLICATION | SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf APPLICATION | SAT_RACE06/velev-pipe-sat-1.0-b9.cnf APPLICATION | SAT_RACE08/cnf/ibm-2002-30r-k85.cnf APPLICATION | SAT_RACE08/cnf/ibm-2004-01-k90.cnf APPLICATION | SAT_RACE08/cnf/ibm-2004-23-k100.cnf APPLICATION | SAT_RACE08/cnf/manol-pipe-c10nidw.cnf APPLICATION | SAT_RACE08/cnf/manol-pipe-c6bidw_i.cnf APPLICATION | SAT_RACE08/cnf/manol-pipe-f7nidw.cnf APPLICATION | SAT_RACE08/cnf/mizh-sha0-36-4.cnf APPLICATION | SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf APPLICATION | SAT_RACE08/Q1/SAT_dat.k80_04.cnf APPLICATION | SAT_RACE08/Q1/SAT_dat.k85.cnf APPLICATION | SAT-Race-2010-CNF/cryptography/mizh/md5_48_3.cnf APPLICATION | SAT-Race-2010-CNF/cryptography/mizh/sha0_36_5.cnf APPLICATION | SAT-Race-2010-CNF/hardware-verification/manolios/c10idw_i.cnf APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/11pipe_11_ooo.cnf APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/11pipe_k.cnf APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf APPLICATION | SAT-Race-2010-CNF/hardware-verification/velev/2dlx_ca_bp_f_liveness.cnf APPLICATION | SAT-Race-2010-CNF/software-verification/nec/hard-18-U-10652.cnf APPLICATION | SAT-Race-2010-CNF/software-verification/nec/hard-25-U-7061.cnf APPLICATION | SAT-Race-2010-CNF/software-verification/nec/hard-6-U-7061.cnf CRAFTED | SAT02/handmade/chu-min-li/urquhart/urquhart3_25bis.shuffled.cnf CRAFTED | SAT02/handmade/pehoushek/plainoldcnf/5cnf_3500_3500_30f1.shuffled.cnf CRAFTED | SAT02/handmade/pehoushek/plainoldcnf/5cnf_3900_3900_060.shuffled.cnf CRAFTED | SAT02/handmade/pehoushek/plainoldcnf/5cnf_3900_3900_220.shuffled.cnf CRAFTED | SAT02/handmade/pehoushek/plainoldcnf/5cnf_4300_4300_110.shuffled.cnf CRAFTED | SAT02/handmade/pehoushek/plainoldcnf/5cnf_4300_4300_170.shuffled.cnf CRAFTED | SAT02/handmade/pehoushek/twentyvars/7cnf20_90000_90000_7.shuffled.cnf CRAFTED | SAT02/handmade/simon/satex-challenges/c6288.shuffled.cnf CRAFTED | SAT02/handmade/simon/satex-challenges/f600.shuffled.cnf CRAFTED | SAT02/handmade/simon/satex-challenges/par32-3.shuffled.cnf CRAFTED | SAT02/handmade/zhang-lintao/xor-chain/x1_40.shuffled.cnf CRAFTED | SAT02/handmade/zhang-lintao/xor-chain/x1_80.shuffled.cnf CRAFTED | SAT03/handmade/anton/SAT/SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf CRAFTED | SAT03/handmade/anton/UNSAT/SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf CRAFTED | SAT03/handmade/bevan/cnf/marg3x3add8ch.shuffled-as.sat03-1448.cnf CRAFTED | SAT03/handmade/bevan/cnf/marg3x3add8.shuffled-as.sat03-1449.cnf CRAFTED | SAT03/handmade/gomes/bqwh/bqwh.50.825.shuffled-as.sat03-1648.cnf CRAFTED | SAT03/handmade/gomes/bqwh/bqwh.60.1152.shuffled-as.sat03-1650.cnf CRAFTED | SAT03/handmade/markstrom/UNSATISFIABLE/mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf CRAFTED | SAT03/handmade/stanion/hwb/hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf CRAFTED | SAT03/handmade/stanion/hwb/hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf CRAFTED | SAT03/handmade/stanion/hwb/hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf CRAFTED | SAT03/handmade/stanion/hwb/hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf CRAFTED | SAT04/handmade/andrew/composite/Composite-024BitPrimes-1.used-as.sat04-861.cnf CRAFTED | SAT04/handmade/anton/l4k4/lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf CRAFTED | SAT04/handmade/anton/l5k3/lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf CRAFTED | SAT04/handmade/anton/l5k3/lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf CRAFTED | SAT04/handmade/connamacher/connm-d-0.02/connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf CRAFTED | SAT04/handmade/connamacher/connm-d0.02/connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf CRAFTED | SAT04/handmade/connamacher/connm-d0.04/connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf CRAFTED | SAT04/handmade/hirsch03/hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf CRAFTED | SAT04/handmade/kexu/frb-0.6/frb75-13-2.used-as.sat04-878.cnf CRAFTED | SAT04/handmade/kexu/frb-0.6/frb80-14-2.used-as.sat04-880.cnf CRAFTED | SAT04/handmade/kexu/frb-0.8/frb45-21-1.used-as.sat04-883.cnf CRAFTED | SAT04/handmade/kexu/frb-0.8/frb59-26-1.used-as.sat04-891.cnf CRAFTED | SAT04/handmade/kexu/frb-0.8/frb59-26-2.used-as.sat04-892.cnf CRAFTED | SAT04/handmade/marijn/equilarge-l/equilarge_l2.used-as.sat04-894.cnf CRAFTED | SAT04/handmade/marijn/equilarge-l/equilarge_l4.used-as.sat04-896.cnf CRAFTED | SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf CRAFTED | SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf CRAFTED | SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf CRAFTED | SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf CRAFTED | SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf CRAFTED | SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf CRAFTED | SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf CRAFTED | SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf CRAFTED | SAT05/crafted/lynce05/social-golfer-problem/sgp_5-6-8.shuffled-as.sat05-2669.cnf CRAFTED | SAT05/crafted/markstrom05/eulcbip/eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf CRAFTED | SAT05/crafted/roussel05/visbmc-PHNF/phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf CRAFTED | SAT05/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-020-019.shuffled-as.sat05-1232.cnf CRAFTED | SAT05/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-030-029.shuffled-as.sat05-1234.cnf CRAFTED | SAT05/crafted/sabharwal05/counting/php/unsat/easier/php-010-008.shuffled-as.sat05-1171.cnf CRAFTED | SAT05/crafted/sabharwal05/counting/php/unsat/easier/php-045-035.shuffled-as.sat05-1181.cnf CRAFTED | SAT05/crafted/sabharwal05/counting/php/unsat/harder/php-020-019.shuffled-as.sat05-1190.cnf CRAFTED | SAT05/crafted/sabharwal05/counting/php/unsat/harder/php-040-039.shuffled-as.sat05-1194.cnf CRAFTED | SAT05/crafted/sabharwal05/ordering/gt-ordering/sat/gt-030.shuffled-as.sat05-1295.cnf CRAFTED | SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf CRAFTED | SAT05/crafted/sabharwal05/planning/logistics/unsat/logistics-rotate-07t5.shuffled-as.sat05-1137.cnf CRAFTED | SAT05/crafted/sorge05/QG6/dead-dnd002.shuffled-as.sat05-2713.cnf CRAFTED | SAT05/crafted/sorge05/QG7a/gensys-brn002.shuffled-as.sat05-3935.cnf CRAFTED | SAT05/crafted/sorge05/QG7a/gensys-icl005.shuffled-as.sat05-3826.cnf CRAFTED | SAT05/crafted/sorge05/QG7a/gensys-ukn003.shuffled-as.sat05-3843.cnf CRAFTED | SAT05/crafted/sorge05/QG7a/gensys-ukn004.shuffled-as.sat05-3844.cnf CRAFTED | SAT05/crafted/sorge05/QG7a/gensys-ukn006.shuffled-as.sat05-3846.cnf CRAFTED | SAT05/crafted/sorge05/QG7a/gensys-ukn009.shuffled-as.sat05-3849.cnf CRAFTED | SAT05/crafted/sorge05/QG7/dead-dnd003.shuffled-as.sat05-3109.cnf CRAFTED | SAT05/crafted/sorge05/QG7/gensys-icl007.shuffled-as.sat05-3133.cnf CRAFTED | SAT05/crafted/sorge05/QG7/iso-ukn004.shuffled-as.sat05-3385.cnf CRAFTED | SAT05/crafted/sorge05/QG8/gensys-ukn007.shuffled-as.sat05-3586.cnf CRAFTED | SAT05/crafted/sorge05/QG8/iso-ukn009.shuffled-as.sat05-3632.cnf CRAFTED | SAT07/crafted/spence/hard/s113-100.cnf CRAFTED | SAT09/CRAFTED/edgematching/all/em_8_4_5_all.cnf CRAFTED | SAT09/CRAFTED/edgematching/compact/em_11_3_4_cmp.cnf CRAFTED | SAT09/CRAFTED/edgematching/compact/em_12_2_4_cmp.cnf CRAFTED | SAT09/CRAFTED/edgematching/compact/em_7_3_6_cmp.cnf CRAFTED | SAT09/CRAFTED/edgematching/fbcolors/em_8_4_5_fbc.cnf CRAFTED | SAT09/CRAFTED/modcircuits/mod3block_2vars_11gates_u2_autoenc.cnf CRAFTED | SAT09/CRAFTED/modcircuits/mod4block_2vars_8gates_u2.cnf CRAFTED | SAT09/CRAFTED/modcircuits/mod4block_3vars_7gates.cnf CRAFTED | SAT09/CRAFTED/parity-games/instance_n8_i8_pp_ci_ce.cnf CRAFTED | SAT09/CRAFTED/parity-games/instance_n9_i9_pp.cnf CRAFTED | SAT09/CRAFTED/ramseycube/Q3inK10.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v1560c133795gyes1.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2100c215164gyes4.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2400c266431gyes2.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2400c266431gyes3.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2640c305320gyes10.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2640c305320gyes3.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v760c43649gyes5.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v760c43649gyes6.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v760c43649gyes8.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes10.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes1.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes7.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v1820c171155g5.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v2400c266431g6.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v2400c266431g9.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v760c43649g2.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v760c43649g7.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v760c43649g9.cnf CRAFTED | SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v945c61409g3.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/forced/rbsat-v1150c84314gyes1.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/forced/rbsat-v1375c111739gyes10.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/forced/rbsat-v1820c171155gyes3.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/forced/rbsat-v2100c215164gyes2.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/forced/rbsat-v2100c215164gyes7.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/forced/rbsat-v2400c266431gyes1.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/forced/rbsat-v2400c266431gyes6.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/forced/rbsat-v2400c266431gyes7.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes10.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes2.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes3.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes5.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/forced/rbsat-v945c61409gyes5.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1150c84314g1.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1150c84314g7.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1375c111739g4.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1375c111739g6.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2100c215164g4.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2100c215164g9.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2400c266431g10.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2400c266431g3.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g5.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g7.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g3.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g4.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g6.cnf CRAFTED | SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g7.cnf CRAFTED | SAT09/CRAFTED/sgi/new-difficult-23-189-21-75.cnf CRAFTED | SAT09/CRAFTED/sgi/satsgi-n26himBHm28-p0-q293.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q225-n25-p15-s58217873.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q225-n25-p30-s70617701.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q255-n25-p15-s2076598.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q255-n25-p30-s39712998.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q585-n40-p15-s54275047.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q585-n40-p30-s19690873.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q663-n40-p15-s72490337.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q663-n40-p30-s67876261.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf CRAFTED | SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf CRAFTED | SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-5_527.cnf CRAFTED | SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-5_528.cnf CRAFTED | SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-6_2071.cnf CRAFTED | SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-6_2072.cnf CRAFTED | SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-4_511.cnf CRAFTED | SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-4_512.cnf CRAFTED | SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-5_4231.cnf CRAFTED | SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-5_4232.cnf CRAFTED | SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-5-5_34308.cnf CRAFTED | SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-5-5_34309.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-19_348.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-20_381.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-20_390.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_399.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_401.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_404.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_406.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_443.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_445.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_462.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_464.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_505.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_506.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_507.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_508.cnf CRAFTED | SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-24_567.cnf CRAFTED | SAT11/crafted/manthey/sudoku-single-hard/sudoku_81x81_unknown.cnf CRAFTED | SAT11/crafted/mosoi/289/289-sat-11x10.cnf CRAFTED | SAT11/crafted/mosoi/289/289-sat-11x4.cnf CRAFTED | SAT11/crafted/mosoi/289/289-sat-11x9.cnf CRAFTED | SAT11/crafted/mosoi/289/289-sat-12x14.cnf CRAFTED | SAT11/crafted/mosoi/289/289-sat-12x15.cnf CRAFTED | SAT11/crafted/mosoi/289/289-sat-14x8.cnf CRAFTED | SAT11/crafted/mosoi/289/289-sat-4x35.cnf CRAFTED | SAT11/crafted/mosoi/289/289-sat-4x8.cnf CRAFTED | SAT11/crafted/mosoi/289/289-sat-5x8.cnf CRAFTED | SAT11/crafted/mosoi/289/289-sat-6x19.cnf CRAFTED | SAT11/crafted/mosoi/289/289-sat-6x20.cnf CRAFTED | SAT11/crafted/mosoi/289/289-sat-6x8.cnf CRAFTED | SAT11/crafted/mosoi/289/289-sat-6x9.cnf CRAFTED | SAT11/crafted/mosoi/289/289-sat-7x6.cnf CRAFTED | SAT11/crafted/mosoi/289/289-sat-9x13.cnf CRAFTED | SAT11/crafted/mosoi/289/289-unsat-13x32.cnf CRAFTED | SAT11/crafted/mosoi/289/289-unsat-14x34.cnf CRAFTED | SAT11/crafted/mosoi/289/289-unsat-14x38.cnf CRAFTED | SAT11/crafted/mosoi/289/289-unsat-17x27.cnf CRAFTED | SAT11/crafted/mosoi/289/289-unsat-17x30.cnf CRAFTED | SAT11/crafted/mosoi/289/289-unsat-21x14.cnf CRAFTED | SAT11/crafted/mosoi/289/289-unsat-21x33.cnf CRAFTED | SAT11/crafted/mosoi/289/289-unsat-21x39.cnf CRAFTED | SAT11/crafted/mosoi/289/289-unsat-21x40.cnf CRAFTED | SAT11/crafted/mosoi/289/289-unsat-5x41.cnf CRAFTED | SAT11/crafted/mosoi/289/289-unsat-6x30.cnf CRAFTED | SAT11/crafted/mosoi/289/289-unsat-6x34.cnf CRAFTED | SAT11/crafted/mosoi/289/289-unsat-6x40.cnf CRAFTED | SAT11/crafted/mosoi/289/289-unsat-7x39.cnf CRAFTED | SAT11/crafted/mosoi/289/289-unsat-9x32.cnf CRAFTED | SAT11/crafted/skvortsov/automata-synchronization/crn_11_100_s.cnf CRAFTED | SAT11/crafted/skvortsov/automata-synchronization/crn_11_99_u.cnf CRAFTED | SAT11/crafted/skvortsov/automata-synchronization/crn_20_360_u.cnf CRAFTED | SAT11/crafted/skvortsov/automata-synchronization/crn_20_361_s.cnf CRAFTED | SAT11/crafted/skvortsov/automata-synchronization/crn_40_1520_u.cnf CRAFTED | SAT11/crafted/skvortsov/automata-synchronization/crn_40_1521_s.cnf CRAFTED | SAT11/crafted/skvortsov/automata-synchronization/rnd_100_27_s.cnf CRAFTED | SAT11/crafted/skvortsov/automata-synchronization/rnd_100_28_s.cnf CRAFTED | SAT11/crafted/skvortsov/automata-synchronization/rnd_100_28_u.cnf CRAFTED | SAT11/crafted/skvortsov/automata-synchronization/rnd_100_32_s.cnf CRAFTED | SAT11/crafted/skvortsov/automata-synchronization/rnd_150_29_u.cnf CRAFTED | SAT11/crafted/skvortsov/automata-synchronization/rnd_150_42_s.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-10-10-unsat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-10-17-sat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-10-18-sat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-10-19-sat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-11-11-unsat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-11-21-sat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-12-12-unsat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-12-23-sat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-13-13-unsat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-14-14-unsat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-14-26-sat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-14-27-sat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-15-15-unsat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-15-29-sat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-16-16-unsat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-16-31-sat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-17-33-sat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-24-57-sat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-5-8-unsat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-6-9-unsat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-7-12-unsat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-7-13-sat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-8-15-sat.cnf CRAFTED | SAT11/crafted/skvortsov/battleship/battleship-9-17-sat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n120-s12930489-sat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n120-s55656844-unsat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n130-s30940966-unsat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n140-s18527668-sat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n140-s20078956-unsat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n150-s89334302-unsat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n160-s40283905-sat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n160-s73223945-unsat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n170-s56409011-unsat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n180-s33098896-unsat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n180-s34713902-sat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n190-s29985700-unsat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n200-s00813792-unsat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n200-s39840374-sat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n220-s24359701-sat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n240-s78945233-sat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n260-s62321009-sat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n280-s93756482-sat.cnf CRAFTED | SAT11/crafted/spence/sgen/sgen3-n300-s12830984-sat.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v40000-c168000-S471691933-060-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v2000-c40000-S319509287-085-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v2000-c40000-S61914820-087-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v2000-c40000-S922811046-076-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v2000-c40000-S971556279-001-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v200-c17000-S1227169170-092-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v200-c17000-S1348818483-020-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v250-c21250-S58287803-001-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v250-c21250-S655589261-059-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v300-c25500-S1158419275-045-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v300-c25500-S1286362348-008-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v300-c25500-S1859210562-077-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v300-c25500-S680524168-083-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v300-c25500-S926861876-013-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v300-c25500-S942666749-061-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v400-c34000-S1163171897-095-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v400-c34000-S1275797759-041-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v400-c34000-S536077088-015-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v400-c34000-S817927155-033-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v400-c34000-S927774663-037-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf RANDOM | SAT11/random/large/unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S248192082-054.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v600-c2556-S869604189-077.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S910125393-002.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S1800377425-032.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S2092454698-027.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S396831120-092.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S375894551-007.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v150-c3195-S873866006-055.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v50-c1065-S1449708927-022.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S560963242-048.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S1818856267-075.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S1458811765-091.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S423984545-074.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf RANDOM | SAT11/random/medium/unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf (1200 rows)