SAT 2011 Competition: main competition (phase 1): benchmarks results per solver
Result page for solver STRUCTure
0.1
(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/E07N15.cnf
UNSAT
1.75473
1.01346
3313262
application/leberre/
2dimensionalstrippacking/E15N15.cnf
UNSAT
1.77673
1.01084
3313263
SAT02/industrial/biere/
dinphil/dp04u03.shuffled.cnf
UNSAT
1.85872
0.782248
3313242
application/leberre/
2dimensionalstrippacking/E04N18.cnf
UNSAT
19.0791
9.06416
3313265
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf
UNSAT
20.8808
10.9235
3313251
industrial/babic/hsatv17/
hsat_vc12062.cnf
UNSAT
23.9524
15.4001
3313246
SAT-Race-2010-CNF/software-verification/
nec/hard-25-U-7061.cnf
UNSAT
38.8141
36.756
3313250
SAT02/industrial/goldberg/rand_net/
rand_net60-30-1.shuffled.cnf
UNSAT
128.665
35.5443
3313244
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf
UNSAT
1504.38
390.085
3313252
SAT02/industrial/aloul/
Homer/homer14.shuffled.cnf
UNSAT
1589.91
400.188
3313375
application/leberre/
2dimensionalstrippacking/E03N17.cnf
UNSAT
2145.47
542.893
3313264
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
UNSAT
3254.37
820.223
3313300
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf
UNSAT
3401.64
876.516
3313253
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf
UNSAT
3944.89
1004.81
3313254
Solver found a solution (SATISFIABLE) (17 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT05/industrial/maris05/DriverLog/
driverlog1_ks99i.renamed-as.sat05-3951.cnf
SAT
0.71989
0.373109
3313325
SAT05/industrial/maris05/DriverLog/
driverlog3_v01a.renamed-as.sat05-3963.cnf
SAT
0.777881
0.455699
3313222
SAT05/industrial/maris05/Rovers/
rovers1_ks99i.renamed-as.sat05-3971.cnf
SAT
1.93171
0.850982
3313224
SAT02/industrial/aloul/
Bart/bart17.shuffled.cnf
SAT
2.72458
0.974194
3313218
SAT02/industrial/biere/
dinphil/dp04s04.shuffled.cnf
SAT
2.75358
0.994615
3313219
application/kullmann/AES/Benchmarks/
32/aes_32_1_keyfind_1.cnf
SAT
5.9041
1.77356
3313240
SAT05/industrial/maris05/Ferry/
ferry5_ks99i.renamed-as.sat05-3994.cnf
SAT
11.3013
3.27063
3313223
application/fuhs/
AProVE11/AProVE11-09.cnf
SAT
42.0336
14.6267
3313229
SAT02/industrial/biere/
dinphil/dp10s10.shuffled.cnf
SAT
120.721
30.9224
3313220
application/fuhs/
AProVE11/AProVE11-02.cnf
SAT
133.384
46.4818
3313231
SAT_RACE08/Q1/
SAT_dat.k80_04.cnf
SAT
158.318
46.0264
3313347
application/fuhs/
AProVE11/AProVE11-13.cnf
SAT
193.582
80.3305
3313233
application/fuhs/
AProVE11/AProVE11-10.cnf
SAT
706.546
194.463
3313350
SAT05/industrial/grieu05/vmpc/
vmpc_25.renamed-as.sat05-1913.cnf
SAT
1401.09
354.29
3313323
application/leberre/
2dimensionalstrippacking/E05F18.cnf
SAT
2373.97
598.196
3313241
APPLICATIONS/diagnosis/
UTI-10-5t1.cnf
SAT
3761.59
1029.82
3313225
SAT05/industrial/grieu05/vmpc/
vmpc_34.renamed-as.sat05-1926.cnf
SAT
4166.55
1047.91
3313267
Solver timed out (no solution given) (269 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.39
1300.08
3313294
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
? (TO)
1332.11
1300.35
3313273
application/rintanen/SATPlanning/
transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf
? (TO)
1370.23
1300.42
3313369
application/rintanen/SATPlanning/
transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf
? (TO)
1386.66
1300.45
3313370
SAT-Race-2010-CNF/software-verification/
nec/hard-18-U-10652.cnf
? (TO)
1707.34
1300.26
3313404
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf
? (TO)
1904.02
1302.6
3313288
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
? (TO)
1980.73
1302.59
3313517
application/rintanen/SATPlanning/
blocks-blocks-36-0.160-NOTKNOWN.cnf
? (TO)
2040.1
1300.58
3313371
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf
? (TO)
2117.17
1302.66
3313357
application/rintanen/SATPlanning/
blocks-blocks-36-0.170-NOTKNOWN.cnf
? (TO)
2176.65
1302.65
3313373
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf
? (TO)
2183.62
1302.58
3313317
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
? (TO)
2191.27
1301.75
3313287
application/rintanen/SATPlanning/
blocks-blocks-37-1.150-SAT.cnf
? (TO)
2224.81
1302.52
3313372
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
? (TO)
2303.65
1302.59
3313516
application/rintanen/SATPlanning/
blocks-blocks-37-1.130-NOTKNOWN.cnf
? (TO)
2320.96
1302.74
3313442
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
? (TO)
2336.64
1301.43
3313286
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
? (TO)
2352.11
1300.61
3313330
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf
? (TO)
2364.85
1300.64
3313329
application/rintanen/SATPlanning/
blocks-blocks-36-0.180-SAT.cnf
? (TO)
2449.14
1302.55
3313374
application/rintanen/SATPlanning/
blocks-blocks-36-0.120-NOTKNOWN.cnf
? (TO)
2476.07
1302.54
3313440
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step14.cnf
? (TO)
2504.49
1302.59
3313356
application/rintanen/SATPlanning/
blocks-blocks-37-1.120-NOTKNOWN.cnf
? (TO)
2546.78
1300.77
3313441
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
? (TO)
2549.84
1300.57
3313285
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step13.cnf
? (TO)
2634.92
1302.56
3313414
SAT03/industrial/schuppan/l2s/
bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
? (TO)
2636.82
1300.4
3313293
manol-pipe-c10nidw.cnf
? (TO)
2645.78
1302.53
3313402
SAT05/industrial/narain05/vpn/
clauses-8.renamed-as.sat05-1964.cnf
? (TO)
2651.28
1300.56
3313269
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-30-step11.cnf
? (TO)
2779.64
1302.52
3313355
manol-pipe-f7nidw.cnf
? (TO)
2815.22
1302.78
3313401
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
2932.9
1302.58
3313459
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
2936.54
1302.92
3313271
SAT-Race-2010-CNF/software-verification/
nec/hard-6-U-7061.cnf
? (TO)
3023.39
1300.46
3313249
velev-npe-1.0-9dlx-b71.cnf
? (TO)
3031.9
1300.64
3313278
ibm-2002-30r-k85.cnf
? (TO)
3036.62
1302.88
3313346
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
3141.18
1302.56
3313464
SAT_RACE08/Q1/
SAT_dat.k85.cnf
? (TO)
3210.49
1302.53
3313348
SAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq60_a.cnf
? (TO)
3232.62
1302.65
3313314
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf
? (TO)
3234.28
1301.59
3313238
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-18-step16.cnf
? (TO)
3260.1
1302.53
3313354
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf
? (TO)
3276.89
1300.5
3313422
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
3306.19
1302.9
3313272
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf
? (TO)
3308.79
1300.47
3313425
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
3336.85
1302.81
3313270
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-18-step15.cnf
? (TO)
3349.52
1300.65
3313413
SAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq57_a.cnf
? (TO)
3357.77
1302.38
3313313
application/manthey/traffic/
traffic_r_uc_sat.cnf
? (TO)
3418.55
1302.57
3313367
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf
? (TO)
3574.17
1302.66
3313368
SAT-Race-2010-CNF/hardware-verification/
velev/11pipe_11_ooo.cnf
? (TO)
3643.01
1302.56
3313311
application/rintanen/SATPlanning/
grid-strips-grid-y-3.035-NOTKNOWN.cnf
? (TO)
3686.37
1302.53
3313438
SAT-Race-2010-CNF/hardware-verification/
velev/2dlx_ca_bp_f_liveness.cnf
? (TO)
3758.09
1302.53
3313473
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
? (TO)
3777.72
1302.56
3313396
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
3888.51
1302.93
3313326
application/leberre/
2dimensionalstrippacking/E00N23.cnf
? (TO)
3900.61
1300.26
3313507
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf
? (TO)
3983.35
1300.4
3313512
SAT03/industrial/schuppan/l2s/
dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf
? (TO)
4115.53
1300.47
3313450
APPLICATIONS/diagnosis/
UR-20-10p0.cnf
? (TO)
4133.26
1302.68
3313307
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
? (TO)
4171.86
1301.96
3313339
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
4252.33
1302.61
3313275
APPLICATIONS/diagnosis/
ACG-15-5p1.cnf
? (TO)
4261.95
1302.67
3313337
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf
? (TO)
4271.13
1300.36
3313513
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.080-SAT.cnf
? (TO)
4276.7
1302.7
3313515
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
? (TO)
4291.04
1300.34
3313510
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf
? (TO)
4368.14
1300.45
3313423
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
? (TO)
4371.11
1301.28
3313514
application/leberre/
2dimensionalstrippacking/E00X23.cnf
? (TO)
4389.48
1300.3
3313506
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
? (TO)
4408.44
1300.56
3313452
industrial/anbulagan/
hard-sat/partial-10-17-s.cnf
? (TO)
4421.29
1302.66
3313454
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf
? (TO)
4431.67
1300.34
3313511
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
? (TO)
4432.48
1302.32
3313338
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
4454.07
1300.58
3313455
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (TO)
4458.44
1300.74
3313276
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
? (TO)
4478.91
1300.81
3313308
application/leberre/
2dimensionalstrippacking/E02F22.cnf
? (TO)
4637.78
1300.15
3313364
SAT04/industrial/velev/pipe-sat-1-1/
12pipe_bug4_q0.used-as.sat04-723.cnf
? (TO)
4647.15
1302.66
3313322
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
? (TO)
4677.01
1300.43
3313296
industrial/manolios/
manol-pipe-f7idw.cnf
? (TO)
4721.71
1300.83
3313389
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
4723.02
1300.41
3313299
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
? (TO)
4723.98
1300.85
3313397
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
4726.02
1300.39
3313301
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
4730.69
1301.56
3313302
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
4744.83
1300.77
3313304
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
? (TO)
4758.3
1300.6
3313392
velev-pipe-sat-1.0-b9.cnf
? (TO)
4772.58
1302.81
3313343
application/manthey/traffic/
traffic_3_uc_sat.cnf
? (TO)
4782.89
1301.6
3313365
APPLICATIONS/diagnosis/
UR-10-10p1.cnf
? (TO)
4789.64
1300.72
3313336
SAT02/industrial/goldberg/rand_net/
rand_net60-40-10.shuffled.cnf
? (TO)
4800.1
1207.63
3313376
application/leberre/
2dimensionalstrippacking/E02F17.cnf
? (TO)
4800.11
1206.35
3313428
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf
? (TO)
4800.13
1251.58
3313509
SAT02/industrial/goldberg/rand_net/
rand_net70-60-10.shuffled.cnf
? (TO)
4800.13
1208.54
3313377
SAT02/industrial/goldberg/rand_net/
rand_net60-25-10.shuffled.cnf
? (TO)
4800.13
1207.64
3313243
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
4800.13
1206.45
3313457
application/kullmann/AES/Benchmarks/
128/aes_128_2_keyfind_1.cnf
? (TO)
4800.13
1205.75
3313498
application/kullmann/AES/Benchmarks/
64/aes_64_3_keyfind_1.cnf
? (TO)
4800.14
1207.34
3313504
application/leberre/
2dimensionalstrippacking/E04F19.cnf
? (TO)
4800.15
1213.68
3313360
SAT03/industrial/goldberg/hard_eq_check/
x1mul.miter.shuffled-as.sat03-359.cnf
? (TO)
4800.15
1208.77
3313290
application/manthey/traffic/
traffic_b_unsat.cnf
? (TO)
4800.16
1220.6
3313432
SAT05/industrial/grieu05/vmpc/
vmpc_36.renamed-as.sat05-1922.cnf
? (TO)
4800.17
1206.96
3313453
application/kullmann/AES/Benchmarks/
32/aes_32_4_keyfind_1.cnf
? (TO)
4800.18
1207.53
3313501
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
4800.18
1207.43
3313458
application/leberre/
2dimensionalstrippacking/E02F20.cnf
? (TO)
4800.19
1223.29
3313361
industrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
? (TO)
4800.19
1231.77
3313382
SAT05/industrial/grieu05/vmpc/
vmpc_29.renamed-as.sat05-1916.cnf
? (TO)
4800.19
1206.75
3313324
industrial/fuhs/hard/
AProVE07-03.cnf
? (TO)
4800.2
1206.84
3313383
industrial/fuhs/medium/
AProVE07-21.cnf
? (TO)
4800.2
1207.33
3313384
SAT05/industrial/grieu05/vmpc/
vmpc_32.renamed-as.sat05-1919.cnf
? (TO)
4800.21
1206.85
3313266
application/kullmann/AES/Benchmarks/
128/aes_128_1_keyfind_1.cnf
? (TO)
4800.21
1207.13
3313497
application/kullmann/AES/Benchmarks/
64/aes_64_2_keyfind_1.cnf
? (TO)
4800.21
1207.33
3313503
SAT05/industrial/grieu05/vmpc/
vmpc_35.renamed-as.sat05-1921.cnf
? (TO)
4800.22
1206.76
3313268
SAT03/industrial/goldberg/hard_eq_check/
k2mul.miter.shuffled-as.sat03-355.cnf
? (TO)
4800.22
1207.45
3313292
SAT02/industrial/dellacherie/
comb/comb1.shuffled.cnf
? (TO)
4800.24
1206.84
3313444
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom12.cnf
? (TO)
4800.26
1205.69
3313406
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
4800.26
1207.84
3313309
application/kullmann/AES/Benchmarks/
64/aes_64_4_keyfind_1.cnf
? (TO)
4800.26
1206.94
3313505
SAT03/industrial/maris/CNF/
gripper13u.shuffled-as.sat03-395.cnf
? (TO)
4800.26
1207.14
3313449
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
4800.27
1257.21
3313297
APPLICATIONS/bitverif/countbitsarray/
countbitsarray04_32.cnf
? (TO)
4800.27
1207.84
3313460
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_15_SAT.cnf
? (TO)
4800.27
1205.49
3313340
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
4800.27
1206.54
3313466
application/kullmann/AES/Benchmarks/
32/aes_32_3_keyfind_1.cnf
? (TO)
4800.28
1207.33
3313282
application/kullmann/AES/Benchmarks/
32/aes_32_2_keyfind_1.cnf
? (TO)
4800.28
1207.73
3313358
SAT02/industrial/goldberg/fpga_routing/
vda_gr_rcs_w9.shuffled.cnf
? (TO)
4800.28
1224.89
3313221
application/fuhs/
AProVE11/AProVE11-12.cnf
? (TO)
4800.29
1207.18
3313227
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
? (TO)
4800.29
1207.44
3313386
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom17.cnf
? (TO)
4800.3
1206.35
3313477
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
4800.3
1205.05
3313461
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_18_SAT.cnf
? (TO)
4800.31
1205.56
3313341
APPLICATIONS/bitverif/
countbitssrl/countbitssrl064.cnf
? (TO)
4800.31
1208.15
3313462
application/fuhs/
AProVE11/AProVE11-16.cnf
? (TO)
4800.32
1209.85
3313230
application/leberre/
2dimensionalstrippacking/E05X15.cnf
? (TO)
4800.33
1205.56
3313426
application/manthey/traffic/
traffic_pcb_unknown.cnf
? (TO)
4800.33
1222.52
3313434
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-13-step17.cnf
? (TO)
4800.34
1212.01
3313408
SAT03/industrial/kukula/addm_bench/
am_7_7.shuffled-as.sat03-363.cnf
? (TO)
4800.34
1208.06
3313446
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
? (TO)
4800.35
1210.78
3313388
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
? (TO)
4800.35
1204.93
3313391
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-countbits128-tseitin.cnf
? (TO)
4800.35
1279.28
3313495
application/kullmann/AES/Benchmarks/
128/aes_128_3_keyfind_1.cnf
? (TO)
4800.35
1204
3313499
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom13.cnf
? (TO)
4800.36
1205.68
3313407
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom20.cnf
? (TO)
4800.36
1207.46
3313480
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-17-step20.cnf
? (TO)
4800.36
1211.16
3313410
APPLICATIONS/bitverif/
minandmaxor/minandmaxor016.cnf
? (TO)
4800.37
1207.04
3313247
ibm-2004-01-k90.cnf
? (TO)
4800.37
1206.91
3313344
industrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
? (TO)
4800.37
1285.82
3313298
SAT03/industrial/goldberg/hard_eq_check/
c6288mul.miter.shuffled-as.sat03-346.cnf
? (TO)
4800.38
1206.86
3313291
SAT02/industrial/aloul/
Homer/homer17.shuffled.cnf
? (TO)
4800.38
1208.34
3313443
application/kullmann/AES/Benchmarks/
64/aes_64_1_keyfind_1.cnf
? (TO)
4800.38
1207.63
3313359
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top30.cnf
? (TO)
4800.39
1247.14
3313281
application/leberre/
2dimensionalstrippacking/E05F20.cnf
? (TO)
4800.4
1226.59
3313362
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top29.cnf
? (TO)
4800.4
1236.92
3313351
application/leberre/
2dimensionalstrippacking/korf-17.cnf
? (TO)
4800.41
1206.26
3313429
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
4800.41
1207.85
3313471
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top26.cnf
? (TO)
4800.41
1226.62
3313491
mizh-sha0-36-4.cnf
? (TO)
4800.41
1205.89
3313472
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
? (TO)
4800.41
1205.58
3313333
application/leberre/
2dimensionalstrippacking/korf-15.cnf
? (TO)
4800.42
1205.84
3313427
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom16.cnf
? (TO)
4800.42
1205.22
3313476
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-17-step21.cnf
? (TO)
4800.42
1224.91
3313352
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
4800.42
1205.48
3313306
SAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w8.shuffled.cnf
? (TO)
4800.43
1206.87
3313445
SAT03/industrial/simon/sat02/
6pipe_6_ooo.shuffled-as.sat03-413.cnf
? (TO)
4800.44
1224.38
3313379
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-21-step11.cnf
? (TO)
4800.44
1251.58
3313411
SAT04/industrial/vangelder/cnf-color/
myciel6-tr.used-as.sat04-320.cnf
? (TO)
4800.44
1208.24
3313451
application/manthey/traffic/
traffic_3b_unknown.cnf
? (TO)
4800.44
1216.5
3313430
application/kullmann/AES/Benchmarks/
32/aes_32_5_keyfind_1.cnf
? (TO)
4800.44
1207.23
3313502
application/leberre/
2dimensionalstrippacking/korf-18.cnf
? (TO)
4800.44
1212.48
3313318
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf
? (TO)
4800.45
1211.1
3313416
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf
? (TO)
4800.45
1211.11
3313421
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
? (TO)
4800.45
1286.84
3313256
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom14.cnf
? (TO)
4800.45
1206.09
3313474
industrial/babic/dspam/
dspam_dump_vc949.cnf
? (TO)
4800.46
1208.96
3313245
application/fuhs/
AProVE11/AProVE11-06.cnf
? (TO)
4800.47
1225.64
3313315
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top22.cnf
? (TO)
4800.47
1228.59
3313483
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom24.cnf
? (TO)
4800.47
1211.29
3313488
SAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w9.shuffled.cnf
? (TO)
4800.47
1204.82
3313378
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
4800.47
1207.75
3313470
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
4800.47
1205.18
3313468
application/manthey/traffic/
traffic_kkb_unknown.cnf
? (TO)
4800.47
1221
3313431
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf
? (TO)
4800.47
1271.38
3313295
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom18.cnf
? (TO)
4800.48
1206.33
3313478
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf
? (TO)
4800.48
1212.66
3313420
APPLICATIONS/
bitverif/maxxor/maxxor032.cnf
? (TO)
4800.49
1209.8
3313393
SAT04/industrial/hoonsang/vis-bmc/
dekker.used-as.sat04-989.cnf
? (TO)
4800.49
1205.07
3313380
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom23.cnf
? (TO)
4800.5
1209.71
3313486
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom21.cnf
? (TO)
4800.5
1208.13
3313482
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom15.cnf
? (TO)
4800.5
1207.49
3313475
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf
? (TO)
4800.5
1208.42
3313255
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-nlzbe256-tseitin.cnf
? (TO)
4800.5
1297.59
3313424
SAT-Race-2010-CNF/cryptography/
mizh/md5_48_3.cnf
? (TO)
4800.5
1206.51
3313349
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
? (TO)
4800.51
1206.24
3313385
application/fuhs/
AProVE11/AProVE11-11.cnf
? (TO)
4800.51
1206.65
3313405
industrial/crypto/
mizh-sha0-36-2.cnf
? (TO)
4800.52
1206.1
3313456
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom19.cnf
? (TO)
4800.53
1207.63
3313479
APPLICATIONS/crypto/
md5gen/gus-md5-12.cnf
? (TO)
4800.53
1205.65
3313469
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
? (TO)
4800.53
1206.52
3313332
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf
? (TO)
4800.54
1209.43
3313257
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom25.cnf
? (TO)
4800.55
1209.89
3313490
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf
? (TO)
4800.55
1220.84
3313496
application/leberre/
2dimensionalstrippacking/E04F20.cnf
? (TO)
4800.55
1225.04
3313363
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
? (TO)
4800.55
1205.24
3313316
velev-pipe-o-uns-1.1-6.cnf
? (TO)
4800.56
1215.13
3313398
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_19_UNKNOWN.cnf
? (TO)
4800.56
1207.87
3313277
APPLICATIONS/diagnosis/
UTI-20-10t0.cnf
? (TO)
4800.56
1284.77
3313248
application/fuhs/
AProVE11/AProVE11-15.cnf
? (TO)
4800.57
1205.94
3313228
APPLICATIONS/bitverif/
smulo/smulo064.cnf
? (TO)
4800.57
1205.05
3313467
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top24.cnf
? (TO)
4800.57
1238.33
3313487
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom26.cnf
? (TO)
4800.57
1211.07
3313492
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
? (TO)
4800.58
1214.88
3313327
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
? (TO)
4800.58
1208.84
3313387
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
? (TO)
4800.58
1205.79
3313334
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step16.cnf
? (TO)
4800.6
1275.12
3313353
SAT03/industrial/li/li-exam/
li-exam-61.shuffled-as.sat03-366.cnf
? (TO)
4800.6
1204.68
3313447
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf
? (TO)
4800.61
1274.21
3313508
application/manthey/traffic/
traffic_f_unknown.cnf
? (TO)
4800.61
1219.82
3313433
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf
? (TO)
4800.61
1205.26
3313261
application/manthey/traffic/
traffic_fb_unknown.cnf
? (TO)
4800.62
1221.26
3313435
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
? (TO)
4800.62
1226.8
3313331
application/jarvisalo/
AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf
? (TO)
4800.62
1214.17
3313409
SAT04/industrial/hoonsang/vis-bmc/
all.used-as.sat04-986.cnf
? (TO)
4800.62
1204.5
3313381
APPLICATIONS/bitverif/countbitswegner/
countbitswegner128.cnf
? (TO)
4800.62
1281.41
3313463
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top28.cnf
? (TO)
4800.63
1243.14
3313280
SAT04/industrial/vangelder/cnf-color/
abb313GPIA-9-tr.used-as.sat04-321.cnf
? (TO)
4800.64
1206.52
3313319
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf
? (TO)
4800.64
1214.52
3313493
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top25.cnf
? (TO)
4800.64
1242.55
3313489
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf
? (TO)
4800.65
1260.97
3313436
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf
? (TO)
4800.65
1213.26
3313415
application/manthey/
traffic/traffic_r_sat.cnf
? (TO)
4800.65
1263.07
3313366
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom22.cnf
? (TO)
4800.65
1208.76
3313484
application/fuhs/
AProVE11/AProVE11-07.cnf
? (TO)
4800.66
1214.83
3313232
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top21.cnf
? (TO)
4800.66
1224.85
3313481
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top23.cnf
? (TO)
4800.66
1241.7
3313485
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf
? (TO)
4800.66
1215.98
3313236
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
4800.67
1238.69
3313305
manol-pipe-c6bidw_i.cnf
? (TO)
4800.68
1209.46
3313400
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf
? (TO)
4800.68
1232.32
3313239
SAT03/industrial/li/li-test4/
li-test4-100.shuffled-as.sat03-370.cnf
? (TO)
4800.69
1206.5
3313448
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf
? (TO)
4800.69
1211.68
3313418
velev-pipe-o-uns-1.0-7.cnf
? (TO)
4800.69
1217.8
3313399
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf
? (TO)
4800.69
1235.34
3313237
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
4800.7
1206.01
3313335
SAT04/industrial/velev/pipe-sat-1-1/
12pipe_bug6_q0.used-as.sat04-725.cnf
? (TO)
4800.71
1282.36
3313321
SAT-Race-2010-CNF/cryptography/
mizh/sha0_36_5.cnf
? (TO)
4800.72
1205.92
3313279
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step15.cnf
? (TO)
4800.72
1260.87
3313412
APPLICATIONS/diagnosis/
UTI-20-10t1.cnf
? (TO)
4800.73
1299.73
3313226
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf
? (TO)
4800.73
1270.85
3313259
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf
? (TO)
4800.75
1216.47
3313235
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
? (TO)
4800.76
1231.92
3313328
SAT02/industrial/aloul/
Homer/homer16.shuffled.cnf
? (TO)
4800.76
1209.77
3313289
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf
? (TO)
4800.77
1210.09
3313419
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf
? (TO)
4800.77
1241.7
3313260
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
? (TO)
4800.78
1218.32
3313394
industrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
? (TO)
4800.8
1294.33
3313390
application/kullmann/AES/Benchmarks/
128/aes_128_10_keyfind_1.cnf
? (TO)
4800.81
1205.48
3313500
APPLICATIONS/bitverif/
maxxororand/maxxororand064.cnf
? (TO)
4800.83
1225.62
3313465
application/rintanen/SATPlanning/
grid-strips-grid-y-4.025-NOTKNOWN.cnf
? (TO)
4800.83
1300.02
3313439
SAT04/industrial/vangelder/
cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf
? (TO)
4800.84
1211.7
3313320
ibm-2002-21r-k95.cnf
? (TO)
4800.84
1222
3313342
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
4800.85
1223.7
3313303
application/jarvisalo/
AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf
? (TO)
4800.85
1218.57
3313234
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
4800.86
1206.76
3313274
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf
? (TO)
4800.86
1217.49
3313494
ibm-2004-23-k100.cnf
? (TO)
4800.87
1281.46
3313345
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf
? (TO)
4800.88
1210.41
3313417
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf
? (TO)
4800.93
1242.01
3313258
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf
? (TO)
4800.95
1298.18
3313284
SAT-Race-2010-CNF/hardware-verification/
manolios/c10idw_i.cnf
? (TO)
4800.96
1226.77
3313403
APPLICATIONS/diagnosis/
ACG-10-10p0.cnf
? (TO)
4801.09
1296.29
3313395
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
? (TO)
4801.21
1262.07
3313437
velev-vliw-uns-4.0-9-i1.cnf
? (TO)
4801.45
1276.79
3313310
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf
? (TO)
4801.71
1289.62
3313283
SAT-Race-2010-CNF/hardware-verification/
velev/11pipe_k.cnf
? (TO)
4803.81
1293.22
3313312
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.15882
0.652842
3313003
crafted/skvortsov/battleship/
battleship-5-8-unsat.cnf
UNSAT
1.55176
0.708617
3313011
crafted/skvortsov/battleship/
battleship-6-9-unsat.cnf
UNSAT
3.45747
1.21182
3313012
SAT05/crafted/sorge05/QG8/
gensys-ukn007.shuffled-as.sat05-3586.cnf
UNSAT
4.95525
2.43441
3313010
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-010-008.shuffled-as.sat05-1171.cnf
UNSAT
5.99109
2.28833
3313007
crafted/skvortsov/battleship/
battleship-10-10-unsat.cnf
UNSAT
8.66668
2.80418
3313013
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_060.shuffled.cnf
UNSAT
17.1234
5.10455
3313004
SAT05/crafted/sabharwal05/planning/logistics/unsat/
logistics-rotate-07t5.shuffled-as.sat05-1137.cnf
UNSAT
80.4188
21.9225
3313009
crafted/skvortsov/battleship/
battleship-11-11-unsat.cnf
UNSAT
92.4899
24.3788
3313148
crafted/skvortsov/battleship/
battleship-7-12-unsat.cnf
UNSAT
126.324
32.7413
3313147
SAT03/handmade/bevan/cnf/
marg3x3add8.shuffled-as.sat03-1449.cnf
UNSAT
174.991
45.5014
3313005
crafted/skvortsov/battleship/
battleship-12-12-unsat.cnf
UNSAT
211.671
54.3745
3313149
SAT03/handmade/bevan/cnf/
marg3x3add8ch.shuffled-as.sat03-1448.cnf
UNSAT
265.554
68.0048
3313006
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
UNSAT
757.809
191.677
3313136
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-19_348.cnf
UNSAT
1986.74
501.001
3313138
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_381.cnf
UNSAT
2002.32
505.095
3313139
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_401.cnf
UNSAT
4750.02
1195.65
3313141
Solver found a solution (SATISFIABLE) (43 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/skvortsov/battleship/
battleship-8-15-sat.cnf
SAT
0.864868
0.40904
3313001
crafted/skvortsov/battleship/
battleship-10-19-sat.cnf
SAT
1.51277
0.632678
3313117
crafted/mosoi/289/
289-sat-4x8.cnf
SAT
1.74073
0.689082
3312985
crafted/skvortsov/battleship/
battleship-10-18-sat.cnf
SAT
2.19267
0.818721
3313116
SAT02/handmade/pehoushek/twentyvars/
7cnf20_90000_90000_7.shuffled.cnf
SAT
2.45063
0.848377
3312977
crafted/mosoi/
289/289-sat-11x4.cnf
SAT
2.69059
0.993617
3312988
crafted/skvortsov/battleship/
battleship-12-23-sat.cnf
SAT
2.69659
0.937792
3313119
crafted/skvortsov/battleship/
battleship-7-13-sat.cnf
SAT
2.84457
1.00719
3313000
crafted/mosoi/289/
289-sat-6x8.cnf
SAT
3.00554
1.03229
3312989
crafted/mosoi/289/
289-sat-6x9.cnf
SAT
3.12052
1.05445
3312990
crafted/mosoi/289/
289-sat-5x8.cnf
SAT
3.14852
1.0279
3312986
SAT05/crafted/sorge05/QG8/
iso-ukn009.shuffled-as.sat05-3632.cnf
SAT
3.39048
1.30646
3312983
crafted/mosoi/289/
289-sat-7x6.cnf
SAT
3.42848
1.08463
3312987
crafted/skvortsov/battleship/
battleship-14-27-sat.cnf
SAT
3.60445
1.152
3313121
crafted/skvortsov/battleship/
battleship-9-17-sat.cnf
SAT
4.04438
1.28091
3313002
SAT05/crafted/sorge05/QG7/
iso-ukn004.shuffled-as.sat05-3385.cnf
SAT
4.22836
1.49322
3312981
CRAFTED/sgi/
satsgi-n26himBHm28-p0-q293.cnf
SAT
4.24135
1.47696
3312984
crafted/spence/sgen/
sgen3-n120-s12930489-sat.cnf
SAT
6.21006
1.75825
3313213
crafted/spence/sgen/
sgen3-n140-s18527668-sat.cnf
SAT
6.29504
1.77045
3313216
crafted/mosoi/
289/289-sat-11x9.cnf
SAT
6.52701
2.03783
3312991
crafted/mosoi/
289/289-sat-11x10.cnf
SAT
6.88295
2.13719
3312992
crafted/mosoi/
289/289-sat-14x8.cnf
SAT
7.67883
2.29548
3312993
crafted/mosoi/
289/289-sat-6x19.cnf
SAT
8.07177
2.4052
3312994
crafted/mosoi/
289/289-sat-4x35.cnf
SAT
8.91064
2.69515
3312997
crafted/mosoi/
289/289-sat-9x13.cnf
SAT
9.46756
2.76653
3312995
crafted/skvortsov/battleship/
battleship-10-17-sat.cnf
SAT
12.0582
3.29424
3313115
crafted/mosoi/
289/289-sat-6x20.cnf
SAT
13.9169
3.89185
3312996
crafted/skvortsov/battleship/
battleship-11-21-sat.cnf
SAT
14.3038
3.82906
3313118
crafted/mosoi/
289/289-sat-12x14.cnf
SAT
19.609
5.48375
3312998
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
44.3903
19.0071
3313090
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_462.cnf
SAT
80.2618
20.8728
3313107
crafted/spence/sgen/
sgen3-n160-s40283905-sat.cnf
SAT
339.891
85.7703
3313199
crafted/spence/sgen/
sgen3-n180-s34713902-sat.cnf
SAT
587.368
148.019
3313202
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_404.cnf
SAT
1147.14
288.894
3313105
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_527.cnf
SAT
1416.46
356.491
3313103
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p15-s58217873.cnf
SAT
1724.13
434.606
3313096
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_443.cnf
SAT
1750.6
440.728
3313106
crafted/skvortsov/
automata-synchronization/rnd_100_28_s.cnf
SAT
2194.32
552.245
3313112
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g5.cnf
SAT
2252.76
567.359
3313093
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_110.shuffled.cnf
SAT
2313.8
581.965
3313014
SAT04/handmade/andrew/composite/
Composite-024BitPrimes-1.used-as.sat04-861.cnf
SAT
2798.13
703.907
3313085
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
3332.93
837.809
3313088
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_399.cnf
SAT
3987.14
1003.11
3313104
Solver timed out (no solution given) (240 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/skvortsov/automata-synchronization/
crn_40_1520_u.cnf
? (TO)
1672.5
1302.64
3312972
crafted/skvortsov/automata-synchronization/
crn_40_1521_s.cnf
? (TO)
1682.12
1302.51
3312973
SAT03/handmade/markstrom/UNSATISFIABLE/
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf
? (TO)
4800.07
1207.33
3313128
SAT03/handmade/stanion/hwb/
hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf
? (TO)
4800.08
1207.53
3313159
SAT04/handmade/connamacher/connm-d0.04/
connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
? (TO)
4800.08
1207.33
3313160
SAT03/handmade/anton/UNSAT/
SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf
? (TO)
4800.09
1207.94
3313153
SAT05/crafted/sorge05/QG7/
dead-dnd003.shuffled-as.sat05-3109.cnf
? (TO)
4800.09
1207.43
3313132
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_464.cnf
? (TO)
4800.09
1207.23
3313081
SAT04/handmade/anton/l5k3/
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf
? (TO)
4800.09
1206.93
3312979
SAT03/handmade/anton/UNSAT/
SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
? (TO)
4800.09
1209.14
3313053
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes7.cnf
? (TO)
4800.1
1207.05
3313187
SAT05/crafted/sorge05/QG7/
gensys-icl007.shuffled-as.sat05-3133.cnf
? (TO)
4800.1
1207.34
3313133
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2071.cnf
? (TO)
4800.1
1207.25
3312942
crafted/spence/sgen/
sgen3-n200-s00813792-unsat.cnf
? (TO)
4800.11
1208.24
3313212
SAT05/crafted/sorge05/QG7a/
gensys-brn002.shuffled-as.sat05-3935.cnf
? (TO)
4800.11
1206.35
3312982
crafted/spence/sgen/
sgen3-n150-s89334302-unsat.cnf
? (TO)
4800.11
1208.34
3313204
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf
? (TO)
4800.12
1207.75
3313052
SAT04/handmade/kexu/frb-0.6/
frb80-14-2.used-as.sat04-880.cnf
? (TO)
4800.12
1206.84
3313020
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g5.cnf
? (TO)
4800.12
1207.05
3313179
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_528.cnf
? (TO)
4800.12
1207.43
3313135
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p30-s67876261.cnf
? (TO)
4800.12
1206.96
3312922
CRAFTED/rbsat/crafted/
forced/rbsat-v2100c215164gyes4.cnf
? (TO)
4800.13
1207.35
3313174
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_506.cnf
? (TO)
4800.13
1207.13
3313046
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes7.cnf
? (TO)
4800.13
1206.84
3313183
SAT03/handmade/anton/UNSAT/
SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf
? (TO)
4800.13
1208.03
3313050
crafted/skvortsov/
automata-synchronization/rnd_150_42_s.cnf
? (TO)
4800.13
1207.34
3313114
SAT04/handmade/marijn/equilarge-l/
equilarge_l4.used-as.sat04-896.cnf
? (TO)
4800.13
1206.66
3313069
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf
? (TO)
4800.14
1207.43
3313023
SAT02/handmade/chu-min-li/urquhart/
urquhart3_25bis.shuffled.cnf
? (TO)
4800.14
1227.47
3313124
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf
? (TO)
4800.14
1207.63
3313080
crafted/mosoi/289/
289-unsat-6x30.cnf
? (TO)
4800.14
1206.84
3312955
SAT04/handmade/kexu/frb-0.6/
frb75-13-2.used-as.sat04-878.cnf
? (TO)
4800.15
1206.84
3313019
crafted/spence/sgen/
sgen3-n300-s12830984-sat.cnf
? (TO)
4800.15
1207.34
3313200
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p30-s70617701.cnf
? (TO)
4800.15
1207.85
3313098
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes1.cnf
? (TO)
4800.15
1206.95
3313185
SAT03/handmade/anton/UNSAT/
SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
? (TO)
4800.15
1207.34
3313056
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes6.cnf
? (TO)
4800.15
1206.25
3313186
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes2.cnf
? (TO)
4800.15
1206.06
3313191
SAT05/crafted/sorge05/QG7a/
gensys-ukn009.shuffled-as.sat05-3849.cnf
? (TO)
4800.16
1206.06
3313074
crafted/spence/sgen/
sgen3-n190-s29985700-unsat.cnf
? (TO)
4800.16
1208.04
3313217
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p30-s39712998.cnf
? (TO)
4800.16
1207.14
3313097
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes10.cnf
? (TO)
4800.16
1206.66
3313178
crafted/skvortsov/battleship/
battleship-17-33-sat.cnf
? (TO)
4800.16
1207.33
3313122
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes10.cnf
? (TO)
4800.16
1206.94
3313035
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf
? (TO)
4800.17
1208.15
3312927
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes1.cnf
? (TO)
4800.17
1207.14
3313036
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
? (TO)
4800.17
1206.65
3313030
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_406.cnf
? (TO)
4800.18
1207.53
3313142
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes5.cnf
? (TO)
4800.18
1206.84
3313039
SAT04/handmade/anton/l5k3/
lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf
? (TO)
4800.18
1206.64
3312980
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf
? (TO)
4800.18
1207.74
3312947
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf
? (TO)
4800.18
1206.56
3313102
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf
? (TO)
4800.18
1207.24
3313054
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p15-s2076598.cnf
? (TO)
4800.18
1207.64
3313095
crafted/spence/sgen/
sgen3-n200-s39840374-sat.cnf
? (TO)
4800.19
1208.03
3313203
crafted/skvortsov/
automata-synchronization/rnd_100_27_s.cnf
? (TO)
4800.19
1207.04
3313111
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes1.cnf
? (TO)
4800.19
1207.04
3313173
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
? (TO)
4800.19
1207.24
3313100
CRAFTED/rbsat/crafted/unforced/
rbsat-v945c61409g3.cnf
? (TO)
4800.19
1207.04
3313091
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
? (TO)
4800.19
1207.73
3313087
CRAFTED/rbsat/random/forced/
rbsat-v1375c111739gyes10.cnf
? (TO)
4800.19
1206.95
3313041
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf
? (TO)
4800.19
1207.34
3313055
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g3.cnf
? (TO)
4800.19
1207.16
3313197
SAT05/crafted/sorge05/QG7a/
gensys-icl005.shuffled-as.sat05-3826.cnf
? (TO)
4800.2
1206.45
3313134
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_505.cnf
? (TO)
4800.2
1207.33
3313108
SAT03/handmade/stanion/hwb/
hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf
? (TO)
4800.2
1207.43
3313066
crafted/spence/sgen/
sgen3-n240-s78945233-sat.cnf
? (TO)
4800.21
1207.44
3313215
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf
? (TO)
4800.21
1207.44
3313022
SAT03/handmade/anton/UNSAT/
SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf
? (TO)
4800.21
1218.44
3313059
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g4.cnf
? (TO)
4800.21
1207.04
3313194
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf
? (TO)
4800.21
1207.4
3312929
SAT03/handmade/anton/UNSAT/
SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf
? (TO)
4800.21
1219.74
3313155
crafted/spence/sgen/
sgen3-n160-s73223945-unsat.cnf
? (TO)
4800.21
1208.45
3313205
SAT03/handmade/anton/SAT/
SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf
? (TO)
4800.21
1207.93
3313017
crafted/skvortsov/
automata-synchronization/rnd_150_29_u.cnf
? (TO)
4800.21
1207.05
3313146
SAT03/handmade/anton/UNSAT/
SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf
? (TO)
4800.22
1207.05
3313057
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
? (TO)
4800.22
1207.86
3313076
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes8.cnf
? (TO)
4800.22
1207.04
3313034
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_511.cnf
? (TO)
4800.22
1207.53
3312938
SAT04/handmade/kexu/frb-0.8/
frb59-26-2.used-as.sat04-892.cnf
? (TO)
4800.22
1206.66
3313163
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
4800.23
1207.06
3313177
SAT04/handmade/connamacher/connm-d0.02/
connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf
? (TO)
4800.23
1207.23
3313067
crafted/skvortsov/
automata-synchronization/rnd_100_28_u.cnf
? (TO)
4800.23
1207.14
3313145
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g4.cnf
? (TO)
4800.23
1207.35
3313196
SAT03/handmade/anton/UNSAT/
SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf
? (TO)
4800.23
1214.98
3313154
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf
? (TO)
4800.23
1206.95
3312919
crafted/spence/sgen/
sgen3-n120-s55656844-unsat.cnf
? (TO)
4800.24
1208.34
3313208
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes5.cnf
? (TO)
4800.24
1206.45
3313189
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g7.cnf
? (TO)
4800.24
1207.34
3313038
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf
? (TO)
4800.24
1207.33
3312946
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf
? (TO)
4800.25
1223.65
3313061
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_390.cnf
? (TO)
4800.25
1207.53
3313140
SAT02/handmade/simon/
satex-challenges/f600.shuffled.cnf
? (TO)
4800.25
1207.13
3313016
SAT03/handmade/stanion/hwb/
hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf
? (TO)
4800.26
1207.44
3313158
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_512.cnf
? (TO)
4800.26
1207.46
3312939
SAT05/crafted/sorge05/QG7a/
gensys-ukn004.shuffled-as.sat05-3844.cnf
? (TO)
4800.26
1206.36
3313071
SAT05/crafted/sabharwal05/ordering/gt-ordering/
sat/gt-030.shuffled-as.sat05-1295.cnf
? (TO)
4800.26
1208.25
3313130
SAT04/handmade/connamacher/connm-d-0.02/
connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf
? (TO)
4800.26
1207.24
3313018
crafted/skvortsov/battleship/
battleship-14-26-sat.cnf
? (TO)
4800.26
1207.33
3313120
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf
? (TO)
4800.27
1207.53
3313086
crafted/skvortsov/battleship/
battleship-15-29-sat.cnf
? (TO)
4800.27
1207.34
3313047
SAT02/handmade/simon/
satex-challenges/c6288.shuffled.cnf
? (TO)
4800.27
1206.75
3313125
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf
? (TO)
4800.27
1207.53
3313137
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4232.cnf
? (TO)
4800.27
1204.78
3312941
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_507.cnf
? (TO)
4800.27
1207.33
3313082
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
? (TO)
4800.28
1207.79
3312928
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g9.cnf
? (TO)
4800.28
1207.33
3313037
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf
? (TO)
4800.28
1206.76
3312918
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes7.cnf
? (TO)
4800.28
1207.24
3313172
SAT05/crafted/sorge05/QG6/
dead-dnd002.shuffled-as.sat05-2713.cnf
? (TO)
4800.28
1207.05
3313131
crafted/mosoi/289/
289-unsat-6x40.cnf
? (TO)
4800.28
1206.67
3312958
crafted/skvortsov/battleship/
battleship-24-57-sat.cnf
? (TO)
4800.28
1207.04
3313123
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes3.cnf
? (TO)
4800.28
1207.25
3313175
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p30-s19690873.cnf
? (TO)
4800.28
1207.06
3312923
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf
? (TO)
4800.29
1207.63
3313025
CRAFTED/rbsat/random/forced/
rbsat-v2640c305320gyes10.cnf
? (TO)
4800.29
1206.17
3313188
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
4800.29
1208.23
3313077
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf
? (TO)
4800.29
1207.63
3313024
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p15-s54275047.cnf
? (TO)
4800.3
1206.99
3312925
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
? (TO)
4800.3
1207.14
3313029
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf
? (TO)
4800.3
1207.15
3313101
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf
? (TO)
4800.3
1206.85
3313099
crafted/mosoi/289/
289-unsat-5x41.cnf
? (TO)
4800.3
1208.37
3312956
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf
? (TO)
4800.31
1207.43
3313027
crafted/skvortsov/
automata-synchronization/crn_20_361_s.cnf
? (TO)
4800.31
1204.23
3312971
SAT04/handmade/kexu/frb-0.8/
frb45-21-1.used-as.sat04-883.cnf
? (TO)
4800.31
1206.84
3313021
crafted/mosoi/289/
289-unsat-13x32.cnf
? (TO)
4800.31
1205.24
3312962
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf
? (TO)
4800.31
1207.06
3312920
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
? (TO)
4800.32
1208.84
3313094
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_220.shuffled.cnf
? (TO)
4800.32
1207.34
3313015
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf
? (TO)
4800.32
1207.34
3312951
crafted/skvortsov/
automata-synchronization/rnd_100_32_s.cnf
? (TO)
4800.32
1207.44
3313113
crafted/spence/sgen/
sgen3-n140-s20078956-unsat.cnf
? (TO)
4800.32
1207.84
3313211
crafted/mosoi/289/
289-unsat-9x32.cnf
? (TO)
4800.32
1205.46
3312960
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
4800.32
1206.95
3313184
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-045-035.shuffled-as.sat05-1181.cnf
? (TO)
4800.33
1207.24
3313167
CRAFTED/rbsat/random/
forced/rbsat-v1820c171155gyes3.cnf
? (TO)
4800.33
1207.05
3313182
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf
? (TO)
4800.33
1207.03
3312952
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2072.cnf
? (TO)
4800.34
1207.14
3312943
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g9.cnf
? (TO)
4800.34
1206.35
3313180
SAT03/handmade/gomes/bqwh/
bqwh.50.825.shuffled-as.sat03-1648.cnf
? (TO)
4800.34
1203.15
3313156
SAT04/handmade/hirsch03/
hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf
? (TO)
4800.35
1208.03
3313161
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-020-019.shuffled-as.sat05-1232.cnf
? (TO)
4800.35
1208.63
3313129
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g10.cnf
? (TO)
4800.35
1207.05
3313198
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
4800.36
1208.44
3313171
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf
? (TO)
4800.36
1220.95
3313062
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf
? (TO)
4800.36
1219.75
3313063
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
? (TO)
4800.36
1205.89
3313031
crafted/skvortsov/battleship/
battleship-15-15-unsat.cnf
? (TO)
4800.36
1207.43
3312975
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes1.cnf
? (TO)
4800.36
1206.84
3313040
SAT02/handmade/zhang-lintao/
xor-chain/x1_80.shuffled.cnf
? (TO)
4800.36
1222.16
3313127
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g7.cnf
? (TO)
4800.36
1207.24
3313042
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g2.cnf
? (TO)
4800.37
1207.44
3313078
SAT02/handmade/simon/satex-challenges/
par32-3.shuffled.cnf
? (TO)
4800.37
1207.53
3313084
SAT04/handmade/kexu/frb-0.8/
frb59-26-1.used-as.sat04-891.cnf
? (TO)
4800.37
1206.94
3313162
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g3.cnf
? (TO)
4800.37
1206.94
3313044
crafted/mosoi/289/
289-unsat-17x30.cnf
? (TO)
4800.38
1206.49
3312965
SAT02/handmade/zhang-lintao/
xor-chain/x1_40.shuffled.cnf
? (TO)
4800.38
1239.16
3313126
crafted/skvortsov/
automata-synchronization/crn_11_99_u.cnf
? (TO)
4800.38
1207.36
3313144
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_170.shuffled.cnf
? (TO)
4800.38
1207.43
3313150
SAT03/handmade/anton/UNSAT/
SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf
? (TO)
4800.39
1217.35
3313064
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf
? (TO)
4800.39
1207.47
3312926
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_508.cnf
? (TO)
4800.39
1207.14
3312953
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf
? (TO)
4800.39
1207.13
3312949
crafted/skvortsov/battleship/
battleship-16-16-unsat.cnf
? (TO)
4800.39
1207.53
3312976
crafted/spence/sgen/
sgen3-n280-s93756482-sat.cnf
? (TO)
4800.39
1207.64
3313210
SAT04/handmade/marijn/equilarge-l/
equilarge_l2.used-as.sat04-894.cnf
? (TO)
4800.39
1206.65
3313068
SAT04/handmade/anton/l4k4/
lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf
? (TO)
4800.39
1206.94
3312978
SAT03/handmade/stanion/hwb/
hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf
? (TO)
4800.4
1207.53
3313065
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g7.cnf
? (TO)
4800.4
1206.84
3313192
SAT03/handmade/anton/UNSAT/
SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf
? (TO)
4800.4
1218.55
3313060
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
? (TO)
4800.4
1207.36
3312921
SAT05/crafted/markstrom05/eulcbip/
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
? (TO)
4800.4
1210.54
3313164
crafted/mosoi/289/
289-unsat-7x39.cnf
? (TO)
4800.4
1205.27
3312959
crafted/spence/sgen/
sgen3-n260-s62321009-sat.cnf
? (TO)
4800.4
1207.54
3313214
SAT03/handmade/anton/UNSAT/
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
? (TO)
4800.4
1207.44
3313152
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p15-s72490337.cnf
? (TO)
4800.4
1207.16
3312924
crafted/skvortsov/battleship/
battleship-14-14-unsat.cnf
? (TO)
4800.41
1207.43
3312974
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf
? (TO)
4800.42
1209.43
3313049
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-24_567.cnf
? (TO)
4800.42
1207.23
3313109
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf
? (TO)
4800.42
1207.33
3312948
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf
? (TO)
4800.42
1207.71
3312932
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes5.cnf
? (TO)
4800.42
1207.44
3313032
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-040-039.shuffled-as.sat05-1194.cnf
? (TO)
4800.42
1210.87
3313168
crafted/spence/sgen/
sgen3-n180-s33098896-unsat.cnf
? (TO)
4800.43
1208.15
3313201
crafted/mosoi/289/
289-unsat-21x14.cnf
? (TO)
4800.43
1204.77
3312961
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g6.cnf
? (TO)
4800.43
1207.15
3313181
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_445.cnf
? (TO)
4800.44
1207.53
3313143
SAT05/crafted/sorge05/QG7a/
gensys-ukn003.shuffled-as.sat05-3843.cnf
? (TO)
4800.44
1206.15
3313073
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf
? (TO)
4800.44
1207.74
3313051
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g4.cnf
? (TO)
4800.44
1206.94
3313043
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf
? (TO)
4800.44
1214.84
3313058
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g1.cnf
? (TO)
4800.44
1206.94
3313045
SAT03/handmade/gomes/bqwh/
bqwh.60.1152.shuffled-as.sat03-1650.cnf
? (TO)
4800.44
1204.18
3313157
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-030-029.shuffled-as.sat05-1234.cnf
? (TO)
4800.44
1208.28
3313166
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
? (TO)
4800.44
1207.13
3312950
crafted/mosoi/
289/289-sat-12x15.cnf
? (TO)
4800.44
1206.55
3312999
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g9.cnf
? (TO)
4800.45
1206.85
3313195
crafted/skvortsov/battleship/
battleship-13-13-unsat.cnf
? (TO)
4800.45
1207.73
3313083
crafted/spence/sgen/
sgen3-n220-s24359701-sat.cnf
? (TO)
4800.45
1207.33
3313207
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf
? (TO)
4800.45
1207.34
3312934
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g7.cnf
? (TO)
4800.45
1208.04
3313092
SAT05/crafted/sorge05/QG7a/
gensys-ukn006.shuffled-as.sat05-3846.cnf
? (TO)
4800.45
1206.15
3313072
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf
? (TO)
4800.45
1208.36
3312931
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf
? (TO)
4800.45
1208.16
3312930
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
4800.46
1206.76
3313190
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes2.cnf
? (TO)
4800.46
1206.86
3313176
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
4800.46
1207.05
3313193
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf
? (TO)
4800.47
1210.78
3312937
crafted/mosoi/289/
289-unsat-14x34.cnf
? (TO)
4800.47
1206.25
3312964
crafted/spence/
hard/s113-100.cnf
? (TO)
4800.47
1208.85
3313075
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
? (TO)
4800.47
1207.53
3313026
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
? (TO)
4800.47
1208.3
3312933
crafted/skvortsov/
automata-synchronization/crn_11_100_s.cnf
? (TO)
4800.47
1207.27
3313110
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g6.cnf
? (TO)
4800.48
1206.96
3313079
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4231.cnf
? (TO)
4800.48
1205.58
3312940
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
? (TO)
4800.49
1207.47
3313089
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-020-019.shuffled-as.sat05-1190.cnf
? (TO)
4800.5
1210.26
3313070
crafted/skvortsov/battleship/
battleship-16-31-sat.cnf
? (TO)
4800.51
1207.31
3313048
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
? (TO)
4800.55
1207.95
3312935
crafted/mosoi/289/
289-unsat-14x38.cnf
? (TO)
4800.56
1206.59
3312966
crafted/mosoi/289/
289-unsat-17x27.cnf
? (TO)
4800.57
1206.15
3312963
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
? (TO)
4800.57
1210.85
3312936
crafted/spence/sgen/
sgen3-n130-s30940966-unsat.cnf
? (TO)
4800.59
1208.52
3313209
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
4800.6
1205.02
3313170
crafted/skvortsov/
automata-synchronization/crn_20_360_u.cnf
? (TO)
4800.61
1204.15
3312970
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes6.cnf
? (TO)
4800.63
1207.08
3313033
SAT05/crafted/roussel05/visbmc-PHNF/
phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf
? (TO)
4800.67
1216.48
3313165
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
4800.68
1204.26
3313169
crafted/manthey/sudoku-single-hard/
sudoku_81x81_unknown.cnf
? (TO)
4800.7
1206.05
3312954
SAT05/crafted/lynce05/social-golfer-problem/
sgp_5-6-8.shuffled-as.sat05-2669.cnf
? (TO)
4800.71
1209.7
3313028
crafted/mosoi/289/
289-unsat-21x33.cnf
? (TO)
4800.74
1210.14
3312967
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34308.cnf
? (TO)
4800.75
1212.05
3312944
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34309.cnf
? (TO)
4800.75
1212.58
3312945
SAT03/handmade/anton/UNSAT/
SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf
? (TO)
4800.77
1207.82
3313151
crafted/mosoi/289/
289-unsat-21x40.cnf
? (TO)
4800.81
1215.69
3312969
crafted/mosoi/289/
289-unsat-6x34.cnf
? (TO)
4800.85
1207.36
3312957
crafted/mosoi/289/
289-unsat-21x39.cnf
? (TO)
4800.9
1215.28
3312968
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/
grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf
? (TO)
4800.9
1219.14
3313008
crafted/spence/sgen/
sgen3-n170-s56409011-unsat.cnf
? (TO)
4801.86
1208.23
3313206
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-S505037856-056.UNKNOWN.cnf
UNSAT
9.32258
2.95239
3312877
random/medium/
unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf
UNSAT
9.42557
3.38139
3312615
random/medium/
unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf
UNSAT
9.54955
2.96267
3312865
random/medium/
unif-k5-r21.3-v50-c1065-S1449708927-022.UNKNOWN.cnf
UNSAT
9.61054
2.97356
3312856
random/medium/
unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf
UNSAT
10.0975
3.14885
3312681
random/medium/
unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf
UNSAT
10.6714
3.41932
3312866
random/medium/
unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf
UNSAT
10.6914
3.42938
3312811
random/medium/
unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf
UNSAT
11.1313
3.29551
3312862
random/medium/
unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf
UNSAT
11.5652
3.90252
3312546
random/medium/
unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf
UNSAT
15.2727
4.50309
3312853
random/medium/
unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf
UNSAT
23.2075
6.61344
3312843
random/medium/
unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf
UNSAT
29.6585
8.23439
3312820
random/medium/
unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf
UNSAT
33.185
8.91128
3312588
random/medium/
unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf
UNSAT
34.6247
9.60445
3312827
random/medium/
unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf
UNSAT
35.3066
9.86164
3312656
random/medium/
unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf
UNSAT
38.6471
10.853
3312539
random/medium/
unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf
UNSAT
42.9525
11.5273
3312657
random/medium/
unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf
UNSAT
53.2749
14.1668
3312832
random/medium/
unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf
UNSAT
63.7223
17.1532
3312769
random/medium/
unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf
UNSAT
66.3809
17.8569
3312648
random/medium/
unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf
UNSAT
80.5368
20.9898
3312801
random/medium/
unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf
UNSAT
126.065
33.0004
3312582
random/medium/
unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf
UNSAT
158.2
40.6813
3312535
random/medium/
unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf
UNSAT
181.298
47.0721
3312686
random/medium/
unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf
UNSAT
195.395
50.2026
3312562
random/medium/
unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf
UNSAT
227.582
58.1925
3312609
random/medium/
unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf
UNSAT
243.229
62.4617
3312646
random/medium/
unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf
UNSAT
303.312
77.5729
3312713
random/medium/
unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf
UNSAT
342.318
87.2171
3312577
random/medium/
unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf
UNSAT
352.142
89.6727
3312596
random/medium/
unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf
UNSAT
360.112
92.0453
3312569
random/medium/
unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf
UNSAT
380.146
96.558
3312896
random/medium/
unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf
UNSAT
384.487
97.8338
3312660
random/medium/
unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf
UNSAT
391.113
99.3937
3312903
random/medium/
unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf
UNSAT
394.961
100.329
3312880
random/medium/
unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf
UNSAT
398.809
101.577
3312573
random/medium/
unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf
UNSAT
401.212
102.17
3312721
random/medium/
unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf
UNSAT
429.24
109.173
3312644
random/medium/
unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf
UNSAT
434.035
110.272
3312697
random/medium/
unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf
UNSAT
597.239
151.305
3312589
random/medium/
unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf
UNSAT
1207.28
304.279
3312863
random/medium/
unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf
UNSAT
1208.64
305.2
3312908
random/medium/
unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf
UNSAT
1216.76
307.15
3312682
random/medium/
unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf
UNSAT
1224.46
309.033
3312764
random/medium/
unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf
UNSAT
1230.67
310.337
3312664
random/medium/
unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf
UNSAT
1237.78
312.084
3312732
random/medium/
unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf
UNSAT
1255.28
316.808
3312541
random/medium/
unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf
UNSAT
1264.7
318.644
3312844
random/medium/
unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf
UNSAT
1265.43
318.879
3312661
random/medium/
unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf
UNSAT
1297.91
327.275
3312707
random/medium/
unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf
UNSAT
1319.68
332.897
3312712
random/medium/
unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf
UNSAT
1442.66
363.982
3312812
random/medium/
unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf
UNSAT
1631.63
411.408
3312772
random/medium/
unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf
UNSAT
1749.16
440.822
3312756
random/medium/
unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf
UNSAT
1766.85
445.884
3312911
random/medium/
unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf
UNSAT
2141.71
539.649
3312762
random/medium/
unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf
UNSAT
2200.75
554.619
3312888
random/medium/
unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf
UNSAT
2799.74
705.332
3312739
random/medium/
unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf
UNSAT
3084.97
776.947
3312738
random/medium/
unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf
UNSAT
3382.71
851.636
3312590
Solver found a solution (SATISFIABLE) (43 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/medium/
unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf
SAT
17.7923
4.70659
3312799
random/medium/
unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf
SAT
50.0014
12.7897
3312727
random/medium/
unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf
SAT
63.2654
16.1713
3312789
random/medium/
unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf
SAT
67.3828
17.5726
3312788
random/medium/
unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf
SAT
67.5947
17.2504
3312814
random/medium/
unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf
SAT
89.6934
22.8628
3312597
random/medium/
unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf
SAT
89.8303
22.9156
3312688
random/medium/
unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf
SAT
115.968
29.425
3312743
random/medium/
unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf
SAT
144.146
36.4651
3312857
random/medium/
unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf
SAT
168.834
42.7391
3312757
random/medium/
unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf
SAT
169.308
42.8999
3312850
random/medium/
unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf
SAT
191.847
48.4944
3312741
random/medium/
unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf
SAT
203.056
51.3627
3312557
random/medium/
unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf
SAT
216.696
54.7321
3312642
random/medium/
unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf
SAT
246.058
62.1803
3312654
random/medium/
unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf
SAT
278.748
70.432
3312717
random/medium/
unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf
SAT
292.111
73.7911
3312748
random/medium/
unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf
SAT
331.204
83.6336
3312570
random/medium/
unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf
SAT
379
95.6411
3312815
random/medium/
unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf
SAT
379.672
95.6978
3312895
random/medium/
unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf
SAT
385.983
97.4248
3312851
random/medium/
unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf
SAT
411.022
103.636
3312800
random/medium/
unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf
SAT
413.118
104.138
3312734
random/medium/
unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf
SAT
456.26
114.972
3312884
random/medium/
unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf
SAT
535.236
134.747
3312841
random/medium/
unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf
SAT
552.172
139.179
3312696
random/medium/
unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf
SAT
663.035
167.003
3312894
random/medium/
unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf
SAT
747.503
188.103
3312818
random/medium/
unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf
SAT
761.583
191.77
3312830
random/medium/
unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf
SAT
821.069
206.699
3312641
random/medium/
unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf
SAT
974.287
245.149
3312746
random/medium/
unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf
SAT
999.487
251.464
3312603
random/medium/
unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf
SAT
1075.14
270.522
3312637
random/medium/
unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf
SAT
1386.46
348.716
3312802
random/medium/
unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf
SAT
1619.73
407.386
3312548
random/medium/
unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf
SAT
1723.14
433.39
3312852
random/medium/
unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf
SAT
2280.46
573.573
3312598
random/medium/
unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf
SAT
2312.92
581.849
3312666
random/medium/
unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf
SAT
2783.36
700.218
3312765
random/medium/
unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf
SAT
3212.43
808.155
3312773
random/medium/
unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf
SAT
3377.05
849.53
3312630
random/medium/
unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf
SAT
3398.67
854.882
3312587
random/medium/
unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf
SAT
4242.5
1067.43
3312674
Solver timed out (no solution given) (497 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/large/
unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf
? (TO)
2122.33
1302.66
3312413
random/large/
unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf
? (TO)
2154.31
1302.56
3312360
random/large/
unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf
? (TO)
2157.96
1302.69
3312472
random/large/
unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf
? (TO)
2160.77
1302.56
3312476
random/large/
unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf
? (TO)
2171.18
1302.69
3312373
random/large/
unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf
? (TO)
2175.22
1302.51
3312470
random/large/
unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf
? (TO)
2176.98
1302.52
3312430
random/large/
unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf
? (TO)
2190
1302.56
3312501
random/large/
unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf
? (TO)
2192.33
1302.52
3312356
random/large/
unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf
? (TO)
2199.87
1302.65
3312340
random/large/
unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf
? (TO)
2201.48
1302.53
3312323
random/large/
unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf
? (TO)
2213.07
1302.55
3312404
random/large/
unif-k3-r4.2-v40000-c168000-S471691933-060-UNKNOWN.cnf
? (TO)
2228.05
1302.52
3312393
random/large/
unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf
? (TO)
2230.57
1302.58
3312380
random/large/
unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf
? (TO)
2230.95
1302.55
3312385
random/large/
unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf
? (TO)
2231.38
1302.62
3312437
random/large/
unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf
? (TO)
2240.31
1302.58
3312432
random/large/
unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf
? (TO)
2248.84
1302.72
3312423
random/large/
unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf
? (TO)
2265.14
1302.54
3312483
random/large/
unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf
? (TO)
2296.2
1302.55
3312466
random/large/
unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf
? (TO)
2302.02
1302.6
3312336
random/large/
unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf
? (TO)
2307.42
1302.51
3312516
random/large/
unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf
? (TO)
2316.77
1302.56
3312362
random/large/
unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf
? (TO)
2328.46
1302.53
3312371
random/large/
unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf
? (TO)
2329.63
1302.66
3312351
random/large/
unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf
? (TO)
2338.22
1301.04
3312334
random/large/
unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf
? (TO)
2339.11
1302.53
3312400
random/large/
unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf
? (TO)
2361.54
1302.56
3312398
random/large/
unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf
? (TO)
2363.7
1301.63
3312387
random/large/
unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf
? (TO)
2371.11
1301.15
3312468
random/large/
unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf
? (TO)
2376.39
1302.59
3312420
random/large/
unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf
? (TO)
2377.98
1301.23
3312425
random/large/
unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf
? (TO)
2413.44
1302.64
3312424
random/large/
unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf
? (TO)
2414.13
1302.51
3312494
random/large/
unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf
? (TO)
2421.02
1302.6
3312485
random/large/
unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf
? (TO)
2446.82
1302.28
3312347
random/large/
unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf
? (TO)
2481.28
1300.63
3312392
random/large/
unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf
? (TO)
2489.94
1302.51
3312487
random/large/
unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf
? (TO)
2508.83
1302.65
3312365
random/large/
unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf
? (TO)
2528.46
1302.52
3312513
random/medium/
unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf
? (TO)
4800.06
1207.23
3312524
random/medium/
unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf
? (TO)
4800.07
1207.53
3312779
random/medium/
unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf
? (TO)
4800.07
1206.44
3312759
random/medium/
unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf
? (TO)
4800.07
1206.64
3312586
random/medium/
unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf
? (TO)
4800.07
1206.83
3312795
random/medium/
unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf
? (TO)
4800.07
1207.43
3312745
random/medium/
unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf
? (TO)
4800.08
1207.24
3312913
random/medium/
unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf
? (TO)
4800.08
1207.83
3312679
random/medium/
unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf
? (TO)
4800.08
1207.33
3312645
random/medium/
unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf
? (TO)
4800.08
1206.74
3312893
random/medium/
unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf
? (TO)
4800.08
1206.93
3312723
random/medium/
unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf
? (TO)
4800.08
1207.04
3312601
random/medium/
unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf
? (TO)
4800.08
1206.84
3312559
random/medium/
unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf
? (TO)
4800.08
1206.84
3312568
random/large/
unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf
? (TO)
4800.08
1207.13
3312499
random/medium/
unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf
? (TO)
4800.09
1207.43
3312808
random/large/
unif-k7-r85-v250-c21250-S655589261-059-UNKNOWN.cnf
? (TO)
4800.09
1206.64
3312401
random/medium/
unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf
? (TO)
4800.09
1207.43
3312889
random/medium/
unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf
? (TO)
4800.09
1207.23
3312652
random/medium/
unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf
? (TO)
4800.09
1207.43
3312651
random/medium/
unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf
? (TO)
4800.09
1207.53
3312892
random/large/
unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf
? (TO)
4800.09
1204.75
3312328
random/medium/
unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf
? (TO)
4800.09
1207.63
3312907
random/medium/
unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf
? (TO)
4800.09
1207.23
3312702
random/medium/
unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf
? (TO)
4800.09
1206.64
3312825
random/medium/
unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf
? (TO)
4800.1
1206.54
3312916
random/medium/
unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf
? (TO)
4800.1
1207.33
3312790
random/medium/
unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf
? (TO)
4800.1
1207.43
3312901
random/large/
unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf
? (TO)
4800.1
1205.44
3312449
random/medium/
unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf
? (TO)
4800.1
1207.44
3312676
random/large/
unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf
? (TO)
4800.1
1205.54
3312502
random/medium/
unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf
? (TO)
4800.11
1207.23
3312591
random/medium/
unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf
? (TO)
4800.11
1207.43
3312878
random/medium/
unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf
? (TO)
4800.11
1207.93
3312675
random/medium/
unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf
? (TO)
4800.11
1207.23
3312639
random/medium/
unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf
? (TO)
4800.11
1207.53
3312805
random/medium/
unif-k3-r4.26-v600-c2556-S869604189-077.UNKNOWN.cnf
? (TO)
4800.11
1206.94
3312798
random/medium/
unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf
? (TO)
4800.11
1206.93
3312583
random/medium/
unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf
? (TO)
4800.11
1207.23
3312523
random/medium/
unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf
? (TO)
4800.12
1206.54
3312529
random/medium/
unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf
? (TO)
4800.12
1206.84
3312532
random/medium/
unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf
? (TO)
4800.12
1206.94
3312785
random/medium/
unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf
? (TO)
4800.12
1207.13
3312898
random/medium/
unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf
? (TO)
4800.12
1207.54
3312561
random/medium/
unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf
? (TO)
4800.12
1207.23
3312882
random/medium/
unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf
? (TO)
4800.12
1206.54
3312915
random/medium/
unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf
? (TO)
4800.12
1207.33
3312617
random/medium/
unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf
? (TO)
4800.12
1207.43
3312636
random/medium/
unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf
? (TO)
4800.12
1207.13
3312751
random/medium/
unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf
? (TO)
4800.13
1207.33
3312782
random/medium/
unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf
? (TO)
4800.13
1207.43
3312519
random/large/
unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf
? (TO)
4800.13
1204.46
3312318
random/medium/
unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf
? (TO)
4800.13
1207.53
3312677
random/medium/
unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf
? (TO)
4800.13
1207.33
3312605
random/medium/
unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf
? (TO)
4800.13
1207.13
3312704
random/medium/
unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf
? (TO)
4800.13
1206.74
3312858
random/large/
unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf
? (TO)
4800.13
1207.33
3312469
random/medium/
unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf
? (TO)
4800.13
1207.23
3312537
random/medium/
unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf
? (TO)
4800.13
1207.23
3312833
random/medium/
unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf
? (TO)
4800.14
1207.33
3312531
random/medium/
unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf
? (TO)
4800.14
1207.43
3312796
random/large/
unif-k7-r85-v300-c25500-S680524168-083-UNKNOWN.cnf
? (TO)
4800.14
1206.54
3312440
random/medium/
unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf
? (TO)
4800.14
1207.43
3312538
random/large/
unif-k7-r85-v300-c25500-S1859210562-077-UNKNOWN.cnf
? (TO)
4800.14
1206.34
3312493
random/medium/
unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf
? (TO)
4800.14
1207.54
3312571
random/large/
unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf
? (TO)
4800.14
1207.33
3312376
random/medium/
unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf
? (TO)
4800.14
1207.23
3312709
random/medium/
unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf
? (TO)
4800.14
1206.74
3312776
random/medium/
unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf
? (TO)
4800.14
1207.53
3312775
random/large/
unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf
? (TO)
4800.15
1204.48
3312389
random/large/
unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf
? (TO)
4800.15
1204.36
3312465
random/medium/
unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf
? (TO)
4800.15
1207.23
3312579
random/medium/
unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf
? (TO)
4800.15
1207.23
3312869
random/medium/
unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf
? (TO)
4800.15
1207.33
3312887
random/medium/
unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf
? (TO)
4800.15
1207.25
3312831
random/medium/
unif-k3-r4.26-v600-c2556-S248192082-054.UNKNOWN.cnf
? (TO)
4800.15
1206.94
3312553
random/large/
unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf
? (TO)
4800.15
1206.54
3312421
random/medium/
unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf
? (TO)
4800.15
1207.33
3312635
random/medium/
unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf
? (TO)
4800.15
1206.54
3312533
random/medium/
unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf
? (TO)
4800.16
1207.36
3312722
random/medium/
unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf
? (TO)
4800.16
1206.83
3312558
random/medium/
unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf
? (TO)
4800.16
1207.43
3312847
random/large/
unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf
? (TO)
4800.16
1204.95
3312484
random/medium/
unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf
? (TO)
4800.16
1207.34
3312834
random/medium/
unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf
? (TO)
4800.16
1207.23
3312864
random/medium/
unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf
? (TO)
4800.16
1207.63
3312678
random/medium/
unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf
? (TO)
4800.16
1207.43
3312761
random/large/
unif-k7-r85-v250-c21250-S58287803-001-UNKNOWN.cnf
? (TO)
4800.17
1206.64
3312504
random/medium/
unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf
? (TO)
4800.17
1207.13
3312690
random/medium/
unif-k5-r21.3-v150-c3195-S873866006-055.UNKNOWN.cnf
? (TO)
4800.17
1207.33
3312556
random/medium/
unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf
? (TO)
4800.17
1207.23
3312873
random/large/
unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf
? (TO)
4800.17
1205.55
3312324
random/large/
unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf
? (TO)
4800.17
1204.75
3312325
random/medium/
unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf
? (TO)
4800.17
1207.43
3312777
random/large/
unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf
? (TO)
4800.17
1204.29
3312403
random/large/
unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf
? (TO)
4800.17
1203.38
3312428
random/large/
unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf
? (TO)
4800.18
1204.46
3312335
random/medium/
unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf
? (TO)
4800.18
1206.74
3312566
random/medium/
unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf
? (TO)
4800.18
1207.13
3312781
random/medium/
unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf
? (TO)
4800.18
1207.43
3312876
random/large/
unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf
? (TO)
4800.18
1204.36
3312363
random/large/
unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf
? (TO)
4800.18
1204.16
3312455
random/medium/
unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf
? (TO)
4800.18
1207.04
3312731
random/medium/
unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf
? (TO)
4800.19
1207.43
3312626
random/medium/
unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf
? (TO)
4800.19
1207.63
3312766
random/large/
unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf
? (TO)
4800.19
1205.75
3312415
random/medium/
unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf
? (TO)
4800.2
1206.74
3312720
random/medium/
unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf
? (TO)
4800.2
1207.33
3312747
random/medium/
unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf
? (TO)
4800.2
1207.23
3312752
random/medium/
unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf
? (TO)
4800.2
1207.43
3312567
random/medium/
unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf
? (TO)
4800.2
1207.23
3312849
random/medium/
unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf
? (TO)
4800.2
1207.24
3312668
random/medium/
unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf
? (TO)
4800.2
1207.53
3312710
random/medium/
unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf
? (TO)
4800.21
1206.84
3312613
random/large/
unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf
? (TO)
4800.21
1207.23
3312408
random/medium/
unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf
? (TO)
4800.21
1207.23
3312749
random/large/
unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf
? (TO)
4800.21
1203.5
3312426
random/medium/
unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf
? (TO)
4800.21
1207.23
3312706
random/medium/
unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf
? (TO)
4800.21
1207.43
3312900
random/medium/
unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf
? (TO)
4800.21
1207.43
3312700
random/large/
unif-k7-r85-v300-c25500-S942666749-061-UNKNOWN.cnf
? (TO)
4800.21
1206.44
3312357
random/medium/
unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf
? (TO)
4800.21
1206.73
3312883
random/medium/
unif-k7-r89-v90-c8010-S1458811765-091.UNKNOWN.cnf
? (TO)
4800.22
1207.23
3312912
random/medium/
unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf
? (TO)
4800.22
1206.83
3312902
random/medium/
unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf
? (TO)
4800.22
1207.23
3312760
random/medium/
unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf
? (TO)
4800.22
1206.64
3312638
random/medium/
unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf
? (TO)
4800.22
1207.23
3312633
random/medium/
unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf
? (TO)
4800.22
1206.64
3312622
random/medium/
unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf
? (TO)
4800.22
1206.64
3312854
random/large/
unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf
? (TO)
4800.22
1203.77
3312422
random/medium/
unif-k7-r89-v80-c7120-S1818856267-075.UNKNOWN.cnf
? (TO)
4800.22
1207.13
3312581
random/medium/
unif-k5-r21.3-v125-c2662-S396831120-092.UNKNOWN.cnf
? (TO)
4800.22
1207.33
3312554
random/medium/
unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf
? (TO)
4800.22
1206.94
3312527
random/medium/
unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf
? (TO)
4800.23
1207.23
3312846
random/medium/
unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf
? (TO)
4800.23
1207.33
3312520
random/large/
unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf
? (TO)
4800.23
1203.32
3312406
random/medium/
unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf
? (TO)
4800.23
1207.43
3312698
random/large/
unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf
? (TO)
4800.23
1207.13
3312480
random/medium/
unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf
? (TO)
4800.23
1207.23
3312886
random/medium/
unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf
? (TO)
4800.23
1207.43
3312564
random/medium/
unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf
? (TO)
4800.23
1207.33
3312837
random/large/
unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf
? (TO)
4800.23
1203.41
3312457
random/medium/
unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf
? (TO)
4800.23
1207.23
3312599
random/medium/
unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf
? (TO)
4800.23
1207.43
3312584
random/large/
unif-k7-r85-v200-c17000-S1227169170-092-UNKNOWN.cnf
? (TO)
4800.23
1207.04
3312395
random/large/
unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf
? (TO)
4800.23
1203.66
3312417
random/medium/
unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf
? (TO)
4800.24
1207.43
3312845
random/large/
unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf
? (TO)
4800.24
1204
3312454
random/large/
unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf
? (TO)
4800.24
1204.85
3312506
random/medium/
unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf
? (TO)
4800.24
1207.33
3312543
random/medium/
unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf
? (TO)
4800.24
1207.53
3312663
random/medium/
unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf
? (TO)
4800.24
1207.33
3312829
random/medium/
unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf
? (TO)
4800.24
1207.33
3312767
random/medium/
unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf
? (TO)
4800.24
1207.53
3312701
random/medium/
unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf
? (TO)
4800.24
1207.33
3312547
random/medium/
unif-k3-r4.26-v650-c2769-S910125393-002.UNKNOWN.cnf
? (TO)
4800.25
1206.84
3312719
random/medium/
unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf
? (TO)
4800.25
1206.54
3312594
random/large/
unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf
? (TO)
4800.25
1206.64
3312345
random/medium/
unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf
? (TO)
4800.25
1207.33
3312716
random/large/
unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf
? (TO)
4800.25
1207.13
3312448
random/medium/
unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf
? (TO)
4800.25
1206.74
3312544
random/large/
unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf
? (TO)
4800.25
1203.57
3312446
random/medium/
unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf
? (TO)
4800.25
1206.94
3312740
random/large/
unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf
? (TO)
4800.26
1202.9
3312354
random/medium/
unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf
? (TO)
4800.26
1206.74
3312580
random/medium/
unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf
? (TO)
4800.26
1206.73
3312861
random/large/
unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf
? (TO)
4800.26
1203.33
3312459
random/large/
unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf
? (TO)
4800.26
1206.53
3312330
random/large/
unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf
? (TO)
4800.26
1204.65
3312505
random/medium/
unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf
? (TO)
4800.26
1206.54
3312792
random/medium/
unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf
? (TO)
4800.26
1206.64
3312909
random/medium/
unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf
? (TO)
4800.26
1207.43
3312711
random/medium/
unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf
? (TO)
4800.26
1207.23
3312655
random/medium/
unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf
? (TO)
4800.26
1207.33
3312695
random/large/
unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf
? (TO)
4800.26
1206.44
3312366
random/medium/
unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf
? (TO)
4800.26
1207.34
3312875
random/medium/
unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf
? (TO)
4800.26
1207.53
3312725
random/medium/
unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf
? (TO)
4800.26
1207.13
3312640
random/medium/
unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf
? (TO)
4800.26
1207.23
3312744
random/medium/
unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf
? (TO)
4800.27
1207.53
3312563
random/medium/
unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf
? (TO)
4800.27
1207.34
3312906
random/medium/
unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf
? (TO)
4800.27
1208.76
3312885
random/medium/
unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf
? (TO)
4800.27
1206.74
3312807
random/large/
unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf
? (TO)
4800.27
1207.04
3312322
random/medium/
unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf
? (TO)
4800.27
1207.03
3312794
random/large/
unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf
? (TO)
4800.27
1203.42
3312337
random/large/
unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf
? (TO)
4800.27
1206.84
3312509
random/large/
unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf
? (TO)
4800.27
1203.86
3312514
random/medium/
unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf
? (TO)
4800.27
1206.83
3312536
random/medium/
unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf
? (TO)
4800.27
1207.33
3312726
random/large/
unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf
? (TO)
4800.28
1204.1
3312320
random/medium/
unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf
? (TO)
4800.28
1207.43
3312733
random/medium/
unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf
? (TO)
4800.28
1206.44
3312786
random/medium/
unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf
? (TO)
4800.28
1207.53
3312592
random/medium/
unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf
? (TO)
4800.28
1208.13
3312672
random/medium/
unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf
? (TO)
4800.28
1206.83
3312534
random/medium/
unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf
? (TO)
4800.28
1207.33
3312649
random/medium/
unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf
? (TO)
4800.28
1206.84
3312824
random/large/
unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf
? (TO)
4800.28
1203.82
3312346
random/medium/
unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf
? (TO)
4800.28
1207.13
3312737
random/medium/
unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf
? (TO)
4800.28
1207.33
3312552
random/large/
unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf
? (TO)
4800.28
1206.93
3312482
random/medium/
unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf
? (TO)
4800.29
1207.03
3312806
random/medium/
unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf
? (TO)
4800.29
1207.43
3312905
random/medium/
unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf
? (TO)
4800.29
1207.43
3312684
random/medium/
unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf
? (TO)
4800.29
1206.74
3312724
random/medium/
unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf
? (TO)
4800.29
1207.43
3312874
random/large/
unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf
? (TO)
4800.29
1203.18
3312381
random/large/
unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf
? (TO)
4800.3
1205.65
3312436
random/medium/
unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf
? (TO)
4800.3
1207.43
3312692
random/medium/
unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf
? (TO)
4800.3
1207.53
3312574
random/medium/
unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf
? (TO)
4800.3
1207.43
3312819
random/medium/
unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf
? (TO)
4800.3
1207.43
3312525
random/medium/
unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf
? (TO)
4800.3
1207.29
3312708
random/medium/
unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf
? (TO)
4800.3
1207.33
3312783
random/medium/
unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf
? (TO)
4800.3
1207.13
3312629
random/large/
unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf
? (TO)
4800.3
1206.54
3312512
random/medium/
unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf
? (TO)
4800.3
1207.33
3312729
random/medium/
unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf
? (TO)
4800.31
1207.13
3312595
random/medium/
unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf
? (TO)
4800.31
1207.33
3312540
random/medium/
unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf
? (TO)
4800.31
1207.33
3312632
random/large/
unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf
? (TO)
4800.31
1203.52
3312331
random/medium/
unif-k3-r4.26-v700-c2982-S1800377425-032.UNKNOWN.cnf
? (TO)
4800.31
1206.84
3312689
random/medium/
unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf
? (TO)
4800.31
1208.03
3312791
random/medium/
unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf
? (TO)
4800.31
1207.04
3312914
random/large/
unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf
? (TO)
4800.32
1203.95
3312507
random/medium/
unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf
? (TO)
4800.32
1206.74
3312687
random/medium/
unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf
? (TO)
4800.32
1207.23
3312867
random/medium/
unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf
? (TO)
4800.32
1207.43
3312555
random/medium/
unif-k5-r21.3-v150-c3195-S375894551-007.UNKNOWN.cnf
? (TO)
4800.32
1207.63
3312560
random/medium/
unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf
? (TO)
4800.32
1207.23
3312813
random/medium/
unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf
? (TO)
4800.32
1207.45
3312715
random/medium/
unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf
? (TO)
4800.32
1207.53
3312576
random/large/
unif-k7-r85-v200-c17000-S1348818483-020-UNKNOWN.cnf
? (TO)
4800.32
1207.04
3312379
random/medium/
unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf
? (TO)
4800.32
1206.74
3312803
random/medium/
unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf
? (TO)
4800.32
1207.33
3312643
random/large/
unif-k7-r85-v400-c34000-S536077088-015-UNKNOWN.cnf
? (TO)
4800.32
1204.75
3312478
random/large/
unif-k7-r85-v400-c34000-S817927155-033-UNKNOWN.cnf
? (TO)
4800.33
1205.05
3312458
random/medium/
unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf
? (TO)
4800.33
1207.33
3312828
random/medium/
unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf
? (TO)
4800.33
1207.23
3312650
random/medium/
unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf
? (TO)
4800.33
1207.23
3312627
random/large/
unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf
? (TO)
4800.33
1203.92
3312359
random/medium/
unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf
? (TO)
4800.33
1207.04
3312771
random/medium/
unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf
? (TO)
4800.34
1207.53
3312600
random/medium/
unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf
? (TO)
4800.34
1207.43
3312680
random/medium/
unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf
? (TO)
4800.34
1207.45
3312528
random/large/
unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf
? (TO)
4800.34
1203.96
3312343
random/medium/
unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf
? (TO)
4800.34
1207.24
3312694
random/medium/
unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf
? (TO)
4800.34
1206.73
3312670
random/medium/
unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf
? (TO)
4800.34
1207.23
3312521
random/large/
unif-k7-r85-v400-c34000-S927774663-037-UNKNOWN.cnf
? (TO)
4800.34
1204.75
3312416
random/medium/
unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf
? (TO)
4800.34
1207.53
3312904
random/large/
unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf
? (TO)
4800.35
1207.23
3312447
random/large/
unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf
? (TO)
4800.35
1205.75
3312434
random/medium/
unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf
? (TO)
4800.35
1207.44
3312797
random/large/
unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf
? (TO)
4800.35
1204.26
3312486
random/medium/
unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf
? (TO)
4800.35
1207.23
3312872
random/medium/
unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf
? (TO)
4800.35
1207.43
3312839
random/medium/
unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf
? (TO)
4800.35
1207.13
3312816
random/large/
unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf
? (TO)
4800.35
1203.52
3312498
random/medium/
unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf
? (TO)
4800.35
1206.54
3312575
random/medium/
unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf
? (TO)
4800.35
1206.84
3312891
random/medium/
unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf
? (TO)
4800.35
1207.53
3312754
random/medium/
unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf
? (TO)
4800.36
1207.53
3312848
random/medium/
unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf
? (TO)
4800.36
1207.43
3312611
random/large/
unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf
? (TO)
4800.36
1203.37
3312445
random/medium/
unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf
? (TO)
4800.36
1207.06
3312870
random/medium/
unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf
? (TO)
4800.36
1206.83
3312860
random/medium/
unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf
? (TO)
4800.36
1207.63
3312897
random/medium/
unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf
? (TO)
4800.36
1207.33
3312822
random/medium/
unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf
? (TO)
4800.36
1206.93
3312910
random/medium/
unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf
? (TO)
4800.37
1207.63
3312804
random/large/
unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf
? (TO)
4800.37
1204.61
3312462
random/large/
unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf
? (TO)
4800.37
1203.17
3312368
random/large/
unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf
? (TO)
4800.37
1204.46
3312477
random/medium/
unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf
? (TO)
4800.37
1207.53
3312530
random/large/
unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf
? (TO)
4800.37
1203.48
3312452
random/large/
unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf
? (TO)
4800.37
1205.54
3312442
random/medium/
unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf
? (TO)
4800.37
1207.24
3312890
random/large/
unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf
? (TO)
4800.37
1206.74
3312396
random/large/
unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf
? (TO)
4800.37
1205.44
3312397
random/large/
unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf
? (TO)
4800.37
1202.94
3312372
random/large/
unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf
? (TO)
4800.38
1204.55
3312481
random/large/
unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf
? (TO)
4800.38
1207.06
3312383
random/large/
unif-k7-r85-v300-c25500-S1286362348-008-UNKNOWN.cnf
? (TO)
4800.38
1206.54
3312361
random/medium/
unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf
? (TO)
4800.38
1207.04
3312618
random/medium/
unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf
? (TO)
4800.38
1207.37
3312658
random/large/
unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf
? (TO)
4800.38
1205.65
3312473
random/medium/
unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf
? (TO)
4800.38
1207.14
3312673
random/medium/
unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf
? (TO)
4800.38
1207.53
3312604
random/medium/
unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf
? (TO)
4800.39
1207.43
3312522
random/large/
unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf
? (TO)
4800.39
1205.14
3312433
random/large/
unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf
? (TO)
4800.39
1207.34
3312388
random/medium/
unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf
? (TO)
4800.39
1207.33
3312728
random/medium/
unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf
? (TO)
4800.39
1206.94
3312774
random/medium/
unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf
? (TO)
4800.39
1207.43
3312593
random/medium/
unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf
? (TO)
4800.39
1207.33
3312616
random/medium/
unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf
? (TO)
4800.39
1207.04
3312620
random/medium/
unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf
? (TO)
4800.39
1206.84
3312624
random/medium/
unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf
? (TO)
4800.39
1207.53
3312667
random/medium/
unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf
? (TO)
4800.39
1207.54
3312683
random/medium/
unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf
? (TO)
4800.39
1206.64
3312879
random/medium/
unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf
? (TO)
4800.39
1206.64
3312699
random/large/
unif-k7-r85-v400-c34000-S1163171897-095-UNKNOWN.cnf
? (TO)
4800.4
1205.05
3312460
random/large/
unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf
? (TO)
4800.4
1203.5
3312338
random/large/
unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf
? (TO)
4800.4
1205.74
3312327
random/large/
unif-k7-r85-v300-c25500-S926861876-013-UNKNOWN.cnf
? (TO)
4800.4
1206.65
3312378
random/medium/
unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf
? (TO)
4800.4
1207.03
3312855
random/medium/
unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf
? (TO)
4800.4
1207.43
3312735
random/medium/
unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf
? (TO)
4800.4
1207.23
3312691
random/medium/
unif-k7-r89-v70-c6230-S560963242-048.UNKNOWN.cnf
? (TO)
4800.4
1207.53
3312917
random/medium/
unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf
? (TO)
4800.4
1207.43
3312623
random/medium/
unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf
? (TO)
4800.4
1207.04
3312821
random/medium/
unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf
? (TO)
4800.41
1207.43
3312572
random/medium/
unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf
? (TO)
4800.41
1207.33
3312549
random/large/
unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf
? (TO)
4800.41
1204.96
3312382
random/medium/
unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf
? (TO)
4800.41
1207.43
3312578
random/medium/
unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf
? (TO)
4800.41
1207.33
3312634
random/medium/
unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf
? (TO)
4800.41
1207.43
3312659
random/large/
unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf
? (TO)
4800.41
1204.15
3312341
random/medium/
unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf
? (TO)
4800.41
1207.33
3312653
random/medium/
unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf
? (TO)
4800.41
1207.03
3312753
random/large/
unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf
? (TO)
4800.41
1203.86
3312456
random/medium/
unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf
? (TO)
4800.41
1207.43
3312871
random/medium/
unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf
? (TO)
4800.41
1207.13
3312703
random/large/
unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf
? (TO)
4800.41
1204.36
3312503
random/medium/
unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf
? (TO)
4800.41
1207.14
3312718
random/medium/
unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf
? (TO)
4800.41
1207.53
3312526
random/large/
unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf
? (TO)
4800.42
1203.58
3312515
random/medium/
unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf
? (TO)
4800.42
1207.23
3312550
random/medium/
unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf
? (TO)
4800.42
1207.74
3312780
random/medium/
unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf
? (TO)
4800.42
1207.43
3312817
random/large/
unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf
? (TO)
4800.42
1204.26
3312342
random/large/
unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf
? (TO)
4800.42
1207.33
3312329
random/large/
unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf
? (TO)
4800.42
1203.03
3312377
random/large/
unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf
? (TO)
4800.42
1207.13
3312352
random/large/
unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf
? (TO)
4800.42
1204.25
3312349
random/medium/
unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf
? (TO)
4800.42
1207.83
3312662
random/medium/
unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf
? (TO)
4800.42
1207.33
3312565
random/medium/
unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf
? (TO)
4800.42
1207.23
3312619
random/medium/
unif-k5-r21.3-v125-c2662-S2092454698-027.UNKNOWN.cnf
? (TO)
4800.42
1207.63
3312838
random/medium/
unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf
? (TO)
4800.42
1207.03
3312810
random/medium/
unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf
? (TO)
4800.42
1207.53
3312842
random/medium/
unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf
? (TO)
4800.43
1207.83
3312770
random/large/
unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf
? (TO)
4800.43
1206.94
3312474
random/large/
unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf
? (TO)
4800.43
1206.54
3312475
random/large/
unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf
? (TO)
4800.43
1207.33
3312321
random/medium/
unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf
? (TO)
4800.43
1207.43
3312610
random/medium/
unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf
? (TO)
4800.43
1207.53
3312612
random/medium/
unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf
? (TO)
4800.43
1207.18
3312730
random/large/
unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf
? (TO)
4800.43
1206.74
3312441
random/medium/
unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf
? (TO)
4800.43
1207.94
3312665
random/medium/
unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf
? (TO)
4800.43
1207.53
3312758
random/medium/
unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf
? (TO)
4800.43
1206.63
3312631
random/large/
unif-k7-r85-v300-c25500-S1158419275-045-UNKNOWN.cnf
? (TO)
4800.43
1206.54
3312464
random/medium/
unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf
? (TO)
4800.43
1207.13
3312809
random/large/
unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf
? (TO)
4800.44
1207.03
3312479
random/medium/
unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf
? (TO)
4800.44
1207.53
3312750
random/medium/
unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf
? (TO)
4800.44
1207.33
3312742
random/large/
unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf
? (TO)
4800.44
1206.95
3312510
random/large/
unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf
? (TO)
4800.44
1207.33
3312348
random/medium/
unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf
? (TO)
4800.44
1206.94
3312755
random/medium/
unif-k7-r89-v90-c8010-S423984545-074.UNKNOWN.cnf
? (TO)
4800.44
1207.33
3312835
random/medium/
unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf
? (TO)
4800.44
1207.04
3312840
random/large/
unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf
? (TO)
4800.44
1203.49
3312353
random/medium/
unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf
? (TO)
4800.44
1207.26
3312606
random/medium/
unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf
? (TO)
4800.44
1207.53
3312608
random/medium/
unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf
? (TO)
4800.44
1207.33
3312614
random/medium/
unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf
? (TO)
4800.44
1207.23
3312628
random/large/
unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf
? (TO)
4800.44
1204.57
3312369
random/large/
unif-k7-r85-v400-c34000-S1275797759-041-UNKNOWN.cnf
? (TO)
4800.44
1205.06
3312444
random/large/
unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf
? (TO)
4800.44
1207.05
3312407
random/medium/
unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf
? (TO)
4800.44
1206.94
3312793
random/medium/
unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf
? (TO)
4800.45
1206.93
3312823
random/medium/
unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf
? (TO)
4800.45
1207.23
3312518
random/medium/
unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf
? (TO)
4800.45
1207.23
3312585
random/large/
unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf
? (TO)
4800.45
1207.23
3312453
random/medium/
unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf
? (TO)
4800.45
1208.13
3312669
random/large/
unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf
? (TO)
4800.45
1204.36
3312410
random/medium/
unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf
? (TO)
4800.45
1207.04
3312625
random/medium/
unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf
? (TO)
4800.45
1207.33
3312881
random/medium/
unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf
? (TO)
4800.45
1207.43
3312784
random/large/
unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf
? (TO)
4800.45
1203.52
3312350
random/large/
unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf
? (TO)
4800.45
1204.65
3312427
random/medium/
unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf
? (TO)
4800.46
1207.74
3312671
random/medium/
unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf
? (TO)
4800.46
1207.53
3312602
random/medium/
unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf
? (TO)
4800.46
1207.33
3312859
random/large/
unif-k5-r20-v2000-c40000-S319509287-085-UNKNOWN.cnf
? (TO)
4800.46
1203.44
3312358
random/large/
unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf
? (TO)
4800.46
1205.09
3312412
random/large/
unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf
? (TO)
4800.46
1207.23
3312467
random/medium/
unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf
? (TO)
4800.46
1207.43
3312714
random/medium/
unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf
? (TO)
4800.46
1207.59
3312705
random/medium/
unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf
? (TO)
4800.46
1206.74
3312768
random/medium/
unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf
? (TO)
4800.46
1206.94
3312763
random/medium/
unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf
? (TO)
4800.46
1207.23
3312899
random/large/
unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf
? (TO)
4800.46
1204.65
3312435
random/medium/
unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf
? (TO)
4800.46
1206.93
3312693
random/medium/
unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf
? (TO)
4800.46
1207.33
3312736
random/large/
unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf
? (TO)
4800.47
1205.06
3312497
random/medium/
unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf
? (TO)
4800.47
1206.44
3312836
random/large/
unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf
? (TO)
4800.48
1205.15
3312367
random/large/
unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf
? (TO)
4800.49
1203.91
3312492
random/large/
unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf
? (TO)
4800.49
1203.77
3312374
random/medium/
unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf
? (TO)
4800.49
1207.04
3312647
random/medium/
unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf
? (TO)
4800.5
1207.67
3312607
random/large/
unif-k5-r20-v2000-c40000-S971556279-001-UNKNOWN.cnf
? (TO)
4800.5
1203.52
3312451
random/large/
unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf
? (TO)
4800.51
1203.89
3312364
random/medium/
unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf
? (TO)
4800.51
1207.59
3312778
random/large/
unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf
? (TO)
4800.52
1205.64
3312326
random/large/
unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf
? (TO)
4800.52
1203
3312394
random/medium/
unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf
? (TO)
4800.53
1207.48
3312787
random/large/
unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf
? (TO)
4800.54
1205.67
3312414
random/large/
unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf
? (TO)
4800.55
1204.6
3312319
random/large/
unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf
? (TO)
4800.55
1203.53
3312344
random/large/
unif-k5-r20-v2000-c40000-S61914820-087-UNKNOWN.cnf
? (TO)
4800.55
1203.54
3312450
random/large/
unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf
? (TO)
4800.55
1203.52
3312375
random/large/
unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf
? (TO)
4800.56
1203.52
3312431
random/large/
unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf
? (TO)
4800.56
1203.61
3312390
random/large/
unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf
? (TO)
4800.57
1203.23
3312439
random/medium/
unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf
? (TO)
4800.58
1207.37
3312826
random/large/
unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf
? (TO)
4800.58
1203.31
3312508
random/large/
unif-k5-r20-v2000-c40000-S922811046-076-UNKNOWN.cnf
? (TO)
4800.58
1203.7
3312490
random/medium/
unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf
? (TO)
4800.58
1207.27
3312868
random/large/
unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf
? (TO)
4800.6
1204.13
3312491
random/large/
unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf
? (TO)
4800.61
1203.82
3312496
random/large/
unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf
? (TO)
4800.62
1202.94
3312489
random/large/
unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf
? (TO)
4800.62
1205.15
3312488
random/large/
unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf
? (TO)
4800.65
1240.68
3312517
random/medium/
unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf
? (TO)
4800.66
1208.02
3312685
random/large/
unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf
? (TO)
4800.66
1204.15
3312418
random/large/
unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf
? (TO)
4800.68
1205.94
3312461
random/large/
unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf
? (TO)
4800.69
1242.74
3312370
random/large/
unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf
? (TO)
4800.7
1207.09
3312333
random/large/
unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf
? (TO)
4800.71
1248.69
3312409
random/large/
unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf
? (TO)
4800.72
1207.12
3312402
random/large/
unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf
? (TO)
4800.72
1205.86
3312500
random/large/
unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf
? (TO)
4800.73
1204.13
3312405
random/large/
unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf
? (TO)
4800.74
1206.07
3312429
random/large/
unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf
? (TO)
4800.74
1205.12
3312495
random/large/
unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf
? (TO)
4800.74
1205.23
3312386
random/large/
unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf
? (TO)
4800.79
1206.01
3312411
random/large/
unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf
? (TO)
4800.82
1205.21
3312399
random/large/
unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf
? (TO)
4800.82
1205.7
3312355
random/large/
unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf
? (TO)
4800.84
1206.51
3312419
random/large/
unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf
? (TO)
4800.86
1205.95
3312463
random/medium/
unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf
? (TO)
4800.88
1207.47
3312621
random/large/
unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf
? (TO)
4800.89
1206.71
3312438
random/large/
unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf
? (TO)
4800.91
1238.94
3312384
random/large/
unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf
? (TO)
4800.97
1238.82
3312511
random/medium/
unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf
? (TO)
4800.98
1207.37
3312545
random/large/
unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf
? (TO)
4801
1254.38
3312391
random/large/
unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf
? (TO)
4801.01
1240.88
3312339
random/large/
unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf
? (TO)
4801.06
1240.8
3312443
random/large/
unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf
? (TO)
4801.07
1247.57
3312332
random/medium/
unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf
? (TO)
4801.17
1207.81
3312542
random/medium/
unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf
? (TO)
4801.55
1206.8
3312551
random/large/
unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf
? (TO)
4802
1236.78
3312471