SAT 2011 Competition: main competition (phase 1): benchmarks results per solver
Result page for solver STRUCTure
0.1 (hbr=2)
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (14 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
application/leberre/
2dimensionalstrippacking/E15N15.cnf
UNSAT
1.71074
0.998252
3312063
application/leberre/
2dimensionalstrippacking/E07N15.cnf
UNSAT
1.77773
1.02545
3312062
SAT02/industrial/biere/
dinphil/dp04u03.shuffled.cnf
UNSAT
2.09368
0.895966
3312042
application/leberre/
2dimensionalstrippacking/E04N18.cnf
UNSAT
9.1876
6.26629
3312065
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf
UNSAT
21.5557
12.0115
3312051
industrial/babic/hsatv17/
hsat_vc12062.cnf
UNSAT
21.6527
18.717
3312046
SAT-Race-2010-CNF/software-verification/
nec/hard-25-U-7061.cnf
UNSAT
38.6131
36.5302
3312050
SAT02/industrial/goldberg/rand_net/
rand_net60-30-1.shuffled.cnf
UNSAT
125.698
35.5158
3312044
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf
UNSAT
599.467
175.901
3312052
SAT02/industrial/aloul/
Homer/homer14.shuffled.cnf
UNSAT
1214.81
306.156
3312175
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf
UNSAT
1280.9
376.14
3312053
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf
UNSAT
1307.8
361.493
3312054
application/leberre/
2dimensionalstrippacking/E03N17.cnf
UNSAT
1313.78
334.502
3312064
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
UNSAT
3591.65
904.683
3312100
Solver found a solution (SATISFIABLE) (14 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT05/industrial/maris05/DriverLog/
driverlog3_v01a.renamed-as.sat05-3963.cnf
SAT
0.810876
0.451583
3312022
SAT05/industrial/maris05/DriverLog/
driverlog1_ks99i.renamed-as.sat05-3951.cnf
SAT
1.17982
0.559673
3312125
SAT05/industrial/maris05/Rovers/
rovers1_ks99i.renamed-as.sat05-3971.cnf
SAT
1.70374
0.739825
3312024
application/kullmann/AES/Benchmarks/
32/aes_32_1_keyfind_1.cnf
SAT
2.97355
1.02099
3312040
SAT02/industrial/biere/
dinphil/dp04s04.shuffled.cnf
SAT
3.23851
1.14738
3312019
SAT05/industrial/maris05/Ferry/
ferry5_ks99i.renamed-as.sat05-3994.cnf
SAT
8.39472
2.53473
3312023
SAT02/industrial/biere/
dinphil/dp10s10.shuffled.cnf
SAT
23.0395
6.6321
3312020
SAT_RACE08/Q1/
SAT_dat.k80_04.cnf
SAT
84.0902
28.2989
3312147
application/fuhs/
AProVE11/AProVE11-09.cnf
SAT
87.8276
26.4702
3312029
application/fuhs/
AProVE11/AProVE11-02.cnf
SAT
201.343
73.3523
3312031
application/fuhs/
AProVE11/AProVE11-13.cnf
SAT
608.605
214.913
3312033
SAT05/industrial/grieu05/vmpc/
vmpc_25.renamed-as.sat05-1913.cnf
SAT
1398.41
353.434
3312123
APPLICATIONS/diagnosis/
UTI-10-5t1.cnf
SAT
1516.24
526.936
3312025
application/kullmann/AES/Benchmarks/
64/aes_64_1_keyfind_1.cnf
SAT
3144.56
791.131
3312159
Solver timed out (no solution given) (272 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT03/industrial/schuppan/l2s/
valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
? (TO)
1303.41
1300.07
3312094
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
? (TO)
1329.47
1300.38
3312073
application/rintanen/SATPlanning/
transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf
? (TO)
1374.24
1300.32
3312169
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf
? (TO)
1402.04
1300.25
3312168
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
? (TO)
1415.41
1300.53
3312087
SAT-Race-2010-CNF/software-verification/
nec/hard-18-U-10652.cnf
? (TO)
1675.42
1300.23
3312204
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
? (TO)
1999.45
1300.56
3312130
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf
? (TO)
2158.45
1300.51
3312129
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf
? (TO)
2230.33
1301.43
3312088
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
? (TO)
2243.49
1302.74
3312317
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf
? (TO)
2385
1302.61
3312157
SAT-Race-2010-CNF/software-verification/
nec/hard-6-U-7061.cnf
? (TO)
2479.95
1300.45
3312049
application/rintanen/SATPlanning/
blocks-blocks-36-0.180-SAT.cnf
? (TO)
2499.58
1302.65
3312174
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf
? (TO)
2508.22
1300.73
3312117
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
? (TO)
2510.89
1300.71
3312086
SAT03/industrial/schuppan/l2s/
bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
? (TO)
2525.09
1300.35
3312093
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
? (TO)
2528.39
1300.61
3312085
SAT05/industrial/narain05/vpn/
clauses-8.renamed-as.sat05-1964.cnf
? (TO)
2552.66
1300.99
3312069
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
? (TO)
2554.18
1300.56
3312316
application/rintanen/SATPlanning/
blocks-blocks-37-1.150-SAT.cnf
? (TO)
2872.63
1302.51
3312172
application/rintanen/SATPlanning/
blocks-blocks-36-0.170-NOTKNOWN.cnf
? (TO)
2947.83
1301.48
3312173
velev-npe-1.0-9dlx-b71.cnf
? (TO)
3057.69
1300.54
3312078
application/rintanen/SATPlanning/
blocks-blocks-36-0.160-NOTKNOWN.cnf
? (TO)
3064.96
1302.56
3312171
application/rintanen/SATPlanning/
blocks-blocks-37-1.120-NOTKNOWN.cnf
? (TO)
3082.88
1302.53
3312241
application/rintanen/SATPlanning/
transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf
? (TO)
3102.36
1302.52
3312170
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf
? (TO)
3103.37
1300.41
3312225
application/rintanen/SATPlanning/
blocks-blocks-37-1.130-NOTKNOWN.cnf
? (TO)
3134.7
1301.4
3312242
manol-pipe-c10nidw.cnf
? (TO)
3219.64
1302.65
3312202
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf
? (TO)
3221.05
1300.48
3312222
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf
? (TO)
3239.43
1300.37
3312312
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step14.cnf
? (TO)
3365.23
1302.59
3312156
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-18-step15.cnf
? (TO)
3373.68
1302.55
3312213
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step13.cnf
? (TO)
3492.2
1302.57
3312214
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-18-step16.cnf
? (TO)
3507.86
1302.64
3312154
application/rintanen/SATPlanning/
blocks-blocks-36-0.120-NOTKNOWN.cnf
? (TO)
3516.65
1302.65
3312240
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf
? (TO)
3536.31
1302.63
3312038
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
3578.05
1302.66
3312072
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
3624.77
1302.72
3312071
industrial/manolios/
manol-pipe-f7idw.cnf
? (TO)
3682.71
1302.52
3312189
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-30-step11.cnf
? (TO)
3770.58
1300.57
3312155
application/leberre/
2dimensionalstrippacking/E00N23.cnf
? (TO)
3791.72
1300.18
3312307
SAT03/industrial/schuppan/l2s/
dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf
? (TO)
3836.74
1300.46
3312250
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf
? (TO)
3958.27
1300.37
3312313
SAT_RACE08/Q1/
SAT_dat.k85.cnf
? (TO)
3983.07
1302.59
3312148
ibm-2002-30r-k85.cnf
? (TO)
4035.53
1302.74
3312146
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
4128.49
1302.69
3312126
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf
? (TO)
4132.6
1300.41
3312223
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
4151.74
1302.6
3312255
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
4169.89
1302.52
3312104
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
? (TO)
4170.66
1300.51
3312252
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
4186.24
1302.2
3312264
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
4209.21
1302.59
3312259
SAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq60_a.cnf
? (TO)
4219.94
1300.54
3312114
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (TO)
4232.55
1300.67
3312076
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
4239.32
1300.63
3312070
application/leberre/
2dimensionalstrippacking/E00X23.cnf
? (TO)
4319.41
1300.27
3312306
industrial/anbulagan/
hard-sat/partial-10-17-s.cnf
? (TO)
4372.92
1301.2
3312254
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf
? (TO)
4385.29
1300.37
3312311
SAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq57_a.cnf
? (TO)
4393.89
1300.56
3312113
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
? (TO)
4401.86
1300.35
3312310
application/rintanen/SATPlanning/
grid-strips-grid-y-3.035-NOTKNOWN.cnf
? (TO)
4419.24
1301.52
3312238
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
? (TO)
4430.14
1300.69
3312139
application/manthey/traffic/
traffic_r_uc_sat.cnf
? (TO)
4452.44
1300.59
3312167
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
? (TO)
4473.38
1300.72
3312108
application/rintanen/SATPlanning/
grid-strips-grid-y-4.025-NOTKNOWN.cnf
? (TO)
4484.84
1300.51
3312239
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top26.cnf
? (TO)
4511.41
1300.31
3312291
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
? (TO)
4531.49
1300.39
3312096
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
4559.22
1300.76
3312075
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-nlzbe256-tseitin.cnf
? (TO)
4569.34
1300.34
3312224
velev-vliw-uns-4.0-9-i1.cnf
? (TO)
4589.56
1300.99
3312110
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
4591.79
1300.43
3312099
APPLICATIONS/diagnosis/
ACG-15-5p1.cnf
? (TO)
4605.42
1301.64
3312137
application/leberre/
2dimensionalstrippacking/E02F22.cnf
? (TO)
4605.47
1300.11
3312164
APPLICATIONS/diagnosis/
UR-20-10p0.cnf
? (TO)
4611.77
1301.05
3312107
SAT-Race-2010-CNF/hardware-verification/
velev/11pipe_11_ooo.cnf
? (TO)
4616.61
1300.57
3312111
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
? (TO)
4625.83
1300.58
3312138
SAT-Race-2010-CNF/hardware-verification/
velev/2dlx_ca_bp_f_liveness.cnf
? (TO)
4631.12
1300.52
3312273
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf
? (TO)
4635.18
1300.58
3312095
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
4637.38
1300.5
3312101
industrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
? (TO)
4644.64
1300.32
3312098
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top30.cnf
? (TO)
4647.99
1300.34
3312081
application/manthey/traffic/
traffic_3_uc_sat.cnf
? (TO)
4651.89
1300.57
3312165
APPLICATIONS/bitverif/countbitswegner/
countbitswegner128.cnf
? (TO)
4658.38
1300.29
3312263
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
? (TO)
4661.32
1301.67
3312192
APPLICATIONS/diagnosis/
UTI-20-10t1.cnf
? (TO)
4662.61
1300.4
3312026
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
? (TO)
4663.06
1300.54
3312196
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-countbits128-tseitin.cnf
? (TO)
4672.69
1300.25
3312295
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top28.cnf
? (TO)
4720.32
1300.37
3312080
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
? (TO)
4727.73
1301.62
3312197
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.080-SAT.cnf
? (TO)
4731.11
1302.45
3312315
velev-pipe-sat-1.0-b9.cnf
? (TO)
4739.04
1300.56
3312143
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf
? (TO)
4740.33
1300.41
3312236
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
? (TO)
4741.58
1300.58
3312314
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step16.cnf
? (TO)
4747.64
1300.55
3312153
APPLICATIONS/diagnosis/
UTI-20-10t0.cnf
? (TO)
4754.14
1300.33
3312048
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
? (TO)
4755.17
1300.6
3312237
SAT04/industrial/velev/pipe-sat-1-1/
12pipe_bug6_q0.used-as.sat04-725.cnf
? (TO)
4758.26
1300.69
3312121
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top24.cnf
? (TO)
4770.46
1300.28
3312287
SAT04/industrial/velev/pipe-sat-1-1/
12pipe_bug4_q0.used-as.sat04-723.cnf
? (TO)
4780.99
1300.51
3312122
APPLICATIONS/diagnosis/
ACG-10-10p0.cnf
? (TO)
4784.37
1300.54
3312195
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
4784.89
1300.57
3312102
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top25.cnf
? (TO)
4785.83
1300.28
3312289
application/kullmann/AES/Benchmarks/
32/aes_32_3_keyfind_1.cnf
? (TO)
4800.09
1207.33
3312082
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
4800.1
1206.44
3312266
industrial/fuhs/hard/
AProVE07-03.cnf
? (TO)
4800.11
1206.64
3312183
SAT04/industrial/hoonsang/vis-bmc/
dekker.used-as.sat04-989.cnf
? (TO)
4800.13
1206.47
3312180
SAT03/industrial/goldberg/hard_eq_check/
x1mul.miter.shuffled-as.sat03-359.cnf
? (TO)
4800.13
1208.75
3312090
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
4800.13
1206.54
3312257
SAT02/industrial/aloul/
Homer/homer17.shuffled.cnf
? (TO)
4800.13
1208.35
3312243
industrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
? (TO)
4800.14
1252.66
3312182
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom12.cnf
? (TO)
4800.14
1206.59
3312206
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom15.cnf
? (TO)
4800.15
1207.39
3312275
SAT03/industrial/maris/CNF/
gripper13u.shuffled-as.sat03-395.cnf
? (TO)
4800.15
1207.05
3312249
application/manthey/traffic/
traffic_f_unknown.cnf
? (TO)
4800.16
1240.75
3312233
SAT02/industrial/dellacherie/
comb/comb1.shuffled.cnf
? (TO)
4800.16
1206.84
3312244
application/leberre/
2dimensionalstrippacking/E02F20.cnf
? (TO)
4800.16
1224.77
3312161
SAT02/industrial/goldberg/rand_net/
rand_net70-60-10.shuffled.cnf
? (TO)
4800.17
1210.34
3312177
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom13.cnf
? (TO)
4800.18
1206.51
3312207
SAT02/industrial/aloul/
Bart/bart17.shuffled.cnf
? (TO)
4800.18
1219.08
3312018
application/leberre/
2dimensionalstrippacking/korf-18.cnf
? (TO)
4800.19
1212.46
3312118
application/manthey/traffic/
traffic_3b_unknown.cnf
? (TO)
4800.2
1229.08
3312230
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
4800.2
1283.02
3312097
application/manthey/traffic/
traffic_pcb_unknown.cnf
? (TO)
4800.21
1249.8
3312234
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf
? (TO)
4800.21
1262.17
3312308
application/kullmann/AES/Benchmarks/
32/aes_32_2_keyfind_1.cnf
? (TO)
4800.22
1207.63
3312158
SAT03/industrial/kukula/addm_bench/
am_7_7.shuffled-as.sat03-363.cnf
? (TO)
4800.23
1208.14
3312246
application/leberre/
2dimensionalstrippacking/korf-15.cnf
? (TO)
4800.24
1205.84
3312227
SAT03/industrial/simon/sat02/
6pipe_6_ooo.shuffled-as.sat03-413.cnf
? (TO)
4800.24
1244.82
3312179
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
4800.24
1207.84
3312109
application/kullmann/AES/Benchmarks/
128/aes_128_1_keyfind_1.cnf
? (TO)
4800.25
1207.13
3312297
APPLICATIONS/
bitverif/maxxor/maxxor032.cnf
? (TO)
4800.25
1207.36
3312193
application/manthey/traffic/
traffic_kkb_unknown.cnf
? (TO)
4800.26
1236.56
3312231
APPLICATIONS/bitverif/countbitsarray/
countbitsarray04_32.cnf
? (TO)
4800.26
1207.38
3312260
SAT03/industrial/goldberg/hard_eq_check/
k2mul.miter.shuffled-as.sat03-355.cnf
? (TO)
4800.27
1212.55
3312092
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
4800.27
1207.85
3312271
SAT02/industrial/goldberg/rand_net/
rand_net60-25-10.shuffled.cnf
? (TO)
4800.27
1207.73
3312043
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top21.cnf
? (TO)
4800.28
1253.97
3312281
application/leberre/
2dimensionalstrippacking/E05F18.cnf
? (TO)
4800.28
1208.17
3312041
application/kullmann/AES/Benchmarks/
128/aes_128_2_keyfind_1.cnf
? (TO)
4800.28
1205.66
3312298
APPLICATIONS/bitverif/
minandmaxor/minandmaxor016.cnf
? (TO)
4800.28
1207.14
3312047
application/leberre/
2dimensionalstrippacking/E04F19.cnf
? (TO)
4800.29
1213.17
3312160
SAT04/industrial/hoonsang/vis-bmc/
all.used-as.sat04-986.cnf
? (TO)
4800.29
1206.29
3312181
SAT05/industrial/grieu05/vmpc/
vmpc_35.renamed-as.sat05-1921.cnf
? (TO)
4800.29
1207.16
3312068
SAT05/industrial/grieu05/vmpc/
vmpc_34.renamed-as.sat05-1926.cnf
? (TO)
4800.29
1206.95
3312067
application/kullmann/AES/Benchmarks/
64/aes_64_4_keyfind_1.cnf
? (TO)
4800.29
1207.04
3312305
SAT02/industrial/goldberg/fpga_routing/
vda_gr_rcs_w9.shuffled.cnf
? (TO)
4800.3
1227.31
3312021
SAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w9.shuffled.cnf
? (TO)
4800.3
1204.86
3312178
application/kullmann/AES/Benchmarks/
64/aes_64_3_keyfind_1.cnf
? (TO)
4800.3
1207.14
3312304
application/manthey/traffic/
traffic_b_unsat.cnf
? (TO)
4800.3
1239.96
3312232
APPLICATIONS/crypto/
md5gen/gus-md5-12.cnf
? (TO)
4800.31
1206.25
3312269
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
4800.31
1207.85
3312270
application/leberre/
2dimensionalstrippacking/E02F17.cnf
? (TO)
4800.31
1206.24
3312228
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
4800.31
1207.96
3312074
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-13-step17.cnf
? (TO)
4800.31
1218.87
3312208
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-17-step20.cnf
? (TO)
4800.32
1240.45
3312210
application/leberre/
2dimensionalstrippacking/E04F20.cnf
? (TO)
4800.32
1254.5
3312163
SAT05/industrial/grieu05/vmpc/
vmpc_32.renamed-as.sat05-1919.cnf
? (TO)
4800.32
1206.76
3312066
application/kullmann/AES/Benchmarks/
64/aes_64_2_keyfind_1.cnf
? (TO)
4800.33
1207.63
3312303
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom23.cnf
? (TO)
4800.33
1211.47
3312286
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
4800.33
1208.9
3312268
industrial/fuhs/medium/
AProVE07-21.cnf
? (TO)
4800.33
1207.74
3312184
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom20.cnf
? (TO)
4800.34
1209.86
3312280
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom19.cnf
? (TO)
4800.34
1208
3312279
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
? (TO)
4800.35
1215.78
3312187
application/kullmann/AES/Benchmarks/
128/aes_128_3_keyfind_1.cnf
? (TO)
4800.36
1203.15
3312299
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
? (TO)
4800.37
1207.48
3312132
SAT02/industrial/goldberg/rand_net/
rand_net60-40-10.shuffled.cnf
? (TO)
4800.38
1208.24
3312176
APPLICATIONS/bitverif/
countbitssrl/countbitssrl064.cnf
? (TO)
4800.39
1215.14
3312262
application/fuhs/
AProVE11/AProVE11-12.cnf
? (TO)
4800.39
1208.48
3312027
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
? (TO)
4800.39
1208
3312134
application/fuhs/
AProVE11/AProVE11-16.cnf
? (TO)
4800.39
1218.84
3312030
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
? (TO)
4800.4
1250.05
3312127
SAT05/industrial/grieu05/vmpc/
vmpc_29.renamed-as.sat05-1916.cnf
? (TO)
4800.41
1206.85
3312124
application/kullmann/AES/Benchmarks/
32/aes_32_5_keyfind_1.cnf
? (TO)
4800.41
1207.43
3312302
application/leberre/
2dimensionalstrippacking/E05X15.cnf
? (TO)
4800.41
1205.74
3312226
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf
? (TO)
4800.42
1214.38
3312221
application/kullmann/AES/Benchmarks/
32/aes_32_4_keyfind_1.cnf
? (TO)
4800.42
1207.63
3312301
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf
? (TO)
4800.42
1279.8
3312309
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
4800.43
1205.06
3312261
application/jarvisalo/
AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf
? (TO)
4800.44
1221.77
3312209
SAT04/industrial/vangelder/cnf-color/
myciel6-tr.used-as.sat04-320.cnf
? (TO)
4800.44
1207.94
3312251
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
4800.44
1207.43
3312258
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top22.cnf
? (TO)
4800.44
1265.51
3312283
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom16.cnf
? (TO)
4800.45
1208.89
3312276
application/manthey/traffic/
traffic_fb_unknown.cnf
? (TO)
4800.45
1248.51
3312235
SAT03/industrial/goldberg/hard_eq_check/
c6288mul.miter.shuffled-as.sat03-346.cnf
? (TO)
4800.45
1207.24
3312091
application/fuhs/
AProVE11/AProVE11-11.cnf
? (TO)
4800.45
1209.89
3312205
SAT-Race-2010-CNF/cryptography/
mizh/sha0_36_5.cnf
? (TO)
4800.46
1205.78
3312079
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom25.cnf
? (TO)
4800.46
1212.8
3312290
SAT03/industrial/li/li-exam/
li-exam-61.shuffled-as.sat03-366.cnf
? (TO)
4800.47
1205.06
3312247
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf
? (TO)
4800.47
1281.68
3312059
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_15_SAT.cnf
? (TO)
4800.48
1206.36
3312140
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-21-step11.cnf
? (TO)
4800.48
1267.86
3312211
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom17.cnf
? (TO)
4800.48
1208.62
3312277
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf
? (TO)
4800.48
1212.79
3312057
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
4800.48
1246.13
3312103
SAT05/industrial/grieu05/vmpc/
vmpc_36.renamed-as.sat05-1922.cnf
? (TO)
4800.49
1207.06
3312253
application/leberre/
2dimensionalstrippacking/E05F20.cnf
? (TO)
4800.49
1228.79
3312162
SAT-Race-2010-CNF/cryptography/
mizh/md5_48_3.cnf
? (TO)
4800.49
1207.55
3312149
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
? (TO)
4800.49
1205.41
3312191
velev-pipe-o-uns-1.1-6.cnf
? (TO)
4800.49
1214.69
3312198
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom24.cnf
? (TO)
4800.5
1213.96
3312288
application/manthey/
traffic/traffic_r_sat.cnf
? (TO)
4800.5
1286.26
3312166
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
? (TO)
4800.5
1212.76
3312186
application/fuhs/
AProVE11/AProVE11-06.cnf
? (TO)
4800.51
1233.01
3312115
ibm-2004-01-k90.cnf
? (TO)
4800.51
1209.52
3312144
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom14.cnf
? (TO)
4800.52
1207.9
3312274
industrial/crypto/
mizh-sha0-36-2.cnf
? (TO)
4800.53
1206.11
3312256
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
? (TO)
4800.53
1206.54
3312133
application/fuhs/
AProVE11/AProVE11-10.cnf
? (TO)
4800.53
1228.97
3312150
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf
? (TO)
4800.53
1218.37
3312216
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf
? (TO)
4800.53
1223.36
3312294
APPLICATIONS/bitverif/
smulo/smulo064.cnf
? (TO)
4800.54
1204.44
3312267
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom22.cnf
? (TO)
4800.55
1212.63
3312284
mizh-sha0-36-4.cnf
? (TO)
4800.55
1205.88
3312272
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf
? (TO)
4800.55
1214.94
3312219
SAT02/industrial/aloul/
Homer/homer16.shuffled.cnf
? (TO)
4800.56
1210.08
3312089
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
? (TO)
4800.56
1209.05
3312185
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_18_SAT.cnf
? (TO)
4800.56
1206.31
3312141
SAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w8.shuffled.cnf
? (TO)
4800.56
1204.67
3312245
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf
? (TO)
4800.56
1210.87
3312217
application/fuhs/
AProVE11/AProVE11-15.cnf
? (TO)
4800.56
1206.64
3312028
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
4800.56
1206.3
3312135
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf
? (TO)
4800.56
1253.57
3312039
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf
? (TO)
4800.57
1209.73
3312055
application/leberre/
2dimensionalstrippacking/korf-17.cnf
? (TO)
4800.57
1207.99
3312229
industrial/babic/dspam/
dspam_dump_vc949.cnf
? (TO)
4800.58
1215.77
3312045
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom18.cnf
? (TO)
4800.58
1210.45
3312278
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
? (TO)
4800.6
1207.69
3312116
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf
? (TO)
4800.6
1221.1
3312036
SAT04/industrial/vangelder/cnf-color/
abb313GPIA-9-tr.used-as.sat04-321.cnf
? (TO)
4800.61
1206.03
3312119
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom26.cnf
? (TO)
4800.61
1215.43
3312292
SAT03/industrial/li/li-test4/
li-test4-100.shuffled-as.sat03-370.cnf
? (TO)
4800.62
1205.17
3312248
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom21.cnf
? (TO)
4800.62
1210.15
3312282
application/fuhs/
AProVE11/AProVE11-07.cnf
? (TO)
4800.62
1226.36
3312032
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf
? (TO)
4800.63
1223.83
3312293
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf
? (TO)
4800.63
1263.26
3312037
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
? (TO)
4800.64
1245.02
3312056
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
? (TO)
4800.64
1221.48
3312194
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
? (TO)
4800.64
1222.27
3312188
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top29.cnf
? (TO)
4800.66
1290.25
3312151
application/kullmann/AES/Benchmarks/
128/aes_128_10_keyfind_1.cnf
? (TO)
4800.66
1205.45
3312300
velev-pipe-o-uns-1.0-7.cnf
? (TO)
4800.68
1228.47
3312199
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf
? (TO)
4800.68
1218.38
3312220
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf
? (TO)
4800.68
1219.81
3312035
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-17-step21.cnf
? (TO)
4800.68
1249.92
3312152
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
4800.68
1265.82
3312105
ibm-2004-23-k100.cnf
? (TO)
4800.69
1247.35
3312145
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top23.cnf
? (TO)
4800.69
1259.68
3312285
manol-pipe-c6bidw_i.cnf
? (TO)
4800.71
1213.56
3312200
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
4800.72
1206.44
3312106
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf
? (TO)
4800.72
1245.67
3312058
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf
? (TO)
4800.77
1216.58
3312218
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf
? (TO)
4800.77
1295.59
3312083
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
? (TO)
4800.78
1249.11
3312131
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step15.cnf
? (TO)
4800.8
1292.29
3312212
industrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
? (TO)
4800.83
1296.48
3312190
application/jarvisalo/
AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf
? (TO)
4800.85
1228.39
3312034
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf
? (TO)
4800.86
1224.49
3312296
SAT-Race-2010-CNF/hardware-verification/
manolios/c10idw_i.cnf
? (TO)
4800.87
1227.85
3312203
SAT04/industrial/vangelder/
cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf
? (TO)
4800.88
1212.05
3312120
ibm-2002-21r-k95.cnf
? (TO)
4800.89
1219.36
3312142
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf
? (TO)
4800.89
1205.11
3312061
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf
? (TO)
4800.91
1249.4
3312060
APPLICATIONS/diagnosis/
UR-10-10p1.cnf
? (TO)
4800.92
1298.01
3312136
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf
? (TO)
4800.94
1230.89
3312215
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
? (TO)
4800.98
1252.06
3312128
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf
? (TO)
4800.99
1298.12
3312084
APPLICATIONS/bitverif/
maxxororand/maxxororand064.cnf
? (TO)
4800.99
1252.95
3312265
manol-pipe-f7nidw.cnf
? (TO)
4801.14
1250.15
3312201
SAT-Race-2010-CNF/hardware-verification/
velev/11pipe_k.cnf
? (TO)
4801.37
1293.94
3312112
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_19_UNKNOWN.cnf
? (TO)
4802.5
1209.4
3312077
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (17 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3500_3500_30f1.shuffled.cnf
UNSAT
1.20282
0.620029
3311803
crafted/skvortsov/battleship/
battleship-5-8-unsat.cnf
UNSAT
1.63175
0.674865
3311811
crafted/skvortsov/battleship/
battleship-6-9-unsat.cnf
UNSAT
2.86056
1.12756
3311812
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-010-008.shuffled-as.sat05-1171.cnf
UNSAT
4.36134
1.84181
3311807
SAT05/crafted/sorge05/QG8/
gensys-ukn007.shuffled-as.sat05-3586.cnf
UNSAT
5.08123
2.65729
3311810
crafted/skvortsov/battleship/
battleship-10-10-unsat.cnf
UNSAT
8.5367
3.02272
3311813
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_060.shuffled.cnf
UNSAT
16.5705
5.15591
3311804
crafted/skvortsov/battleship/
battleship-11-11-unsat.cnf
UNSAT
87.2497
22.8469
3311948
SAT05/crafted/sabharwal05/planning/logistics/unsat/
logistics-rotate-07t5.shuffled-as.sat05-1137.cnf
UNSAT
94.4976
25.8327
3311809
crafted/skvortsov/battleship/
battleship-7-12-unsat.cnf
UNSAT
116.731
30.0191
3311947
SAT03/handmade/bevan/cnf/
marg3x3add8.shuffled-as.sat03-1449.cnf
UNSAT
174.728
45.03
3311805
crafted/skvortsov/battleship/
battleship-12-12-unsat.cnf
UNSAT
204.968
53.0335
3311949
SAT03/handmade/bevan/cnf/
marg3x3add8ch.shuffled-as.sat03-1448.cnf
UNSAT
267.8
68.667
3311806
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
UNSAT
721.909
182.617
3311936
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_381.cnf
UNSAT
1881.79
474.666
3311939
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-19_348.cnf
UNSAT
1914
482.67
3311938
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_401.cnf
UNSAT
4586.34
1154.85
3311941
Solver found a solution (SATISFIABLE) (44 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/skvortsov/battleship/
battleship-7-13-sat.cnf
SAT
0.948855
0.419994
3311800
crafted/skvortsov/battleship/
battleship-9-17-sat.cnf
SAT
1.18482
0.539963
3311802
crafted/skvortsov/battleship/
battleship-10-19-sat.cnf
SAT
1.23681
0.5893
3311917
crafted/skvortsov/battleship/
battleship-10-18-sat.cnf
SAT
1.48977
0.622934
3311916
crafted/mosoi/289/
289-sat-4x8.cnf
SAT
1.9697
0.720615
3311785
crafted/mosoi/289/
289-sat-7x6.cnf
SAT
2.21966
0.806682
3311787
SAT02/handmade/pehoushek/twentyvars/
7cnf20_90000_90000_7.shuffled.cnf
SAT
2.44063
0.875137
3311777
crafted/skvortsov/battleship/
battleship-8-15-sat.cnf
SAT
2.56661
0.898752
3311801
crafted/skvortsov/battleship/
battleship-12-23-sat.cnf
SAT
2.91855
0.974201
3311919
SAT05/crafted/sorge05/QG8/
iso-ukn009.shuffled-as.sat05-3632.cnf
SAT
3.04954
1.22423
3311783
crafted/mosoi/
289/289-sat-11x4.cnf
SAT
3.15352
1.0324
3311788
crafted/mosoi/289/
289-sat-6x8.cnf
SAT
3.72843
1.25234
3311789
crafted/mosoi/289/
289-sat-6x9.cnf
SAT
3.87041
1.27744
3311790
SAT05/crafted/sorge05/QG7/
iso-ukn004.shuffled-as.sat05-3385.cnf
SAT
4.5733
1.55
3311781
crafted/mosoi/289/
289-sat-5x8.cnf
SAT
4.5813
1.4399
3311786
crafted/spence/sgen/
sgen3-n120-s12930489-sat.cnf
SAT
5.34419
1.56634
3312013
CRAFTED/sgi/
satsgi-n26himBHm28-p0-q293.cnf
SAT
5.58915
1.82925
3311784
crafted/mosoi/
289/289-sat-11x10.cnf
SAT
6.37303
1.98234
3311792
crafted/mosoi/
289/289-sat-6x19.cnf
SAT
7.02693
2.12787
3311794
crafted/mosoi/
289/289-sat-11x9.cnf
SAT
7.62084
2.26247
3311791
crafted/mosoi/
289/289-sat-14x8.cnf
SAT
8.03378
2.41617
3311793
crafted/mosoi/
289/289-sat-4x35.cnf
SAT
8.04378
2.47241
3311797
crafted/mosoi/
289/289-sat-9x13.cnf
SAT
8.91064
2.63134
3311795
crafted/mosoi/
289/289-sat-6x20.cnf
SAT
11.7922
3.3471
3311796
crafted/skvortsov/battleship/
battleship-11-21-sat.cnf
SAT
12.2601
3.3518
3311918
crafted/skvortsov/battleship/
battleship-10-17-sat.cnf
SAT
13.7469
3.70494
3311915
crafted/spence/sgen/
sgen3-n140-s18527668-sat.cnf
SAT
17.1304
4.52719
3312016
crafted/mosoi/
289/289-sat-12x14.cnf
SAT
20.5269
5.72269
3311798
crafted/mosoi/
289/289-sat-12x15.cnf
SAT
41.9236
11.1598
3311799
crafted/skvortsov/battleship/
battleship-14-27-sat.cnf
SAT
43.4964
11.2107
3311921
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
47.6138
18.6956
3311890
crafted/spence/sgen/
sgen3-n160-s40283905-sat.cnf
SAT
112.822
28.6324
3311999
crafted/spence/sgen/
sgen3-n180-s34713902-sat.cnf
SAT
235.306
59.4311
3312002
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_404.cnf
SAT
1171.54
295.024
3311905
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_527.cnf
SAT
1432.51
360.425
3311903
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p15-s58217873.cnf
SAT
1564
394.459
3311896
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g5.cnf
SAT
2036.95
513.054
3311893
crafted/skvortsov/battleship/
battleship-24-57-sat.cnf
SAT
2128.28
535.287
3311923
crafted/spence/sgen/
sgen3-n200-s39840374-sat.cnf
SAT
2244.6
564.529
3312003
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_399.cnf
SAT
3582.46
901.318
3311904
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
3831.08
963.163
3311888
crafted/skvortsov/battleship/
battleship-16-31-sat.cnf
SAT
4692.53
1180.34
3311848
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_110.shuffled.cnf
SAT
4762.84
1198.25
3311814
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g7.cnf
SAT
4787.06
1205.42
3311892
Solver timed out (no solution given) (239 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/skvortsov/automata-synchronization/
crn_40_1520_u.cnf
? (TO)
1705.45
1302.62
3311772
crafted/skvortsov/automata-synchronization/
crn_40_1521_s.cnf
? (TO)
1706.44
1302.6
3311773
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes1.cnf
? (TO)
4800.08
1206.75
3311836
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes7.cnf
? (TO)
4800.08
1207.04
3311972
SAT05/crafted/sabharwal05/ordering/gt-ordering/
sat/gt-030.shuffled-as.sat05-1295.cnf
? (TO)
4800.08
1207.64
3311930
SAT05/crafted/sorge05/QG7a/
gensys-ukn003.shuffled-as.sat05-3843.cnf
? (TO)
4800.09
1206.25
3311873
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_506.cnf
? (TO)
4800.09
1207.03
3311846
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
? (TO)
4800.09
1207.34
3311829
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf
? (TO)
4800.09
1220.85
3311861
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
? (TO)
4800.09
1207.36
3311721
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf
? (TO)
4800.09
1207.53
3311823
SAT03/handmade/anton/UNSAT/
SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf
? (TO)
4800.09
1219.95
3311864
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g6.cnf
? (TO)
4800.09
1206.75
3311879
CRAFTED/rbsat/random/forced/
rbsat-v1375c111739gyes10.cnf
? (TO)
4800.1
1207.34
3311841
SAT02/handmade/simon/satex-challenges/
par32-3.shuffled.cnf
? (TO)
4800.1
1207.53
3311884
crafted/spence/
hard/s113-100.cnf
? (TO)
4800.1
1207.94
3311875
SAT03/handmade/anton/UNSAT/
SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
? (TO)
4800.11
1208.74
3311853
SAT04/handmade/marijn/equilarge-l/
equilarge_l2.used-as.sat04-894.cnf
? (TO)
4800.11
1206.65
3311868
SAT03/handmade/anton/SAT/
SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf
? (TO)
4800.11
1207.84
3311817
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes5.cnf
? (TO)
4800.11
1207.55
3311839
crafted/skvortsov/
automata-synchronization/crn_11_99_u.cnf
? (TO)
4800.12
1208.13
3311944
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_508.cnf
? (TO)
4800.12
1207.13
3311753
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p30-s39712998.cnf
? (TO)
4800.12
1207.54
3311897
crafted/skvortsov/
automata-synchronization/rnd_100_27_s.cnf
? (TO)
4800.12
1206.94
3311911
crafted/spence/sgen/
sgen3-n260-s62321009-sat.cnf
? (TO)
4800.13
1207.24
3312014
SAT04/handmade/anton/l4k4/
lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf
? (TO)
4800.13
1206.94
3311778
SAT04/handmade/connamacher/connm-d0.02/
connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf
? (TO)
4800.13
1207.13
3311867
crafted/skvortsov/
automata-synchronization/rnd_100_28_s.cnf
? (TO)
4800.13
1207.14
3311912
SAT03/handmade/anton/UNSAT/
SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
? (TO)
4800.13
1207.05
3311856
SAT03/handmade/anton/UNSAT/
SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf
? (TO)
4800.14
1216.74
3311859
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes2.cnf
? (TO)
4800.14
1206.06
3311991
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf
? (TO)
4800.14
1217.64
3311858
crafted/spence/sgen/
sgen3-n170-s56409011-unsat.cnf
? (TO)
4800.14
1208.14
3312006
SAT03/handmade/markstrom/UNSATISFIABLE/
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf
? (TO)
4800.14
1207.53
3311928
crafted/mosoi/289/
289-unsat-7x39.cnf
? (TO)
4800.15
1205.26
3311759
crafted/spence/sgen/
sgen3-n200-s00813792-unsat.cnf
? (TO)
4800.15
1207.74
3312012
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes2.cnf
? (TO)
4800.15
1206.85
3311976
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf
? (TO)
4800.16
1207.53
3311825
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes6.cnf
? (TO)
4800.16
1207.37
3311986
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
? (TO)
4800.16
1208.09
3311728
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
4800.17
1207.25
3311984
CRAFTED/rbsat/crafted/unforced/
rbsat-v945c61409g3.cnf
? (TO)
4800.17
1207.34
3311891
SAT04/handmade/connamacher/connm-d-0.02/
connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf
? (TO)
4800.17
1207.23
3311818
SAT05/crafted/sorge05/QG7/
gensys-icl007.shuffled-as.sat05-3133.cnf
? (TO)
4800.17
1207.54
3311933
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g2.cnf
? (TO)
4800.17
1207.14
3311878
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf
? (TO)
4800.17
1207.35
3311902
crafted/spence/sgen/
sgen3-n280-s93756482-sat.cnf
? (TO)
4800.17
1207.23
3312010
crafted/skvortsov/battleship/
battleship-15-15-unsat.cnf
? (TO)
4800.18
1207.33
3311775
crafted/skvortsov/
automata-synchronization/rnd_150_42_s.cnf
? (TO)
4800.18
1206.84
3311914
crafted/skvortsov/
automata-synchronization/rnd_150_29_u.cnf
? (TO)
4800.18
1206.54
3311946
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
4800.18
1208.23
3311877
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_220.shuffled.cnf
? (TO)
4800.18
1207.53
3311815
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
? (TO)
4800.19
1207.94
3311876
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_528.cnf
? (TO)
4800.19
1207.43
3311935
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_511.cnf
? (TO)
4800.19
1207.63
3311738
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g9.cnf
? (TO)
4800.19
1207.24
3311837
crafted/mosoi/289/
289-unsat-17x27.cnf
? (TO)
4800.19
1205.98
3311763
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
? (TO)
4800.19
1207.24
3311900
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf
? (TO)
4800.19
1207.04
3311854
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf
? (TO)
4800.19
1206.93
3311751
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf
? (TO)
4800.19
1206.93
3311752
SAT03/handmade/anton/UNSAT/
SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf
? (TO)
4800.19
1208.04
3311951
crafted/spence/sgen/
sgen3-n140-s20078956-unsat.cnf
? (TO)
4800.2
1207.95
3312011
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes5.cnf
? (TO)
4800.2
1206.76
3311989
SAT05/crafted/sorge05/QG7a/
gensys-icl005.shuffled-as.sat05-3826.cnf
? (TO)
4800.2
1207.06
3311934
SAT02/handmade/zhang-lintao/
xor-chain/x1_40.shuffled.cnf
? (TO)
4800.2
1221.35
3311926
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p15-s2076598.cnf
? (TO)
4800.2
1207.74
3311895
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-24_567.cnf
? (TO)
4800.2
1207.03
3311909
crafted/skvortsov/battleship/
battleship-13-13-unsat.cnf
? (TO)
4800.2
1207.93
3311883
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g9.cnf
? (TO)
4800.2
1207.25
3311995
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4231.cnf
? (TO)
4800.21
1204.78
3311740
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes1.cnf
? (TO)
4800.21
1206.84
3311973
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g1.cnf
? (TO)
4800.21
1206.75
3311845
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf
? (TO)
4800.22
1207.74
3311886
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p30-s70617701.cnf
? (TO)
4800.22
1207.94
3311898
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g9.cnf
? (TO)
4800.22
1207.05
3311980
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf
? (TO)
4800.23
1206.45
3311718
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf
? (TO)
4800.23
1207.53
3311746
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_462.cnf
? (TO)
4800.23
1207.63
3311907
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g3.cnf
? (TO)
4800.24
1207.54
3311844
SAT03/handmade/anton/UNSAT/
SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf
? (TO)
4800.24
1208.04
3311850
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_390.cnf
? (TO)
4800.25
1207.73
3311940
SAT02/handmade/chu-min-li/urquhart/
urquhart3_25bis.shuffled.cnf
? (TO)
4800.25
1227.66
3311924
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
4800.26
1206.84
3311993
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes5.cnf
? (TO)
4800.26
1207.34
3311832
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes8.cnf
? (TO)
4800.26
1207.14
3311834
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2071.cnf
? (TO)
4800.26
1207.14
3311742
SAT04/handmade/kexu/frb-0.8/
frb45-21-1.used-as.sat04-883.cnf
? (TO)
4800.26
1206.65
3311821
crafted/skvortsov/battleship/
battleship-15-29-sat.cnf
? (TO)
4800.26
1207.34
3311847
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p15-s72490337.cnf
? (TO)
4800.27
1207.06
3311724
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf
? (TO)
4800.27
1207.33
3311748
crafted/skvortsov/battleship/
battleship-17-33-sat.cnf
? (TO)
4800.27
1207.33
3311922
crafted/skvortsov/battleship/
battleship-14-14-unsat.cnf
? (TO)
4800.27
1207.53
3311774
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_170.shuffled.cnf
? (TO)
4800.27
1207.53
3311950
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-040-039.shuffled-as.sat05-1194.cnf
? (TO)
4800.28
1209.53
3311968
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g6.cnf
? (TO)
4800.28
1208.15
3311981
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_505.cnf
? (TO)
4800.28
1207.03
3311908
SAT04/handmade/marijn/equilarge-l/
equilarge_l4.used-as.sat04-896.cnf
? (TO)
4800.28
1206.65
3311869
SAT05/crafted/roussel05/visbmc-PHNF/
phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf
? (TO)
4800.28
1216.62
3311965
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf
? (TO)
4800.28
1208.78
3311734
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_507.cnf
? (TO)
4800.28
1207.43
3311882
crafted/spence/sgen/
sgen3-n240-s78945233-sat.cnf
? (TO)
4800.28
1207.44
3312015
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes7.cnf
? (TO)
4800.28
1206.45
3311987
crafted/skvortsov/
automata-synchronization/crn_20_360_u.cnf
? (TO)
4800.29
1204.48
3311770
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes7.cnf
? (TO)
4800.29
1207.49
3311983
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
? (TO)
4800.29
1206.65
3311830
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
? (TO)
4800.3
1208.64
3311894
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf
? (TO)
4800.3
1208.69
3311729
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
4800.3
1204.63
3311969
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g7.cnf
? (TO)
4800.31
1207.14
3311842
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p30-s67876261.cnf
? (TO)
4800.31
1206.66
3311722
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf
? (TO)
4800.31
1207.67
3311730
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
? (TO)
4800.31
1207.04
3311750
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-045-035.shuffled-as.sat05-1181.cnf
? (TO)
4800.31
1207.34
3311967
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes10.cnf
? (TO)
4800.31
1207.14
3311835
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g10.cnf
? (TO)
4800.32
1206.66
3311998
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf
? (TO)
4800.32
1207.95
3311727
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf
? (TO)
4800.32
1206.67
3311720
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf
? (TO)
4800.32
1219.65
3311863
SAT03/handmade/anton/UNSAT/
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
? (TO)
4800.32
1207.34
3311952
SAT02/handmade/simon/
satex-challenges/c6288.shuffled.cnf
? (TO)
4800.32
1206.84
3311925
SAT04/handmade/kexu/frb-0.8/
frb59-26-1.used-as.sat04-891.cnf
? (TO)
4800.32
1206.84
3311962
crafted/mosoi/289/
289-unsat-6x40.cnf
? (TO)
4800.32
1205.35
3311758
SAT04/handmade/anton/l5k3/
lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf
? (TO)
4800.33
1206.74
3311780
SAT03/handmade/stanion/hwb/
hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf
? (TO)
4800.33
1207.44
3311958
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes1.cnf
? (TO)
4800.33
1207.15
3311985
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes1.cnf
? (TO)
4800.33
1206.95
3311840
crafted/spence/sgen/
sgen3-n150-s89334302-unsat.cnf
? (TO)
4800.33
1207.84
3312004
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
4800.34
1205.2
3311970
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2072.cnf
? (TO)
4800.34
1207.13
3311743
crafted/skvortsov/battleship/
battleship-14-26-sat.cnf
? (TO)
4800.34
1207.53
3311920
crafted/skvortsov/
automata-synchronization/rnd_100_32_s.cnf
? (TO)
4800.34
1207.04
3311913
crafted/mosoi/289/
289-unsat-6x30.cnf
? (TO)
4800.34
1207.14
3311755
SAT03/handmade/anton/UNSAT/
SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf
? (TO)
4800.34
1220.5
3311954
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf
? (TO)
4800.34
1206.97
3311901
CRAFTED/rbsat/random/
forced/rbsat-v1820c171155gyes3.cnf
? (TO)
4800.34
1207.14
3311982
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
? (TO)
4800.34
1208.3
3311733
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf
? (TO)
4800.35
1207.05
3311719
SAT05/crafted/sorge05/QG7/
dead-dnd003.shuffled-as.sat05-3109.cnf
? (TO)
4800.35
1207.44
3311932
crafted/spence/sgen/
sgen3-n120-s55656844-unsat.cnf
? (TO)
4800.35
1208.04
3312008
crafted/mosoi/289/
289-unsat-21x33.cnf
? (TO)
4800.35
1210.71
3311767
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p30-s19690873.cnf
? (TO)
4800.35
1207.17
3311723
SAT05/crafted/lynce05/social-golfer-problem/
sgp_5-6-8.shuffled-as.sat05-2669.cnf
? (TO)
4800.36
1210.24
3311828
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf
? (TO)
4800.36
1207.49
3311726
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g4.cnf
? (TO)
4800.36
1206.85
3311996
SAT04/handmade/hirsch03/
hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf
? (TO)
4800.37
1207.64
3311961
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf
? (TO)
4800.37
1207.75
3311852
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g7.cnf
? (TO)
4800.37
1207.04
3311838
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g7.cnf
? (TO)
4800.37
1206.75
3311992
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf
? (TO)
4800.37
1207.44
3311827
SAT04/handmade/kexu/frb-0.6/
frb75-13-2.used-as.sat04-878.cnf
? (TO)
4800.38
1206.84
3311819
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf
? (TO)
4800.38
1208.6
3311732
SAT04/handmade/andrew/composite/
Composite-024BitPrimes-1.used-as.sat04-861.cnf
? (TO)
4800.38
1207.53
3311885
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_464.cnf
? (TO)
4800.39
1207.25
3311881
SAT03/handmade/anton/UNSAT/
SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf
? (TO)
4800.39
1215.55
3311860
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf
? (TO)
4800.39
1207.63
3311824
crafted/skvortsov/
automata-synchronization/rnd_100_28_u.cnf
? (TO)
4800.39
1207.14
3311945
crafted/mosoi/289/
289-unsat-9x32.cnf
? (TO)
4800.39
1205.37
3311760
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf
? (TO)
4800.39
1207.84
3311851
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf
? (TO)
4800.4
1209.23
3311849
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf
? (TO)
4800.4
1207.33
3311749
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf
? (TO)
4800.4
1207.53
3311880
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_512.cnf
? (TO)
4800.4
1208.23
3311739
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf
? (TO)
4800.4
1207.6
3311855
crafted/spence/sgen/
sgen3-n160-s73223945-unsat.cnf
? (TO)
4800.4
1207.84
3312005
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
? (TO)
4800.4
1207.84
3311826
crafted/spence/sgen/
sgen3-n300-s12830984-sat.cnf
? (TO)
4800.4
1207.54
3312000
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p15-s54275047.cnf
? (TO)
4800.4
1207.58
3311725
SAT05/crafted/sorge05/QG7a/
gensys-ukn009.shuffled-as.sat05-3849.cnf
? (TO)
4800.41
1206.06
3311874
crafted/skvortsov/
automata-synchronization/crn_20_361_s.cnf
? (TO)
4800.41
1204.25
3311771
CRAFTED/rbsat/random/forced/
rbsat-v2640c305320gyes10.cnf
? (TO)
4800.41
1207.76
3311988
SAT05/crafted/sorge05/QG7a/
gensys-ukn006.shuffled-as.sat05-3846.cnf
? (TO)
4800.41
1206.15
3311872
SAT05/crafted/markstrom05/eulcbip/
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
? (TO)
4800.41
1211.05
3311964
SAT04/handmade/kexu/frb-0.8/
frb59-26-2.used-as.sat04-892.cnf
? (TO)
4800.42
1206.95
3311963
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf
? (TO)
4800.42
1206.95
3311899
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes3.cnf
? (TO)
4800.42
1206.97
3311975
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes6.cnf
? (TO)
4800.42
1207.42
3311833
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_443.cnf
? (TO)
4800.42
1207.84
3311906
crafted/skvortsov/battleship/
battleship-16-16-unsat.cnf
? (TO)
4800.42
1207.43
3311776
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g4.cnf
? (TO)
4800.42
1207.24
3311994
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
? (TO)
4800.42
1205.98
3311831
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf
? (TO)
4800.42
1207.73
3311937
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
? (TO)
4800.42
1208.1
3311735
SAT05/crafted/sorge05/QG6/
dead-dnd002.shuffled-as.sat05-2713.cnf
? (TO)
4800.43
1206.85
3311931
crafted/spence/sgen/
sgen3-n220-s24359701-sat.cnf
? (TO)
4800.43
1208.13
3312007
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf
? (TO)
4800.43
1207.63
3311822
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf
? (TO)
4800.43
1207.48
3311747
SAT02/handmade/zhang-lintao/
xor-chain/x1_80.shuffled.cnf
? (TO)
4800.43
1224.85
3311927
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g5.cnf
? (TO)
4800.44
1207.15
3311979
SAT03/handmade/anton/UNSAT/
SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf
? (TO)
4800.44
1207.85
3311953
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-020-019.shuffled-as.sat05-1232.cnf
? (TO)
4800.44
1208.14
3311929
SAT05/crafted/sorge05/QG7a/
gensys-brn002.shuffled-as.sat05-3935.cnf
? (TO)
4800.44
1206.35
3311782
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g3.cnf
? (TO)
4800.44
1207.35
3311997
crafted/mosoi/289/
289-unsat-21x14.cnf
? (TO)
4800.44
1206.17
3311761
SAT03/handmade/anton/UNSAT/
SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf
? (TO)
4800.45
1220.44
3311955
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_445.cnf
? (TO)
4800.45
1207.33
3311943
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf
? (TO)
4800.45
1221.65
3311862
SAT04/handmade/connamacher/connm-d0.04/
connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
? (TO)
4800.45
1207.23
3311960
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_406.cnf
? (TO)
4800.46
1207.53
3311942
SAT03/handmade/stanion/hwb/
hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf
? (TO)
4800.46
1207.44
3311865
SAT02/handmade/simon/
satex-challenges/f600.shuffled.cnf
? (TO)
4800.46
1207.13
3311816
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
4800.46
1206.25
3311977
SAT03/handmade/anton/UNSAT/
SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf
? (TO)
4800.46
1207.04
3311857
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4232.cnf
? (TO)
4800.46
1204.97
3311741
SAT03/handmade/stanion/hwb/
hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf
? (TO)
4800.47
1207.62
3311866
crafted/spence/sgen/
sgen3-n180-s33098896-unsat.cnf
? (TO)
4800.47
1207.94
3312001
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g4.cnf
? (TO)
4800.47
1206.94
3311843
SAT03/handmade/stanion/hwb/
hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf
? (TO)
4800.48
1207.74
3311959
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-020-019.shuffled-as.sat05-1190.cnf
? (TO)
4800.48
1209.85
3311870
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
4800.48
1206.66
3311990
CRAFTED/rbsat/crafted/
forced/rbsat-v2100c215164gyes4.cnf
? (TO)
4800.48
1206.95
3311974
SAT05/crafted/sorge05/QG7a/
gensys-ukn004.shuffled-as.sat05-3844.cnf
? (TO)
4800.48
1206.45
3311871
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf
? (TO)
4800.48
1208.37
3311731
crafted/mosoi/289/
289-unsat-6x34.cnf
? (TO)
4800.49
1206.9
3311757
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/
grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf
? (TO)
4800.5
1219.7
3311808
crafted/mosoi/289/
289-unsat-13x32.cnf
? (TO)
4800.5
1205.61
3311762
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
4800.51
1208.56
3311971
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes10.cnf
? (TO)
4800.51
1206.95
3311978
crafted/skvortsov/
automata-synchronization/crn_11_100_s.cnf
? (TO)
4800.52
1207.45
3311910
SAT04/handmade/anton/l5k3/
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf
? (TO)
4800.52
1207.1
3311779
SAT03/handmade/gomes/bqwh/
bqwh.50.825.shuffled-as.sat03-1648.cnf
? (TO)
4800.54
1203.25
3311956
crafted/mosoi/289/
289-unsat-14x34.cnf
? (TO)
4800.54
1205.69
3311764
SAT04/handmade/kexu/frb-0.6/
frb80-14-2.used-as.sat04-880.cnf
? (TO)
4800.56
1207.48
3311820
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf
? (TO)
4800.58
1210.47
3311737
crafted/mosoi/289/
289-unsat-17x30.cnf
? (TO)
4800.59
1206.37
3311765
SAT03/handmade/gomes/bqwh/
bqwh.60.1152.shuffled-as.sat03-1650.cnf
? (TO)
4800.62
1204.29
3311957
crafted/mosoi/289/
289-unsat-14x38.cnf
? (TO)
4800.62
1207.64
3311766
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34309.cnf
? (TO)
4800.63
1210.68
3311745
crafted/manthey/sudoku-single-hard/
sudoku_81x81_unknown.cnf
? (TO)
4800.64
1206.11
3311754
crafted/mosoi/289/
289-unsat-21x40.cnf
? (TO)
4800.65
1216.3
3311769
crafted/mosoi/289/
289-unsat-21x39.cnf
? (TO)
4800.68
1215.29
3311768
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-030-029.shuffled-as.sat05-1234.cnf
? (TO)
4800.7
1208.11
3311966
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
? (TO)
4800.71
1208.09
3311889
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
? (TO)
4800.73
1209.27
3311736
crafted/spence/sgen/
sgen3-n190-s29985700-unsat.cnf
? (TO)
4800.89
1208.06
3312017
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34308.cnf
? (TO)
4801.03
1213.85
3311744
crafted/mosoi/289/
289-unsat-5x41.cnf
? (TO)
4801.08
1207.98
3311756
crafted/spence/sgen/
sgen3-n130-s30940966-unsat.cnf
? (TO)
4801.37
1207.95
3312009
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
? (TO)
4801.43
1207.97
3311887
Category "random instances" (RANDOM)
Solver proved unsatisfiability (UNSATISFIABLE) (60 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/medium/
unif-k5-r21.3-v50-c1065-S1449708927-022.UNKNOWN.cnf
UNSAT
8.80066
2.75317
3311656
random/medium/
unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf
UNSAT
9.35358
2.74187
3311666
random/medium/
unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf
UNSAT
9.62754
3.2341
3311415
random/medium/
unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf
UNSAT
9.70852
2.99534
3311665
random/medium/
unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf
UNSAT
9.77251
3.07001
3311346
random/medium/
unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf
UNSAT
9.82051
2.9911
3311653
random/medium/
unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf
UNSAT
10.0475
3.13295
3311481
random/medium/
unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf
UNSAT
10.4334
3.07311
3311662
random/medium/
unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf
UNSAT
10.6744
3.23081
3311677
random/medium/
unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf
UNSAT
13.145
4.08577
3311611
random/medium/
unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf
UNSAT
22.7925
6.49509
3311643
random/medium/
unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf
UNSAT
28.4867
7.81711
3311620
random/medium/
unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf
UNSAT
30.9993
8.63741
3311627
random/medium/
unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf
UNSAT
31.3032
8.57443
3311456
random/medium/
unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf
UNSAT
33.2089
9.45971
3311339
random/medium/
unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf
UNSAT
34.8757
9.6895
3311388
random/medium/
unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf
UNSAT
40.2369
11.0791
3311457
random/medium/
unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf
UNSAT
51.4832
14.0437
3311632
random/medium/
unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf
UNSAT
55.2226
14.8678
3311569
random/medium/
unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf
UNSAT
57.2353
15.2024
3311448
random/medium/
unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf
UNSAT
65.744
17.3445
3311601
random/medium/
unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf
UNSAT
117.504
30.4804
3311382
random/medium/
unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf
UNSAT
145.192
37.306
3311335
random/medium/
unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf
UNSAT
152.92
39.332
3311486
random/medium/
unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf
UNSAT
188.931
48.5878
3311362
random/medium/
unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf
UNSAT
222.433
56.8938
3311446
random/medium/
unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf
UNSAT
228.008
58.2917
3311409
random/medium/
unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf
UNSAT
274.514
70.3235
3311513
random/medium/
unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf
UNSAT
313.491
80.2982
3311377
random/medium/
unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf
UNSAT
330.443
84.6258
3311369
random/medium/
unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf
UNSAT
333.225
84.8679
3311396
random/medium/
unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf
UNSAT
345.426
88.0291
3311696
random/medium/
unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf
UNSAT
354.288
90.0636
3311703
random/medium/
unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf
UNSAT
360.916
91.8924
3311460
random/medium/
unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf
UNSAT
369.998
94.169
3311680
random/medium/
unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf
UNSAT
372.478
94.8054
3311521
random/medium/
unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf
UNSAT
372.764
95.0079
3311373
random/medium/
unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf
UNSAT
396.493
101.028
3311497
random/medium/
unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf
UNSAT
400.331
101.79
3311444
random/medium/
unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf
UNSAT
554.571
140.479
3311389
random/medium/
unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf
UNSAT
1081.41
272.851
3311512
random/medium/
unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf
UNSAT
1139
287.473
3311564
random/medium/
unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf
UNSAT
1159.92
292.384
3311507
random/medium/
unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf
UNSAT
1160.83
292.946
3311644
random/medium/
unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf
UNSAT
1161.93
293.439
3311532
random/medium/
unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf
UNSAT
1163.95
293.792
3311341
random/medium/
unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf
UNSAT
1164.31
294.709
3311464
random/medium/
unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf
UNSAT
1187.89
299.806
3311708
random/medium/
unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf
UNSAT
1190.6
300.326
3311482
random/medium/
unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf
UNSAT
1193.57
301.138
3311461
random/medium/
unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf
UNSAT
1218.58
307.135
3311663
random/medium/
unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf
UNSAT
1424.31
359.27
3311612
random/medium/
unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf
UNSAT
1495.93
377.275
3311572
random/medium/
unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf
UNSAT
1583.67
399.401
3311556
random/medium/
unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf
UNSAT
1600.82
403.76
3311711
random/medium/
unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf
UNSAT
1820.81
459.349
3311688
random/medium/
unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf
UNSAT
2210.09
556.938
3311562
random/medium/
unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf
UNSAT
2530.38
637.513
3311539
random/medium/
unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf
UNSAT
2761.11
695.703
3311390
random/medium/
unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf
UNSAT
2867.26
722.738
3311538
Solver found a solution (SATISFIABLE) (47 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/medium/
unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf
SAT
40.1519
10.3325
3311527
random/medium/
unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf
SAT
90.9732
23.1307
3311543
random/medium/
unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf
SAT
92.8059
23.5667
3311488
random/medium/
unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf
SAT
94.6066
24.0084
3311618
random/medium/
unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf
SAT
99.7948
25.3546
3311695
random/medium/
unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf
SAT
113.175
28.6988
3311684
random/medium/
unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf
SAT
116.493
29.5216
3311599
random/medium/
unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf
SAT
141.367
35.812
3311454
random/medium/
unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf
SAT
152.299
38.5473
3311650
random/medium/
unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf
SAT
173.196
43.865
3311397
random/medium/
unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf
SAT
174.724
44.2109
3311589
random/medium/
unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf
SAT
180.187
45.6199
3311557
random/medium/
unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf
SAT
184.276
46.5872
3311541
random/medium/
unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf
SAT
200.681
50.7479
3311502
random/medium/
unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf
SAT
201.965
51.078
3311588
random/medium/
unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf
SAT
203.216
51.3674
3311614
random/medium/
unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf
SAT
236.358
59.8061
3311357
random/medium/
unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf
SAT
243.558
61.5335
3311548
random/medium/
unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf
SAT
288.403
72.8423
3311630
random/medium/
unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf
SAT
301.283
76.1554
3311615
random/medium/
unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf
SAT
320.323
80.8759
3311441
random/medium/
unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf
SAT
355.829
89.6946
3311474
random/medium/
unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf
SAT
439.116
110.73
3311517
random/medium/
unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf
SAT
441.143
111.243
3311651
random/medium/
unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf
SAT
451.8
113.917
3311694
random/medium/
unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf
SAT
661.628
166.661
3311398
random/medium/
unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf
SAT
734.382
184.928
3311379
random/medium/
unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf
SAT
740.216
186.452
3311403
random/medium/
unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf
SAT
762.788
192.154
3311437
random/medium/
unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf
SAT
910.647
229.45
3311370
random/medium/
unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf
SAT
933.769
235.054
3311496
random/medium/
unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf
SAT
967.065
243.392
3311534
random/medium/
unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf
SAT
1042.12
262.156
3311442
random/medium/
unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf
SAT
1056.84
266.664
3311466
random/medium/
unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf
SAT
1098.2
276.267
3311348
random/medium/
unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf
SAT
1142.71
287.489
3311699
random/medium/
unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf
SAT
1246.74
313.622
3311657
random/medium/
unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf
SAT
1251.76
314.879
3311573
random/medium/
unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf
SAT
1725.72
433.937
3311600
random/medium/
unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf
SAT
1874.77
471.495
3311602
random/medium/
unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf
SAT
1923.92
483.947
3311700
random/medium/
unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf
SAT
1994.97
502.128
3311546
random/medium/
unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf
SAT
2454.94
617.462
3311672
random/medium/
unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf
SAT
2596.15
653.158
3311565
random/medium/
unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf
SAT
2713.96
682.595
3311634
random/medium/
unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf
SAT
3672.65
923.737
3311404
random/medium/
unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf
SAT
3973.54
999.455
3311652
Solver timed out (no solution given) (493 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/large/
unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf
? (TO)
2147.58
1302.63
3311276
random/large/
unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf
? (TO)
2149.93
1302.53
3311266
random/large/
unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf
? (TO)
2175.14
1302.52
3311213
random/large/
unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf
? (TO)
2177.6
1302.54
3311230
random/large/
unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf
? (TO)
2180.21
1302.57
3311160
random/large/
unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf
? (TO)
2183.42
1302.58
3311272
random/large/
unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf
? (TO)
2183.59
1302.61
3311123
random/large/
unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf
? (TO)
2190.58
1302.59
3311173
random/large/
unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf
? (TO)
2192.17
1302.52
3311171
random/large/
unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf
? (TO)
2196.55
1302.53
3311301
random/large/
unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf
? (TO)
2199.9
1302.55
3311162
random/large/
unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf
? (TO)
2202.33
1302.64
3311270
random/large/
unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf
? (TO)
2214.65
1302.62
3311204
random/large/
unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf
? (TO)
2217.53
1302.57
3311140
random/large/
unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf
? (TO)
2222.65
1302.51
3311187
random/large/
unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf
? (TO)
2225.92
1302.52
3311147
random/large/
unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf
? (TO)
2233.94
1302.48
3311294
random/large/
unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf
? (TO)
2237.89
1302.62
3311134
random/large/
unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf
? (TO)
2246.26
1302.52
3311285
random/large/
unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf
? (TO)
2249.61
1300.85
3311237
random/large/
unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf
? (TO)
2251
1302.59
3311225
random/large/
unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf
? (TO)
2258.21
1302.52
3311185
random/large/
unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf
? (TO)
2259.57
1302.58
3311180
random/large/
unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf
? (TO)
2263.82
1302.64
3311283
random/large/
unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf
? (TO)
2270.12
1302.53
3311156
random/large/
unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf
? (TO)
2288.38
1302.73
3311223
random/large/
unif-k3-r4.2-v40000-c168000-S471691933-060-UNKNOWN.cnf
? (TO)
2317.03
1302.61
3311193
random/large/
unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf
? (TO)
2322.71
1301.25
3311224
random/large/
unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf
? (TO)
2326.51
1302.51
3311198
random/large/
unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf
? (TO)
2328.11
1302.59
3311165
random/large/
unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf
? (TO)
2329.78
1302.58
3311287
random/large/
unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf
? (TO)
2358.5
1302.52
3311220
random/large/
unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf
? (TO)
2371.13
1302.52
3311200
random/large/
unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf
? (TO)
2383.03
1301.97
3311268
random/large/
unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf
? (TO)
2407.39
1302.56
3311232
random/large/
unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf
? (TO)
2505.25
1301.62
3311192
random/large/
unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf
? (TO)
2511.41
1302.56
3311151
random/large/
unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf
? (TO)
2522
1302.57
3311136
random/large/
unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf
? (TO)
2523.58
1302.4
3311316
random/large/
unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf
? (TO)
2525.41
1302.58
3311313
random/medium/
unif-k7-r89-v90-c8010-S1458811765-091.UNKNOWN.cnf
? (TO)
4800.06
1207.23
3311712
random/medium/
unif-k5-r21.3-v125-c2662-S2092454698-027.UNKNOWN.cnf
? (TO)
4800.07
1207.23
3311638
random/medium/
unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf
? (TO)
4800.07
1207.33
3311597
random/medium/
unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf
? (TO)
4800.07
1207.63
3311430
random/large/
unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf
? (TO)
4800.07
1206.93
3311183
random/medium/
unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf
? (TO)
4800.08
1206.84
3311386
random/medium/
unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf
? (TO)
4800.08
1207.04
3311531
random/medium/
unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf
? (TO)
4800.08
1206.53
3311679
random/medium/
unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf
? (TO)
4800.08
1207.43
3311671
random/medium/
unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf
? (TO)
4800.08
1207.04
3311418
random/medium/
unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf
? (TO)
4800.08
1207.03
3311383
random/medium/
unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf
? (TO)
4800.08
1207.23
3311617
random/medium/
unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf
? (TO)
4800.08
1207.23
3311421
random/large/
unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf
? (TO)
4800.08
1207.04
3311299
random/medium/
unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf
? (TO)
4800.09
1207.23
3311337
random/medium/
unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf
? (TO)
4800.09
1206.84
3311581
random/medium/
unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf
? (TO)
4800.09
1207.14
3311515
random/medium/
unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf
? (TO)
4800.09
1207.23
3311355
random/medium/
unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf
? (TO)
4800.09
1207.33
3311669
random/medium/
unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf
? (TO)
4800.09
1207.43
3311387
random/large/
unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf
? (TO)
4800.09
1206.83
3311130
random/medium/
unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf
? (TO)
4800.09
1207.43
3311664
random/medium/
unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf
? (TO)
4800.1
1207.43
3311494
random/medium/
unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf
? (TO)
4800.1
1207.43
3311462
random/large/
unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf
? (TO)
4800.1
1207.03
3311248
random/medium/
unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf
? (TO)
4800.1
1207.43
3311340
random/large/
unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf
? (TO)
4800.1
1206.64
3311145
random/medium/
unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf
? (TO)
4800.11
1207.34
3311578
random/medium/
unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf
? (TO)
4800.11
1207.43
3311455
random/medium/
unif-k7-r89-v70-c6230-S560963242-048.UNKNOWN.cnf
? (TO)
4800.11
1207.13
3311717
random/large/
unif-k7-r85-v250-c21250-S58287803-001-UNKNOWN.cnf
? (TO)
4800.11
1206.84
3311304
random/medium/
unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf
? (TO)
4800.11
1207.33
3311596
random/large/
unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf
? (TO)
4800.11
1204.25
3311277
random/large/
unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf
? (TO)
4800.11
1207.23
3311280
random/medium/
unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf
? (TO)
4800.11
1207.53
3311685
random/medium/
unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf
? (TO)
4800.11
1207.43
3311440
random/medium/
unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf
? (TO)
4800.11
1207.33
3311492
random/medium/
unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf
? (TO)
4800.11
1206.44
3311375
random/medium/
unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf
? (TO)
4800.12
1207.23
3311686
random/medium/
unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf
? (TO)
4800.12
1207.43
3311349
random/medium/
unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf
? (TO)
4800.12
1207.43
3311645
random/medium/
unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf
? (TO)
4800.12
1207.34
3311545
random/large/
unif-k7-r85-v400-c34000-S817927155-033-UNKNOWN.cnf
? (TO)
4800.12
1204.85
3311258
random/medium/
unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf
? (TO)
4800.12
1207.23
3311547
random/medium/
unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf
? (TO)
4800.12
1207.04
3311574
random/large/
unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf
? (TO)
4800.13
1203.56
3311217
random/medium/
unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf
? (TO)
4800.13
1207.23
3311674
random/medium/
unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf
? (TO)
4800.13
1207.53
3311529
random/large/
unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf
? (TO)
4800.13
1204.46
3311210
random/medium/
unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf
? (TO)
4800.13
1206.74
3311483
random/medium/
unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf
? (TO)
4800.13
1207.23
3311530
random/medium/
unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf
? (TO)
4800.13
1207.43
3311514
random/medium/
unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf
? (TO)
4800.14
1208.13
3311407
random/medium/
unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf
? (TO)
4800.14
1207.13
3311491
random/medium/
unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf
? (TO)
4800.14
1207.33
3311328
random/medium/
unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf
? (TO)
4800.14
1206.73
3311329
random/medium/
unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf
? (TO)
4800.14
1207.43
3311639
random/medium/
unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf
? (TO)
4800.14
1206.54
3311351
random/medium/
unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf
? (TO)
4800.14
1207.23
3311535
random/large/
unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf
? (TO)
4800.14
1203.56
3311255
random/medium/
unif-k3-r4.26-v600-c2556-S248192082-054.UNKNOWN.cnf
? (TO)
4800.14
1206.94
3311353
random/large/
unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf
? (TO)
4800.14
1203.49
3311254
random/medium/
unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf
? (TO)
4800.14
1207.33
3311659
random/medium/
unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf
? (TO)
4800.14
1207.63
3311485
random/medium/
unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf
? (TO)
4800.14
1207.23
3311503
random/medium/
unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf
? (TO)
4800.14
1207.23
3311536
random/medium/
unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf
? (TO)
4800.14
1207.93
3311458
random/medium/
unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf
? (TO)
4800.14
1207.43
3311619
random/medium/
unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf
? (TO)
4800.14
1207.33
3311622
random/medium/
unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf
? (TO)
4800.15
1207.24
3311621
random/large/
unif-k7-r85-v300-c25500-S926861876-013-UNKNOWN.cnf
? (TO)
4800.15
1206.54
3311178
random/medium/
unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf
? (TO)
4800.15
1207.23
3311343
random/medium/
unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf
? (TO)
4800.15
1207.13
3311670
random/medium/
unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf
? (TO)
4800.15
1207.33
3311410
random/medium/
unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf
? (TO)
4800.15
1207.23
3311522
random/medium/
unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf
? (TO)
4800.15
1206.84
3311413
random/large/
unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf
? (TO)
4800.15
1207.13
3311247
random/medium/
unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf
? (TO)
4800.15
1207.84
3311428
random/medium/
unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf
? (TO)
4800.15
1206.74
3311715
random/medium/
unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf
? (TO)
4800.15
1207.23
3311628
random/medium/
unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf
? (TO)
4800.15
1207.23
3311544
random/medium/
unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf
? (TO)
4800.16
1206.74
3311593
random/medium/
unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf
? (TO)
4800.16
1206.63
3311636
random/medium/
unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf
? (TO)
4800.16
1207.13
3311406
random/medium/
unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf
? (TO)
4800.16
1207.23
3311690
random/large/
unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf
? (TO)
4800.16
1206.83
3311282
random/medium/
unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf
? (TO)
4800.16
1206.93
3311606
random/medium/
unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf
? (TO)
4800.16
1206.43
3311559
random/medium/
unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf
? (TO)
4800.16
1206.93
3311470
random/medium/
unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf
? (TO)
4800.16
1207.33
3311443
random/large/
unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf
? (TO)
4800.16
1203.67
3311174
random/medium/
unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf
? (TO)
4800.17
1207.13
3311429
random/medium/
unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf
? (TO)
4800.17
1207.53
3311676
random/medium/
unif-k3-r4.26-v700-c2982-S1800377425-032.UNKNOWN.cnf
? (TO)
4800.17
1206.74
3311489
random/medium/
unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf
? (TO)
4800.17
1207.63
3311629
random/medium/
unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf
? (TO)
4800.17
1207.33
3311400
random/medium/
unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf
? (TO)
4800.17
1207.34
3311372
random/medium/
unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf
? (TO)
4800.17
1206.84
3311380
random/medium/
unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf
? (TO)
4800.18
1206.84
3311660
random/medium/
unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf
? (TO)
4800.18
1207.93
3311426
random/medium/
unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf
? (TO)
4800.18
1207.33
3311705
random/medium/
unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf
? (TO)
4800.18
1207.43
3311392
random/medium/
unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf
? (TO)
4800.18
1207.53
3311427
random/medium/
unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf
? (TO)
4800.18
1207.43
3311402
random/large/
unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf
? (TO)
4800.19
1203.49
3311131
random/large/
unif-k7-r85-v200-c17000-S1348818483-020-UNKNOWN.cnf
? (TO)
4800.19
1207.03
3311179
random/medium/
unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf
? (TO)
4800.19
1206.84
3311623
random/medium/
unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf
? (TO)
4800.19
1207.43
3311675
random/large/
unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf
? (TO)
4800.19
1203.21
3311175
random/large/
unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf
? (TO)
4800.19
1206.74
3311196
random/medium/
unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf
? (TO)
4800.19
1207.23
3311347
random/medium/
unif-k5-r21.3-v150-c3195-S873866006-055.UNKNOWN.cnf
? (TO)
4800.19
1207.33
3311356
random/medium/
unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf
? (TO)
4800.2
1206.94
3311563
random/medium/
unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf
? (TO)
4800.2
1207.23
3311582
random/medium/
unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf
? (TO)
4800.2
1207.23
3311576
random/large/
unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf
? (TO)
4800.2
1207.05
3311121
random/large/
unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf
? (TO)
4800.2
1203.47
3311142
random/large/
unif-k7-r85-v300-c25500-S942666749-061-UNKNOWN.cnf
? (TO)
4800.2
1206.34
3311157
random/medium/
unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf
? (TO)
4800.2
1206.64
3311394
random/medium/
unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf
? (TO)
4800.2
1207.53
3311423
random/medium/
unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf
? (TO)
4800.2
1207.33
3311434
random/medium/
unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf
? (TO)
4800.2
1207.93
3311471
random/medium/
unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf
? (TO)
4800.2
1207.43
3311526
random/medium/
unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf
? (TO)
4800.21
1206.73
3311625
random/large/
unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf
? (TO)
4800.21
1205.65
3311127
random/large/
unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf
? (TO)
4800.21
1206.74
3311309
random/medium/
unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf
? (TO)
4800.21
1207.23
3311537
random/medium/
unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf
? (TO)
4800.21
1206.74
3311607
random/medium/
unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf
? (TO)
4800.21
1207.53
3311528
random/medium/
unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf
? (TO)
4800.21
1206.93
3311594
random/medium/
unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf
? (TO)
4800.21
1207.03
3311368
random/medium/
unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf
? (TO)
4800.22
1207.23
3311509
random/large/
unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf
? (TO)
4800.22
1207.04
3311274
random/medium/
unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf
? (TO)
4800.22
1208.13
3311449
random/large/
unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf
? (TO)
4800.22
1203.13
3311292
random/large/
unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf
? (TO)
4800.22
1205.64
3311242
random/medium/
unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf
? (TO)
4800.22
1206.84
3311610
random/large/
unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf
? (TO)
4800.22
1206.64
3311310
random/medium/
unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf
? (TO)
4800.22
1207.43
3311604
random/medium/
unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf
? (TO)
4800.22
1206.83
3311344
random/large/
unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf
? (TO)
4800.23
1206.54
3311312
random/medium/
unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf
? (TO)
4800.23
1207.33
3311465
random/medium/
unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf
? (TO)
4800.23
1207.44
3311642
random/medium/
unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf
? (TO)
4800.23
1207.83
3311561
random/medium/
unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf
? (TO)
4800.23
1206.64
3311473
random/medium/
unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf
? (TO)
4800.23
1207.33
3311321
random/large/
unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf
? (TO)
4800.23
1207.13
3311267
random/medium/
unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf
? (TO)
4800.24
1207.23
3311584
random/medium/
unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf
? (TO)
4800.24
1207.43
3311414
random/medium/
unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf
? (TO)
4800.24
1207.13
3311552
random/medium/
unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf
? (TO)
4800.24
1207.43
3311391
random/medium/
unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf
? (TO)
4800.24
1208.93
3311450
random/large/
unif-k7-r85-v200-c17000-S1227169170-092-UNKNOWN.cnf
? (TO)
4800.24
1207.23
3311195
random/medium/
unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf
? (TO)
4800.24
1207.14
3311555
random/medium/
unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf
? (TO)
4800.24
1206.63
3311359
random/medium/
unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf
? (TO)
4800.24
1207.43
3311371
random/large/
unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf
? (TO)
4800.24
1203.37
3311138
random/medium/
unif-k7-r89-v90-c8010-S423984545-074.UNKNOWN.cnf
? (TO)
4800.24
1207.13
3311635
random/large/
unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf
? (TO)
4800.24
1203.66
3311314
random/medium/
unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf
? (TO)
4800.24
1207.03
3311710
random/large/
unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf
? (TO)
4800.25
1205.55
3311234
random/medium/
unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf
? (TO)
4800.25
1207.33
3311706
random/large/
unif-k7-r85-v300-c25500-S1286362348-008-UNKNOWN.cnf
? (TO)
4800.25
1206.54
3311161
random/medium/
unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf
? (TO)
4800.25
1206.64
3311499
random/medium/
unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf
? (TO)
4800.25
1207.14
3311476
random/large/
unif-k7-r85-v300-c25500-S1158419275-045-UNKNOWN.cnf
? (TO)
4800.25
1206.44
3311264
random/medium/
unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf
? (TO)
4800.25
1207.23
3311433
random/medium/
unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf
? (TO)
4800.26
1207.53
3311436
random/medium/
unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf
? (TO)
4800.26
1207.13
3311633
random/medium/
unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf
? (TO)
4800.26
1207.43
3311609
random/large/
unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf
? (TO)
4800.26
1203.31
3311206
random/medium/
unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf
? (TO)
4800.26
1207.43
3311501
random/medium/
unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf
? (TO)
4800.26
1206.83
3311358
random/medium/
unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf
? (TO)
4800.26
1207.33
3311475
random/medium/
unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf
? (TO)
4800.26
1207.43
3311490
random/medium/
unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf
? (TO)
4800.26
1207.43
3311416
random/large/
unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf
? (TO)
4800.26
1205.05
3311128
random/medium/
unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf
? (TO)
4800.26
1207.33
3311575
random/medium/
unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf
? (TO)
4800.27
1206.93
3311585
random/medium/
unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf
? (TO)
4800.27
1207.14
3311658
random/medium/
unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf
? (TO)
4800.27
1207.33
3311504
random/large/
unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf
? (TO)
4800.27
1203.08
3311168
random/medium/
unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf
? (TO)
4800.27
1207.24
3311345
random/medium/
unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf
? (TO)
4800.27
1207.43
3311435
random/medium/
unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf
? (TO)
4800.27
1206.94
3311568
random/medium/
unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf
? (TO)
4800.27
1206.64
3311520
random/medium/
unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf
? (TO)
4800.27
1207.33
3311324
random/medium/
unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf
? (TO)
4800.27
1207.23
3311318
random/large/
unif-k7-r85-v300-c25500-S680524168-083-UNKNOWN.cnf
? (TO)
4800.27
1206.64
3311240
random/medium/
unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf
? (TO)
4800.27
1207.43
3311463
random/large/
unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf
? (TO)
4800.27
1204.46
3311141
random/medium/
unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf
? (TO)
4800.27
1207.04
3311698
random/medium/
unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf
? (TO)
4800.28
1207.53
3311384
random/medium/
unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf
? (TO)
4800.28
1206.53
3311524
random/medium/
unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf
? (TO)
4800.28
1206.94
3311493
random/large/
unif-k5-r20-v2000-c40000-S61914820-087-UNKNOWN.cnf
? (TO)
4800.28
1203.37
3311250
random/medium/
unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf
? (TO)
4800.28
1207.43
3311326
random/medium/
unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf
? (TO)
4800.28
1207.53
3311511
random/medium/
unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf
? (TO)
4800.29
1207.73
3311447
random/medium/
unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf
? (TO)
4800.29
1207.33
3311405
random/medium/
unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf
? (TO)
4800.29
1206.93
3311595
random/large/
unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf
? (TO)
4800.29
1205.44
3311302
random/large/
unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf
? (TO)
4800.29
1205.15
3311281
random/large/
unif-k5-r20-v2000-c40000-S971556279-001-UNKNOWN.cnf
? (TO)
4800.29
1203.45
3311251
random/medium/
unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf
? (TO)
4800.29
1208.03
3311378
random/medium/
unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf
? (TO)
4800.29
1207.33
3311477
random/medium/
unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf
? (TO)
4800.29
1206.73
3311592
random/medium/
unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf
? (TO)
4800.29
1207.53
3311484
random/medium/
unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf
? (TO)
4800.29
1206.83
3311683
random/medium/
unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf
? (TO)
4800.29
1207.53
3311689
random/medium/
unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf
? (TO)
4800.3
1207.23
3311399
random/medium/
unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf
? (TO)
4800.3
1207.43
3311472
random/medium/
unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf
? (TO)
4800.3
1207.03
3311647
random/medium/
unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf
? (TO)
4800.3
1207.63
3311330
random/medium/
unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf
? (TO)
4800.3
1207.33
3311363
random/medium/
unif-k3-r4.26-v650-c2769-S910125393-002.UNKNOWN.cnf
? (TO)
4800.3
1207.03
3311519
random/medium/
unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf
? (TO)
4800.3
1207.43
3311637
random/medium/
unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf
? (TO)
4800.3
1208.73
3311445
random/large/
unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf
? (TO)
4800.3
1205.05
3311306
random/medium/
unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf
? (TO)
4800.3
1206.84
3311624
random/large/
unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf
? (TO)
4800.3
1203.49
3311298
random/medium/
unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf
? (TO)
4800.3
1207.53
3311393
random/large/
unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf
? (TO)
4800.3
1204.75
3311149
random/medium/
unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf
? (TO)
4800.31
1207.43
3311506
random/large/
unif-k7-r85-v400-c34000-S1163171897-095-UNKNOWN.cnf
? (TO)
4800.31
1204.84
3311260
random/medium/
unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf
? (TO)
4800.31
1207.27
3311325
random/large/
unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf
? (TO)
4800.31
1207.33
3311269
random/medium/
unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf
? (TO)
4800.31
1206.93
3311336
random/medium/
unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf
? (TO)
4800.31
1206.94
3311366
random/medium/
unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf
? (TO)
4800.31
1207.23
3311495
random/medium/
unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf
? (TO)
4800.31
1207.57
3311525
random/large/
unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf
? (TO)
4800.31
1207.13
3311176
random/medium/
unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf
? (TO)
4800.31
1207.33
3311701
random/large/
unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf
? (TO)
4800.31
1203.14
3311172
random/medium/
unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf
? (TO)
4800.31
1206.93
3311334
random/medium/
unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf
? (TO)
4800.31
1207.53
3311412
random/medium/
unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf
? (TO)
4800.32
1207.83
3311374
random/medium/
unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf
? (TO)
4800.32
1207.53
3311697
random/medium/
unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf
? (TO)
4800.32
1206.44
3311333
random/large/
unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf
? (TO)
4800.32
1204.65
3311262
random/medium/
unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf
? (TO)
4800.32
1207.43
3311417
random/medium/
unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf
? (TO)
4800.32
1207.33
3311549
random/medium/
unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf
? (TO)
4800.32
1207.43
3311608
random/medium/
unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf
? (TO)
4800.32
1207.53
3311505
random/medium/
unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf
? (TO)
4800.32
1207.43
3311566
random/medium/
unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf
? (TO)
4800.33
1207.43
3311667
random/large/
unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf
? (TO)
4800.33
1207.23
3311122
random/medium/
unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf
? (TO)
4800.33
1207.23
3311542
random/large/
unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf
? (TO)
4800.33
1205.84
3311236
random/medium/
unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf
? (TO)
4800.33
1207.14
3311401
random/medium/
unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf
? (TO)
4800.33
1207.53
3311704
random/medium/
unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf
? (TO)
4800.33
1207.23
3311641
random/medium/
unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf
? (TO)
4800.34
1207.43
3311613
random/large/
unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf
? (TO)
4800.34
1203.14
3311194
random/medium/
unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf
? (TO)
4800.34
1207.63
3311567
random/medium/
unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf
? (TO)
4800.34
1207.33
3311498
random/large/
unif-k7-r85-v400-c34000-S1275797759-041-UNKNOWN.cnf
? (TO)
4800.34
1204.75
3311244
random/large/
unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf
? (TO)
4800.34
1204.46
3311303
random/large/
unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf
? (TO)
4800.34
1204.66
3311305
random/medium/
unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf
? (TO)
4800.34
1207.33
3311320
random/medium/
unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf
? (TO)
4800.34
1207.23
3311646
random/medium/
unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf
? (TO)
4800.34
1207.63
3311376
random/medium/
unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf
? (TO)
4800.35
1207.23
3311533
random/medium/
unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf
? (TO)
4800.35
1207.43
3311319
random/medium/
unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf
? (TO)
4800.35
1207.48
3311516
random/large/
unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf
? (TO)
4800.35
1204.95
3311125
random/large/
unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf
? (TO)
4800.35
1205.64
3311124
random/medium/
unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf
? (TO)
4800.35
1207.43
3311432
random/large/
unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf
? (TO)
4800.35
1207.13
3311208
random/medium/
unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf
? (TO)
4800.35
1207.53
3311579
random/large/
unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf
? (TO)
4800.35
1203.76
3311315
random/medium/
unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf
? (TO)
4800.35
1207.33
3311323
random/large/
unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf
? (TO)
4800.36
1203.42
3311257
random/medium/
unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf
? (TO)
4800.36
1207.53
3311350
random/large/
unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf
? (TO)
4800.36
1203.67
3311177
random/large/
unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf
? (TO)
4800.36
1206.65
3311275
random/medium/
unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf
? (TO)
4800.36
1207.33
3311687
random/medium/
unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf
? (TO)
4800.36
1207.04
3311571
random/large/
unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf
? (TO)
4800.36
1204.26
3311203
random/medium/
unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf
? (TO)
4800.36
1207.53
3311331
random/medium/
unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf
? (TO)
4800.36
1207.84
3311452
random/medium/
unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf
? (TO)
4800.36
1206.93
3311540
random/large/
unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf
? (TO)
4800.36
1204.85
3311167
random/large/
unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf
? (TO)
4800.36
1204.46
3311256
random/medium/
unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf
? (TO)
4800.36
1207.33
3311626
random/medium/
unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf
? (TO)
4800.36
1207.13
3311553
random/medium/
unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf
? (TO)
4800.36
1207.33
3311361
random/large/
unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf
? (TO)
4800.37
1204.56
3311189
random/large/
unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf
? (TO)
4800.37
1205.74
3311249
random/medium/
unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf
? (TO)
4800.37
1206.84
3311702
random/large/
unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf
? (TO)
4800.37
1206.64
3311166
random/medium/
unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf
? (TO)
4800.37
1207.43
3311707
random/medium/
unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf
? (TO)
4800.37
1207.38
3311478
random/medium/
unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf
? (TO)
4800.38
1207.43
3311367
random/large/
unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf
? (TO)
4800.38
1205.25
3311235
random/medium/
unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf
? (TO)
4800.38
1207.13
3311480
random/medium/
unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf
? (TO)
4800.38
1206.34
3311487
random/medium/
unif-k5-r21.3-v125-c2662-S396831120-092.UNKNOWN.cnf
? (TO)
4800.38
1207.43
3311354
random/large/
unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf
? (TO)
4800.38
1203.41
3311228
random/medium/
unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf
? (TO)
4800.38
1207.53
3311558
random/medium/
unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf
? (TO)
4800.38
1207.33
3311420
random/large/
unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf
? (TO)
4800.39
1203.58
3311146
random/large/
unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf
? (TO)
4800.39
1203.66
3311222
random/medium/
unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf
? (TO)
4800.39
1207.63
3311583
random/medium/
unif-k3-r4.26-v600-c2556-S869604189-077.UNKNOWN.cnf
? (TO)
4800.39
1206.83
3311598
random/large/
unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf
? (TO)
4800.39
1203.74
3311119
random/medium/
unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf
? (TO)
4800.39
1207.23
3311479
random/medium/
unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf
? (TO)
4800.4
1207.63
3311469
random/medium/
unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf
? (TO)
4800.4
1207.63
3311682
random/medium/
unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf
? (TO)
4800.4
1207.24
3311661
random/large/
unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf
? (TO)
4800.4
1203.54
3311252
random/medium/
unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf
? (TO)
4800.4
1207.03
3311640
random/medium/
unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf
? (TO)
4800.4
1207.43
3311678
random/large/
unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf
? (TO)
4800.4
1202.99
3311181
random/medium/
unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf
? (TO)
4800.4
1207.34
3311500
random/medium/
unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf
? (TO)
4800.4
1207.43
3311352
random/medium/
unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf
? (TO)
4800.4
1207.53
3311411
random/medium/
unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf
? (TO)
4800.4
1207.24
3311425
random/large/
unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf
? (TO)
4800.4
1203.67
3311150
random/medium/
unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf
? (TO)
4800.4
1207.43
3311570
random/medium/
unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf
? (TO)
4800.4
1207.14
3311551
random/medium/
unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf
? (TO)
4800.4
1207.23
3311365
random/large/
unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf
? (TO)
4800.4
1207.03
3311279
random/medium/
unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf
? (TO)
4800.41
1207.33
3311681
random/medium/
unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf
? (TO)
4800.41
1207.23
3311648
random/medium/
unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf
? (TO)
4800.41
1207.53
3311673
random/large/
unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf
? (TO)
4800.41
1207.13
3311152
random/medium/
unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf
? (TO)
4800.41
1207.43
3311616
random/medium/
unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf
? (TO)
4800.41
1207.33
3311554
random/large/
unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf
? (TO)
4800.41
1206.64
3311221
random/medium/
unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf
? (TO)
4800.41
1207.57
3311605
random/large/
unif-k7-r85-v400-c34000-S927774663-037-UNKNOWN.cnf
? (TO)
4800.41
1204.75
3311216
random/large/
unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf
? (TO)
4800.41
1207.23
3311188
random/large/
unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf
? (TO)
4800.41
1203.78
3311307
random/medium/
unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf
? (TO)
4800.41
1207.63
3311342
random/medium/
unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf
? (TO)
4800.41
1206.84
3311327
random/medium/
unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf
? (TO)
4800.42
1207.93
3311451
random/medium/
unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf
? (TO)
4800.42
1206.84
3311693
random/large/
unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf
? (TO)
4800.42
1207.33
3311129
random/large/
unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf
? (TO)
4800.42
1204.66
3311265
random/medium/
unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf
? (TO)
4800.42
1206.74
3311691
random/medium/
unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf
? (TO)
4800.42
1207.65
3311692
random/large/
unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf
? (TO)
4800.42
1204.46
3311286
random/medium/
unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf
? (TO)
4800.42
1206.63
3311431
random/medium/
unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf
? (TO)
4800.42
1207.73
3311467
random/medium/
unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf
? (TO)
4800.42
1207.13
3311714
random/medium/
unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf
? (TO)
4800.42
1207.53
3311508
random/large/
unif-k7-r85-v400-c34000-S536077088-015-UNKNOWN.cnf
? (TO)
4800.42
1205.8
3311278
random/large/
unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf
? (TO)
4800.42
1205.64
3311197
random/medium/
unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf
? (TO)
4800.42
1207.04
3311655
random/medium/
unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf
? (TO)
4800.42
1207.53
3311510
random/medium/
unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf
? (TO)
4800.42
1207.43
3311419
random/medium/
unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf
? (TO)
4800.43
1206.93
3311322
random/medium/
unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf
? (TO)
4800.43
1207.04
3311332
random/medium/
unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf
? (TO)
4800.43
1207.43
3311550
random/medium/
unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf
? (TO)
4800.43
1207.93
3311459
random/large/
unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf
? (TO)
4800.43
1203.57
3311246
random/medium/
unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf
? (TO)
4800.43
1206.64
3311586
random/medium/
unif-k7-r89-v80-c7120-S1818856267-075.UNKNOWN.cnf
? (TO)
4800.43
1207.27
3311381
random/medium/
unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf
? (TO)
4800.43
1207.63
3311395
random/large/
unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf
? (TO)
4800.43
1204.05
3311120
random/large/
unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf
? (TO)
4800.43
1207.34
3311253
random/large/
unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf
? (TO)
4800.43
1204.45
3311154
random/large/
unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf
? (TO)
4800.43
1203.59
3311259
random/large/
unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf
? (TO)
4800.43
1204.26
3311135
random/medium/
unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf
? (TO)
4800.43
1207.53
3311580
random/medium/
unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf
? (TO)
4800.43
1207.63
3311453
random/large/
unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf
? (TO)
4800.44
1204.65
3311118
random/large/
unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf
? (TO)
4800.44
1205.75
3311273
random/medium/
unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf
? (TO)
4800.44
1206.84
3311709
random/medium/
unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf
? (TO)
4800.44
1207.43
3311439
random/medium/
unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf
? (TO)
4800.44
1207.43
3311364
random/medium/
unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf
? (TO)
4800.44
1207.03
3311424
random/large/
unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf
? (TO)
4800.44
1207.13
3311207
random/medium/
unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf
? (TO)
4800.44
1206.74
3311438
random/medium/
unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf
? (TO)
4800.44
1207.63
3311713
random/medium/
unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf
? (TO)
4800.44
1207.34
3311649
random/medium/
unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf
? (TO)
4800.44
1207.43
3311338
random/large/
unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf
? (TO)
4800.44
1205.02
3311212
random/large/
unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf
? (TO)
4800.44
1204.45
3311169
random/large/
unif-k5-r20-v2000-c40000-S319509287-085-UNKNOWN.cnf
? (TO)
4800.44
1203.38
3311158
random/medium/
unif-k5-r21.3-v150-c3195-S375894551-007.UNKNOWN.cnf
? (TO)
4800.45
1208.23
3311360
random/medium/
unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf
? (TO)
4800.45
1207.43
3311560
random/large/
unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf
? (TO)
4800.45
1205.65
3311215
random/large/
unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf
? (TO)
4800.45
1203.48
3311226
random/large/
unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf
? (TO)
4800.45
1203.86
3311227
random/medium/
unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf
? (TO)
4800.45
1207.54
3311587
random/large/
unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf
? (TO)
4800.45
1203.3
3311289
random/medium/
unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf
? (TO)
4800.45
1207.43
3311631
random/medium/
unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf
? (TO)
4800.45
1207.33
3311385
random/medium/
unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf
? (TO)
4800.45
1207.53
3311408
random/medium/
unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf
? (TO)
4800.45
1207.04
3311523
random/medium/
unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf
? (TO)
4800.46
1207.74
3311668
random/large/
unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf
? (TO)
4800.46
1206.84
3311241
random/medium/
unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf
? (TO)
4800.46
1207.14
3311468
random/large/
unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf
? (TO)
4800.47
1203.58
3311153
random/medium/
unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf
? (TO)
4800.47
1206.94
3311603
random/medium/
unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf
? (TO)
4800.47
1206.74
3311716
random/large/
unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf
? (TO)
4800.47
1205.11
3311199
random/medium/
unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf
? (TO)
4800.48
1206.74
3311654
random/large/
unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf
? (TO)
4800.48
1203.68
3311190
random/large/
unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf
? (TO)
4800.48
1203.79
3311218
random/large/
unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf
? (TO)
4800.49
1205.35
3311186
random/large/
unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf
? (TO)
4800.49
1203.78
3311308
random/large/
unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf
? (TO)
4800.49
1204.71
3311163
random/medium/
unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf
? (TO)
4800.49
1207.4
3311590
random/large/
unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf
? (TO)
4800.5
1203.12
3311239
random/large/
unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf
? (TO)
4800.5
1203.77
3311143
random/large/
unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf
? (TO)
4800.53
1203.86
3311205
random/medium/
unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf
? (TO)
4800.53
1207.28
3311591
random/large/
unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf
? (TO)
4800.53
1204.83
3311126
random/large/
unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf
? (TO)
4800.54
1203.72
3311159
random/large/
unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf
? (TO)
4800.54
1205.8
3311284
random/large/
unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf
? (TO)
4800.55
1205.73
3311263
random/large/
unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf
? (TO)
4800.56
1204.96
3311295
random/large/
unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf
? (TO)
4800.56
1203.76
3311164
random/large/
unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf
? (TO)
4800.56
1203.54
3311144
random/large/
unif-k7-r85-v300-c25500-S1859210562-077-UNKNOWN.cnf
? (TO)
4800.58
1206.51
3311293
random/large/
unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf
? (TO)
4800.58
1203.71
3311291
random/large/
unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf
? (TO)
4800.59
1203.59
3311231
random/medium/
unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf
? (TO)
4800.59
1207.52
3311577
random/large/
unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf
? (TO)
4800.6
1203.73
3311296
random/large/
unif-k5-r20-v2000-c40000-S922811046-076-UNKNOWN.cnf
? (TO)
4800.61
1203.82
3311290
random/medium/
unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf
? (TO)
4800.62
1207.01
3311518
random/large/
unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf
? (TO)
4800.63
1205.1
3311297
random/large/
unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf
? (TO)
4800.63
1204.92
3311233
random/large/
unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf
? (TO)
4800.63
1203.74
3311245
random/large/
unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf
? (TO)
4800.64
1206.89
3311211
random/large/
unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf
? (TO)
4800.65
1239.77
3311209
random/large/
unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf
? (TO)
4800.65
1205.43
3311229
random/large/
unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf
? (TO)
4800.65
1203.63
3311137
random/large/
unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf
? (TO)
4800.67
1246.67
3311184
random/large/
unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf
? (TO)
4800.67
1204.98
3311182
random/large/
unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf
? (TO)
4800.68
1206.05
3311202
random/large/
unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf
? (TO)
4800.68
1234.93
3311271
random/large/
unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf
? (TO)
4800.68
1205.9
3311261
random/large/
unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf
? (TO)
4800.69
1236.35
3311132
random/large/
unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf
? (TO)
4800.7
1205.09
3311288
random/large/
unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf
? (TO)
4800.73
1205.76
3311300
random/large/
unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf
? (TO)
4800.74
1206.01
3311155
random/medium/
unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf
? (TO)
4800.75
1206.74
3311422
random/large/
unif-k7-r85-v250-c21250-S655589261-059-UNKNOWN.cnf
? (TO)
4800.75
1206.84
3311201
random/large/
unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf
? (TO)
4800.78
1240.51
3311139
random/large/
unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf
? (TO)
4800.81
1241.56
3311243
random/large/
unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf
? (TO)
4800.82
1207.43
3311148
random/large/
unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf
? (TO)
4800.83
1236.11
3311170
random/large/
unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf
? (TO)
4800.85
1207.03
3311238
random/large/
unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf
? (TO)
4800.86
1206.81
3311219
random/large/
unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf
? (TO)
4800.87
1236.94
3311311
random/large/
unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf
? (TO)
4800.89
1238.17
3311191
random/large/
unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf
? (TO)
4800.94
1207.76
3311133
random/large/
unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf
? (TO)
4801
1236.2
3311317
random/large/
unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf
? (TO)
4801.09
1205.85
3311214