1satcomp11/11pipe_11_ooo.cnf.gz 2satcomp11/11pipe_k.cnf.gz 3satcomp11/12pipe_bug4_q0.used-as.sat04-723.cnf.gz 4satcomp11/12pipe_bug6_q0.used-as.sat04-725.cnf.gz 5satcomp11/1dlx_c_iq57_a.cnf.gz 6satcomp11/1dlx_c_iq60_a.cnf.gz 7satcomp11/2dlx_ca_bp_f_liveness.cnf.gz 8satcomp11/6pipe_6_ooo.shuffled-as.sat03-413.cnf.gz 9satcomp11/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf.gz 10satcomp11/9dlx_vliw_at_b_iq7.cnf.gz 11satcomp11/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf.gz 12satcomp11/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf.gz 13satcomp11/9vliw_m_9stages_iq3_C1_bug5.cnf.gz 14satcomp11/9vliw_m_9stages_iq3_C1_bug6.cnf.gz 15satcomp11/ACG-10-10p0.cnf.gz 16satcomp11/ACG-15-5p1.cnf.gz 17satcomp11/AProVE07-01.cnf.gz 18satcomp11/AProVE07-03.cnf.gz 19satcomp11/AProVE07-21.cnf.gz 20satcomp11/AProVE11-02.cnf.gz 21satcomp11/AProVE11-06.cnf.gz 22satcomp11/AProVE11-07.cnf.gz 23satcomp11/AProVE11-09.cnf.gz 24satcomp11/AProVE11-10.cnf.gz 25satcomp11/AProVE11-11.cnf.gz 26satcomp11/AProVE11-12.cnf.gz 27satcomp11/AProVE11-13.cnf.gz 28satcomp11/AProVE11-15.cnf.gz 29satcomp11/AProVE11-16.cnf.gz 30satcomp11/E00N23.cnf.gz 31satcomp11/E00X23.cnf.gz 32satcomp11/E02F17.cnf.gz 33satcomp11/E02F20.cnf.gz 34satcomp11/E02F22.cnf.gz 35satcomp11/E03N17.cnf.gz 36satcomp11/E04F19.cnf.gz 37satcomp11/E04F20.cnf.gz 38satcomp11/E04N18.cnf.gz 39satcomp11/E05F18.cnf.gz 40satcomp11/E05F20.cnf.gz 41satcomp11/E05X15.cnf.gz 42satcomp11/E07N15.cnf.gz 43satcomp11/E15N15.cnf.gz 44satcomp11/IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf.gz 45satcomp11/IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf.gz 46satcomp11/SAT_dat.k100.cnf.gz 47satcomp11/SAT_dat.k20.cnf.gz 48satcomp11/SAT_dat.k45.cnf.gz 49satcomp11/SAT_dat.k80.cnf.gz 50satcomp11/SAT_dat.k80_04.cnf.gz 51satcomp11/SAT_dat.k85.cnf.gz 52satcomp11/UCG-15-10p0.cnf.gz 53satcomp11/UCG-15-10p1.cnf.gz 54satcomp11/UCG-15-5p0.cnf.gz 55satcomp11/UCG-20-5p1.cnf.gz 56satcomp11/UR-10-10p1.cnf.gz 57satcomp11/UR-20-10p0.cnf.gz 58satcomp11/UR-20-10p1.cnf.gz 59satcomp11/UTI-10-5t1.cnf.gz 60satcomp11/UTI-20-10p0.cnf.gz 61satcomp11/UTI-20-10p1.cnf.gz 62satcomp11/UTI-20-10t0.cnf.gz 63satcomp11/UTI-20-10t1.cnf.gz 64satcomp11/aaai10-planning-ipc5-TPP-21-step11.cnf.gz 65satcomp11/aaai10-planning-ipc5-TPP-30-step11.cnf.gz 66satcomp11/aaai10-planning-ipc5-pathways-13-step17.cnf.gz 67satcomp11/aaai10-planning-ipc5-pathways-17-step20.cnf.gz 68satcomp11/aaai10-planning-ipc5-pathways-17-step21.cnf.gz 69satcomp11/aaai10-planning-ipc5-pipesworld-12-step15.cnf.gz 70satcomp11/aaai10-planning-ipc5-pipesworld-12-step16.cnf.gz 71satcomp11/aaai10-planning-ipc5-pipesworld-18-step15.cnf.gz 72satcomp11/aaai10-planning-ipc5-pipesworld-18-step16.cnf.gz 73satcomp11/aaai10-planning-ipc5-pipesworld-27-step13.cnf.gz 74satcomp11/aaai10-planning-ipc5-pipesworld-27-step14.cnf.gz 75satcomp11/aaai10-planning-ipc5-rovers-18-step11.cnf.gz 76satcomp11/aaai10-planning-ipc5-rovers-18-step12.cnf.gz 77satcomp11/abb313GPIA-9-c.used-as.sat04-317.cnf.gz 78satcomp11/abb313GPIA-9-tr.used-as.sat04-321.cnf.gz 79satcomp11/aes_128_10_keyfind_1.cnf.gz 80satcomp11/aes_128_1_keyfind_1.cnf.gz 81satcomp11/aes_128_2_keyfind_1.cnf.gz 82satcomp11/aes_128_3_keyfind_1.cnf.gz 83satcomp11/aes_32_1_keyfind_1.cnf.gz 84satcomp11/aes_32_2_keyfind_1.cnf.gz 85satcomp11/aes_32_3_keyfind_1.cnf.gz 86satcomp11/aes_32_4_keyfind_1.cnf.gz 87satcomp11/aes_32_5_keyfind_1.cnf.gz 88satcomp11/aes_64_1_keyfind_1.cnf.gz 89satcomp11/aes_64_2_keyfind_1.cnf.gz 90satcomp11/aes_64_3_keyfind_1.cnf.gz 91satcomp11/aes_64_4_keyfind_1.cnf.gz 92satcomp11/all.used-as.sat04-986.cnf.gz 93satcomp11/am_7_7.shuffled-as.sat03-363.cnf.gz 94satcomp11/bart17.shuffled.cnf.gz 95satcomp11/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf.gz 96satcomp11/blocks-4-ipc5-h21-unknown.cnf.gz 97satcomp11/blocks-blocks-36-0.120-NOTKNOWN.cnf.gz 98satcomp11/blocks-blocks-36-0.160-NOTKNOWN.cnf.gz 99satcomp11/blocks-blocks-36-0.170-NOTKNOWN.cnf.gz 100satcomp11/blocks-blocks-36-0.180-SAT.cnf.gz 101satcomp11/blocks-blocks-37-1.120-NOTKNOWN.cnf.gz 102satcomp11/blocks-blocks-37-1.130-NOTKNOWN.cnf.gz 103satcomp11/blocks-blocks-37-1.150-SAT.cnf.gz 104satcomp11/c10idw_i.cnf.gz 105satcomp11/c6288mul.miter.shuffled-as.sat03-346.cnf.gz 106satcomp11/clauses-8.renamed-as.sat05-1964.cnf.gz 107satcomp11/comb1.shuffled.cnf.gz 108satcomp11/countbitsarray04_32.cnf.gz 109satcomp11/countbitsrotate032.cnf.gz 110satcomp11/countbitssrl064.cnf.gz 111satcomp11/countbitswegner128.cnf.gz 112satcomp11/cube-11-h14-sat.cnf.gz 113satcomp11/dated-10-17-u.cnf.gz 114satcomp11/dated-5-11-u.cnf.gz 115satcomp11/dated-5-13-u.cnf.gz 116satcomp11/dekker.used-as.sat04-989.cnf.gz 117satcomp11/dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf.gz 118satcomp11/dp04s04.shuffled.cnf.gz 119satcomp11/dp04u03.shuffled.cnf.gz 120satcomp11/dp10s10.shuffled.cnf.gz 121satcomp11/driverlog1_ks99i.renamed-as.sat05-3951.cnf.gz 122satcomp11/driverlog3_v01a.renamed-as.sat05-3963.cnf.gz 123satcomp11/dspam_dump_vc949.cnf.gz 124satcomp11/eq.atree.braun.11.unsat.cnf.gz 125satcomp11/eq.atree.braun.12.unsat.cnf.gz 126satcomp11/ferry5_ks99i.renamed-as.sat05-3994.cnf.gz 127satcomp11/grid-strips-grid-y-3.035-NOTKNOWN.cnf.gz 128satcomp11/grid-strips-grid-y-4.025-NOTKNOWN.cnf.gz 129satcomp11/gripper13u.shuffled-as.sat03-395.cnf.gz 130satcomp11/gss-14-s100.cnf.gz 131satcomp11/gss-16-s100.cnf.gz 132satcomp11/gss-19-s100.cnf.gz 133satcomp11/gss-21-s100.cnf.gz 134satcomp11/gss-22-s100.cnf.gz 135satcomp11/gss-27-s100.cnf.gz 136satcomp11/gus-md5-11.cnf.gz 137satcomp11/gus-md5-12.cnf.gz 138satcomp11/hard-18-U-10652.cnf.gz 139satcomp11/hard-25-U-7061.cnf.gz 140satcomp11/hard-6-U-7061.cnf.gz 141satcomp11/homer14.shuffled.cnf.gz 142satcomp11/homer16.shuffled.cnf.gz 143satcomp11/homer17.shuffled.cnf.gz 144satcomp11/hsat_vc12062.cnf.gz 145satcomp11/hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf.gz 146satcomp11/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf.gz 147satcomp11/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf.gz 148satcomp11/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf.gz 149satcomp11/hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf.gz 150satcomp11/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf.gz 151satcomp11/hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf.gz 152satcomp11/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf.gz 153satcomp11/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf.gz 154satcomp11/hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf.gz 155satcomp11/hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf.gz 156satcomp11/hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf.gz 157satcomp11/hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf.gz 158satcomp11/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf.gz 159satcomp11/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf.gz 160satcomp11/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf.gz 161satcomp11/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf.gz 162satcomp11/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf.gz 163satcomp11/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf.gz 164satcomp11/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf.gz 165satcomp11/hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf.gz 166satcomp11/ibm-2002-21r-k95.cnf.gz 167satcomp11/ibm-2002-30r-k85.cnf.gz 168satcomp11/ibm-2004-01-k90.cnf.gz 169satcomp11/ibm-2004-23-k100.cnf.gz 170satcomp11/k2fix_gr_rcs_w8.shuffled.cnf.gz 171satcomp11/k2fix_gr_rcs_w9.shuffled.cnf.gz 172satcomp11/k2mul.miter.shuffled-as.sat03-355.cnf.gz 173satcomp11/korf-15.cnf.gz 174satcomp11/korf-17.cnf.gz 175satcomp11/korf-18.cnf.gz 176satcomp11/li-exam-61.shuffled-as.sat03-366.cnf.gz 177satcomp11/li-test4-100.shuffled-as.sat03-370.cnf.gz 178satcomp11/manol-pipe-c10nidw.cnf.gz 179satcomp11/manol-pipe-c6bidw_i.cnf.gz 180satcomp11/manol-pipe-f7idw.cnf.gz 181satcomp11/manol-pipe-f7nidw.cnf.gz 182satcomp11/maxor128.cnf.gz 183satcomp11/maxxor032.cnf.gz 184satcomp11/maxxor064.cnf.gz 185satcomp11/maxxor128.cnf.gz 186satcomp11/maxxororand064.cnf.gz 187satcomp11/md5_48_3.cnf.gz 188satcomp11/minandmaxor016.cnf.gz 189satcomp11/minandmaxor128.cnf.gz 190satcomp11/minxorminand128.cnf.gz 191satcomp11/mizh-sha0-36-2.cnf.gz 192satcomp11/mizh-sha0-36-4.cnf.gz 193satcomp11/mulhs016.cnf.gz 194satcomp11/myciel6-tr.used-as.sat04-320.cnf.gz 195satcomp11/ndhf_xits_19_UNKNOWN.cnf.gz 196satcomp11/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf.gz 197satcomp11/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf.gz 198satcomp11/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf.gz 199satcomp11/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf.gz 200satcomp11/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf.gz 201satcomp11/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf.gz 202satcomp11/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.gz 203satcomp11/partial-10-13-s.cnf.gz 204satcomp11/partial-10-15-s.cnf.gz 205satcomp11/partial-10-17-s.cnf.gz 206satcomp11/partial-5-11-u.cnf.gz 207satcomp11/post-c32s-gcdm16-23.cnf.gz 208satcomp11/post-cbmc-zfcp-2.8-u2-noholes.cnf.gz 209satcomp11/q_query_3_L150_coli.sat.cnf.gz 210satcomp11/q_query_3_L70_coli.sat.cnf.gz 211satcomp11/q_query_3_l46_lambda.cnf.gz 212satcomp11/rand_net60-25-10.shuffled.cnf.gz 213satcomp11/rand_net60-30-1.shuffled.cnf.gz 214satcomp11/rand_net60-40-10.shuffled.cnf.gz 215satcomp11/rand_net70-60-10.shuffled.cnf.gz 216satcomp11/rbcl_xits_08_UNSAT.cnf.gz 217satcomp11/rbcl_xits_09_UNKNOWN.cnf.gz 218satcomp11/rbcl_xits_15_SAT.cnf.gz 219satcomp11/rbcl_xits_18_SAT.cnf.gz 220satcomp11/rovers1_ks99i.renamed-as.sat05-3971.cnf.gz 221satcomp11/rpoc_xits_09_UNSAT.cnf.gz 222satcomp11/sha0_36_5.cnf.gz 223satcomp11/slp-synthesis-aes-bottom12.cnf.gz 224satcomp11/slp-synthesis-aes-bottom13.cnf.gz 225satcomp11/slp-synthesis-aes-bottom14.cnf.gz 226satcomp11/slp-synthesis-aes-bottom15.cnf.gz 227satcomp11/slp-synthesis-aes-bottom16.cnf.gz 228satcomp11/slp-synthesis-aes-bottom17.cnf.gz 229satcomp11/slp-synthesis-aes-bottom18.cnf.gz 230satcomp11/slp-synthesis-aes-bottom19.cnf.gz 231satcomp11/slp-synthesis-aes-bottom20.cnf.gz 232satcomp11/slp-synthesis-aes-bottom21.cnf.gz 233satcomp11/slp-synthesis-aes-bottom22.cnf.gz 234satcomp11/slp-synthesis-aes-bottom23.cnf.gz 235satcomp11/slp-synthesis-aes-bottom24.cnf.gz 236satcomp11/slp-synthesis-aes-bottom25.cnf.gz 237satcomp11/slp-synthesis-aes-bottom26.cnf.gz 238satcomp11/slp-synthesis-aes-top21.cnf.gz 239satcomp11/slp-synthesis-aes-top22.cnf.gz 240satcomp11/slp-synthesis-aes-top23.cnf.gz 241satcomp11/slp-synthesis-aes-top24.cnf.gz 242satcomp11/slp-synthesis-aes-top25.cnf.gz 243satcomp11/slp-synthesis-aes-top26.cnf.gz 244satcomp11/slp-synthesis-aes-top28.cnf.gz 245satcomp11/slp-synthesis-aes-top29.cnf.gz 246satcomp11/slp-synthesis-aes-top30.cnf.gz 247satcomp11/smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf.gz 248satcomp11/smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf.gz 249satcomp11/smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf.gz 250satcomp11/smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf.gz 251satcomp11/smtlib-qfbv-aigs-countbits128-tseitin.cnf.gz 252satcomp11/smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf.gz 253satcomp11/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf.gz 254satcomp11/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf.gz 255satcomp11/smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf.gz 256satcomp11/smtlib-qfbv-aigs-nlzbe256-tseitin.cnf.gz 257satcomp11/smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.gz 258satcomp11/smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf.gz 259satcomp11/smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf.gz 260satcomp11/smulo064.cnf.gz 261satcomp11/sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf.gz 262satcomp11/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf.gz 263satcomp11/sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf.gz 264satcomp11/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf.gz 265satcomp11/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf.gz 266satcomp11/sokoban-sequential-p145-microban-sequential.080-SAT.cnf.gz 267satcomp11/sortnet-7-ipc5-h15-unsat.cnf.gz 268satcomp11/sortnet-8-ipc5-h19-sat.cnf.gz 269satcomp11/total-10-17-u.cnf.gz 270satcomp11/traffic_3_uc_sat.cnf.gz 271satcomp11/traffic_3b_unknown.cnf.gz 272satcomp11/traffic_b_unsat.cnf.gz 273satcomp11/traffic_f_unknown.cnf.gz 274satcomp11/traffic_fb_unknown.cnf.gz 275satcomp11/traffic_kkb_unknown.cnf.gz 276satcomp11/traffic_pcb_unknown.cnf.gz 277satcomp11/traffic_r_sat.cnf.gz 278satcomp11/traffic_r_uc_sat.cnf.gz 279satcomp11/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf.gz 280satcomp11/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf.gz 281satcomp11/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf.gz 282satcomp11/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf.gz 283satcomp11/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf.gz 284satcomp11/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf.gz 285satcomp11/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf.gz 286satcomp11/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf.gz 287satcomp11/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf.gz 288satcomp11/vda_gr_rcs_w9.shuffled.cnf.gz 289satcomp11/velev-npe-1.0-9dlx-b71.cnf.gz 290satcomp11/velev-pipe-o-uns-1.0-7.cnf.gz 291satcomp11/velev-pipe-o-uns-1.1-6.cnf.gz 292satcomp11/velev-pipe-sat-1.0-b9.cnf.gz 293satcomp11/velev-vliw-uns-4.0-9-i1.cnf.gz 294satcomp11/vmpc_25.renamed-as.sat05-1913.cnf.gz 295satcomp11/vmpc_29.renamed-as.sat05-1916.cnf.gz 296satcomp11/vmpc_32.renamed-as.sat05-1919.cnf.gz 297satcomp11/vmpc_34.renamed-as.sat05-1926.cnf.gz 298satcomp11/vmpc_35.renamed-as.sat05-1921.cnf.gz 299satcomp11/vmpc_36.renamed-as.sat05-1922.cnf.gz 300satcomp11/x1mul.miter.shuffled-as.sat03-359.cnf.gz 301