Instance Solution Virtual Best USE_PSM-LBD_LIMIT_DYN-AVERAGE_LBD-NO_FREEZE USE_PSM-LBD_LIMIT_DYN-AVERAGE_LBD-FREEZE USE_PSM-LIMITED-AVERAGE_LBD-FREEZE USE_PSM-LIMITED-AVERAGE_LBD-NO_FREEZE USE_PSM-LIMITED-USE_LUBY-NO_FREEZE USE_PSM-LBD_LIMIT_DYN-AVERAGE_LBD-FREEZE_ALL USE_PSM-LIMITED-USE_LUBY-FREEZE_ALL USE_PSM-UNLIMITED-AVERAGE_LBD-FREEZE USE_PSM-LIMITED-USE_LUBY-FREEZE manysat USE_PSM-LBD_LIMIT_DYN-USE_LUBY-FREEZE USE_PSM-LBD_LIMIT_DYN-USE_LUBY-NO_FREEZE USE_PSM-UNLIMITED-USE_LUBY-FREEZE NO_USE_PSM-LIMITED-USE_LUBY-NO_FREEZE USE_PSM-UNLIMITED-USE_LUBY-NO_FREEZE
SAT02/industrial/aloul/Bart/bart17.shuffled.cnf SAT 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
SAT02/industrial/biere/dinphil/dp04s04.shuffled.cnf SAT 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
SAT02/industrial/biere/dinphil/dp04u03.shuffled.cnf UNSAT 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
SAT05/industrial/maris05/DriverLog/driverlog1_ks99i.renamed-as.sat05-3951.cnf SAT 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
SAT05/industrial/maris05/DriverLog/driverlog3_v01a.renamed-as.sat05-3963.cnf SAT 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
SAT05/industrial/maris05/Ferry/ferry5_ks99i.renamed-as.sat05-3994.cnf SAT 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
SAT05/industrial/maris05/Rovers/rovers1_ks99i.renamed-as.sat05-3971.cnf SAT 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf UNSAT 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf UNSAT 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf SAT 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
SAT11/application/kullmann/AES/Benchmarks/32/aes_32_1_keyfind_1.cnf SAT 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
SAT11/application/leberre/2dimensionalstrippacking/E07N15.cnf UNSAT 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
SAT11/application/leberre/2dimensionalstrippacking/E15N15.cnf UNSAT 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
SAT02/industrial/biere/dinphil/dp10s10.shuffled.cnf SAT 0 1 1 3 1 0 1 0 1 0 0 0 0 0 0 0
SAT02/industrial/goldberg/fpga_routing/vda_gr_rcs_w9.shuffled.cnf SAT 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
SAT02/industrial/goldberg/rand_net/rand_net60-30-1.shuffled.cnf UNSAT 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
SAT07/industrial/babic/dspam/dspam_dump_vc949.cnf UNSAT 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
SAT11/application/leberre/2dimensionalstrippacking/E04N18.cnf UNSAT 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor016.cnf UNSAT 1 1 1 2 1 1 1 1 1 1 1 1 1 1 2 1
SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_15_SAT.cnf SAT 1 2 2 2 2 1 2 1 5 1 1 1 1 1 1 1
SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_18_SAT.cnf SAT 1 2 3 2 2 1 3 1 3 1 1 1 1 1 1 1
SAT11/application/fuhs/AProVE11/AProVE11-12.cnf SAT 1 1 1 1 1 2 1 2 1 2 1 2 2 2 1 1
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf UNSAT 1 2 2 2 2 1 2 1 2 1 2 1 1 1 2 1
SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf SAT 1 1 1 1 1 2 1 2 1 2 2 2 2 2 1 2
SAT11/application/fuhs/AProVE11/AProVE11-09.cnf SAT 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2
SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf SAT 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf UNSAT 2 2 3 2 2 2 3 3 3 2 2 2 2 2 3 2
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf UNSAT 2 2 2 2 2 2 3 3 2 2 2 2 2 2 2 2
SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf SAT 2 2 2 2 2 3 2 3 2 3 3 3 3 3 3 3
SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf SAT 2 4 3 3 3 4 2 4 5 4 2 3 3 5 2 5
SAT07/industrial/babic/hsatv17/hsat_vc12062.cnf UNSAT 3 4 4 3 3 4 3 4 3 4 4 4 3 4 3 4
SAT09/APPLICATIONS/diagnosis/UTI-10-5t1.cnf SAT 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4
SAT11/application/fuhs/AProVE11/AProVE11-16.cnf SAT 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4
SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf SAT 3 3 3 3 3 3 3 3 3 3 4 3 3 3 3 3
SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf SAT 2 3 3 5 3 4 7 6 3 5 2 4 4 4 5 4
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf UNSAT 4 4 5 5 4 6 6 8 5 5 5 6 5 5 6 5
SAT11/application/leberre/2dimensionalstrippacking/E03N17.cnf UNSAT 3 7 5 6 4 4 7 6 6 8 3 5 4 7 5 6
SAT11/application/fuhs/AProVE11/AProVE11-02.cnf SAT 7 9 9 9 9 7 8 7 9 7 7 7 7 7 7 7
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf UNSAT 6 6 7 9 10 9 9 9 7 9 10 8 7 7 8 8
SAT-Race-2010-CNF/software-verification/nec/hard-6-U-7061.cnf UNSAT 8 9 9 9 9 9 10 10 9 9 8 9 9 9 9 9
SAT-Race-2010-CNF/software-verification/nec/hard-25-U-7061.cnf UNSAT 11 12 12 12 12 12 12 12 12 11 12 11 12 12 12 12
SAT11/application/fuhs/AProVE11/AProVE11-10.cnf SAT 11 12 12 12 12 11 12 11 12 11 20 11 11 11 11 11
SAT04/industrial/velev/pipe-sat-1-1/12pipe_bug6_q0.used-as.sat04-725.cnf SAT 11 14 15 14 14 14 14 13 14 15 11 13 14 13 14 14
SAT02/industrial/goldberg/rand_net/rand_net60-25-10.shuffled.cnf UNSAT 4 10 11 8 7 6 73 39 14 7 4 7 7 10 5 12
SAT09/APPLICATIONS/diagnosis/UTI-20-10t1.cnf SAT 9 13 9 12 12 19 9 9 9 16 18 19 14 18 17 20
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf UNSAT 11 13 13 15 18 18 16 21 11 18 20 13 13 14 18 13
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf UNSAT 13 13 22 16 13 16 18 17 19 15 17 15 17 20 20 16
SAT11/application/manthey/traffic/traffic_r_sat.cnf SAT 14 14 15 14 14 15 15 29 15 17 15 21 15 18 16 15
SAT04/industrial/hoonsang/vis-bmc/dekker.used-as.sat04-989.cnf UNSAT 12 12 12 12 14 18 25 20 13 16 29 20 23 14 19 22
SAT09/APPLICATIONS/diagnosis/UTI-20-10t0.cnf UNSAT 16 19 17 19 18 20 24 22 16 21 18 20 21 20 21 19
SAT11/application/fuhs/AProVE11/AProVE11-07.cnf SAT 14 14 27 14 14 16 18 16 21 33 16 32 33 21 17 23
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf UNSAT 15 17 16 17 23 32 24 29 16 31 17 16 16 15 28 17
SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.cnf UNSAT 16 25 26 23 23 20 32 24 26 21 16 23 22 20 16 20
SAT11/application/fuhs/AProVE11/AProVE11-13.cnf SAT 13 25 25 26 26 27 27 25 26 27 13 26 28 26 26 26
SAT05/industrial/grieu05/vmpc/vmpc_25.renamed-as.sat05-1913.cnf SAT 1 13 41 8 35 9 3 1 97 2 19 17 108 11 29 3
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf UNSAT 17 19 25 25 23 23 32 32 23 29 35 23 17 26 54 21
SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf SAT 9 28 31 28 28 47 28 19 25 24 42 25 9 40 17 25
SAT_RACE06/velev-pipe-sat-1.0-b9.cnf SAT 20 26 27 27 27 28 27 28 29 28 20 27 28 27 27 30
SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-nlzbe256-tseitin.cnf UNSAT 25 26 27 29 31 29 27 33 26 28 33 26 26 25 32 26
SAT11/application/leberre/2dimensionalstrippacking/E05X15.cnf UNSAT 23 26 24 23 23 26 35 39 36 29 25 26 26 23 47 23
SAT11/application/fuhs/AProVE11/AProVE11-15.cnf SAT 14 69 82 21 23 14 26 14 45 46 26 21 14 18 18 17
SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf UNSAT 22 25 22 24 23 33 32 37 27 34 29 29 35 42 27 50
SAT09/APPLICATIONS/crypto/desgen/gss-14-s100.cnf SAT 16 50 51 35 22 57 23 77 60 20 51 40 42 75 59 16
SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step15.cnf UNSAT 26 32 37 26 46 54 44 73 35 66 33 55 42 48 76 53
SAT_RACE08/cnf/manol-pipe-c6bidw_i.cnf UNSAT 45 45 46 46 46 49 65 64 49 51 56 53 45 57 98 51
SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-4.025-NOTKNOWN.cnf UNSAT 48 54 53 57 57 62 57 74 54 60 52 53 48 76 51 77
SAT04/industrial/hoonsang/vis-bmc/all.used-as.sat04-986.cnf UNSAT 41 41 44 52 49 62 63 103 47 63 63 69 62 56 66 65
SAT_RACE08/Q1/SAT_dat.k80_04.cnf SAT 28 52 28 81 70 68 100 65 76 45 54 61 76 61 124 47
SAT_RACE08/cnf/ibm-2004-01-k90.cnf SAT 20 31 43 51 75 58 41 105 68 20 38 51 49 57 296 31
SAT_RACE06/ibm-2002-21r-k95.cnf SAT 32 33 44 32 67 62 53 92 47 56 45 42 45 41 349 47
SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf SAT 36 259 60 154 62 40 174 36 115 41 39 44 41 37 38 36
SAT11/application/fuhs/AProVE11/AProVE11-11.cnf UNSAT 54 54 67 90 82 72 89 103 62 88 90 72 56 76 131 56
SAT11/application/kullmann/AES/Benchmarks/32/aes_32_2_keyfind_1.cnf SAT 1 270 134 149 165 14 215 2 202 11 13 28 2 1 3 11
SAT11/application/leberre/2dimensionalstrippacking/E02F17.cnf UNSAT 37 37 77 68 43 86 70 111 111 95 119 91 95 106 179 96
SAT-Race-2010-CNF/hardware-verification/manolios/c10idw_i.cnf UNSAT 72 72 79 81 82 83 103 118 83 84 75 82 73 87 237 83
SAT07/industrial/anbulagan/medium-unsat/dated-5-11-u.cnf UNSAT 71 86 100 90 96 90 123 104 106 77 71 83 86 104 117 94
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf UNSAT 52 54 53 59 52 109 67 97 57 103 74 79 81 85 415 102
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf UNSAT 54 61 64 54 59 66 77 95 102 67 63 73 74 80 575 86
SAT-Race-2010-CNF/software-verification/nec/hard-18-U-10652.cnf UNSAT 97 99 101 102 97 118 97 118 98 111 102 108 117 108 118 118
SAT04/industrial/velev/pipe-sat-1-1/12pipe_bug4_q0.used-as.sat04-723.cnf SAT 11 682 401 34 20 13 29 13 386 13 11 13 14 14 14 14
SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.150-SAT.cnf SAT 79 82 79 113 150 129 131 117 156 151 85 107 119 134 130 79
SAT_RACE08/cnf/manol-pipe-f7nidw.cnf UNSAT 62 65 68 62 75 75 99 107 85 78 84 214 82 280 313 126
SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.180-SAT.cnf SAT 59 114 221 119 112 85 143 192 59 131 93 153 92 90 194 60
SAT09/APPLICATIONS/crypto/desgen/gss-16-s100.cnf SAT 10 152 187 60 187 48 248 205 109 29 10 114 109 160 150 122
SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug6.cnf SAT 83 154 116 165 131 119 118 97 83 115 111 116 207 95 115 153
SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.cnf UNSAT 96 99 96 136 106 104 163 143 107 123 129 127 TO 109 219 108
SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.160-NOTKNOWN.cnf SAT 67 138 147 116 177 106 157 154 140 113 100 122 91 98 67 184
SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step16.cnf SAT 14 125 136 160 114 74 109 149 14 140 251 104 118 97 181 188
SAT11/application/leberre/2dimensionalstrippacking/korf-15.cnf UNSAT 88 151 146 129 116 142 106 117 139 131 88 125 180 110 137 153
SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-30-step11.cnf SAT 46 97 96 101 46 135 163 131 80 127 97 113 182 223 278 151
SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.170-NOTKNOWN.cnf SAT 57 88 78 112 334 108 119 57 103 162 135 145 139 128 141 249
SAT09/APPLICATIONS/bioinfo/q_query_3_L70_coli.sat.cnf SAT 74 84 105 121 133 143 129 173 101 149 150 121 74 99 491 80
SAT09/APPLICATIONS/diagnosis/ACG-10-10p0.cnf UNSAT 93 93 120 180 157 195 121 200 97 171 161 108 102 116 226 105
SAT09/APPLICATIONS/diagnosis/UR-10-10p1.cnf SAT 36 113 72 68 159 121 141 285 36 169 266 81 88 116 300 176
SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf SAT 28 88 59 158 122 125 116 169 28 318 96 153 144 278 178 233
SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf SAT 37 140 78 63 163 183 85 107 61 283 153 37 262 134 306 255
SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step14.cnf SAT 82 123 161 128 169 210 135 109 125 101 82 196 103 188 336 196
SAT07/industrial/fuhs/medium/AProVE07-21.cnf UNSAT 87 289 236 197 181 87 247 138 288 98 127 117 105 138 90 153
SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step16.cnf SAT 59 78 98 100 59 241 66 179 81 222 224 129 149 210 280 492
SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug5.cnf SAT 106 156 334 175 116 260 146 130 179 126 106 120 259 231 142 167
SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf SAT 38 82 108 53 73 123 38 192 65 141 156 55 206 146 994 228
SAT09/APPLICATIONS/diagnosis/ACG-15-5p1.cnf SAT 97 97 175 152 197 165 181 266 152 218 177 162 193 161 471 101
SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step13.cnf UNSAT 135 141 161 179 195 222 172 332 135 255 222 231 197 141 311 167
SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w8.shuffled.cnf UNSAT 140 140 180 269 257 TO 192 TO TO TO TO TO TO TO TO TO
SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf UNSAT 45 63 77 49 105 262 66 264 45 208 127 201 215 50 1343 55
SAT07/industrial/manolios/manol-pipe-f7idw.cnf UNSAT 47 49 81 55 47 56 78 115 82 84 168 273 95 688 1025 634
SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.120-NOTKNOWN.cnf UNSAT 179 179 212 206 210 215 270 304 219 TO 246 262 221 265 290 259
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf UNSAT 182 210 233 191 182 198 305 336 243 216 183 246 202 281 355 258
SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf UNSAT 120 143 134 228 189 396 254 501 120 283 368 267 244 185 403 177
SAT09/APPLICATIONS/c32sat/post-cbmc-zfcp-2.8-u2-noholes.cnf SAT 240 279 270 271 284 302 275 308 278 309 240 304 313 310 310 317
SAT09/APPLICATIONS/bioinfo/q_query_3_L150_coli.sat.cnf UNSAT 149 149 213 240 216 312 188 409 204 395 341 378 235 236 663 218
SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf UNSAT 163 163 170 173 174 309 229 417 194 371 424 334 304 256 665 264
SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_19_UNKNOWN.cnf SAT 21 399 TO 401 378 TO TO TO TO TO 253 TO TO TO 21 427
SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf UNSAT 248 249 248 255 300 320 286 480 277 493 463 395 338 434 464 355
SAT11/application/manthey/traffic/traffic_3_uc_sat.cnf SAT 43 366 354 103 43 506 698 344 350 306 678 417 257 376 381 196
SAT03/industrial/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf UNSAT 76 148 167 282 334 426 184 445 76 463 303 300 280 131 1946 143
SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w9.shuffled.cnf UNSAT 178 645 505 610 470 249 400 189 879 204 258 308 291 319 178 366
SAT11/application/manthey/traffic/traffic_pcb_unknown.cnf UNSAT 269 309 269 350 298 517 328 558 271 526 503 514 631 501 807 552
SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf SAT 131 268 188 483 384 645 532 634 131 384 475 420 841 473 579 618
SAT11/application/manthey/traffic/traffic_f_unknown.cnf UNSAT 288 314 325 298 288 506 362 529 301 514 501 543 471 543 956 629
SAT11/application/manthey/traffic/traffic_kkb_unknown.cnf UNSAT 273 273 281 278 276 505 316 582 302 604 573 596 522 568 880 537
SAT11/application/manthey/traffic/traffic_fb_unknown.cnf UNSAT 282 296 323 313 282 468 371 543 326 517 566 555 566 571 848 567
SAT11/application/manthey/traffic/traffic_b_unsat.cnf UNSAT 305 370 330 317 345 533 424 588 305 583 534 554 532 498 867 552
SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf UNSAT 94 421 271 472 144 741 459 564 117 773 269 507 513 97 1974 94
SAT11/application/manthey/traffic/traffic_3b_unknown.cnf UNSAT 305 355 308 305 307 561 325 627 337 571 568 615 577 552 916 676
SAT_RACE06/velev-npe-1.0-9dlx-b71.cnf SAT 220 619 427 307 448 479 563 848 1033 607 220 404 600 315 512 503
SAT05/industrial/grieu05/vmpc/vmpc_35.renamed-as.sat05-1921.cnf SAT 238 TO TO 720 TO 687 TO TO TO TO 238 TO TO TO TO TO
SAT_RACE08/cnf/manol-pipe-c10nidw.cnf UNSAT 359 359 372 483 392 430 499 607 375 509 543 441 412 445 1964 435
SAT09/APPLICATIONS/diagnosis/UCG-20-5p1.cnf SAT 215 761 432 613 571 428 696 513 1046 215 686 518 499 522 1874 642
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom12.cnf UNSAT 93 147 155 93 151 465 160 414 168 760 701 1140 2385 571 1352 1964
SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step15.cnf UNSAT 381 381 390 488 480 1199 513 931 405 928 1082 857 817 563 1079 591
SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-3.035-NOTKNOWN.cnf UNSAT 561 561 561 632 731 934 756 1167 564 982 1319 1058 777 1060 1626 853
SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf SAT 155 155 352 595 318 601 331 739 602 924 1588 706 491 683 5294 892
SAT11/application/manthey/traffic/traffic_r_uc_sat.cnf SAT 445 1067 827 740 520 968 604 634 1734 445 461 451 771 1016 3127 996
SAT02/industrial/goldberg/rand_net/rand_net60-40-10.shuffled.cnf UNSAT 179 807 938 424 577 674 1593 1712 881 725 484 854 800 1536 179 2254
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf UNSAT 408 408 570 730 535 1627 833 1980 549 1484 1501 1018 780 1158 TO 707
SAT09/APPLICATIONS/crypto/desgen/gss-19-s100.cnf SAT 54 1414 948 1205 1074 115 403 303 672 246 1829 660 54 1786 2506 2007
SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf UNSAT 426 736 813 1028 770 772 985 973 750 594 724 538 551 580 5158 426
SAT_RACE08/cnf/ibm-2004-23-k100.cnf SAT 250 422 334 568 447 727 285 781 311 667 468 666 250 400 8469 687
SAT-Race-2010-CNF/cryptography/mizh/md5_48_3.cnf SAT 35 988 495 1424 3656 112 928 181 4882 35 261 983 237 280 993 421
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top30.cnf SAT 310 2167 3220 TO 310 693 TO 572 TO 621 1842 690 435 720 1146 827
SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf UNSAT 306 306 394 620 499 819 614 1003 391 904 652 413 413 357 9328 393
SAT09/APPLICATIONS/diagnosis/UCG-15-10p1.cnf SAT 79 727 957 773 967 79 972 1054 1148 1126 824 987 719 864 5316 786
SAT11/application/rintanen/SATPlanning/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf SAT 278 846 278 1041 749 286 363 2158 666 2150 1914 1567 997 TO 3375 TO
SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf UNSAT 174 831 367 TO TO 1212 326 2091 1452 1469 4164 304 174 822 TO 2083
SAT-Race-2010-CNF/cryptography/mizh/sha0_36_5.cnf SAT 102 2491 TO 7328 1038 358 3269 156 TO 347 102 540 232 379 404 626
SAT07/industrial/crypto/mizh-sha0-36-2.cnf SAT 127 TO 160 2839 TO 194 6964 127 TO 1165 542 1276 514 208 178 1774
SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf SAT 229 540 1279 679 824 512 5524 306 875 1171 1116 815 229 2934 3400 925
SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf SAT 357 3268 1231 1421 583 1004 435 357 1505 1569 2130 1958 927 2982 TO 715
SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf SAT 145 728 1947 615 1948 2566 145 1162 894 2267 4466 1601 979 1104 1065 419
SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf SAT 88 785 735 1234 1455 1843 1086 2768 422 88 2118 1260 1250 1878 2917 2909
SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf UNSAT 970 1107 1083 1040 970 1460 1349 1815 1222 1306 1373 1961 1641 2058 2307 2501
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top29.cnf SAT 324 3024 TO TO TO 1622 TO 324 TO 2053 769 1561 721 1900 2451 1280
SAT11/application/kullmann/AES/Benchmarks/32/aes_32_3_keyfind_1.cnf SAT 65 TO TO TO TO 1434 TO 664 TO 2884 65 3630 2441 915 599 TO
SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf SAT 60 5948 507 112 2170 78 3553 151 249 2926 60 2085 2768 2182 101 1087
SAT07/industrial/anbulagan/hard-sat/partial-10-15-s.cnf SAT 313 324 1192 868 581 2390 5487 2045 578 1092 2118 1534 313 899 4887 683
SAT07/industrial/fuhs/hard/AProVE07-03.cnf UNSAT 793 966 883 793 797 1632 1057 2106 1182 1772 4136 1729 1850 1825 2059 2569
SAT05/industrial/grieu05/vmpc/vmpc_32.renamed-as.sat05-1919.cnf SAT 41 592 TO 2891 2557 206 TO 2348 339 1181 1358 1900 TO TO 41 5487
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top25.cnf SAT 717 1698 TO TO TO TO TO 3842 TO TO TO TO TO 717 787 TO
SAT09/APPLICATIONS/bitverif/maxxor/maxxor032.cnf UNSAT 564 1149 784 691 920 2881 1051 4165 1900 2903 1460 1960 2972 TO 564 TO
SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step20.cnf UNSAT 911 1424 1842 1184 1462 1862 1652 1867 1649 1523 2274 3035 2170 911 3944 1624
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf UNSAT 773 773 1047 949 974 2053 1211 3655 1342 2011 2485 2032 1903 2016 5032 1975
SAT09/APPLICATIONS/crypto/desgen/gss-22-s100.cnf SAT 561 TO TO TO TO TO TO TO TO 3341 TO TO TO 561 TO 1991
SAT_RACE08/cnf/mizh-sha0-36-4.cnf SAT 167 3449 4430 5235 3756 700 980 716 5577 167 514 1161 1298 556 2050 207
SAT_RACE08/Q1/SAT_dat.k85.cnf SAT 348 1011 966 3913 348 3538 1202 580 2181 1910 1570 3305 2315 3291 4552 TO
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf UNSAT 491 491 603 670 635 3558 598 3702 544 3987 5302 3420 2384 2237 TO 2601
SAT_RACE08/cnf/ibm-2002-30r-k85.cnf SAT 350 1010 1038 3994 350 3777 1210 581 2002 1895 1562 3194 2319 3606 4271 TO
SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k20.cnf UNSAT 907 971 913 907 1002 1448 3050 5706 1363 2318 1348 4093 2949 TO 2614 TO
SAT09/APPLICATIONS/crypto/desgen/gss-21-s100.cnf SAT 482 TO 3535 507 1942 1136 4101 4671 536 1385 482 4407 TO 1466 3365 1238
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf UNSAT 407 407 642 700 871 3224 TO TO 510 3912 3011 3036 5811 3236 1724 TO
SAT02/industrial/dellacherie/comb/comb1.shuffled.cnf UNSAT 808 2223 2504 860 1248 2417 1690 3555 808 2439 4152 2423 2414 3563 TO TO
SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k80.cnf UNSAT 770 1306 1121 770 1055 1537 3006 6535 1852 2141 1738 3352 3268 TO 2721 TO
SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf UNSAT 1201 1201 1349 1369 1446 2043 1383 3395 1334 2290 3888 3893 3187 1517 4548 2324
SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step21.cnf SAT 655 4993 2122 2608 655 870 TO TO 4293 TO 1322 1743 2856 TO TO 2333
SAT11/application/kullmann/AES/Benchmarks/64/aes_64_1_keyfind_1.cnf SAT 1269 TO TO TO TO 1789 TO 4246 TO TO 1931 TO TO TO 1269 2662
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.cnf UNSAT 2385 2385 TO 2576 TO TO TO TO TO TO TO TO TO TO TO TO
SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k100.cnf UNSAT 599 1163 880 1171 599 1562 3954 6600 1318 2773 1817 3528 2190 4906 2486 TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top28.cnf SAT 523 TO 5488 TO TO 523 6008 2758 TO 1283 1783 2096 623 795 2371 4010
SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf SAT 726 3592 2478 TO TO TO TO TO 2587 TO TO TO 3294 TO TO 726
SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k45.cnf UNSAT 667 1027 1141 764 667 1296 4146 7251 2042 1632 1743 4700 2055 4456 2585 TO
SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf UNSAT 2107 2107 2114 2628 2333 TO 3666 TO 2859 TO TO TO TO TO TO TO
SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf UNSAT 1366 1904 2260 4192 4010 2174 3581 3814 2163 2241 2176 1853 1954 1748 3837 1366
SAT02/industrial/goldberg/rand_net/rand_net70-60-10.shuffled.cnf UNSAT 537 1583 3067 1290 1472 4958 TO TO TO 3305 2873 4593 TO TO 537 TO
SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf UNSAT 1620 2041 3075 2287 2514 2931 2038 2975 4576 2419 1620 2182 3137 2083 3553 3743
SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf SAT 523 2513 2515 TO 3164 TO 3008 4068 2660 TO TO TO 3919 523 TO TO
SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf UNSAT 2754 TO TO TO TO TO TO TO TO TO TO TO TO 2754 TO 2976
SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf UNSAT 1461 2173 2276 1764 1461 1942 2633 2589 2686 2159 2515 4593 3776 3585 4892 3963
SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf SAT 1375 TO 3139 3825 TO 1375 3946 TO TO 2168 TO TO TO TO TO TO
SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf SAT 2446 TO TO TO TO 2446 TO TO TO TO TO 3348 TO TO TO TO
SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf UNSAT 2138 3420 3375 2726 2791 TO 3776 2525 3755 2360 TO 2314 2138 2874 2872 TO
SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-13-step17.cnf UNSAT 1688 1699 1896 2199 1976 4232 2097 3917 2034 3453 5986 2420 2950 2382 4977 1688
SAT05/industrial/grieu05/vmpc/vmpc_34.renamed-as.sat05-1926.cnf SAT 434 TO TO TO TO 996 TO 4850 TO TO 7991 TO 580 TO 434 TO
SAT02/industrial/aloul/Homer/homer14.shuffled.cnf UNSAT 1593 1801 2161 2183 2364 3572 2172 4001 2675 TO 1593 4306 4194 4037 3932 3970
SAT11/application/kullmann/AES/Benchmarks/32/aes_32_5_keyfind_1.cnf SAT 3182 TO TO TO TO TO TO 3182 TO TO TO TO TO TO TO TO
SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf SAT 3307 TO TO TO TO TO 3307 TO TO TO TO TO TO TO TO TO
SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf SAT 3455 3455 TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT05/industrial/grieu05/vmpc/vmpc_36.renamed-as.sat05-1922.cnf SAT 453 TO TO 453 TO TO TO TO TO TO TO TO TO TO 6715 TO
SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf SAT 752 TO TO 6783 2863 TO TO 752 812 TO 4665 TO 3779 5387 5341 2394
SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf UNSAT 2686 3363 4242 TO TO TO 4487 TO 2686 TO TO TO TO TO TO TO
SAT09/APPLICATIONS/diagnosis/UTI-20-10p1.cnf SAT 2222 2781 2709 2222 2797 5728 2296 4637 2381 5268 5966 2343 TO 5445 TO TO
SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf UNSAT 2658 2691 3762 4880 4578 4490 TO TO 3897 4716 3725 3360 3244 3135 TO 2658
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top26.cnf SAT 962 1333 962 5295 TO 3165 TO 4297 TO 5467 6208 TO 2129 TO 5309 TO
SAT05/industrial/narain05/vpn/clauses-8.renamed-as.sat05-1964.cnf SAT 2291 4427 4231 4617 4595 3128 4231 3609 4281 4090 3235 3473 TO 2291 TO 3500
SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf UNSAT 3249 3249 3500 TO TO TO 4801 TO TO TO TO TO TO TO TO TO
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf UNSAT 2956 3986 3455 2956 3018 TO 4814 TO 4901 TO TO TO TO TO TO TO
SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-21-step11.cnf UNSAT 2682 3030 3012 2990 2682 5285 3590 TO 4366 6118 TO TO TO 4374 4234 4227
SAT03/industrial/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.cnf UNSAT 1677 3318 1677 TO 3542 5059 4605 TO 4087 4436 TO 5209 4848 TO TO TO
SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf UNSAT 3207 4579 4524 TO TO TO TO TO 3207 TO TO TO TO TO TO TO
SAT03/industrial/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.cnf UNSAT 2986 3720 2986 3251 3103 4613 4739 5513 TO 4527 TO 5181 4831 TO TO TO
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf UNSAT 3440 4732 4672 3440 3876 TO TO TO 4650 TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top24.cnf SAT 3439 4173 TO TO 5760 3890 TO TO TO 3439 TO TO TO TO TO TO
SAT03/industrial/goldberg/hard_eq_check/c6288mul.miter.shuffled-as.sat03-346.cnf UNSAT 2348 TO 4550 2348 5027 TO 4008 TO 5770 TO TO TO TO TO TO TO
SAT11/application/fuhs/AProVE11/AProVE11-06.cnf UNSAT 3549 TO TO TO TO 5310 TO TO TO TO 4453 TO 3887 4531 TO 3549
SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf UNSAT 3786 3786 4771 TO TO TO 5427 TO TO TO TO TO TO TO TO TO
SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf UNSAT 3913 3913 4562 TO TO TO 5541 TO TO TO TO TO TO TO TO TO
SAT03/industrial/maris/CNF/gripper13u.shuffled-as.sat03-395.cnf UNSAT 661 TO TO 7154 6393 TO TO TO TO TO TO TO TO TO 661 TO
SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf SAT 4089 TO TO 5139 TO TO 5727 4089 TO TO TO 6268 TO 4570 TO TO
SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf UNSAT 4717 TO 5845 5487 5244 4717 TO 4846 TO 5230 TO 5255 TO TO TO TO
SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf UNSAT 4127 4127 5250 TO TO TO 4521 TO 6184 TO TO 6129 TO TO TO TO
SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf UNSAT 5299 TO TO 5299 5507 TO TO TO TO TO TO TO TO TO TO TO
SAT07/industrial/anbulagan/hard-sat/partial-10-17-s.cnf SAT 4879 6192 TO TO TO 4879 TO TO TO TO TO TO TO TO TO TO
SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf UNSAT 5584 TO TO TO TO TO TO TO TO TO TO TO TO TO TO 5584
SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf UNSAT 5033 5328 6566 5033 5435 TO TO TO TO 6593 TO TO TO TO TO TO
SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf UNSAT 4596 6019 6264 6372 5713 TO TO TO 4596 TO TO TO TO TO TO TO
SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf SAT 4271 4271 TO 7251 TO TO 6180 TO TO TO TO TO TO TO TO TO
SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf UNSAT 5319 6411 5603 6021 5319 6329 TO TO TO TO TO TO TO TO TO TO
SAT07/industrial/anbulagan/hard-unsat/dated-10-17-u.cnf UNSAT 5233 5736 5233 6295 6521 TO TO TO TO TO TO TO TO TO TO TO
SAT07/industrial/fuhs/hard/AProVE07-01.cnf UNSAT 7442 TO 7442 TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT-Race-2010-CNF/hardware-verification/velev/11pipe_11_ooo.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT-Race-2010-CNF/hardware-verification/velev/11pipe_k.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT-Race-2010-CNF/hardware-verification/velev/2dlx_ca_bp_f_liveness.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT02/industrial/aloul/Homer/homer16.shuffled.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT02/industrial/aloul/Homer/homer17.shuffled.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT03/industrial/li/li-test4/li-test4-100.shuffled-as.sat03-370.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT03/industrial/schuppan/l2s/dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray04_32.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl064.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner128.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT09/APPLICATIONS/bitverif/mulhs/mulhs016.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT09/APPLICATIONS/bitverif/smulo/smulo064.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT09/APPLICATIONS/crypto/md5gen/gus-md5-12.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_09_UNKNOWN.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom15.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom16.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom17.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom18.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom19.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom20.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom21.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom22.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom23.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom24.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom25.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom26.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top21.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top22.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top23.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-countbits128-tseitin.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/kullmann/AES/Benchmarks/128/aes_128_10_keyfind_1.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/kullmann/AES/Benchmarks/128/aes_128_1_keyfind_1.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/kullmann/AES/Benchmarks/128/aes_128_2_keyfind_1.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/kullmann/AES/Benchmarks/128/aes_128_3_keyfind_1.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/kullmann/AES/Benchmarks/32/aes_32_4_keyfind_1.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/kullmann/AES/Benchmarks/64/aes_64_2_keyfind_1.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/kullmann/AES/Benchmarks/64/aes_64_3_keyfind_1.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/kullmann/AES/Benchmarks/64/aes_64_4_keyfind_1.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/leberre/2dimensionalstrippacking/E00N23.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/leberre/2dimensionalstrippacking/E00X23.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.080-SAT.cnf SAT TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/leberre/2dimensionalstrippacking/korf-18.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO
SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf ??? TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO TO


Virtual Best USE_PSM-LBD_LIMIT_DYN-AVERAGE_LBD-NO_FREEZE USE_PSM-LBD_LIMIT_DYN-AVERAGE_LBD-FREEZE USE_PSM-LIMITED-AVERAGE_LBD-FREEZE USE_PSM-LIMITED-AVERAGE_LBD-NO_FREEZE USE_PSM-LIMITED-USE_LUBY-NO_FREEZE USE_PSM-LBD_LIMIT_DYN-AVERAGE_LBD-FREEZE_ALL USE_PSM-LIMITED-USE_LUBY-FREEZE_ALL USE_PSM-UNLIMITED-AVERAGE_LBD-FREEZE USE_PSM-LIMITED-USE_LUBY-FREEZE manysat USE_PSM-LBD_LIMIT_DYN-USE_LUBY-FREEZE USE_PSM-LBD_LIMIT_DYN-USE_LUBY-NO_FREEZE USE_PSM-UNLIMITED-USE_LUBY-FREEZE NO_USE_PSM-LIMITED-USE_LUBY-NO_FREEZE USE_PSM-UNLIMITED-USE_LUBY-NO_FREEZE
Number of resolved instances
229 205 202 200 196 195 191 188 188 188 188 188 184 183 182 177