diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/scripts/aws/satcomp091113_updated')
| -rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/scripts/aws/satcomp091113_updated | 751 |
1 files changed, 0 insertions, 751 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/scripts/aws/satcomp091113_updated b/cryptominisat5/cryptominisat-5.6.3/scripts/aws/satcomp091113_updated deleted file mode 100644 index c94033705..000000000 --- a/cryptominisat5/cryptominisat-5.6.3/scripts/aws/satcomp091113_updated +++ /dev/null @@ -1,751 +0,0 @@ -satcomp091113/gss-20-s100.cnf.gz -satcomp091113/slp-synthesis-aes-bottom15.cnf.gz -satcomp091113/bivium-40-200-0s0-0x66b619d7b8e447710bf43b794ded6cfaf1e75bb8a947e14c78-50.cnf.gz -satcomp091113/bivium-40-200-0s0-0x92fc13b11169afbb2ef11a684d9fe9a19e743cd6aa5ce23fb5-19.cnf.gz -satcomp091113/countbitsarray02_32.cnf.gz -satcomp091113/ibm-2002-21r-k95.cnf.gz -satcomp091113/smtlib-qfbv-aigs-countbits128-tseitin.cnf.gz -satcomp091113/smulo128.cnf.gz -satcomp091113/gss-33-s100.cnf.gz -satcomp091113/rbcl_xits_08_UNSAT.cnf.gz -satcomp091113/rbcl_xits_09_UNKNOWN.cnf.gz -satcomp091113/minandmaxor032.cnf.gz -satcomp091113/icbrt1_32.cnf.gz -satcomp091113/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf.gz -satcomp091113/hitag2-8-60-0-0x880693399044612-25-SAT.cnf.gz -satcomp091113/traffic_pcb_unknown.cnf.gz -satcomp091113/k2fix_gr_rcs_w8.shuffled.cnf.gz -satcomp091113/pb_300_01_lb_00.cnf.gz -satcomp091113/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf.gz -satcomp091113/bierebob12s02.cnf.gz -satcomp091113/mizh-md5-48-5.cnf.gz -satcomp091113/b04_s_unknown.cnf.gz -satcomp091113/rbcl_xits_14_SAT.cnf.gz -satcomp091113/rpoc_xits_12_UNKNOWN.cnf.gz -satcomp091113/6s20.cnf.gz -satcomp091113/manol-pipe-c10nid_i.cnf.gz -satcomp091113/22-160-nossum003.cnf.gz -satcomp091113/md5_48_2.cnf.gz -satcomp091113/AProVE07-25.cnf.gz -satcomp091113/q_query_3_l45_lambda.cnf.gz -satcomp091113/UR-15-5p0.cnf.gz -satcomp091113/9dlx_vliw_at_b_iq3.cnf.gz -satcomp091113/manol-pipe-g6bi.cnf.gz -satcomp091113/aaai10-planning-ipc5-rovers-18-step11.cnf.gz -satcomp091113/total-5-11-u.cnf.gz -satcomp091113/aes_64_2_keyfind_1.cnf.gz -satcomp091113/grid-strips-grid-y-3.035-NOTKNOWN.cnf.gz -satcomp091113/blocks-blocks-37-1.120-NOTKNOWN.cnf.gz -satcomp091113/ACG-10-10p0.cnf.gz -satcomp091113/traffic_f_unknown.cnf.gz -satcomp091113/9vliw_m_9stages_iq3_C1_bug8.cnf.gz -satcomp091113/traffic_fb_unknown.cnf.gz -satcomp091113/partial-10-11-s.cnf.gz -satcomp091113/AProVE09-20.cnf.gz -satcomp091113/aaai10-planning-ipc5-pathways-17-step20.cnf.gz -satcomp091113/li-exam-61.shuffled-as.sat03-366.cnf.gz -satcomp091113/manol-pipe-f7idw.cnf.gz -satcomp091113/b04_s_2_unknown_pre.cnf.gz -satcomp091113/partial-5-13-u.cnf.gz -satcomp091113/q_query_3_l40_lambda.cnf.gz -satcomp091113/AProVE07-16.cnf.gz -satcomp091113/goldb-heqc-dalumul.cnf.gz -satcomp091113/vmpc_29.cnf.gz -satcomp091113/9vliw_m_9stages_iq3_C1_bug9.cnf.gz -satcomp091113/biere6s139.cnf.gz -satcomp091113/aaai10-planning-ipc5-pathways-13-step17.cnf.gz -satcomp091113/E05X15.cnf.gz -satcomp091113/minandmaxor128.cnf.gz -satcomp091113/ACG-15-5p1.cnf.gz -satcomp091113/vmpc_36.renamed-as.sat05-1922.cnf.gz -satcomp091113/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf.gz -satcomp091113/maxxororand032.cnf.gz -satcomp091113/manol-pipe-c6nidw_i.cnf.gz -satcomp091113/q_query_3_l48_lambda.cnf.gz -satcomp091113/aaai10-planning-ipc5-TPP-21-step11.cnf.gz -satcomp091113/countbitsarray04_32.cnf.gz -satcomp091113/slp-synthesis-aes-bottom14.cnf.gz -satcomp091113/q_query_3_l41_lambda.cnf.gz -satcomp091113/AProVE09-22.cnf.gz -satcomp091113/23-80-nossum001.cnf.gz -satcomp091113/blocks-blocks-36-0.170-NOTKNOWN.cnf.gz -satcomp091113/22-128-nossum010.cnf.gz -satcomp091113/biere6s9.cnf.gz -satcomp091113/velev-vliw-uns-4.0-9.cnf.gz -satcomp091113/ctl_4291_567_9_unsat_pre.cnf.gz -satcomp091113/smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf.gz -satcomp091113/biere6s166.cnf.gz -satcomp091113/22-160-nossum009.cnf.gz -satcomp091113/maxxororand064.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf.gz -satcomp091113/manol-pipe-g10nid.cnf.gz -satcomp091113/hitag2-7-60-0-0xe8fa35372ed37e2-80.cnf.gz -satcomp091113/AProVE09-03.cnf.gz -satcomp091113/ctl_4291_567_11_unsat.cnf.gz -satcomp091113/E04F19.cnf.gz -satcomp091113/pb_400_09_lb_02.cnf.gz -satcomp091113/6s137.cnf.gz -satcomp091113/gss-28-s100.cnf.gz -satcomp091113/li-test4-100.shuffled-as.sat03-370.cnf.gz -satcomp091113/22-144-nossum005.cnf.gz -satcomp091113/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf.gz -satcomp091113/manol-pipe-f7nidw.cnf.gz -satcomp091113/dated-10-13-u.cnf.gz -satcomp091113/manol-pipe-g10bidw.cnf.gz -satcomp091113/vda_gr_rcs_w9.shuffled.cnf.gz -satcomp091113/80-8-nossum006.cnf.gz -satcomp091113/hitag2-10-60-0-0xe14721bd199894a-99.cnf.gz -satcomp091113/UR-20-5p0.cnf.gz -satcomp091113/rbcl_xits_11_UNKNOWN.cnf.gz -satcomp091113/hitag2-10-60-0-0xa04d664a73eac4d-66.cnf.gz -satcomp091113/E00X23.cnf.gz -satcomp091113/biere6s19.cnf.gz -satcomp091113/22-144-nossum003.cnf.gz -satcomp091113/aes_64_3_keyfind_1.cnf.gz -satcomp091113/minxorminand064.cnf.gz -satcomp091113/schup-l2s-guid-1-k56.cnf.gz -satcomp091113/rpoc_xits_09_UNSAT.cnf.gz -satcomp091113/uts-l05-ipc5-h26-unsat.cnf.gz -satcomp091113/ctl_4291_567_8_unsat_pre.cnf.gz -satcomp091113/6pipe_6_ooo.shuffled-as.sat03-413.cnf.gz -satcomp091113/zfcp-2.8-u2-nh.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf.gz -satcomp091113/q_query_3_L90_coli.sat.cnf.gz -satcomp091113/ndhf_xits_21_SAT.cnf.gz -satcomp091113/q_query_3_L150_coli.sat.cnf.gz -satcomp091113/22-160-nossum007.cnf.gz -satcomp091113/q_query_3_l47_lambda.cnf.gz -satcomp091113/smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.gz -satcomp091113/gss-25-s100.cnf.gz -satcomp091113/pb_300_05_lb_17.cnf.gz -satcomp091113/bierebob12s04.cnf.gz -satcomp091113/vmpc_24.cnf.gz -satcomp091113/manol-pipe-c7nidw.cnf.gz -satcomp091113/goldb-heqc-i10mul.cnf.gz -satcomp091113/velev-pipe-sat-1.0-b7.cnf.gz -satcomp091113/gss-15-s100.cnf.gz -satcomp091113/vmpc_28.cnf.gz -satcomp091113/countbitswegner064.cnf.gz -satcomp091113/smulo016.cnf.gz -satcomp091113/gus-md5-14.cnf.gz -satcomp091113/cmu-bmc-barrel6.cnf.gz -satcomp091113/gripper13u.shuffled-as.sat03-395.cnf.gz -satcomp091113/blocks-blocks-36-0.160-NOTKNOWN.cnf.gz -satcomp091113/minor032.cnf.gz -satcomp091113/E02F20.cnf.gz -satcomp091113/gss-17-s100.cnf.gz -satcomp091113/ndhf_xits_15_UNKNOWN.cnf.gz -satcomp091113/9vliw_m_9stages_iq3_C1_bug6.cnf.gz -satcomp091113/22-160-nossum001.cnf.gz -satcomp091113/gss-21-s100.cnf.gz -satcomp091113/aes_128_2_keyfind_1.cnf.gz -satcomp091113/mizh-sha0-36-4.cnf.gz -satcomp091113/md5_47_1.cnf.gz -satcomp091113/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf.gz -satcomp091113/p01_lb_05.cnf.gz -satcomp091113/22-128-nossum007.cnf.gz -satcomp091113/slp-synthesis-aes-bottom20.cnf.gz -satcomp091113/gss-16-s100.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf.gz -satcomp091113/AProVE09-07.cnf.gz -satcomp091113/23-96-nossum003.cnf.gz -satcomp091113/mizh-sha0-36-2.cnf.gz -satcomp091113/gss-31-s100.cnf.gz -satcomp091113/eq.atree.braun.9.unsat.cnf.gz -satcomp091113/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf.gz -satcomp091113/11pipe_k.cnf.gz -satcomp091113/pb_300_05_lb_16.cnf.gz -satcomp091113/rpoc_xits_10_UNKNOWN.cnf.gz -satcomp091113/hitag2-10-60-0-0x2201a94920a2d2e-8.cnf.gz -satcomp091113/AProVE07-11.cnf.gz -satcomp091113/dated-10-11-u.cnf.gz -satcomp091113/grid-strips-grid-y-4.025-NOTKNOWN.cnf.gz -satcomp091113/23-64-nossum003.cnf.gz -satcomp091113/smtlib-qfbv-aigs-nlzbe256-tseitin.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf.gz -satcomp091113/22-160-nossum002.cnf.gz -satcomp091113/driverlog1_ks99i.renamed-as.sat05-3951.cnf.gz -satcomp091113/slp-synthesis-aes-top28.cnf.gz -satcomp091113/E04N18.cnf.gz -satcomp091113/9vliw_m_9stages_iq3_C1_bug7.cnf.gz -satcomp091113/AProVE09-24.cnf.gz -satcomp091113/slp-synthesis-aes-bottom21.cnf.gz -satcomp091113/grieu-vmpc-31.cnf.gz -satcomp091113/rand_net60-30-1.shuffled.cnf.gz -satcomp091113/aes_64_4_keyfind_1.cnf.gz -satcomp091113/maxor128.cnf.gz -satcomp091113/maxxor032.cnf.gz -satcomp091113/total-10-15-s.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf.gz -satcomp091113/aaai10-planning-ipc5-pipesworld-18-step15.cnf.gz -satcomp091113/gus-md5-10.cnf.gz -satcomp091113/velev-pipe-o-uns-1.0-7.cnf.gz -satcomp091113/AProVE11-02.cnf.gz -satcomp091113/goldb-heqc-alu4mul.cnf.gz -satcomp091113/comb1.shuffled.cnf.gz -satcomp091113/q_query_3_l37_lambda.cnf.gz -satcomp091113/aes_24_4_keyfind_4.cnf.gz -satcomp091113/minor064.cnf.gz -satcomp091113/minxor128.cnf.gz -satcomp091113/80-8-nossum005.cnf.gz -satcomp091113/slp-synthesis-aes-bottom19.cnf.gz -satcomp091113/abb313GPIA-9-tr.used-as.sat04-321.cnf.gz -satcomp091113/9dlx_vliw_at_b_iq7.cnf.gz -satcomp091113/hard-25-U-7061.cnf.gz -satcomp091113/bivium-39-200-0s0-0x5fa955de2b4f64d00226837d226c955de4566ce95f660180d7-30.cnf.gz -satcomp091113/UCG-15-10p1.cnf.gz -satcomp091113/22-160-nossum008.cnf.gz -satcomp091113/manol-pipe-c10nidw.cnf.gz -satcomp091113/eq.atree.braun.8.unsat.cnf.gz -satcomp091113/UCG-15-10p0.cnf.gz -satcomp091113/E05F20.cnf.gz -satcomp091113/countbitsrotate128.cnf.gz -satcomp091113/slp-synthesis-aes-top24.cnf.gz -satcomp091113/partial-10-13-s.cnf.gz -satcomp091113/partial-10-17-s.cnf.gz -satcomp091113/22-144-nossum002.cnf.gz -satcomp091113/ctl_3791_556_unsat.cnf.gz -satcomp091113/gss-23-s100.cnf.gz -satcomp091113/blocks-4-ipc5-h22-unknown.cnf.gz -satcomp091113/sortnet-8-ipc5-h18-unsat.cnf.gz -satcomp091113/hitag2-10-60-0-0xe6754daf48162bf-46.cnf.gz -satcomp091113/9dlx_vliw_at_b_iq5.cnf.gz -satcomp091113/velev-npe-1.0-9dlx-b71.cnf.gz -satcomp091113/blocks-blocks-37-1.130-NOTKNOWN.cnf.gz -satcomp091113/pb_400_09_lb_04.cnf.gz -satcomp091113/schup-l2s-abp4-1-k31.cnf.gz -satcomp091113/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf.gz -satcomp091113/AProVE11-10.cnf.gz -satcomp091113/slp-synthesis-aes-bottom16.cnf.gz -satcomp091113/ctl_4201_555_unsat.cnf.gz -satcomp091113/ctl_3082_415_unsat_pre.cnf.gz -satcomp091113/simon-s03-w08-15.cnf.gz -satcomp091113/9dlx_vliw_at_b_iq8.cnf.gz -satcomp091113/ibm-2004-23-k100.cnf.gz -satcomp091113/22-128-nossum003.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf.gz -satcomp091113/23-96-nossum007.cnf.gz -satcomp091113/9vliw_m_9stages_iq3_C1_bug10.cnf.gz -satcomp091113/gus-md5-08.cnf.gz -satcomp091113/arcfour_initialPermutation_6_15.cnf.gz -satcomp091113/gss-22-s100.cnf.gz -satcomp091113/aes_24_4_keyfind_2.cnf.gz -satcomp091113/bivium-39-200-0s0-0x28df9231b320bd56dfb68bfc7c3f0ca20dbae6b0eba535ad91-98.cnf.gz -satcomp091113/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf.gz -satcomp091113/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf.gz -satcomp091113/gus-md5-04.cnf.gz -satcomp091113/q_query_3_L200_coli.sat.cnf.gz -satcomp091113/gss-14-s100.cnf.gz -satcomp091113/vmpc_33.cnf.gz -satcomp091113/vmpc_34.cnf.gz -satcomp091113/AProVE11-12.cnf.gz -satcomp091113/E15N15.cnf.gz -satcomp091113/22-128-nossum006.cnf.gz -satcomp091113/all.used-as.sat04-986.cnf.gz -satcomp091113/countbitssrl032.cnf.gz -satcomp091113/mizh-sha0-35-3.cnf.gz -satcomp091113/partial-5-17-u.cnf.gz -satcomp091113/aes_64_1_keyfind_1.cnf.gz -satcomp091113/bob12m04.cnf.gz -satcomp091113/grid-strips-grid-y-3.045-NOTKNOWN.cnf.gz -satcomp091113/ibm-2004-01-k90.cnf.gz -satcomp091113/rpoc_xits_14_UNKNOWN.cnf.gz -satcomp091113/ACG-20-5p1.cnf.gz -satcomp091113/simon-s02b-dp11u10.cnf.gz -satcomp091113/rand_net60-25-10.shuffled.cnf.gz -satcomp091113/simon-s03-fifo8-300.cnf.gz -satcomp091113/manol-pipe-c6bidw_i.cnf.gz -satcomp091113/hard-6-U-7061.cnf.gz -satcomp091113/hitag2-10-60-0-0xac23f1205f76343-96.cnf.gz -satcomp091113/mulhs032.cnf.gz -satcomp091113/slp-synthesis-aes-top22.cnf.gz -satcomp091113/AProVE11-13.cnf.gz -satcomp091113/bivium-39-200-0s0-0xdcfb6ab71951500b8e460045bd45afee15c87e08b0072eb174-43.cnf.gz -satcomp091113/md5_48_3.cnf.gz -satcomp091113/countbitssrl128.cnf.gz -satcomp091113/b_unsat_pre.cnf.gz -satcomp091113/slp-synthesis-aes-bottom18.cnf.gz -satcomp091113/9dlx_vliw_at_b_iq1.cnf.gz -satcomp091113/hitag2-10-60-0-0xdf7fa6426edec07-17.cnf.gz -satcomp091113/gus-md5-07.cnf.gz -satcomp091113/minxorminand128.cnf.gz -satcomp091113/b04_s_unknown_pre.cnf.gz -satcomp091113/ctl_4291_567_12_unsat.cnf.gz -satcomp091113/UTI-20-10p0.cnf.gz -satcomp091113/ndhf_xits_14_UNSAT.cnf.gz -satcomp091113/total-5-15-u.cnf.gz -satcomp091113/vmpc_25.renamed-as.sat05-1913.cnf.gz -satcomp091113/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf.gz -satcomp091113/q_query_3_L70_coli.sat.cnf.gz -satcomp091113/ACG-15-10p1.cnf.gz -satcomp091113/ndhf_xits_11_UNSAT.cnf.gz -satcomp091113/aes_32_3_keyfind_1.cnf.gz -satcomp091113/smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf.gz -satcomp091113/eq.atree.braun.13.unsat.cnf.gz -satcomp091113/AProVE11-15.cnf.gz -satcomp091113/rbcl_xits_10_UNKNOWN.cnf.gz -satcomp091113/manol-pipe-g10id.cnf.gz -satcomp091113/SAT_dat.k80_04.cnf.gz -satcomp091113/22-144-nossum007.cnf.gz -satcomp091113/partial-5-11-u.cnf.gz -satcomp091113/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf.gz -satcomp091113/sha0_36_5.cnf.gz -satcomp091113/9pipe_k.cnf.gz -satcomp091113/pb_400_03_lb_07.cnf.gz -satcomp091113/blocks-4-ipc5-h21-unknown.cnf.gz -satcomp091113/hitag2-10-60-0-0xa360966c6eb75c4-62.cnf.gz -satcomp091113/slp-synthesis-aes-bottom17.cnf.gz -satcomp091113/partial-5-17-s.cnf.gz -satcomp091113/mizh-sha0-36-3.cnf.gz -satcomp091113/korf-18.cnf.gz -satcomp091113/total-10-13-u.cnf.gz -satcomp091113/k2mul.miter.shuffled-as.sat03-355.cnf.gz -satcomp091113/rbcl_xits_13_UNKNOWN.cnf.gz -satcomp091113/ibm-2002-30r-k85.cnf.gz -satcomp091113/pb_200_05_lb_00.cnf.gz -satcomp091113/UTI-15-5p1.cnf.gz -satcomp091113/rbcl_xits_07_UNSAT.cnf.gz -satcomp091113/hitag2-8-60-0-0xdcdbc8bf368ee73-37.cnf.gz -satcomp091113/manol-pipe-g7nidw.cnf.gz -satcomp091113/partial-10-13-u.cnf.gz -satcomp091113/dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf.gz -satcomp091113/aaai10-planning-ipc5-pathways-17-step21.cnf.gz -satcomp091113/8pipe_k.cnf.gz -satcomp091113/1dlx_c_iq57_a.cnf.gz -satcomp091113/23-64-nossum004.cnf.gz -satcomp091113/uts-l06-ipc5-h31-unknown.cnf.gz -satcomp091113/ctl_4291_567_2_unsat_pre.cnf.gz -satcomp091113/blocks-blocks-36-0.180-SAT.cnf.gz -satcomp091113/aaai10-planning-ipc5-pipesworld-12-step16.cnf.gz -satcomp091113/gss-13-s100.cnf.gz -satcomp091113/countbitsarray32_32.cnf.gz -satcomp091113/pb_400_03_lb_05.cnf.gz -satcomp091113/hard-18-U-10652.cnf.gz -satcomp091113/ctl_4291_567_10_unsat_pre.cnf.gz -satcomp091113/velev-pipe-sat-1.0-b10.cnf.gz -satcomp091113/pb_300_05_lb_11.cnf.gz -satcomp091113/smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf.gz -satcomp091113/AProVE07-03.cnf.gz -satcomp091113/hitag2-8-60-0-0xb2021557d918860-94.cnf.gz -satcomp091113/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf.gz -satcomp091113/gss-18-s100.cnf.gz -satcomp091113/slp-synthesis-aes-bottom25.cnf.gz -satcomp091113/traffic_3b_unknown.cnf.gz -satcomp091113/uts-l06-ipc5-h35-unknown.cnf.gz -satcomp091113/AProVE07-02.cnf.gz -satcomp091113/aes_32_1_keyfind_1.cnf.gz -satcomp091113/partial-10-19-s.cnf.gz -satcomp091113/arcfour_initialPermutation_6_56.cnf.gz -satcomp091113/22-144-nossum001.cnf.gz -satcomp091113/pb_300_02_lb_06.cnf.gz -satcomp091113/post-c32s-gcdm16-23.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf.gz -satcomp091113/UR-10-10p1.cnf.gz -satcomp091113/velev-engi-uns-1.0-4nd.cnf.gz -satcomp091113/velev-pipe-uns-1.0-8.cnf.gz -satcomp091113/hoons-vbmc-lucky7.cnf.gz -satcomp091113/md5_47_3.cnf.gz -satcomp091113/12pipe_bug4_q0.used-as.sat04-723.cnf.gz -satcomp091113/hitag2-10-60-0-0xbc15b17d0353413-10.cnf.gz -satcomp091113/hsat_vc11803.cnf.gz -satcomp091113/22-144-nossum009.cnf.gz -satcomp091113/UCG-15-5p0.cnf.gz -satcomp091113/goldb-heqc-x1mul.cnf.gz -satcomp091113/safe-30-h29-unsat.cnf.gz -satcomp091113/maxxor128.cnf.gz -satcomp091113/cube-11-h13-unsat.cnf.gz -satcomp091113/md5_47_2.cnf.gz -satcomp091113/driverlog3_v01a.renamed-as.sat05-3963.cnf.gz -satcomp091113/pb_200_10_lb_15.cnf.gz -satcomp091113/q_query_3_l46_lambda.cnf.gz -satcomp091113/smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf.gz -satcomp091113/AProVE11-09.cnf.gz -satcomp091113/ndhf_xits_13_UNSAT.cnf.gz -satcomp091113/q_query_3_l43_lambda.cnf.gz -satcomp091113/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf.gz -satcomp091113/aaai10-planning-ipc5-TPP-30-step11.cnf.gz -satcomp091113/slp-synthesis-aes-top26.cnf.gz -satcomp091113/arcfour_initialPermutation_6_14.cnf.gz -satcomp091113/arcfour_initialPermutation_6_16.cnf.gz -satcomp091113/E05F18.cnf.gz -satcomp091113/UTI-10-5t1.cnf.gz -satcomp091113/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-NOTKNOWN.cnf.gz -satcomp091113/slp-synthesis-aes-bottom24.cnf.gz -satcomp091113/7pipe_k.cnf.gz -satcomp091113/rbcl_xits_15_SAT.cnf.gz -satcomp091113/vmpc_26.cnf.gz -satcomp091113/dspam_dump_vc949.cnf.gz -satcomp091113/gus-md5-16.cnf.gz -satcomp091113/xinetd_vc56703.cnf.gz -satcomp091113/ctl_4291_567_7_unsat.cnf.gz -satcomp091113/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf.gz -satcomp091113/dp04s04.shuffled.cnf.gz -satcomp091113/vmpc_29.renamed-as.sat05-1916.cnf.gz -satcomp091113/aaai10-planning-ipc5-rovers-18-step12.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf.gz -satcomp091113/ACG-15-10p0.cnf.gz -satcomp091113/UCG-20-10p1.cnf.gz -satcomp091113/een-tip-sat-texas-tp-5e.cnf.gz -satcomp091113/slp-synthesis-aes-bottom13.cnf.gz -satcomp091113/rbcl_xits_06_UNSAT.cnf.gz -satcomp091113/velev-vliw-uns-4.0-9-i1.cnf.gz -satcomp091113/pb_300_02_lb_07.cnf.gz -satcomp091113/biere6s20.cnf.gz -satcomp091113/ndhf_xits_16_UNKNOWN.cnf.gz -satcomp091113/aaai10-planning-ipc5-pipesworld-27-step14.cnf.gz -satcomp091113/aes_32_3_keyfind_2.cnf.gz -satcomp091113/smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf.gz -satcomp091113/sortnet-8-ipc5-h19-sat.cnf.gz -satcomp091113/gus-md5-11.cnf.gz -satcomp091113/ACG-20-10p0.cnf.gz -satcomp091113/minxorminand032.cnf.gz -satcomp091113/dated-5-13-u.cnf.gz -satcomp091113/AProVE09-21.cnf.gz -satcomp091113/AProVE09-11.cnf.gz -satcomp091113/slp-synthesis-aes-top27.cnf.gz -satcomp091113/uts-l06-ipc5-h28-unknown.cnf.gz -satcomp091113/hitag2-10-60-0-0xb7b72dfef34c17b-39.cnf.gz -satcomp091113/maxand064.cnf.gz -satcomp091113/bivium-39-200-0s0-0x1b770901581bbb2863c83835583d7ce4e1fafd907076320542-34.cnf.gz -satcomp091113/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf.gz -satcomp091113/22-128-nossum005.cnf.gz -satcomp091113/6s139.cnf.gz -satcomp091113/pb_300_09_lb_07.cnf.gz -satcomp091113/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf.gz -satcomp091113/post-c32s-gcdm16-22.cnf.gz -satcomp091113/9dlx_vliw_at_b_iq4.cnf.gz -satcomp091113/rpoc_xits_07_UNSAT.cnf.gz -satcomp091113/SAT_dat.k100.cnf.gz -satcomp091113/AProVE11-07.cnf.gz -satcomp091113/IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf.gz -satcomp091113/UTI-20-5p0.cnf.gz -satcomp091113/pb_200_03_lb_03.cnf.gz -satcomp091113/blocks-blocks-36-0.130-NOTKNOWN.cnf.gz -satcomp091113/ACG-10-5p0.cnf.gz -satcomp091113/post-cbmc-aes-ee-r2-noholes.cnf.gz -satcomp091113/UTI-20-10t0.cnf.gz -satcomp091113/AProVE11-16.cnf.gz -satcomp091113/post-cbmc-aes-d-r2-noholes.cnf.gz -satcomp091113/blocks-blocks-37-1.150-SAT.cnf.gz -satcomp091113/hitag2-8-60-0-0xa3b8497b8aad6d7-42.cnf.gz -satcomp091113/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.050-NOTKNOWN.cnf.gz -satcomp091113/9vliw_m_9stages_iq3_C1_bug1.cnf.gz -satcomp091113/mulhs016.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf.gz -satcomp091113/md5_47_4.cnf.gz -satcomp091113/E07N15.cnf.gz -satcomp091113/22-144-nossum008.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf.gz -satcomp091113/rbcl_xits_12_UNKNOWN.cnf.gz -satcomp091113/hitag2-7-60-0-0xe97b5f1bee04d70-47.cnf.gz -satcomp091113/UR-20-5p1.cnf.gz -satcomp091113/arcfour_initialPermutation_6_24.cnf.gz -satcomp091113/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf.gz -satcomp091113/slp-synthesis-aes-bottom23.cnf.gz -satcomp091113/dated-10-17-u.cnf.gz -satcomp091113/22-128-nossum001.cnf.gz -satcomp091113/vmpc_32.renamed-as.sat05-1919.cnf.gz -satcomp091113/9vliw_m_9stages_iq3_C1_bug4.cnf.gz -satcomp091113/UTI-20-5p1.cnf.gz -satcomp091113/E04F20.cnf.gz -satcomp091113/SAT_dat.k20.cnf.gz -satcomp091113/clauses-8.cnf.gz -satcomp091113/22-128-nossum002.cnf.gz -satcomp091113/slp-synthesis-aes-top23.cnf.gz -satcomp091113/UTI-15-10p0.cnf.gz -satcomp091113/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.gz -satcomp091113/AProVE07-26.cnf.gz -satcomp091113/ctl_4291_567_2_unsat.cnf.gz -satcomp091113/hitag2-7-60-0-0x39ff85d4ef127de-52.cnf.gz -satcomp091113/cmu-bmc-longmult15.cnf.gz -satcomp091113/pb_300_10_lb_13.cnf.gz -satcomp091113/smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf.gz -satcomp091113/E02F22.cnf.gz -satcomp091113/AProVE09-13.cnf.gz -satcomp091113/beempgsol5b1.cnf.gz -satcomp091113/vange-col-abb313GPIA-9-c.cnf.gz -satcomp091113/dp10s10.shuffled.cnf.gz -satcomp091113/bivium-40-200-0s0-0xd447c33176b6b675fd5f8dc3a5deda46569dc34eedf37da020-6.cnf.gz -satcomp091113/partial-5-15-s.cnf.gz -satcomp091113/SAT_dat.k80.cnf.gz -satcomp091113/smulo064.cnf.gz -satcomp091113/k_unsat.cnf.gz -satcomp091113/traffic_r_uc_sat.cnf.gz -satcomp091113/velev-live-uns-2.0-ebuf.cnf.gz -satcomp091113/ndhf_xits_12_UNSAT.cnf.gz -satcomp091113/sokoban-sequential-p145-microban-sequential.080-SAT.cnf.gz -satcomp091113/manol-pipe-c9.cnf.gz -satcomp091113/9dlx_vliw_at_b_iq9.cnf.gz -satcomp091113/slp-synthesis-aes-top30.cnf.gz -satcomp091113/gss-26-s100.cnf.gz -satcomp091113/AProVE09-01.cnf.gz -satcomp091113/homer16.shuffled.cnf.gz -satcomp091113/gss-27-s100.cnf.gz -satcomp091113/sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf.gz -satcomp091113/9dlx_vliw_at_b_iq2.cnf.gz -satcomp091113/vmpc_30.cnf.gz -satcomp091113/partial-10-19-u.cnf.gz -satcomp091113/AProVE11-06.cnf.gz -satcomp091113/bivium-39-200-0s0-0x163b785faa4bfb1b3b894a9206768a6c3d5d6f038b3797c4c2-99.cnf.gz -satcomp091113/countbitssrl064.cnf.gz -satcomp091113/eq.atree.braun.10.unsat.cnf.gz -satcomp091113/pb_400_09_lb_05.cnf.gz -satcomp091113/post-cbmc-aes-ele-noholes.cnf.gz -satcomp091113/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.030-NOTKNOWN.cnf.gz -satcomp091113/gus-md5-09.cnf.gz -satcomp091113/AProVE09-19.cnf.gz -satcomp091113/gss-32-s100.cnf.gz -satcomp091113/aes_128_3_keyfind_1.cnf.gz -satcomp091113/dated-5-15-u.cnf.gz -satcomp091113/een-tip-uns-nusmv-t5.B.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf.gz -satcomp091113/AProVE07-27.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf.gz -satcomp091113/simon-s02b-k2f-gr-rcs-w8.cnf.gz -satcomp091113/rovers1_ks99i.renamed-as.sat05-3971.cnf.gz -satcomp091113/gus-md5-12.cnf.gz -satcomp091113/ctl_4291_567_7_unsat_pre.cnf.gz -satcomp091113/pb_300_06_lb_02.cnf.gz -satcomp091113/k2fix_gr_rcs_w9.shuffled.cnf.gz -satcomp091113/post-cbmc-aes-ee-r3-noholes.cnf.gz -satcomp091113/AProVE09-25.cnf.gz -satcomp091113/10pipe_q0_k.cnf.gz -satcomp091113/SAT_dat.k45.cnf.gz -satcomp091113/slp-synthesis-aes-bottom26.cnf.gz -satcomp091113/8pipe_q0_k.cnf.gz -satcomp091113/AProVE07-01.cnf.gz -satcomp091113/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf.gz -satcomp091113/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf.gz -satcomp091113/countbitsrotate016.cnf.gz -satcomp091113/dp04u03.shuffled.cnf.gz -satcomp091113/blocks-blocks-36-0.150-NOTKNOWN.cnf.gz -satcomp091113/6s126.cnf.gz -satcomp091113/slp-synthesis-aes-bottom22.cnf.gz -satcomp091113/q_query_3_l44_lambda.cnf.gz -satcomp091113/dated-5-17-u.cnf.gz -satcomp091113/pb_200_03_lb_02.cnf.gz -satcomp091113/maxor064.cnf.gz -satcomp091113/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf.gz -satcomp091113/10pipe_k.cnf.gz -satcomp091113/pb_400_09_lb_03.cnf.gz -satcomp091113/homer17.shuffled.cnf.gz -satcomp091113/UTI-20-10p1.cnf.gz -satcomp091113/vmpc_35.renamed-as.sat05-1921.cnf.gz -satcomp091113/pb_400_05_lb_00.cnf.gz -satcomp091113/minand128.cnf.gz -satcomp091113/pb_300_03_lb_13.cnf.gz -satcomp091113/gus-md5-05.cnf.gz -satcomp091113/aes_32_4_keyfind_1.cnf.gz -satcomp091113/IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf.gz -satcomp091113/ctl_4291_567_1_unsat.cnf.gz -satcomp091113/UCG-20-5p1.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf.gz -satcomp091113/total-5-13-u.cnf.gz -satcomp091113/goldb-heqc-term1mul.cnf.gz -satcomp091113/arcfour_initialPermutation_6_64.cnf.gz -satcomp091113/manol-pipe-c10nidw_s.cnf.gz -satcomp091113/ndhf_xits_22_SAT.cnf.gz -satcomp091113/ndhf_xits_20_SAT.cnf.gz -satcomp091113/goldb-heqc-frg1mul.cnf.gz -satcomp091113/ctl_3082_415_unsat.cnf.gz -satcomp091113/countbitsarray08_32.cnf.gz -satcomp091113/c10idw_i.cnf.gz -satcomp091113/slp-synthesis-aes-bottom12.cnf.gz -satcomp091113/q_query_3_l39_lambda.cnf.gz -satcomp091113/ctl_4291_567_6_unsat_pre.cnf.gz -satcomp091113/gus-md5-06.cnf.gz -satcomp091113/pb_300_10_lb_12.cnf.gz -satcomp091113/bivium-39-200-0s0-0x53e7622aad02b083b53dcd6a4a76f54a150ceb996ea1dfa300-63.cnf.gz -satcomp091113/bierebob12s06.cnf.gz -satcomp091113/velev-pipe-o-uns-1.1-6.cnf.gz -satcomp091113/aaai10-planning-ipc5-pipesworld-27-step13.cnf.gz -satcomp091113/rpoc_xits_17_SAT.cnf.gz -satcomp091113/traffic_3_uc_sat.cnf.gz -satcomp091113/q_query_3_l38_lambda.cnf.gz -satcomp091113/UR-15-10p0.cnf.gz -satcomp091113/blocks-blocks-36-0.120-NOTKNOWN.cnf.gz -satcomp091113/beempgsol2b1.cnf.gz -satcomp091113/pb_300_10_lb_06.cnf.gz -satcomp091113/slp-synthesis-aes-top29.cnf.gz -satcomp091113/uts-l06-ipc5-h33-unknown.cnf.gz -satcomp091113/rpoc_xits_08_UNSAT.cnf.gz -satcomp091113/AProVE09-17.cnf.gz -satcomp091113/AProVE09-05.cnf.gz -satcomp091113/manol-pipe-f10ni.cnf.gz -satcomp091113/UR-10-5p0.cnf.gz -satcomp091113/md5_48_4.cnf.gz -satcomp091113/9dlx_vliw_at_b_iq6.cnf.gz -satcomp091113/hitag2-7-60-0-0x5f8ec0ffa4b15c6-25.cnf.gz -satcomp091113/traffic_r_sat.cnf.gz -satcomp091113/mizh-md5-47-4.cnf.gz -satcomp091113/hitag2-7-60-0-0xc048b9ebae66e9d-32-SAT.cnf.gz -satcomp091113/UR-15-10p1.cnf.gz -satcomp091113/11pipe_11_ooo.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf.gz -satcomp091113/velev-vliw-uns-4.0-9C1.cnf.gz -satcomp091113/myciel6-tr.used-as.sat04-320.cnf.gz -satcomp091113/korf-15.cnf.gz -satcomp091113/post-c32s-col400-16.cnf.gz -satcomp091113/UR-20-10p0.cnf.gz -satcomp091113/rpoc_xits_11_UNKNOWN.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf.gz -satcomp091113/post-cbmc-zfcp-2.8-u2-noholes.cnf.gz -satcomp091113/ctl_4291_567_9_unsat.cnf.gz -satcomp091113/esawn_uw3.debugged.cnf.gz -satcomp091113/q_query_2_L324_coli.cnf.gz -satcomp091113/slp-synthesis-aes-top21.cnf.gz -satcomp091113/gus-md5-15.cnf.gz -satcomp091113/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf.gz -satcomp091113/pb_300_04_lb_05.cnf.gz -satcomp091113/emptyroom-4-h21-unsat.cnf.gz -satcomp091113/pb_300_04_lb_06.cnf.gz -satcomp091113/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf.gz -satcomp091113/ndhf_xits_17_UNKNOWN.cnf.gz -satcomp091113/am_7_7.shuffled-as.sat03-363.cnf.gz -satcomp091113/sortnet-7-ipc5-h15-unsat.cnf.gz -satcomp091113/gss-19-s100.cnf.gz -satcomp091113/manol-pipe-f9b.cnf.gz -satcomp091113/q_query_3_L100_coli.sat.cnf.gz -satcomp091113/mizh-md5-47-3.cnf.gz -satcomp091113/AProVE07-21.cnf.gz -satcomp091113/partial-10-15-s.cnf.gz -satcomp091113/abb313GPIA-9-c.used-as.sat04-317.cnf.gz -satcomp091113/aaai10-planning-ipc5-pipesworld-12-step15.cnf.gz -satcomp091113/hitag2-8-60-0-0xfba1a41b5dfd7f7-52.cnf.gz -satcomp091113/smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf.gz -satcomp091113/post-c32s-ss-8.cnf.gz -satcomp091113/AProVE07-08.cnf.gz -satcomp091113/partial-5-13-s.cnf.gz -satcomp091113/hitag2-10-60-0-0x8edc44db7837bbf-65.cnf.gz -satcomp091113/pb_400_02_lb_15.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf.gz -satcomp091113/ndhf_xits_19_UNKNOWN.cnf.gz -satcomp091113/dated-5-11-u.cnf.gz -satcomp091113/9vliw_m_9stages_iq3_C1_bug5.cnf.gz -satcomp091113/hsat_vc12062.cnf.gz -satcomp091113/schup-l2s-bc56s-1-k391.cnf.gz -satcomp091113/E03N17.cnf.gz -satcomp091113/rand_net70-60-10.shuffled.cnf.gz -satcomp091113/smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf.gz -satcomp091113/uts-l05-ipc5-h27-unknown.cnf.gz -satcomp091113/rand_net60-40-10.shuffled.cnf.gz -satcomp091113/vmpc_34.renamed-as.sat05-1926.cnf.gz -satcomp091113/countbitsrotate032.cnf.gz -satcomp091113/E00N23.cnf.gz -satcomp091113/aloul-chnl11-13.cnf.gz -satcomp091113/UCG-10-5p0.cnf.gz -satcomp091113/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf.gz -satcomp091113/ctl_4201_555_unsat_pre.cnf.gz -satcomp091113/UTI-15-5p0.cnf.gz -satcomp091113/slp-synthesis-aes-top25.cnf.gz -satcomp091113/AProVE09-12.cnf.gz -satcomp091113/SAT_dat.k85.cnf.gz -satcomp091113/manol-pipe-c7bidw_i.cnf.gz -satcomp091113/c6288mul.miter.shuffled-as.sat03-346.cnf.gz -satcomp091113/bierebob12m06.cnf.gz -satcomp091113/dated-10-19-u.cnf.gz -satcomp091113/safe-50-h49-unsat.cnf.gz -satcomp091113/md5_48_1.cnf.gz -satcomp091113/countbitssrl016.cnf.gz -satcomp091113/ctl_4291_567_11_unsat_pre.cnf.gz -satcomp091113/ctl_4291_567_12_unsat_pre.cnf.gz -satcomp091113/22-128-nossum009.cnf.gz -satcomp091113/UTI-20-10t1.cnf.gz -satcomp091113/sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf.gz -satcomp091113/11pipe_q0_k.cnf.gz -satcomp091113/x1mul.miter.shuffled-as.sat03-359.cnf.gz -satcomp091113/dated-5-19-u.cnf.gz -satcomp091113/ctl_4291_567_10_unsat.cnf.gz -satcomp091113/6s133.cnf.gz -satcomp091113/eq.atree.braun.11.unsat.cnf.gz -satcomp091113/AProVE11-11.cnf.gz -satcomp091113/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.030-NOTKNOWN.cnf.gz -satcomp091113/aes_16_10_keyfind_3.cnf.gz -satcomp091113/aes_128_1_keyfind_1.cnf.gz -satcomp091113/hsat_vc11813.cnf.gz -satcomp091113/hitag2-10-60-0-0xfee9637399d85a2-78.cnf.gz -satcomp091113/22-128-nossum008.cnf.gz -satcomp091113/aes_128_10_keyfind_1.cnf.gz -satcomp091113/ACG-20-5p0.cnf.gz -satcomp091113/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.020-NOTKNOWN.cnf.gz -satcomp091113/12pipe_bug6_q0.used-as.sat04-725.cnf.gz -satcomp091113/UR-20-10p1.cnf.gz -satcomp091113/dekker.used-as.sat04-989.cnf.gz -satcomp091113/AProVE09-08.cnf.gz -satcomp091113/total-5-17-u.cnf.gz -satcomp091113/rpoc_xits_15_SAT.cnf.gz -satcomp091113/bart17.shuffled.cnf.gz -satcomp091113/total-10-17-u.cnf.gz -satcomp091113/maxxororand128.cnf.gz -satcomp091113/itox_vc1033.cnf.gz -satcomp091113/AProVE09-15.cnf.gz -satcomp091113/manol-pipe-f9n.cnf.gz -satcomp091113/ndhf_xits_09_UNSAT.cnf.gz -satcomp091113/maxxor064.cnf.gz -satcomp091113/pb_400_04_lb_19.cnf.gz -satcomp091113/homer14.shuffled.cnf.gz -satcomp091113/grid-strips-grid-y-3.055-NOTKNOWN.cnf.gz -satcomp091113/vmpc_25.cnf.gz -satcomp091113/md5_48_5.cnf.gz -satcomp091113/schup-l2s-motst-2-k315.cnf.gz -satcomp091113/total-10-19-u.cnf.gz -satcomp091113/gss-34-s100.cnf.gz -satcomp091113/grid-strips-grid-y-3.065-SAT.cnf.gz -satcomp091113/UR-10-5p1.cnf.gz -satcomp091113/bob12m06.cnf.gz -satcomp091113/UTI-15-10p1.cnf.gz -satcomp091113/eq.atree.braun.12.unsat.cnf.gz -satcomp091113/1dlx_c_iq60_a.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf.gz -satcomp091113/post-cbmc-zfcp-2.8-u2.cnf.gz -satcomp091113/partial-5-15-u.cnf.gz -satcomp091113/b_unsat.cnf.gz -satcomp091113/ferry5_ks99i.renamed-as.sat05-3994.cnf.gz -satcomp091113/ctl_4291_567_6_unsat.cnf.gz -satcomp091113/q_query_3_L80_coli.sat.cnf.gz -satcomp091113/cube-11-h14-sat.cnf.gz -satcomp091113/pb_200_03_lb_01.cnf.gz -satcomp091113/partial-5-19-s.cnf.gz -satcomp091113/q_query_3_L60_coli.sat.cnf.gz -satcomp091113/22-128-nossum004.cnf.gz -satcomp091113/hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf.gz -satcomp091113/biere6s153.cnf.gz -satcomp091113/AProVE07-09.cnf.gz -satcomp091113/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf.gz -satcomp091113/aaai10-planning-ipc5-pipesworld-18-step16.cnf.gz -satcomp091113/minandmaxor016.cnf.gz -satcomp091113/q_query_3_l42_lambda.cnf.gz -satcomp091113/biere6s165.cnf.gz -satcomp091113/AProVE09-10.cnf.gz -satcomp091113/ACG-20-10p1.cnf.gz -satcomp091113/arcfour_initialPermutation_5_32.cnf.gz -satcomp091113/E02F17.cnf.gz -satcomp091113/ndhf_xits_10_UNSAT.cnf.gz -satcomp091113/UTI-10-10p0.cnf.gz -satcomp091113/gss-24-s100.cnf.gz -satcomp091113/bob12s06.cnf.gz -satcomp091113/arcfour_initialPermutation_6_40.cnf.gz -satcomp091113/ctl_4291_567_1_unsat_pre.cnf.gz -satcomp091113/SAT_dat.k65.cnf.gz -satcomp091113/6s103.cnf.gz -satcomp091113/korf-17.cnf.gz -satcomp091113/rpoc_xits_13_UNKNOWN.cnf.gz -satcomp091113/ctl_4291_567_8_unsat.cnf.gz -satcomp091113/itox_vc1130.cnf.gz -satcomp091113/aes_32_2_keyfind_1.cnf.gz -satcomp091113/rbcl_xits_18_SAT.cnf.gz -satcomp091113/traffic_kkb_unknown.cnf.gz -satcomp091113/countbitswegner128.cnf.gz -satcomp091113/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.020-NOTKNOWN.cnf.gz -satcomp091113/AProVE09-06.cnf.gz -satcomp091113/clauses-8.renamed-as.sat05-1964.cnf.gz -satcomp091113/aes_32_5_keyfind_1.cnf.gz -satcomp091113/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf.gz -satcomp091113/pb_400_10_lb_00.cnf.gz -satcomp091113/velev-pipe-sat-1.0-b9.cnf.gz -satcomp091113/2dlx_ca_bp_f_liveness.cnf.gz -satcomp091113/traffic_b_unsat.cnf.gz -satcomp091113/ctl_4291_567_5_unsat.cnf.gz |