SAT 2011 Competition: main competition (phase 1): benchmarks results per solver
Result page for solver Satisfiability Solver Selector
2011-03-18
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (79 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT02/industrial/biere/
dinphil/dp04u03.shuffled.cnf
UNSAT
2.87356
2.91553
3293356
APPLICATIONS/bitverif/
minandmaxor/minandmaxor016.cnf
UNSAT
3.45
3.52654
3281994
SAT02/industrial/goldberg/rand_net/
rand_net60-30-1.shuffled.cnf
UNSAT
4.11
4.28844
3292988
SAT02/industrial/goldberg/rand_net/
rand_net60-25-10.shuffled.cnf
UNSAT
4.44
4.53063
3293080
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf
UNSAT
12.983
13.5876
3287836
SAT02/industrial/goldberg/rand_net/
rand_net60-40-10.shuffled.cnf
UNSAT
13.23
13.3511
3293034
application/leberre/
2dimensionalstrippacking/E07N15.cnf
UNSAT
14.3588
14.5827
3291102
application/leberre/
2dimensionalstrippacking/E04N18.cnf
UNSAT
15.55
15.6998
3290964
application/leberre/
2dimensionalstrippacking/E15N15.cnf
UNSAT
16.4405
16.5488
3291148
application/leberre/
2dimensionalstrippacking/E03N17.cnf
UNSAT
17.35
17.4476
3290596
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom12.cnf
UNSAT
20.64
20.7504
3289262
application/leberre/
2dimensionalstrippacking/korf-15.cnf
UNSAT
23.9373
24.1072
3290458
application/leberre/
2dimensionalstrippacking/E05X15.cnf
UNSAT
25.44
25.5105
3290918
SAT04/industrial/hoonsang/vis-bmc/
dekker.used-as.sat04-989.cnf
UNSAT
29.43
29.5659
3291884
application/leberre/
2dimensionalstrippacking/E02F17.cnf
UNSAT
30.05
30.1848
3290550
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf
UNSAT
31.9681
32.4353
3287330
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf
UNSAT
37.75
37.8674
3287882
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf
UNSAT
41.54
41.6673
3287698
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf
UNSAT
42.64
42.742
3288204
industrial/babic/dspam/
dspam_dump_vc949.cnf
UNSAT
48.64
48.7097
3280798
SAT04/industrial/hoonsang/vis-bmc/
all.used-as.sat04-986.cnf
UNSAT
57.02
57.1826
3291930
velev-pipe-o-uns-1.1-6.cnf
UNSAT
61.62
61.7074
3284202
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
UNSAT
74.51
74.6056
3288158
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf
UNSAT
76.32
76.4138
3285996
industrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
UNSAT
78.52
78.6412
3280108
industrial/babic/hsatv17/
hsat_vc12062.cnf
UNSAT
82.14
82.2145
3280844
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf
UNSAT
85.81
85.922
3287376
SAT03/industrial/simon/sat02/
6pipe_6_ooo.shuffled-as.sat03-413.cnf
UNSAT
90.13
90.2167
3291240
SAT-Race-2010-CNF/software-verification/
nec/hard-25-U-7061.cnf
UNSAT
94.73
94.8469
3293862
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf
UNSAT
95.62
95.7299
3287606
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf
UNSAT
97.54
97.6114
3287974
manol-pipe-c6bidw_i.cnf
UNSAT
105.54
105.691
3281718
industrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
UNSAT
107.32
107.405
3280752
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step15.cnf
UNSAT
117.32
117.416
3286226
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf
UNSAT
118.13
118.224
3287790
APPLICATIONS/diagnosis/
UTI-20-10t0.cnf
UNSAT
119.83
119.959
3283282
SAT-Race-2010-CNF/software-verification/
nec/hard-6-U-7061.cnf
UNSAT
120.1
120.345
3293816
application/fuhs/
AProVE11/AProVE11-11.cnf
UNSAT
120.21
120.341
3284708
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf
UNSAT
122.61
122.703
3286824
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-nlzbe256-tseitin.cnf
UNSAT
128.53
128.632
3287054
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf
UNSAT
128.84
129.012
3287652
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf
UNSAT
130.11
130.225
3286778
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
130.22
130.4
3283006
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-18-step15.cnf
UNSAT
132.43
148.604
3286502
industrial/manolios/
manol-pipe-f7idw.cnf
UNSAT
137.03
137.148
3281028
APPLICATIONS/
bitverif/maxxor/maxxor032.cnf
UNSAT
141.74
141.859
3282546
APPLICATIONS/diagnosis/
ACG-10-10p0.cnf
UNSAT
142.29
142.568
3283190
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf
UNSAT
143.13
143.245
3286916
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
147.93
148.048
3283328
application/rintanen/SATPlanning/
grid-strips-grid-y-4.025-NOTKNOWN.cnf
UNSAT
148.33
148.468
3285950
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf
UNSAT
154.53
154.626
3288250
manol-pipe-f7nidw.cnf
UNSAT
161.52
161.646
3281810
SAT-Race-2010-CNF/software-verification/
nec/hard-18-U-10652.cnf
UNSAT
162.44
162.516
3293770
SAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w9.shuffled.cnf
UNSAT
164.93
165.082
3293218
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf
UNSAT
171.14
171.258
3287744
SAT-Race-2010-CNF/hardware-verification/
manolios/c10idw_i.cnf
UNSAT
186.64
186.781
3293494
SAT02/industrial/aloul/
Homer/homer14.shuffled.cnf
UNSAT
202.13
202.236
3292758
application/rintanen/SATPlanning/
blocks-blocks-37-1.120-NOTKNOWN.cnf
UNSAT
218.74
218.818
3284846
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom13.cnf
UNSAT
411.6
411.737
3289216
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step13.cnf
UNSAT
435.61
461.582
3286594
SAT02/industrial/goldberg/rand_net/
rand_net70-60-10.shuffled.cnf
UNSAT
438.81
438.954
3292942
SAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w8.shuffled.cnf
UNSAT
443.8
443.967
3293172
velev-pipe-o-uns-1.0-7.cnf
UNSAT
508.11
508.262
3284248
industrial/fuhs/medium/
AProVE07-21.cnf
UNSAT
548.21
548.312
3280476
SAT02/industrial/dellacherie/
comb/comb1.shuffled.cnf
UNSAT
557.4
557.548
3293126
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
579.76
579.972
3282960
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf
UNSAT
592.97
593.121
3287928
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-17-step20.cnf
UNSAT
630.02
630.108
3286318
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-13-step17.cnf
UNSAT
641.6
641.779
3286732
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf
UNSAT
658.53
654.735
3288112
application/rintanen/SATPlanning/
grid-strips-grid-y-3.035-NOTKNOWN.cnf
UNSAT
669.91
670.032
3285812
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf
UNSAT
708.55
708.799
3287560
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf
UNSAT
709.73
709.805
3288066
SAT02/industrial/aloul/
Homer/homer16.shuffled.cnf
UNSAT
774.63
774.751
3292804
SAT02/industrial/aloul/
Homer/homer17.shuffled.cnf
UNSAT
813.12
813.662
3292850
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
UNSAT
1015.2
1015.37
3285306
industrial/fuhs/hard/
AProVE07-03.cnf
UNSAT
1254.87
1254.99
3280568
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf
UNSAT
1269.35
1269.48
3292022
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
UNSAT
1298.62
1298.89
3283512
Solver found a solution (SATISFIABLE) (79 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT05/industrial/maris05/DriverLog/
driverlog1_ks99i.renamed-as.sat05-3951.cnf
SAT
2.76758
2.7996
3292482
application/kullmann/AES/Benchmarks/
32/aes_32_1_keyfind_1.cnf
SAT
2.77758
2.81592
3290274
SAT05/industrial/maris05/DriverLog/
driverlog3_v01a.renamed-as.sat05-3963.cnf
SAT
2.79057
2.81532
3292528
SAT02/industrial/aloul/
Bart/bart17.shuffled.cnf
SAT
2.82957
2.86371
3292712
SAT05/industrial/maris05/Ferry/
ferry5_ks99i.renamed-as.sat05-3994.cnf
SAT
2.83957
2.87907
3292620
SAT02/industrial/biere/
dinphil/dp04s04.shuffled.cnf
SAT
2.88456
2.93514
3293264
SAT05/industrial/maris05/Rovers/
rovers1_ks99i.renamed-as.sat05-3971.cnf
SAT
3.21951
3.24772
3292574
SAT02/industrial/biere/
dinphil/dp10s10.shuffled.cnf
SAT
4.95
5.0177
3293310
SAT02/industrial/goldberg/fpga_routing/
vda_gr_rcs_w9.shuffled.cnf
SAT
7.53
7.68158
3292896
application/kullmann/AES/Benchmarks/
32/aes_32_2_keyfind_1.cnf
SAT
17.53
17.6418
3290228
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_18_SAT.cnf
SAT
17.63
17.7785
3283880
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_15_SAT.cnf
SAT
19.73
19.8271
3283972
application/fuhs/
AProVE11/AProVE11-12.cnf
SAT
22.13
22.2285
3284340
SAT05/industrial/grieu05/vmpc/
vmpc_25.renamed-as.sat05-1913.cnf
SAT
23.85
23.9878
3292298
application/jarvisalo/
AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf
SAT
25.88
42.7659
3286548
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
33.78
33.9617
3282822
APPLICATIONS/diagnosis/
UTI-10-5t1.cnf
SAT
38.02
38.1902
3283374
application/fuhs/
AProVE11/AProVE11-09.cnf
SAT
38.64
38.7499
3284524
SAT04/industrial/vangelder/cnf-color/
abb313GPIA-9-tr.used-as.sat04-321.cnf
SAT
41.52
41.6491
3291746
application/fuhs/
AProVE11/AProVE11-16.cnf
SAT
48.53
48.6533
3284432
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
SAT
52.76
52.8433
3282914
ibm-2004-01-k90.cnf
SAT
55.63
55.762
3281902
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_19_UNKNOWN.cnf
SAT
59.63
59.7286
3284018
application/leberre/
2dimensionalstrippacking/E05F18.cnf
SAT
60.43
60.5715
3290688
SAT_RACE08/Q1/
SAT_dat.k80_04.cnf
SAT
76.67
76.7441
3281534
application/fuhs/
AProVE11/AProVE11-15.cnf
SAT
79.73
58.9821
3284386
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
88.23
88.3944
3282684
application/fuhs/
AProVE11/AProVE11-02.cnf
SAT
92.34
92.4497
3284754
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf
SAT
96.96
97.1334
3287238
SAT04/industrial/vangelder/
cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf
SAT
97.33
97.4079
3291792
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf
SAT
106.64
110.127
3286962
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf
SAT
110.64
110.777
3286870
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf
SAT
111.12
111.223
3287008
application/fuhs/
AProVE11/AProVE11-10.cnf
SAT
115.03
115.182
3284570
SAT05/industrial/grieu05/vmpc/
vmpc_29.renamed-as.sat05-1916.cnf
SAT
115.58
115.713
3292252
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf
SAT
116.35
118.757
3287192
APPLICATIONS/diagnosis/
UTI-20-10t1.cnf
SAT
116.72
116.884
3283788
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf
SAT
118.02
118.129
3287100
APPLICATIONS/diagnosis/
UR-10-10p1.cnf
SAT
119.84
119.993
3283696
application/fuhs/
AProVE11/AProVE11-13.cnf
SAT
121.19
121.411
3284662
application/manthey/
traffic/traffic_r_sat.cnf
SAT
121.35
121.422
3288572
application/leberre/
2dimensionalstrippacking/E05F20.cnf
SAT
124.64
124.729
3291194
ibm-2002-21r-k95.cnf
SAT
128.13
128.298
3284294
application/fuhs/
AProVE11/AProVE11-07.cnf
SAT
128.13
128.272
3284478
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step16.cnf
SAT
129.65
129.807
3286180
SAT04/industrial/velev/pipe-sat-1-1/
12pipe_bug6_q0.used-as.sat04-725.cnf
SAT
160.84
160.906
3292114
application/leberre/
2dimensionalstrippacking/E04F20.cnf
SAT
165.46
165.773
3290826
SAT-Race-2010-CNF/cryptography/
mizh/md5_48_3.cnf
SAT
168.82
168.918
3293448
APPLICATIONS/diagnosis/
ACG-15-5p1.cnf
SAT
177.82
177.963
3283742
SAT04/industrial/velev/pipe-sat-1-1/
12pipe_bug4_q0.used-as.sat04-723.cnf
SAT
181.72
181.806
3292160
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-18-step16.cnf
SAT
186.66
215.38
3286456
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-30-step11.cnf
SAT
188.7
190.449
3286272
application/rintanen/SATPlanning/
blocks-blocks-36-0.170-NOTKNOWN.cnf
SAT
228.42
228.563
3285214
application/rintanen/SATPlanning/
blocks-blocks-36-0.160-NOTKNOWN.cnf
SAT
240.54
240.638
3286134
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step14.cnf
SAT
335.19
337.586
3286364
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
SAT
361.46
387.874
3283052
application/rintanen/SATPlanning/
blocks-blocks-37-1.150-SAT.cnf
SAT
393.59
394.679
3285904
application/rintanen/SATPlanning/
blocks-blocks-36-0.180-SAT.cnf
SAT
395.73
395.876
3285076
application/leberre/
2dimensionalstrippacking/E04F19.cnf
SAT
452.21
452.397
3290642
application/leberre/
2dimensionalstrippacking/E02F20.cnf
SAT
454.23
454.348
3290504
industrial/crypto/
mizh-sha0-36-2.cnf
SAT
586.91
587.019
3280982
SAT-Race-2010-CNF/cryptography/
mizh/sha0_36_5.cnf
SAT
653.52
653.611
3293402
mizh-sha0-36-4.cnf
SAT
719.02
719.12
3281672
ibm-2004-23-k100.cnf
SAT
722.29
722.432
3281764
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf
SAT
782.11
782.225
3281442
velev-npe-1.0-9dlx-b71.cnf
SAT
846.46
846.544
3284110
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-17-step21.cnf
SAT
868.99
894.764
3286686
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
SAT
890.72
890.829
3281304
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
901.96
902.108
3283144
SAT05/industrial/narain05/vpn/
clauses-8.renamed-as.sat05-1964.cnf
SAT
941.1
941.216
3292666
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
SAT
958.545
958.666
3282730
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
968.91
969.517
3281396
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf
SAT
972.23
972.421
3284984
industrial/palacios/medium/
cube-11-h14-sat.cnf
SAT
985.59
985.742
3280706
SAT05/industrial/grieu05/vmpc/
vmpc_32.renamed-as.sat05-1919.cnf
SAT
1000.43
1000.57
3292344
ibm-2002-30r-k85.cnf
SAT
1012.02
1012.16
3281856
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top29.cnf
SAT
1018.64
1018.75
3289354
application/leberre/
2dimensionalstrippacking/E02F22.cnf
SAT
1200.48
1200.7
3290780
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
SAT
1274.87
1275.02
3283558
Solver timed out (no solution given) (142 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT03/industrial/goldberg/hard_eq_check/
c6288mul.miter.shuffled-as.sat03-346.cnf
? (TO)
423.48
1300.02
3291332
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-countbits128-tseitin.cnf
? (TO)
436.81
1300.02
3287284
SAT05/industrial/grieu05/vmpc/
vmpc_34.renamed-as.sat05-1926.cnf
? (TO)
530.87
1300.02
3292206
APPLICATIONS/bitverif/countbitswegner/
countbitswegner128.cnf
? (TO)
566.71
1300.02
3282316
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf
? (TO)
739.94
1300.02
3287514
application/jarvisalo/
AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf
? (TO)
1279.34
1300.02
3286410
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf
? (TO)
1289.53
1300.02
3287468
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
1297.71
1300.02
3282638
application/manthey/traffic/
traffic_3_uc_sat.cnf
? (TO)
1298.31
1300.02
3288526
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
1299.24
1300.02
3282868
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
? (TO)
1299.29
1300.02
3285858
application/leberre/
2dimensionalstrippacking/E00X23.cnf
? (TO)
1299.61
1300.02
3291010
SAT03/industrial/maris/CNF/
gripper13u.shuffled-as.sat03-395.cnf
? (TO)
1299.63
1300.02
3291286
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
? (TO)
1299.68
1300.02
3287422
SAT03/industrial/schuppan/l2s/
bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
? (TO)
1299.76
1300.02
3291654
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
? (TO)
1299.79
1300.02
3292068
application/manthey/traffic/
traffic_f_unknown.cnf
? (TO)
1299.83
1300.02
3288480
application/leberre/
2dimensionalstrippacking/E00N23.cnf
? (TO)
1299.85
1300.02
3291056
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-21-step11.cnf
? (TO)
1299.85
1300.02
3286640
application/manthey/traffic/
traffic_r_uc_sat.cnf
? (TO)
1299.85
1300.02
3288388
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom19.cnf
? (TO)
1299.88
1300.02
3289308
application/rintanen/SATPlanning/
blocks-blocks-37-1.130-NOTKNOWN.cnf
? (TO)
1299.88
1300.02
3285766
application/kullmann/AES/Benchmarks/
128/aes_128_10_keyfind_1.cnf
? (TO)
1299.88
1300.02
3289998
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom16.cnf
? (TO)
1299.88
1300.02
3289630
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
? (TO)
1299.89
1300.02
3286088
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
? (TO)
1299.89
1300.02
3283466
application/manthey/traffic/
traffic_kkb_unknown.cnf
? (TO)
1299.89
1300.02
3288434
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf
? (TO)
1299.89
1300.01
3285168
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
1299.9
1300.02
3280522
SAT03/industrial/goldberg/hard_eq_check/
x1mul.miter.shuffled-as.sat03-359.cnf
? (TO)
1299.9
1300.02
3291378
SAT-Race-2010-CNF/hardware-verification/
velev/2dlx_ca_bp_f_liveness.cnf
? (TO)
1299.9
1300.01
3293678
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
1299.9
1300.02
3282086
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf
? (TO)
1299.9
1300.02
3288020
application/rintanen/SATPlanning/
transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf
? (TO)
1299.9
1300.02
3285444
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf
? (TO)
1299.9
1300.02
3284892
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf
? (TO)
1299.91
1300.02
3285352
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom15.cnf
? (TO)
1299.91
1300.02
3288894
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf
? (TO)
1299.91
1300.02
3285536
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf
? (TO)
1299.92
1300.02
3285398
SAT03/industrial/schuppan/l2s/
valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
? (TO)
1299.92
1300.02
3291608
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
1299.92
1300.02
3281350
application/kullmann/AES/Benchmarks/
128/aes_128_1_keyfind_1.cnf
? (TO)
1299.92
1300.02
3289952
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
1299.92
1300.02
3282776
APPLICATIONS/bitverif/
countbitssrl/countbitssrl064.cnf
? (TO)
1299.92
1300.02
3282132
APPLICATIONS/bitverif/countbitsarray/
countbitsarray04_32.cnf
? (TO)
1299.92
1300.02
3282408
application/rintanen/SATPlanning/
transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf
? (TO)
1299.93
1300.02
3286042
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.080-SAT.cnf
? (TO)
1299.93
1300.02
3285720
APPLICATIONS/bitverif/
maxxororand/maxxororand064.cnf
? (TO)
1299.93
1300.02
3282270
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
1299.93
1300.02
3280936
SAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq57_a.cnf
? (TO)
1299.93
1300.02
3293586
SAT04/industrial/vangelder/cnf-color/
myciel6-tr.used-as.sat04-320.cnf
? (TO)
1299.93
1300.02
3291838
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
1299.93
1300.02
3282362
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
1299.93
1300.03
3280292
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
? (TO)
1299.93
1300.11
3281212
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
1299.93
1300.02
3280200
application/leberre/
2dimensionalstrippacking/korf-17.cnf
? (TO)
1299.93
1300.02
3290872
SAT03/industrial/kukula/addm_bench/
am_7_7.shuffled-as.sat03-363.cnf
? (TO)
1299.93
1300.02
3291562
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
1299.93
1300.05
3280890
SAT05/industrial/grieu05/vmpc/
vmpc_36.renamed-as.sat05-1922.cnf
? (TO)
1299.93
1300.02
3292436
application/kullmann/AES/Benchmarks/
64/aes_64_4_keyfind_1.cnf
? (TO)
1299.93
1300.02
3290044
application/kullmann/AES/Benchmarks/
128/aes_128_3_keyfind_1.cnf
? (TO)
1299.94
1300.02
3289860
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom21.cnf
? (TO)
1299.94
1300.02
3289768
industrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
? (TO)
1299.94
1300.03
3280338
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom18.cnf
? (TO)
1299.94
1300.02
3289584
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
1299.94
1300.02
3282040
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom14.cnf
? (TO)
1299.94
1300.02
3289492
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top28.cnf
? (TO)
1299.94
1300.02
3289446
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top25.cnf
? (TO)
1299.94
1300.02
3289400
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
? (TO)
1299.94
1300.02
3281074
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top22.cnf
? (TO)
1299.94
1300.02
3289032
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom20.cnf
? (TO)
1299.94
1300.02
3288986
application/manthey/traffic/
traffic_b_unsat.cnf
? (TO)
1299.94
1300.02
3288664
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf
? (TO)
1299.94
1300.02
3288296
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
1299.94
1300.02
3282500
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
1299.94
1300.02
3283650
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
1299.94
1300.02
3284064
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
1299.94
1300.02
3280660
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
1299.94
1300.02
3280246
SAT03/industrial/goldberg/hard_eq_check/
k2mul.miter.shuffled-as.sat03-355.cnf
? (TO)
1299.94
1300.02
3291424
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf
? (TO)
1299.94
1300.02
3285628
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
1299.94
1300.03
3280384
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
? (TO)
1299.94
1300.02
3283098
application/leberre/
2dimensionalstrippacking/korf-18.cnf
? (TO)
1299.95
1300.02
3290734
application/manthey/traffic/
traffic_fb_unknown.cnf
? (TO)
1299.95
1300.02
3288342
application/kullmann/AES/Benchmarks/
64/aes_64_3_keyfind_1.cnf
? (TO)
1299.95
1300.02
3290182
application/manthey/traffic/
traffic_3b_unknown.cnf
? (TO)
1299.95
1300.02
3288710
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
1299.95
1300.02
3280430
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
? (TO)
1299.95
1300.02
3281166
application/kullmann/AES/Benchmarks/
128/aes_128_2_keyfind_1.cnf
? (TO)
1299.95
1300.02
3289906
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf
? (TO)
1299.95
1300.02
3285030
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (TO)
1299.95
1300.02
3283604
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
1299.95
1300.02
3281948
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
1299.95
1300.02
3283834
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top30.cnf
? (TO)
1299.95
1300.02
3289538
SAT03/industrial/li/li-test4/
li-test4-100.shuffled-as.sat03-370.cnf
? (TO)
1299.96
1300.02
3291516
application/kullmann/AES/Benchmarks/
32/aes_32_4_keyfind_1.cnf
? (TO)
1299.96
1300.02
3290366
application/kullmann/AES/Benchmarks/
64/aes_64_1_keyfind_1.cnf
? (TO)
1299.96
1300.02
3290136
SAT03/industrial/schuppan/l2s/
dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf
? (TO)
1299.96
1300.02
3291700
SAT-Race-2010-CNF/hardware-verification/
velev/11pipe_k.cnf
? (TO)
1299.96
1300.02
3293724
SAT03/industrial/li/li-exam/
li-exam-61.shuffled-as.sat03-366.cnf
? (TO)
1299.96
1300.02
3291470
application/manthey/traffic/
traffic_pcb_unknown.cnf
? (TO)
1299.96
1300.02
3288618
APPLICATIONS/diagnosis/
UR-20-10p0.cnf
? (TO)
1299.96
1300.02
3283420
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf
? (TO)
1299.96
1300.02
3285582
industrial/anbulagan/
hard-sat/partial-10-17-s.cnf
? (TO)
1299.96
1300.02
3280154
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
? (TO)
1299.96
1300.11
3281120
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
? (TO)
1299.96
1300.02
3281258
manol-pipe-c10nidw.cnf
? (TO)
1299.96
1300.02
3281626
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
1299.96
1300.02
3282454
APPLICATIONS/crypto/
md5gen/gus-md5-12.cnf
? (TO)
1299.96
1300.02
3282592
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
? (TO)
1299.96
1300.02
3283236
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom26.cnf
? (TO)
1299.97
1300.02
3288848
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
1299.97
1300.02
3280614
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
? (TO)
1299.97
1300.02
3284800
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom17.cnf
? (TO)
1299.97
1300.02
3289722
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf
? (TO)
1299.97
1300.02
3287146
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top23.cnf
? (TO)
1299.97
1300.02
3289078
application/fuhs/
AProVE11/AProVE11-06.cnf
? (TO)
1299.97
1300.02
3284616
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
1299.97
1300.02
3283926
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
? (TO)
1299.97
1300.02
3285490
application/kullmann/AES/Benchmarks/
32/aes_32_3_keyfind_1.cnf
? (TO)
1299.97
1300.02
3290412
SAT-Race-2010-CNF/hardware-verification/
velev/11pipe_11_ooo.cnf
? (TO)
1299.97
1300.02
3293632
application/kullmann/AES/Benchmarks/
32/aes_32_5_keyfind_1.cnf
? (TO)
1299.97
1300.02
3290320
application/kullmann/AES/Benchmarks/
64/aes_64_2_keyfind_1.cnf
? (TO)
1299.97
1300.02
3290090
APPLICATIONS/bitverif/
smulo/smulo064.cnf
? (TO)
1299.97
1300.02
3282224
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
? (TO)
1299.97
1300.03
3291976
application/rintanen/SATPlanning/
blocks-blocks-36-0.120-NOTKNOWN.cnf
? (TO)
1299.98
1300.03
3285122
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top24.cnf
? (TO)
1299.98
1300.02
3289170
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom25.cnf
? (TO)
1299.98
1300.02
3288940
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom22.cnf
? (TO)
1299.98
1300.02
3289676
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
1299.98
1300.02
3282178
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom23.cnf
? (TO)
1299.98
1300.02
3289814
SAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq60_a.cnf
? (TO)
1299.98
1300.02
3293540
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
? (TO)
1299.98
1300.02
3285260
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top21.cnf
? (TO)
1299.99
1300.02
3289124
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top26.cnf
? (TO)
1299.99
1300.02
3288756
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
? (TO)
1299.99
1300.02
3284938
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom24.cnf
? (TO)
1300.01
1300.02
3288802
velev-pipe-sat-1.0-b9.cnf
? (TO)
1300.02
1300.01
3284156
SAT_RACE08/Q1/
SAT_dat.k85.cnf
? (TO)
1300.1
1300.01
3281488
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
? (TO)
1303.82
1300.01
3285674
velev-vliw-uns-4.0-9-i1.cnf
? (TO)
1306.75
1300.01
3281580
SAT05/industrial/grieu05/vmpc/
vmpc_35.renamed-as.sat05-1921.cnf
? (TO)
1320.73
1300.02
3292390
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (29 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/skvortsov/battleship/
battleship-5-8-unsat.cnf
UNSAT
2.95855
3.02963
3261251
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-010-008.shuffled-as.sat05-1171.cnf
UNSAT
3.00254
4.49381
3265167
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3500_3500_30f1.shuffled.cnf
UNSAT
3.16052
3.20705
3266179
crafted/skvortsov/battleship/
battleship-6-9-unsat.cnf
UNSAT
3.26
3.36872
3261515
SAT03/handmade/bevan/cnf/
marg3x3add8.shuffled-as.sat03-1449.cnf
UNSAT
3.36
3.45978
3263979
SAT03/handmade/bevan/cnf/
marg3x3add8ch.shuffled-as.sat03-1448.cnf
UNSAT
3.45
3.58214
3264023
SAT02/handmade/zhang-lintao/
xor-chain/x1_40.shuffled.cnf
UNSAT
3.84
3.94759
3266575
crafted/skvortsov/
automata-synchronization/crn_11_99_u.cnf
UNSAT
4.11
4.27379
3260723
SAT02/handmade/chu-min-li/urquhart/
urquhart3_25bis.shuffled.cnf
UNSAT
4.45
4.51917
3266619
SAT05/crafted/sabharwal05/planning/logistics/unsat/
logistics-rotate-07t5.shuffled-as.sat05-1137.cnf
UNSAT
6.46
6.5612
3265079
SAT02/handmade/zhang-lintao/
xor-chain/x1_80.shuffled.cnf
UNSAT
6.66
6.71823
3266531
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_060.shuffled.cnf
UNSAT
14.26
14.3096
3266223
SAT05/crafted/sorge05/QG8/
gensys-ukn007.shuffled-as.sat05-3586.cnf
UNSAT
14.95
15.068
3266003
crafted/skvortsov/battleship/
battleship-10-10-unsat.cnf
UNSAT
17.04
17.1457
3261119
SAT05/crafted/sorge05/QG6/
dead-dnd002.shuffled-as.sat05-2713.cnf
UNSAT
24.84
24.977
3266091
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/
grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf
UNSAT
30.15
30.2496
3265387
SAT05/crafted/sabharwal05/ordering/gt-ordering/
sat/gt-030.shuffled-as.sat05-1295.cnf
UNSAT
32.74
32.841
3265431
crafted/skvortsov/battleship/
battleship-12-12-unsat.cnf
UNSAT
142.82
142.984
3261383
crafted/skvortsov/battleship/
battleship-11-11-unsat.cnf
UNSAT
161.23
161.338
3260987
crafted/skvortsov/battleship/
battleship-7-12-unsat.cnf
UNSAT
169.33
169.483
3261339
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
UNSAT
202.83
202.955
3262659
SAT03/handmade/markstrom/UNSATISFIABLE/
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf
UNSAT
557.31
557.467
3263935
SAT05/crafted/sorge05/QG7/
dead-dnd003.shuffled-as.sat05-3109.cnf
UNSAT
598.8
598.928
3265959
SAT04/handmade/marijn/equilarge-l/
equilarge_l4.used-as.sat04-896.cnf
UNSAT
822.56
822.772
3264683
SAT05/crafted/sorge05/QG7/
gensys-icl007.shuffled-as.sat05-3133.cnf
UNSAT
910.26
910.364
3265915
SAT04/handmade/marijn/equilarge-l/
equilarge_l2.used-as.sat04-894.cnf
UNSAT
929.61
929.798
3264639
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
UNSAT
957.99
958.129
3257599
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf
UNSAT
971.11
971.223
3263011
SAT05/crafted/sorge05/QG7a/
gensys-icl005.shuffled-as.sat05-3826.cnf
UNSAT
1162.76
1162.85
3265695
Solver found a solution (SATISFIABLE) (108 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/mosoi/289/
289-sat-6x8.cnf
SAT
2.78858
2.81745
3260415
crafted/skvortsov/battleship/
battleship-8-15-sat.cnf
SAT
2.79157
2.82699
3261031
crafted/mosoi/289/
289-sat-5x8.cnf
SAT
2.79757
5.60283
3260283
crafted/mosoi/
289/289-sat-11x4.cnf
SAT
2.79757
2.83162
3260371
crafted/skvortsov/battleship/
battleship-7-13-sat.cnf
SAT
2.83757
2.84989
3261647
crafted/mosoi/289/
289-sat-6x9.cnf
SAT
2.89456
2.92063
3260503
crafted/mosoi/289/
289-sat-4x8.cnf
SAT
3.00154
3.01912
3259931
crafted/mosoi/289/
289-sat-7x6.cnf
SAT
3.05053
5.60261
3260239
crafted/mosoi/
289/289-sat-11x9.cnf
SAT
3.23551
3.50071
3260459
crafted/mosoi/
289/289-sat-14x8.cnf
SAT
3.2945
5.24353
3260063
crafted/mosoi/
289/289-sat-11x10.cnf
SAT
3.3065
5.67526
3260195
crafted/mosoi/
289/289-sat-6x19.cnf
SAT
3.35649
3.45508
3259887
crafted/mosoi/
289/289-sat-9x13.cnf
SAT
3.38549
3.4977
3260151
crafted/mosoi/
289/289-sat-6x20.cnf
SAT
3.38948
3.50643
3260107
CRAFTED/sgi/
satsgi-n26himBHm28-p0-q293.cnf
SAT
3.43248
14.9405
3257687
crafted/skvortsov/
automata-synchronization/crn_11_100_s.cnf
SAT
3.84
3.97871
3260635
crafted/mosoi/
289/289-sat-4x35.cnf
SAT
3.9214
4.06174
3259975
crafted/mosoi/
289/289-sat-12x14.cnf
SAT
4.94
5.01023
3260327
crafted/mosoi/
289/289-sat-12x15.cnf
SAT
5.34
5.46551
3260019
crafted/skvortsov/
automata-synchronization/rnd_100_28_s.cnf
SAT
5.84
5.93876
3260547
SAT04/handmade/anton/l4k4/
lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf
SAT
5.93
6.00601
3264375
SAT05/crafted/sorge05/QG7/
iso-ukn004.shuffled-as.sat05-3385.cnf
SAT
6.10307
6.17187
3265871
crafted/skvortsov/battleship/
battleship-10-19-sat.cnf
SAT
11.74
11.8567
3261603
SAT05/crafted/sorge05/QG8/
iso-ukn009.shuffled-as.sat05-3632.cnf
SAT
13.7299
13.7986
3266047
SAT02/handmade/pehoushek/twentyvars/
7cnf20_90000_90000_7.shuffled.cnf
SAT
15.0277
15.0841
3266135
SAT05/crafted/sorge05/QG7a/
gensys-brn002.shuffled-as.sat05-3935.cnf
SAT
16.75
16.838
3265607
SAT04/handmade/anton/l5k3/
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf
SAT
17.69
17.815
3264331
crafted/spence/sgen/
sgen3-n120-s12930489-sat.cnf
SAT
19.42
19.5125
3274059
crafted/mosoi/289/
289-unsat-6x30.cnf
SAT
19.73
19.8486
3249237
SAT04/handmade/anton/l5k3/
lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf
SAT
23.8414
27.57
3264287
SAT02/handmade/simon/
satex-challenges/f600.shuffled.cnf
SAT
23.8564
23.9064
3266399
crafted/skvortsov/battleship/
battleship-11-21-sat.cnf
SAT
24.0213
24.0435
3261735
crafted/skvortsov/battleship/
battleship-12-23-sat.cnf
SAT
24.0853
24.1091
3261427
crafted/skvortsov/battleship/
battleship-14-26-sat.cnf
SAT
24.8062
24.8365
3261295
crafted/spence/sgen/
sgen3-n140-s18527668-sat.cnf
SAT
24.81
24.9307
3274200
crafted/spence/sgen/
sgen3-n180-s34713902-sat.cnf
SAT
25.07
51.2585
3273542
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_527.cnf
SAT
25.2822
25.4052
3261823
SAT04/handmade/kexu/frb-0.6/
frb75-13-2.used-as.sat04-878.cnf
SAT
25.42
25.5168
3264067
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_511.cnf
SAT
26.1
26.2698
3250337
crafted/skvortsov/battleship/
battleship-17-33-sat.cnf
SAT
26.521
26.5921
3261559
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p15-s2076598.cnf
SAT
26.62
26.9501
3266927
SAT04/handmade/kexu/frb-0.6/
frb80-14-2.used-as.sat04-880.cnf
SAT
26.91
27.4841
3264111
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes6.cnf
SAT
27.7418
28.1044
3259491
crafted/skvortsov/battleship/
battleship-9-17-sat.cnf
SAT
27.8588
27.9041
3261779
crafted/skvortsov/battleship/
battleship-10-18-sat.cnf
SAT
27.8868
27.9148
3261163
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
SAT
27.94
28.0042
3259843
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_110.shuffled.cnf
SAT
28.0207
28.0748
3266355
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p15-s58217873.cnf
SAT
28.0987
28.2845
3266795
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g7.cnf
SAT
28.41
30.1846
3258127
SAT03/handmade/anton/SAT/
SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf
SAT
28.9286
29.1497
3263715
crafted/skvortsov/battleship/
battleship-10-17-sat.cnf
SAT
29.04
29.2441
3260899
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
29.14
29.243
3257423
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p30-s39712998.cnf
SAT
30.2224
30.4902
3266751
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_220.shuffled.cnf
SAT
30.6323
30.7072
3266311
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_170.shuffled.cnf
SAT
30.7273
30.8085
3266267
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes10.cnf
SAT
30.7733
31.2011
3259359
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g7.cnf
SAT
32.1
38.3441
3257907
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p30-s70617701.cnf
SAT
32.83
32.9484
3266707
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes5.cnf
SAT
34.32
34.431
3258435
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_404.cnf
SAT
35.89
36.1612
3262087
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf
SAT
36.74
36.8256
3266971
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
SAT
37.73
37.8657
3266883
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_462.cnf
SAT
37.76
40.9838
3262527
crafted/skvortsov/
automata-synchronization/rnd_100_27_s.cnf
SAT
38.79
39.0123
3260767
crafted/skvortsov/
automata-synchronization/rnd_100_32_s.cnf
SAT
39.93
40.0363
3260855
crafted/skvortsov/battleship/
battleship-14-27-sat.cnf
SAT
42.41
42.5307
3261471
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf
SAT
45.94
46.0276
3266839
crafted/skvortsov/
automata-synchronization/rnd_150_42_s.cnf
SAT
54.53
54.6232
3260591
crafted/skvortsov/battleship/
battleship-24-57-sat.cnf
SAT
57.13
57.2955
3261075
SAT04/handmade/andrew/composite/
Composite-024BitPrimes-1.used-as.sat04-861.cnf
SAT
83.82
86.3251
3264595
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
SAT
86.75
86.8214
3259755
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf
SAT
137.03
137.121
3264991
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
SAT
155.888
156.051
3264727
SAT02/handmade/simon/satex-challenges/
par32-3.shuffled.cnf
SAT
158.44
158.516
3266487
crafted/spence/sgen/
sgen3-n160-s40283905-sat.cnf
SAT
170.08
194.425
3273401
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
187.32
189.408
3257511
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g5.cnf
SAT
187.62
199.663
3257951
crafted/skvortsov/battleship/
battleship-16-31-sat.cnf
SAT
218.7
218.826
3260943
crafted/skvortsov/battleship/
battleship-15-29-sat.cnf
SAT
278.078
278.114
3261691
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes5.cnf
SAT
285.33
285.49
3259227
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes1.cnf
SAT
286.72
286.84
3259535
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g9.cnf
SAT
287.98
288.186
3258963
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_506.cnf
SAT
289.64
289.743
3262175
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_505.cnf
SAT
308.98
318.927
3262483
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g7.cnf
SAT
309.52
309.689
3259095
SAT04/handmade/kexu/frb-0.8/
frb45-21-1.used-as.sat04-883.cnf
SAT
313.13
313.257
3264155
crafted/spence/sgen/
sgen3-n200-s39840374-sat.cnf
SAT
315.4
317.738
3273589
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_399.cnf
SAT
316.24
316.39
3261911
crafted/spence/sgen/
sgen3-n220-s24359701-sat.cnf
SAT
321.42
323.377
3273777
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_443.cnf
SAT
321.73
321.887
3262351
crafted/spence/sgen/
sgen3-n240-s78945233-sat.cnf
SAT
330.43
330.513
3274153
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf
SAT
366.33
366.417
3266663
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g3.cnf
SAT
366.51
366.673
3258083
CRAFTED/rbsat/crafted/unforced/
rbsat-v945c61409g3.cnf
SAT
375.82
375.955
3259051
CRAFTED/rbsat/random/forced/
rbsat-v1375c111739gyes10.cnf
SAT
376.89
377.102
3258611
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes8.cnf
SAT
377.11
377.274
3259447
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2071.cnf
SAT
377.71
377.865
3250425
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g4.cnf
SAT
381.22
384.702
3257819
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g1.cnf
SAT
396.71
396.846
3257863
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes7.cnf
SAT
411.71
411.853
3259271
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-24_567.cnf
SAT
420.73
420.877
3261955
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf
SAT
584.61
584.749
3265035
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
SAT
909.65
909.727
3259799
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
SAT
933.56
944.676
3257467
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf
SAT
1090.54
1090.61
3264903
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf
SAT
1104.43
1104.59
3264815
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf
SAT
1151.43
1151.63
3264771
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
SAT
1280.58
1280.6
3264859
Solver timed out (no solution given) (163 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/spence/sgen/
sgen3-n300-s12830984-sat.cnf
? (TO)
1275.47
1300.02
3273448
crafted/spence/sgen/
sgen3-n180-s33098896-unsat.cnf
? (TO)
1275.67
1300.02
3273495
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
1281.68
1300.02
3257335
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
1282.86
1300.02
3257379
SAT04/handmade/hirsch03/
hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf
? (TO)
1285.56
1300.02
3264551
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf
? (TO)
1285.63
1300.02
3250557
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_445.cnf
? (TO)
1287.23
1300.02
3262439
SAT04/handmade/kexu/frb-0.8/
frb59-26-1.used-as.sat04-891.cnf
? (TO)
1287.66
1300.03
3264243
SAT04/handmade/kexu/frb-0.8/
frb59-26-2.used-as.sat04-892.cnf
? (TO)
1287.98
1300.02
3264199
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
1289
1300.02
3257555
SAT04/handmade/connamacher/connm-d-0.02/
connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf
? (TO)
1290.11
1300.02
3264507
crafted/spence/
hard/s113-100.cnf
? (TO)
1293.32
1300.02
3257247
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g3.cnf
? (TO)
1294.03
1300.02
3257731
SAT04/handmade/connamacher/connm-d0.02/
connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf
? (TO)
1294.37
1300.02
3264419
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
1295.94
1300.02
3257643
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf
? (TO)
1296.53
1300.01
3250997
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
? (TO)
1296.93
1300.02
3257291
crafted/spence/sgen/
sgen3-n170-s56409011-unsat.cnf
? (TO)
1297.69
1300.02
3273730
crafted/spence/sgen/
sgen3-n160-s73223945-unsat.cnf
? (TO)
1297.71
1300.02
3273683
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
? (TO)
1297.78
1300.02
3250689
crafted/spence/sgen/
sgen3-n150-s89334302-unsat.cnf
? (TO)
1297.87
1300.02
3273636
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-020-019.shuffled-as.sat05-1232.cnf
? (TO)
1298.13
1300.02
3265343
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g4.cnf
? (TO)
1298.33
1300.02
3258259
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g4.cnf
? (TO)
1298.38
1300.02
3258171
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
1298.39
1300.02
3258215
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf
? (TO)
1298.63
1300.02
3251217
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g9.cnf
? (TO)
1298.78
1300.02
3257995
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
? (TO)
1298.88
1300.01
3251129
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
? (TO)
1299.4
1300.01
3250909
crafted/spence/sgen/
sgen3-n190-s29985700-unsat.cnf
? (TO)
1299.45
1300.02
3274247
crafted/skvortsov/
automata-synchronization/rnd_100_28_u.cnf
? (TO)
1299.68
1300.02
3260679
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4232.cnf
? (TO)
1299.7
1300.02
3250469
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p30-s67876261.cnf
? (TO)
1299.73
1300.01
3251437
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes6.cnf
? (TO)
1299.8
1300.02
3258479
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_390.cnf
? (TO)
1299.82
1300.02
3262307
crafted/mosoi/289/
289-unsat-17x27.cnf
? (TO)
1299.84
1300.02
3249545
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g2.cnf
? (TO)
1299.84
1300.02
3259183
SAT05/crafted/sorge05/QG7a/
gensys-ukn009.shuffled-as.sat05-3849.cnf
? (TO)
1299.85
1300.02
3265651
SAT03/handmade/gomes/bqwh/
bqwh.50.825.shuffled-as.sat03-1648.cnf
? (TO)
1299.85
1300.02
3262703
SAT03/handmade/anton/UNSAT/
SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf
? (TO)
1299.88
1300.02
3263407
crafted/spence/sgen/
sgen3-n200-s00813792-unsat.cnf
? (TO)
1299.88
1300.02
3274012
crafted/spence/sgen/
sgen3-n260-s62321009-sat.cnf
? (TO)
1299.89
1300.02
3274106
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes7.cnf
? (TO)
1299.9
1300.02
3258523
crafted/mosoi/289/
289-unsat-21x14.cnf
? (TO)
1299.9
1300.02
3249413
SAT03/handmade/stanion/hwb/
hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf
? (TO)
1299.9
1300.02
3263891
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-020-019.shuffled-as.sat05-1190.cnf
? (TO)
1299.9
1300.02
3265255
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-19_348.cnf
? (TO)
1299.9
1300.02
3262131
crafted/spence/sgen/
sgen3-n280-s93756482-sat.cnf
? (TO)
1299.9
1300.02
3273918
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-040-039.shuffled-as.sat05-1194.cnf
? (TO)
1299.91
1300.02
3265211
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf
? (TO)
1299.91
1300.02
3263055
SAT05/crafted/sorge05/QG7a/
gensys-ukn004.shuffled-as.sat05-3844.cnf
? (TO)
1299.91
1300.02
3265783
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
? (TO)
1299.91
1300.02
3251261
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf
? (TO)
1299.91
1300.02
3262615
SAT03/handmade/stanion/hwb/
hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf
? (TO)
1299.91
1300.02
3263759
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf
? (TO)
1299.91
1300.02
3263143
crafted/skvortsov/automata-synchronization/
crn_40_1520_u.cnf
? (TO)
1299.92
1300.02
3249941
CRAFTED/rbsat/random/
forced/rbsat-v1820c171155gyes3.cnf
? (TO)
1299.92
1300.02
3258699
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
1299.92
1300.02
3258743
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g6.cnf
? (TO)
1299.92
1300.02
3259007
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_401.cnf
? (TO)
1299.92
1300.02
3262219
SAT03/handmade/anton/UNSAT/
SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf
? (TO)
1299.92
1300.02
3263099
crafted/skvortsov/battleship/
battleship-14-14-unsat.cnf
? (TO)
1299.92
1300.02
3249985
crafted/mosoi/289/
289-unsat-6x34.cnf
? (TO)
1299.92
1300.02
3249149
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-045-035.shuffled-as.sat05-1181.cnf
? (TO)
1299.93
1300.02
3265123
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g10.cnf
? (TO)
1299.93
1300.02
3257775
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf
? (TO)
1299.93
1300.02
3250601
SAT05/crafted/lynce05/social-golfer-problem/
sgp_5-6-8.shuffled-as.sat05-2669.cnf
? (TO)
1299.93
1300.02
3265475
crafted/skvortsov/automata-synchronization/
crn_40_1521_s.cnf
? (TO)
1299.93
1300.02
3249853
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf
? (TO)
1299.93
1300.02
3262923
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf
? (TO)
1299.93
1300.02
3251305
SAT03/handmade/anton/UNSAT/
SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
? (TO)
1299.93
1300.02
3263583
SAT03/handmade/anton/UNSAT/
SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
? (TO)
1299.93
1300.02
3263627
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
1299.93
1300.02
3258831
crafted/spence/sgen/
sgen3-n120-s55656844-unsat.cnf
? (TO)
1299.93
1300.02
3273824
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p30-s19690873.cnf
? (TO)
1299.93
1300.02
3251701
SAT05/crafted/sorge05/QG7a/
gensys-ukn003.shuffled-as.sat05-3843.cnf
? (TO)
1299.93
1300.02
3265827
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
1299.93
1300.02
3259623
SAT03/handmade/stanion/hwb/
hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf
? (TO)
1299.94
1300.03
3263847
crafted/mosoi/289/
289-unsat-9x32.cnf
? (TO)
1299.94
1300.02
3249589
crafted/skvortsov/
automata-synchronization/rnd_150_29_u.cnf
? (TO)
1299.94
1300.02
3260811
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf
? (TO)
1299.94
1300.02
3264947
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p15-s72490337.cnf
? (TO)
1299.94
1300.02
3251481
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf
? (TO)
1299.94
1300.02
3251173
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf
? (TO)
1299.94
1300.02
3263539
SAT03/handmade/anton/UNSAT/
SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf
? (TO)
1299.94
1300.02
3263451
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf
? (TO)
1299.94
1300.02
3263187
SAT03/handmade/anton/UNSAT/
SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf
? (TO)
1299.94
1300.02
3262967
SAT03/handmade/anton/UNSAT/
SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf
? (TO)
1299.94
1300.02
3262879
SAT03/handmade/anton/UNSAT/
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
? (TO)
1299.94
1300.02
3262835
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf
? (TO)
1299.94
1300.02
3250645
crafted/mosoi/289/
289-unsat-14x34.cnf
? (TO)
1299.94
1300.02
3249721
crafted/mosoi/289/
289-unsat-21x40.cnf
? (TO)
1299.94
1300.02
3249369
crafted/mosoi/289/
289-unsat-5x41.cnf
? (TO)
1299.94
1300.02
3249281
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf
? (TO)
1299.94
1300.02
3262571
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_381.cnf
? (TO)
1299.94
1300.02
3262263
crafted/mosoi/289/
289-unsat-7x39.cnf
? (TO)
1299.94
1300.02
3249457
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes1.cnf
? (TO)
1299.94
1300.02
3258875
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes5.cnf
? (TO)
1299.94
1300.02
3258655
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes2.cnf
? (TO)
1299.94
1300.03
3258347
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g6.cnf
? (TO)
1299.94
1300.02
3258039
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf
? (TO)
1299.95
1300.01
3251657
crafted/mosoi/289/
289-unsat-21x33.cnf
? (TO)
1299.95
1300.02
3249325
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34308.cnf
? (TO)
1299.95
1300.02
3250293
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_507.cnf
? (TO)
1299.95
1300.02
3262043
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf
? (TO)
1299.95
1300.02
3250733
SAT03/handmade/gomes/bqwh/
bqwh.60.1152.shuffled-as.sat03-1650.cnf
? (TO)
1299.95
1300.02
3262747
SAT05/crafted/markstrom05/eulcbip/
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
? (TO)
1299.95
1300.02
3265563
SAT05/crafted/sorge05/QG7a/
gensys-ukn006.shuffled-as.sat05-3846.cnf
? (TO)
1299.95
1300.02
3265739
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_406.cnf
? (TO)
1299.95
1300.02
3262395
SAT02/handmade/simon/
satex-challenges/c6288.shuffled.cnf
? (TO)
1299.95
1300.02
3266443
SAT03/handmade/anton/UNSAT/
SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf
? (TO)
1299.95
1300.02
3263231
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_508.cnf
? (TO)
1299.95
1300.02
3250513
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
? (TO)
1299.95
1300.02
3250953
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes2.cnf
? (TO)
1299.95
1300.02
3259711
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes1.cnf
? (TO)
1299.95
1300.02
3259579
SAT03/handmade/anton/UNSAT/
SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf
? (TO)
1299.95
1300.02
3263495
CRAFTED/rbsat/random/forced/
rbsat-v2640c305320gyes10.cnf
? (TO)
1299.95
1300.02
3258787
SAT03/handmade/stanion/hwb/
hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf
? (TO)
1299.95
1300.02
3263803
crafted/mosoi/289/
289-unsat-14x38.cnf
? (TO)
1299.95
1300.02
3249677
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf
? (TO)
1299.95
1300.02
3251085
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes1.cnf
? (TO)
1299.95
1300.02
3258567
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf
? (TO)
1299.95
1300.02
3251393
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes7.cnf
? (TO)
1299.95
1300.02
3258391
SAT04/handmade/connamacher/connm-d0.04/
connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
? (TO)
1299.95
1300.02
3264463
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g7.cnf
? (TO)
1299.95
1300.02
3258303
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p15-s54275047.cnf
? (TO)
1299.95
1300.02
3251525
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf
? (TO)
1299.95
1300.02
3251613
crafted/skvortsov/battleship/
battleship-13-13-unsat.cnf
? (TO)
1299.95
1300.02
3261207
crafted/skvortsov/
automata-synchronization/crn_20_360_u.cnf
? (TO)
1299.95
1300.02
3249809
crafted/mosoi/289/
289-unsat-21x39.cnf
? (TO)
1299.95
1300.02
3249765
crafted/mosoi/289/
289-unsat-6x40.cnf
? (TO)
1299.95
1300.02
3249633
crafted/mosoi/289/
289-unsat-17x30.cnf
? (TO)
1299.95
1300.02
3249501
CRAFTED/rbsat/crafted/
forced/rbsat-v2100c215164gyes4.cnf
? (TO)
1299.96
1300.02
3259403
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-030-029.shuffled-as.sat05-1234.cnf
? (TO)
1299.96
1300.02
3265299
crafted/mosoi/289/
289-unsat-13x32.cnf
? (TO)
1299.96
1300.02
3249193
SAT03/handmade/anton/UNSAT/
SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf
? (TO)
1299.96
1300.02
3263363
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2072.cnf
? (TO)
1299.96
1300.02
3250161
SAT03/handmade/anton/UNSAT/
SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf
? (TO)
1299.96
1300.02
3262791
crafted/skvortsov/
automata-synchronization/crn_20_361_s.cnf
? (TO)
1299.96
1300.02
3249897
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf
? (TO)
1299.96
1300.02
3263671
crafted/skvortsov/battleship/
battleship-15-15-unsat.cnf
? (TO)
1299.96
1300.02
3250073
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf
? (TO)
1299.96
1300.02
3250865
crafted/skvortsov/battleship/
battleship-16-16-unsat.cnf
? (TO)
1299.96
1300.02
3250029
crafted/manthey/sudoku-single-hard/
sudoku_81x81_unknown.cnf
? (TO)
1299.96
1300.02
3250117
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_512.cnf
? (TO)
1299.96
1300.02
3250205
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf
? (TO)
1299.96
1300.02
3263275
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf
? (TO)
1299.96
1300.02
3251569
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf
? (TO)
1299.96
1300.02
3263319
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34309.cnf
? (TO)
1299.96
1300.02
3250381
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_464.cnf
? (TO)
1299.96
1300.02
3261999
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf
? (TO)
1299.97
1300.02
3250821
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf
? (TO)
1299.97
1300.01
3251349
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_528.cnf
? (TO)
1299.97
1300.02
3261867
crafted/spence/sgen/
sgen3-n140-s20078956-unsat.cnf
? (TO)
1299.97
1300.02
3273965
SAT05/crafted/roussel05/visbmc-PHNF/
phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf
? (TO)
1299.97
1300.02
3265519
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g9.cnf
? (TO)
1299.97
1300.02
3259139
crafted/spence/sgen/
sgen3-n130-s30940966-unsat.cnf
? (TO)
1299.98
1300.02
3273871
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g5.cnf
? (TO)
1299.98
1300.02
3258919
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf
? (TO)
1299.98
1300.02
3250777
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes3.cnf
? (TO)
1299.99
1300.02
3259315
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
? (TO)
1299.99
1300.01
3251041
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4231.cnf
? (TO)
1303.81
1300.02
3250249
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes10.cnf
? (TO)
1337.86
1300.02
3259667
Category "random instances" (RANDOM)
Solver proved unsatisfiability (UNSATISFIABLE) (96 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/medium/
unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf
UNSAT
5.04
5.51579
3201350
random/medium/
unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf
UNSAT
7.63
7.76139
3201046
random/medium/
unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf
UNSAT
7.65
7.79945
3201164
random/medium/
unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf
UNSAT
7.74
7.82668
3201372
random/medium/
unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf
UNSAT
7.74
7.89399
3201327
random/medium/
unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf
UNSAT
7.94
8.07285
3201373
random/medium/
unif-k5-r21.3-v50-c1065-S1449708927-022.UNKNOWN.cnf
UNSAT
8.03
8.13055
3201363
random/medium/
unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf
UNSAT
8.29
15.8597
3201384
random/medium/
unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf
UNSAT
8.35
8.48529
3201122
random/medium/
unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf
UNSAT
8.44
8.54398
3201360
random/medium/
unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf
UNSAT
8.53
8.6589
3201318
random/medium/
unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf
UNSAT
8.53
8.63377
3201188
random/medium/
unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf
UNSAT
8.54
8.61296
3201339
random/medium/
unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf
UNSAT
8.54
8.64459
3201095
random/medium/
unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf
UNSAT
8.66
8.77614
3201053
random/medium/
unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf
UNSAT
8.84
8.92416
3201369
random/medium/
unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf
UNSAT
10.05
10.4549
3201163
random/medium/
unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf
UNSAT
10.44
10.5115
3201334
random/medium/
unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf
UNSAT
12.74
12.8194
3201155
random/medium/
unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf
UNSAT
16.74
16.8729
3201308
random/medium/
unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf
UNSAT
18.34
18.4633
3201276
random/medium/
unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf
UNSAT
22.94
23.066
3201089
random/medium/
unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf
UNSAT
47.72
47.8365
3201193
random/medium/
unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf
UNSAT
65.22
65.3625
3201042
random/medium/
unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf
UNSAT
79.1
81.7072
3201153
random/medium/
unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf
UNSAT
88.63
88.7084
3201069
random/medium/
unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf
UNSAT
91.52
91.6339
3201116
random/medium/
unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf
UNSAT
94.13
94.2234
3201220
random/medium/
unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf
UNSAT
157.52
157.657
3201080
random/medium/
unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf
UNSAT
158.33
158.41
3201096
random/medium/
unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf
UNSAT
161.12
161.268
3201319
random/medium/
unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf
UNSAT
161.23
161.331
3201219
random/medium/
unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf
UNSAT
161.43
182.684
3201395
random/medium/
unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf
UNSAT
162.13
162.211
3201279
random/medium/
unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf
UNSAT
163.61
163.779
3201263
random/medium/
unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf
UNSAT
164.09
164.215
3201269
random/medium/
unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf
UNSAT
164.79
164.957
3201418
random/medium/
unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf
UNSAT
165.85
165.929
3201245
random/medium/
unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf
UNSAT
167.53
167.667
3201084
random/medium/
unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf
UNSAT
167.72
167.854
3201246
random/medium/
unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf
UNSAT
168.03
168.127
3201103
random/medium/
unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf
UNSAT
168.24
168.357
3201097
random/medium/
unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf
UNSAT
168.32
168.482
3201403
random/medium/
unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf
UNSAT
168.43
168.562
3201410
random/medium/
unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf
UNSAT
168.83
168.94
3201228
random/medium/
unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf
UNSAT
169.23
169.33
3201076
random/medium/
unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf
UNSAT
169.35
169.491
3201151
random/medium/
unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf
UNSAT
170.02
170.191
3201167
random/medium/
unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf
UNSAT
170.23
170.311
3201387
random/medium/
unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf
UNSAT
170.34
170.481
3201204
random/medium/
unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf
UNSAT
182.02
182.143
3201349
random/medium/
unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf
UNSAT
182.93
183.017
3201026
random/medium/
unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf
UNSAT
183.82
183.907
3201117
random/medium/
unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf
UNSAT
186.34
186.427
3201232
random/medium/
unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf
UNSAT
189.24
189.327
3201265
random/medium/
unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf
UNSAT
193.03
193.176
3201212
random/medium/
unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf
UNSAT
196.43
208.021
3201315
random/medium/
unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf
UNSAT
196.5
196.623
3201254
random/medium/
unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf
UNSAT
198.54
198.674
3201078
random/medium/
unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf
UNSAT
198.92
199.103
3201351
random/medium/
unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf
UNSAT
199.32
199.46
3201171
random/medium/
unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf
UNSAT
199.35
199.49
3201189
random/medium/
unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf
UNSAT
199.43
199.517
3201048
random/medium/
unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf
UNSAT
200.03
200.147
3201415
random/medium/
unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf
UNSAT
200.12
200.213
3201271
random/medium/
unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf
UNSAT
200.35
200.429
3201214
random/medium/
unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf
UNSAT
200.38
200.521
3201239
random/medium/
unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf
UNSAT
201.83
201.939
3201168
random/medium/
unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf
UNSAT
206.22
206.325
3201370
random/medium/
unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf
UNSAT
206.63
206.782
3201346
random/medium/
unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf
UNSAT
549.52
550.032
3201218
random/medium/
unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf
UNSAT
569.73
569.877
3201165
random/medium/
unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf
UNSAT
585.21
585.395
3201382
random/medium/
unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf
UNSAT
596.62
596.73
3201205
random/medium/
unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf
UNSAT
596.71
596.812
3201352
random/medium/
unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf
UNSAT
740.14
740.302
3201174
random/medium/
unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf
UNSAT
753.76
769.056
3201394
random/medium/
unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf
UNSAT
762.31
762.432
3201172
random/medium/
unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf
UNSAT
773.51
794.3
3201182
random/medium/
unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf
UNSAT
786.23
786.368
3201156
random/medium/
unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf
UNSAT
788.24
788.338
3201091
random/medium/
unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf
UNSAT
789.42
789.557
3201378
random/medium/
unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf
UNSAT
789.74
789.83
3201115
random/medium/
unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf
UNSAT
791.1
791.3
3201412
random/medium/
unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf
UNSAT
799.04
799.159
3201223
random/medium/
unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf
UNSAT
800.4
800.561
3201338
random/medium/
unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf
UNSAT
805.61
809.652
3201211
random/medium/
unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf
UNSAT
808.16
808.216
3201162
random/medium/
unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf
UNSAT
808.72
808.882
3201169
random/medium/
unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf
UNSAT
810.34
810.435
3201355
random/medium/
unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf
UNSAT
810.74
810.831
3201240
random/medium/
unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf
UNSAT
812.92
813.081
3201213
random/medium/
unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf
UNSAT
821.02
821.144
3201160
random/medium/
unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf
UNSAT
833.94
834.023
3201236
random/medium/
unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf
UNSAT
845.03
851.822
3201374
random/medium/
unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf
UNSAT
849.04
849.18
3201411
Solver found a solution (SATISFIABLE) (284 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/medium/
unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf
SAT
6.14
6.23855
3201149
random/medium/
unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf
SAT
6.15
6.21254
3201391
random/medium/
unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf
SAT
23.7474
23.7792
3201195
random/medium/
unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf
SAT
23.7514
23.7865
3201173
random/medium/
unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf
SAT
23.7524
23.7825
3201199
random/medium/
unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf
SAT
23.7534
23.8372
3201272
random/medium/
unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf
SAT
23.7574
23.8244
3201253
random/medium/
unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf
SAT
23.7584
23.7788
3201402
random/medium/
unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf
SAT
23.7584
24.3367
3201251
random/medium/
unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf
SAT
23.7584
23.7825
3201285
random/medium/
unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf
SAT
23.7594
23.7877
3201295
random/medium/
unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf
SAT
23.7604
23.7882
3201294
random/medium/
unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf
SAT
23.7624
23.8082
3201341
random/medium/
unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf
SAT
23.7644
23.7994
3201317
random/medium/
unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf
SAT
23.7674
23.805
3201258
random/medium/
unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf
SAT
23.7674
23.8136
3201399
random/medium/
unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf
SAT
23.7704
23.789
3201241
random/medium/
unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf
SAT
23.7724
23.8368
3201340
random/medium/
unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf
SAT
23.7734
23.8776
3201328
random/medium/
unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf
SAT
23.7734
23.8065
3201379
random/medium/
unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf
SAT
23.7744
23.8109
3201045
random/medium/
unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf
SAT
23.7744
23.896
3201127
random/medium/
unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf
SAT
23.7744
23.8101
3201298
random/medium/
unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf
SAT
23.7754
42.0973
3201242
random/medium/
unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf
SAT
23.7754
23.9106
3201131
random/medium/
unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf
SAT
23.7764
23.8521
3201175
random/medium/
unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf
SAT
23.7784
23.813
3201330
random/medium/
unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf
SAT
23.7794
23.9092
3201043
random/medium/
unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf
SAT
23.7804
24.0769
3201035
random/medium/
unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf
SAT
23.7804
23.8228
3201292
random/medium/
unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf
SAT
23.7824
23.8003
3201094
random/medium/
unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf
SAT
23.7834
23.8204
3201238
random/medium/
unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf
SAT
23.7834
23.8202
3201202
random/medium/
unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf
SAT
23.7844
23.9269
3201367
random/medium/
unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf
SAT
23.7864
23.8256
3201348
random/medium/
unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf
SAT
23.7864
23.8158
3201118
random/medium/
unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf
SAT
23.7894
23.827
3201386
random/medium/
unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf
SAT
23.7914
23.8697
3201314
random/medium/
unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf
SAT
23.7914
25.4107
3201234
random/medium/
unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf
SAT
23.7924
26.0645
3201266
random/medium/
unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf
SAT
23.7934
23.8855
3201422
random/medium/
unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf
SAT
23.7964
23.854
3201065
random/medium/
unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf
SAT
23.7974
23.9477
3201058
random/medium/
unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf
SAT
23.8004
23.8231
3201260
random/medium/
unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf
SAT
23.8004
23.91
3201343
random/medium/
unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf
SAT
23.8004
23.8557
3201400
random/medium/
unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf
SAT
23.8024
23.8237
3201325
random/medium/
unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf
SAT
23.8074
23.906
3201093
random/medium/
unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf
SAT
23.8154
23.9012
3201257
random/medium/
unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf
SAT
23.8194
23.8577
3201280
random/medium/
unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf
SAT
23.8234
23.8803
3201198
random/medium/
unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf
SAT
23.8264
26.7014
3201138
random/medium/
unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf
SAT
23.8274
23.8534
3201333
random/medium/
unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf
SAT
23.8314
24.0762
3201371
random/medium/
unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf
SAT
23.8404
23.94
3201082
random/medium/
unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf
SAT
23.8514
24.0424
3201066
random/medium/
unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf
SAT
23.8554
23.8796
3201201
random/medium/
unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf
SAT
23.8564
24.0403
3201130
random/medium/
unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf
SAT
23.8574
23.8952
3201405
random/medium/
unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf
SAT
23.8604
24.5238
3201101
random/medium/
unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf
SAT
23.8724
23.9048
3201332
random/medium/
unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf
SAT
23.8744
25.1915
3201388
random/medium/
unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf
SAT
23.8844
23.9174
3201423
random/medium/
unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf
SAT
23.9214
25.2354
3201056
random/medium/
unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf
SAT
23.9254
23.952
3201364
random/medium/
unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf
SAT
23.93
42.9149
3201290
random/medium/
unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf
SAT
23.9324
23.9675
3201225
random/medium/
unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf
SAT
23.9514
24.0225
3201108
random/medium/
unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf
SAT
23.9764
26.3889
3201250
random/medium/
unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf
SAT
23.9834
24.1702
3201392
random/medium/
unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf
SAT
23.9904
24.0872
3201124
random/medium/
unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf
SAT
23.9974
24.0128
3201055
random/large/
unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf
SAT
24.0014
24.1073
3200963
random/medium/
unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf
SAT
24.0063
24.0633
3201154
random/medium/
unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf
SAT
24.0073
24.0462
3201129
random/medium/
unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf
SAT
24.0183
24.0451
3201181
random/medium/
unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf
SAT
24.0263
26.3576
3201142
random/medium/
unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf
SAT
24.0293
24.1302
3201073
random/medium/
unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf
SAT
24.03
24.1647
3201180
random/medium/
unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf
SAT
24.06
24.1083
3201390
random/large/
unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf
SAT
24.1013
25.0673
3200984
random/medium/
unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf
SAT
24.12
24.2633
3201293
random/medium/
unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf
SAT
24.14
24.2611
3201365
random/medium/
unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf
SAT
24.17
24.4425
3201231
random/medium/
unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf
SAT
24.23
24.3719
3201177
random/medium/
unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf
SAT
24.24
24.3507
3201409
random/large/
unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf
SAT
24.32
24.497
3200969
random/medium/
unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf
SAT
24.33
24.4579
3201187
random/medium/
unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf
SAT
24.35
24.4348
3201337
random/medium/
unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf
SAT
24.44
24.5299
3201310
random/medium/
unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf
SAT
24.82
24.9662
3201362
random/large/
unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf
SAT
24.84
41.2117
3200876
random/medium/
unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf
SAT
24.93
25.0837
3201275
random/medium/
unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf
SAT
25.05
25.1542
3201194
random/medium/
unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf
SAT
25.25
25.3229
3201132
random/medium/
unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf
SAT
25.25
25.3726
3201300
random/large/
unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf
SAT
25.43
25.5873
3200972
random/large/
unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf
SAT
25.43
25.5773
3200993
random/large/
unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf
SAT
25.58
41.9168
3200896
random/medium/
unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf
SAT
26.44
26.5508
3201206
random/medium/
unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf
SAT
26.92
27.0042
3201316
random/medium/
unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf
SAT
27.23
27.3369
3201040
random/large/
unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf
SAT
27.33
27.4348
3200946
random/medium/
unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf
SAT
27.54
27.6753
3201209
random/large/
unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf
SAT
28.48
38.6116
3200875
random/medium/
unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf
SAT
29.3805
29.4309
3201321
random/medium/
unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf
SAT
29.4215
29.4799
3201357
random/medium/
unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf
SAT
29.4285
29.5267
3201264
random/medium/
unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf
SAT
29.4295
29.5582
3201248
random/medium/
unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf
SAT
29.4295
29.4867
3201296
random/medium/
unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf
SAT
29.4745
29.5156
3201104
random/medium/
unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf
SAT
29.5045
29.5591
3201322
random/medium/
unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf
SAT
30.0534
31.0127
3201306
random/medium/
unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf
SAT
30.1734
30.2366
3201064
random/medium/
unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf
SAT
30.1854
30.2948
3201161
random/medium/
unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf
SAT
31.4882
31.5613
3201359
random/medium/
unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf
SAT
31.5012
31.5584
3201407
random/medium/
unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf
SAT
31.5582
31.7412
3201081
random/medium/
unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf
SAT
31.6072
31.7526
3201123
random/medium/
unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf
SAT
31.6112
31.6702
3201105
random/medium/
unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf
SAT
31.6142
31.7542
3201111
random/medium/
unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf
SAT
31.83
31.9716
3201414
random/medium/
unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf
SAT
32.03
32.1311
3201137
random/medium/
unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf
SAT
32.5161
32.6019
3201070
random/medium/
unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf
SAT
33.6939
33.7749
3201085
random/medium/
unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf
SAT
33.7099
33.9008
3201215
random/medium/
unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf
SAT
33.7759
33.9924
3201286
random/medium/
unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf
SAT
33.94
34.0262
3201380
random/medium/
unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf
SAT
34.6067
34.7958
3201074
random/medium/
unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf
SAT
34.6817
34.7726
3201404
random/medium/
unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf
SAT
34.7257
34.792
3201287
random/medium/
unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf
SAT
34.7477
34.9163
3201033
random/medium/
unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf
SAT
34.7637
34.9191
3201109
random/medium/
unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf
SAT
34.7777
34.8567
3201303
random/medium/
unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf
SAT
34.7967
34.8949
3201191
random/medium/
unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf
SAT
35.21
35.353
3201203
random/medium/
unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf
SAT
35.25
35.3048
3201224
random/medium/
unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf
SAT
35.32
35.4911
3201143
random/medium/
unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf
SAT
35.33
35.4266
3201110
random/medium/
unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf
SAT
35.34
35.4389
3201255
random/medium/
unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf
SAT
35.3416
35.9503
3201133
random/medium/
unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf
SAT
35.35
35.4826
3201077
random/medium/
unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf
SAT
35.42
35.5729
3201389
random/medium/
unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf
SAT
35.44
35.5493
3201144
random/medium/
unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf
SAT
35.52
35.6567
3201401
random/medium/
unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf
SAT
35.63
35.7201
3201324
random/medium/
unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf
SAT
35.6816
36.1411
3201176
random/medium/
unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf
SAT
35.8
35.9545
3201273
random/medium/
unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf
SAT
35.8286
36.0536
3201396
random/medium/
unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf
SAT
35.84
36.1629
3201031
random/medium/
unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf
SAT
35.94
36.0788
3201309
random/medium/
unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf
SAT
36.12
36.2899
3201366
random/medium/
unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf
SAT
36.13
36.2656
3201148
random/medium/
unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf
SAT
36.14
36.2789
3201028
random/medium/
unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf
SAT
36.23
36.3152
3201037
random/medium/
unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf
SAT
36.2585
37.0839
3201086
random/medium/
unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf
SAT
36.33
36.4653
3201126
random/medium/
unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf
SAT
36.34
36.4531
3201393
random/medium/
unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf
SAT
36.42
36.8076
3201406
random/medium/
unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf
SAT
36.53
36.667
3201267
random/medium/
unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf
SAT
36.63
36.7718
3201329
random/medium/
unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf
SAT
36.71
36.8933
3201358
random/medium/
unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf
SAT
36.9
44.6453
3201243
random/medium/
unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf
SAT
37.07
52.3055
3201274
random/medium/
unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf
SAT
37.1
42.7041
3201307
random/medium/
unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf
SAT
37.13
37.2083
3201261
random/medium/
unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf
SAT
37.33
37.4345
3201221
random/medium/
unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf
SAT
37.35
37.4732
3201099
random/medium/
unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf
SAT
37.45
37.5716
3201235
random/medium/
unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf
SAT
37.54
37.6905
3201083
random/medium/
unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf
SAT
37.63
37.7571
3201256
random/large/
unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf
SAT
37.73
37.8332
3200956
random/medium/
unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf
SAT
38.35
38.4395
3201217
random/medium/
unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf
SAT
38.57
46.509
3201289
random/medium/
unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf
SAT
38.62
38.7885
3201184
random/medium/
unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf
SAT
38.73
38.843
3201050
random/medium/
unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf
SAT
39.32
39.4838
3201029
random/medium/
unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf
SAT
39.53
39.6195
3201249
random/medium/
unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf
SAT
168.34
168.458
3201049
random/medium/
unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf
SAT
234.01
234.165
3201185
random/large/
unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf
SAT
277.227
292.476
3200861
random/medium/
unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf
SAT
279.157
279.308
3201301
random/large/
unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf
SAT
280.46
293.293
3200901
random/medium/
unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf
SAT
280.51
280.657
3201229
random/large/
unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf
SAT
281.13
281.288
3200996
random/medium/
unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf
SAT
281.14
281.265
3201416
random/large/
unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf
SAT
282.59
296.448
3200912
random/medium/
unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf
SAT
282.7
282.877
3201281
random/large/
unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf
SAT
283.88
297.719
3200925
random/large/
unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf
SAT
284.23
284.382
3200999
random/medium/
unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf
SAT
287.906
288.397
3201027
random/medium/
unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf
SAT
288.12
288.277
3201311
random/medium/
unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf
SAT
288.126
288.773
3201157
random/medium/
unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf
SAT
288.15
298.272
3201297
random/large/
unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf
SAT
288.27
297.903
3200853
random/medium/
unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf
SAT
288.34
288.475
3201178
random/large/
unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf
SAT
288.48
288.839
3200826
random/large/
unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf
SAT
288.72
288.835
3201003
random/medium/
unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf
SAT
288.91
289.053
3201147
random/medium/
unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf
SAT
289.01
289.123
3201210
random/medium/
unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf
SAT
290.51
290.615
3201072
random/medium/
unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf
SAT
290.83
290.941
3201353
random/medium/
unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf
SAT
291.33
291.415
3201114
random/large/
unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf
SAT
291.4
307.388
3200879
random/medium/
unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf
SAT
293.02
293.145
3201385
random/medium/
unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf
SAT
294.01
294.194
3201312
random/medium/
unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf
SAT
294.32
294.408
3201170
random/medium/
unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf
SAT
295.27
296.092
3201141
random/large/
unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf
SAT
298.83
299.303
3200840
random/medium/
unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf
SAT
300.73
300.817
3201207
random/medium/
unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf
SAT
300.82
300.905
3201304
random/medium/
unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf
SAT
301.8
302.059
3201335
random/medium/
unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf
SAT
301.92
302.017
3201381
random/large/
unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf
SAT
303.99
313.356
3200921
random/large/
unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf
SAT
304.01
309.587
3200882
random/medium/
unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf
SAT
304.24
304.351
3201320
random/large/
unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf
SAT
306.42
306.535
3200970
random/large/
unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf
SAT
307.2
307.509
3200827
random/large/
unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf
SAT
307.78
308.064
3200839
random/medium/
unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf
SAT
308.82
308.947
3201244
random/large/
unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf
SAT
310.25
316.49
3200888
random/large/
unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf
SAT
311.48
327.479
3200893
random/medium/
unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf
SAT
311.53
311.623
3201057
random/large/
unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf
SAT
319.02
332.007
3200895
random/medium/
unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf
SAT
320.3
320.686
3201034
random/large/
unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf
SAT
332.43
332.584
3200848
random/large/
unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf
SAT
334.16
334.598
3200831
random/medium/
unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf
SAT
336.01
336.191
3201152
random/large/
unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf
SAT
339.76
339.866
3200943
random/large/
unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf
SAT
340.71
341.176
3200949
random/medium/
unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf
SAT
341.42
341.516
3201119
random/medium/
unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf
SAT
341.92
342.043
3201159
random/large/
unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf
SAT
346.94
355.224
3200922
random/large/
unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf
SAT
349.62
349.793
3200980
random/medium/
unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf
SAT
352.73
352.815
3201134
random/large/
unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf
SAT
359.24
359.357
3200988
random/large/
unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf
SAT
361.02
372.308
3200904
random/large/
unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf
SAT
385.02
395.728
3200910
random/medium/
unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf
SAT
392.13
394.393
3201282
random/large/
unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf
SAT
409.64
409.792
3201002
random/large/
unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf
SAT
411.83
411.905
3201014
random/large/
unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf
SAT
412.62
412.794
3201009
random/large/
unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf
SAT
424.53
424.633
3201006
random/large/
unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf
SAT
444.75
444.825
3200934
random/large/
unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf
SAT
477.92
478.055
3200941
random/large/
unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf
SAT
488.94
498.837
3200917
random/large/
unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf
SAT
489.52
497.437
3200924
random/large/
unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf
SAT
491.2
505.758
3200889
random/large/
unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf
SAT
496.18
496.589
3200929
random/large/
unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf
SAT
518.22
539.791
3201018
random/large/
unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf
SAT
530.16
530.599
3200832
random/large/
unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf
SAT
540.56
542.272
3200834
random/large/
unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf
SAT
545.33
545.431
3200954
random/large/
unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf
SAT
547.89
548.06
3200976
random/large/
unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf
SAT
568.24
568.455
3200974
random/large/
unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf
SAT
585.09
596.727
3200856
random/large/
unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf
SAT
587.44
587.574
3200962
random/large/
unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf
SAT
594.6
594.745
3200828
random/large/
unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf
SAT
596.24
596.392
3201004
random/large/
unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf
SAT
603.32
609.71
3200906
random/large/
unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf
SAT
621.72
627.256
3200870
random/large/
unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf
SAT
635.35
640.165
3200884
random/large/
unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf
SAT
637.81
637.963
3201024
random/large/
unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf
SAT
639
640.761
3200833
random/large/
unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf
SAT
639.62
639.855
3200842
random/large/
unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf
SAT
641.59
653.999
3200849
random/large/
unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf
SAT
670.02
676.164
3200913
random/large/
unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf
SAT
672.93
673.05
3200945
random/large/
unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf
SAT
684.2
684.396
3200966
random/large/
unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf
SAT
690.36
703.142
3200866
random/large/
unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf
SAT
702.01
702.133
3200964
random/large/
unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf
SAT
733.66
738.806
3200836
random/large/
unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf
SAT
768.34
776.877
3200883
random/large/
unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf
SAT
820.74
820.876
3201022
random/large/
unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf
SAT
840.12
840.243
3200987
random/large/
unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf
SAT
845.45
845.593
3200998
random/large/
unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf
SAT
925.44
925.592
3200940
random/large/
unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf
SAT
1033.17
1033.37
3200973
random/large/
unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf
SAT
1053.92
1056.7
3200855
random/large/
unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf
SAT
1087.79
1087.9
3201010
random/large/
unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf
SAT
1103.85
1110.34
3200881
random/large/
unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf
SAT
1121.28
1134.16
3200862
random/large/
unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf
SAT
1171.71
1171.9
3200936
random/large/
unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf
SAT
1204.24
1204.3
3200977
Solver timed out (no solution given) (220 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/large/
unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf
? (TO)
1279.62
1300.02
3201019
random/large/
unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf
? (TO)
1282.2
1300.02
3200892
random/large/
unif-k7-r85-v250-c21250-S655589261-059-UNKNOWN.cnf
? (TO)
1285.34
1300.02
3200908
random/large/
unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf
? (TO)
1286.43
1300.02
3200909
random/large/
unif-k5-r20-v2000-c40000-S61914820-087-UNKNOWN.cnf
? (TO)
1286.51
1300.02
3200957
random/large/
unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf
? (TO)
1286.91
1300.02
3200851
random/large/
unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf
? (TO)
1286.99
1300.02
3200891
random/large/
unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf
? (TO)
1287.01
1300.02
3201020
random/large/
unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf
? (TO)
1287.07
1300.02
3200852
random/large/
unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf
? (TO)
1287.85
1300.02
3200890
random/large/
unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf
? (TO)
1288.03
1300.02
3200920
random/large/
unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf
? (TO)
1288.03
1300.02
3200894
random/large/
unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf
? (TO)
1288.05
1300.02
3200915
random/large/
unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf
? (TO)
1288.19
1300.02
3200858
random/large/
unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf
? (TO)
1288.39
1300.02
3200860
random/medium/
unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf
? (TO)
1288.76
1300.02
3201247
random/large/
unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf
? (TO)
1289.27
1300.02
3200905
random/large/
unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf
? (TO)
1289.62
1300.02
3200926
random/large/
unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf
? (TO)
1289.82
1300.02
3200899
random/large/
unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf
? (TO)
1289.92
1300.02
3200914
random/large/
unif-k7-r85-v200-c17000-S1227169170-092-UNKNOWN.cnf
? (TO)
1290.03
1300.02
3200902
random/large/
unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf
? (TO)
1290.03
1300.02
3200919
random/large/
unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf
? (TO)
1290.3
1300.02
3200897
random/large/
unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf
? (TO)
1290.34
1300.02
3200918
random/large/
unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf
? (TO)
1290.47
1300.02
3200927
random/large/
unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf
? (TO)
1291.88
1300.02
3200874
random/large/
unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf
? (TO)
1291.89
1300.02
3200867
random/large/
unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf
? (TO)
1292.49
1300.02
3200871
random/large/
unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf
? (TO)
1292.57
1300.02
3200928
random/large/
unif-k7-r85-v400-c34000-S927774663-037-UNKNOWN.cnf
? (TO)
1292.65
1300.02
3200923
random/large/
unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf
? (TO)
1292.7
1300.02
3200863
random/large/
unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf
? (TO)
1292.89
1300.02
3200878
random/large/
unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf
? (TO)
1293.31
1300.02
3200854
random/large/
unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf
? (TO)
1293.6
1300.02
3200903
random/large/
unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf
? (TO)
1293.64
1300.02
3200880
random/large/
unif-k3-r4.2-v40000-c168000-S471691933-060-UNKNOWN.cnf
? (TO)
1293.74
1300.02
3200900
random/large/
unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf
? (TO)
1293.8
1300.02
3200907
random/large/
unif-k7-r85-v200-c17000-S1348818483-020-UNKNOWN.cnf
? (TO)
1293.81
1300.02
3200886
random/large/
unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf
? (TO)
1293.81
1300.02
3200898
random/large/
unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf
? (TO)
1293.81
1300.02
3200887
random/large/
unif-k7-r85-v300-c25500-S926861876-013-UNKNOWN.cnf
? (TO)
1293.84
1300.02
3200885
random/large/
unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf
? (TO)
1293.97
1300.02
3200911
random/large/
unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf
? (TO)
1294.02
1300.02
3200916
random/large/
unif-k7-r85-v300-c25500-S1286362348-008-UNKNOWN.cnf
? (TO)
1294.46
1300.02
3200868
random/large/
unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf
? (TO)
1294.58
1300.02
3200869
random/large/
unif-k5-r20-v2000-c40000-S319509287-085-UNKNOWN.cnf
? (TO)
1294.82
1300.03
3200865
random/large/
unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf
? (TO)
1294.97
1300.02
3200872
random/large/
unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf
? (TO)
1295.09
1300.02
3200930
random/large/
unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf
? (TO)
1295.18
1300.02
3200873
random/large/
unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf
? (TO)
1295.27
1300.02
3200877
random/large/
unif-k7-r85-v300-c25500-S942666749-061-UNKNOWN.cnf
? (TO)
1295.33
1300.02
3200864
random/medium/
unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf
? (TO)
1295.51
1300.02
3201417
random/medium/
unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf
? (TO)
1295.78
1300.02
3201383
random/large/
unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf
? (TO)
1295.9
1300.02
3200835
random/medium/
unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf
? (TO)
1296.05
1300.02
3201054
random/large/
unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf
? (TO)
1296.43
1300.02
3200850
random/large/
unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf
? (TO)
1296.56
1300.02
3200846
random/large/
unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf
? (TO)
1297.12
1300.02
3200932
random/large/
unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf
? (TO)
1297.13
1300.02
3200857
random/medium/
unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf
? (TO)
1297.21
1300.02
3201062
random/large/
unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf
? (TO)
1299.11
1300.02
3200841
random/medium/
unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf
? (TO)
1299.27
1300.02
3201032
random/medium/
unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf
? (TO)
1299.38
1300.02
3201039
random/large/
unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf
? (TO)
1299.42
1300.02
3200931
random/large/
unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf
? (TO)
1299.45
1300.02
3201007
random/large/
unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf
? (TO)
1299.57
1300.02
3200830
random/medium/
unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf
? (TO)
1299.66
1300.02
3201230
random/medium/
unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf
? (TO)
1299.67
1300.04
3201368
random/large/
unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf
? (TO)
1299.7
1300.02
3200829
random/medium/
unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf
? (TO)
1299.72
1300.02
3201270
random/large/
unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf
? (TO)
1299.74
1300.02
3200845
random/large/
unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf
? (TO)
1299.85
1300.02
3200837
random/medium/
unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf
? (TO)
1299.85
1300.02
3201146
random/large/
unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf
? (TO)
1299.86
1300.02
3200933
random/medium/
unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf
? (TO)
1299.87
1300.02
3201041
random/large/
unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf
? (TO)
1299.87
1300.02
3201023
random/medium/
unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf
? (TO)
1299.87
1300.02
3201025
random/medium/
unif-k5-r21.3-v150-c3195-S873866006-055.UNKNOWN.cnf
? (TO)
1299.87
1300.02
3201063
random/large/
unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf
? (TO)
1299.88
1300.02
3200838
random/medium/
unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf
? (TO)
1299.88
1300.02
3201278
random/medium/
unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf
? (TO)
1299.88
1300.02
3201140
random/medium/
unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf
? (TO)
1299.88
1300.02
3201284
random/large/
unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf
? (TO)
1299.89
1300.02
3200979
random/medium/
unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf
? (TO)
1299.89
1300.02
3201120
random/large/
unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf
? (TO)
1299.89
1300.02
3201008
random/medium/
unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf
? (TO)
1299.89
1300.02
3201136
random/large/
unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf
? (TO)
1299.9
1300.02
3200944
random/medium/
unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf
? (TO)
1299.9
1300.02
3201233
random/medium/
unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf
? (TO)
1299.9
1300.02
3201071
random/medium/
unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf
? (TO)
1299.9
1300.02
3201092
random/large/
unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf
? (TO)
1299.9
1300.02
3200935
random/large/
unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf
? (TO)
1299.9
1300.02
3200982
random/medium/
unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf
? (TO)
1299.91
1300.02
3201208
random/medium/
unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf
? (TO)
1299.91
1300.02
3201377
random/medium/
unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf
? (TO)
1299.91
1300.02
3201375
random/medium/
unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf
? (TO)
1299.91
1300.02
3201186
random/medium/
unif-k7-r89-v90-c8010-S423984545-074.UNKNOWN.cnf
? (TO)
1299.91
1300.02
3201342
random/large/
unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf
? (TO)
1299.91
1300.02
3201005
random/medium/
unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf
? (TO)
1299.91
1300.02
3201038
random/medium/
unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf
? (TO)
1299.91
1300.02
3201030
random/medium/
unif-k7-r89-v80-c7120-S1818856267-075.UNKNOWN.cnf
? (TO)
1299.91
1300.02
3201088
random/large/
unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf
? (TO)
1299.91
1300.02
3200986
random/medium/
unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf
? (TO)
1299.92
1300.04
3201291
random/medium/
unif-k7-r89-v70-c6230-S560963242-048.UNKNOWN.cnf
? (TO)
1299.92
1300.02
3201424
random/medium/
unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf
? (TO)
1299.92
1300.02
3201356
random/large/
unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf
? (TO)
1299.92
1300.02
3200937
random/large/
unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf
? (TO)
1299.92
1300.02
3200938
random/medium/
unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf
? (TO)
1299.92
1300.02
3201252
random/medium/
unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf
? (TO)
1299.92
1300.09
3201313
random/medium/
unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf
? (TO)
1299.92
1300.02
3201098
random/medium/
unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf
? (TO)
1299.93
1300.02
3201222
random/medium/
unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf
? (TO)
1299.93
1300.02
3201192
random/medium/
unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf
? (TO)
1299.93
1300.02
3201259
random/medium/
unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf
? (TO)
1299.93
1300.02
3201106
random/medium/
unif-k5-r21.3-v150-c3195-S375894551-007.UNKNOWN.cnf
? (TO)
1299.93
1300.02
3201067
random/medium/
unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf
? (TO)
1299.93
1300.02
3201344
random/medium/
unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf
? (TO)
1299.93
1300.02
3201087
random/large/
unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf
? (TO)
1299.93
1300.02
3200968
random/large/
unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf
? (TO)
1299.93
1300.02
3201021
random/large/
unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf
? (TO)
1299.93
1300.02
3200975
random/large/
unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf
? (TO)
1299.93
1300.02
3200991
random/medium/
unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf
? (TO)
1299.93
1300.02
3201112
random/large/
unif-k7-r85-v400-c34000-S536077088-015-UNKNOWN.cnf
? (TO)
1299.93
1300.02
3200985
random/large/
unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf
? (TO)
1299.93
1300.02
3200844
random/medium/
unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf
? (TO)
1299.93
1300.02
3201075
random/medium/
unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf
? (TO)
1299.93
1300.02
3201113
random/large/
unif-k7-r85-v300-c25500-S680524168-083-UNKNOWN.cnf
? (TO)
1299.93
1300.02
3200947
random/medium/
unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf
? (TO)
1299.93
1300.02
3201100
random/medium/
unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf
? (TO)
1299.93
1300.02
3201277
random/large/
unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf
? (TO)
1299.93
1300.02
3201013
random/medium/
unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201197
random/medium/
unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201145
random/medium/
unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201125
random/large/
unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf
? (TO)
1299.94
1300.02
3200959
random/medium/
unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201059
random/medium/
unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201052
random/large/
unif-k7-r85-v400-c34000-S1275797759-041-UNKNOWN.cnf
? (TO)
1299.94
1300.02
3200951
random/large/
unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf
? (TO)
1299.94
1300.02
3200950
random/medium/
unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201216
random/medium/
unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201237
random/large/
unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf
? (TO)
1299.94
1300.02
3200983
random/large/
unif-k7-r85-v300-c25500-S1158419275-045-UNKNOWN.cnf
? (TO)
1299.94
1300.02
3200971
random/large/
unif-k7-r85-v400-c34000-S1163171897-095-UNKNOWN.cnf
? (TO)
1299.94
1300.02
3200967
random/large/
unif-k7-r85-v400-c34000-S817927155-033-UNKNOWN.cnf
? (TO)
1299.94
1300.02
3200965
random/medium/
unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201268
random/medium/
unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201326
random/medium/
unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201347
random/medium/
unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201354
random/medium/
unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201398
random/medium/
unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201413
random/medium/
unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201079
random/large/
unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf
? (TO)
1299.94
1300.02
3200961
random/medium/
unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201183
random/large/
unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf
? (TO)
1299.94
1300.02
3200847
random/medium/
unif-k3-r4.26-v600-c2556-S869604189-077.UNKNOWN.cnf
? (TO)
1299.94
1300.02
3201305
random/medium/
unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201135
random/large/
unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf
? (TO)
1299.95
1300.02
3200942
random/large/
unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf
? (TO)
1299.95
1300.02
3200960
random/medium/
unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201179
random/medium/
unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201421
random/medium/
unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201158
random/medium/
unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201376
random/medium/
unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201420
random/medium/
unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201397
random/medium/
unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201139
random/medium/
unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201102
random/medium/
unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201051
random/medium/
unif-k5-r21.3-v125-c2662-S396831120-092.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201061
random/medium/
unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201068
random/large/
unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf
? (TO)
1299.95
1300.02
3200955
random/medium/
unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201121
random/large/
unif-k5-r20-v2000-c40000-S971556279-001-UNKNOWN.cnf
? (TO)
1299.95
1300.02
3200958
random/large/
unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf
? (TO)
1299.95
1300.02
3200981
random/medium/
unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201190
random/medium/
unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201283
random/large/
unif-k7-r85-v300-c25500-S1859210562-077-UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201000
random/large/
unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf
? (TO)
1299.95
1300.02
3200978
random/medium/
unif-k3-r4.26-v700-c2982-S1800377425-032.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201196
random/large/
unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf
? (TO)
1299.95
1300.06
3200953
random/medium/
unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201323
random/large/
unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf
? (TO)
1299.95
1300.02
3200990
random/medium/
unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201262
random/medium/
unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201336
random/medium/
unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201200
random/large/
unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201016
random/medium/
unif-k5-r21.3-v125-c2662-S2092454698-027.UNKNOWN.cnf
? (TO)
1299.95
1300.02
3201345
random/large/
unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf
? (TO)
1299.96
1300.02
3200952
random/medium/
unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf
? (TO)
1299.96
1300.02
3201044
random/medium/
unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf
? (TO)
1299.96
1300.02
3201090
random/medium/
unif-k3-r4.26-v600-c2556-S248192082-054.UNKNOWN.cnf
? (TO)
1299.96
1300.02
3201060
random/medium/
unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf
? (TO)
1299.96
1300.02
3201107
random/large/
unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf
? (TO)
1299.96
1300.02
3201001
random/medium/
unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf
? (TO)
1299.96
1300.02
3201288
random/large/
unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf
? (TO)
1299.96
1300.02
3201012
random/large/
unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf
? (TO)
1299.96
1300.02
3200825
random/large/
unif-k5-r20-v2000-c40000-S922811046-076-UNKNOWN.cnf
? (TO)
1299.96
1300.02
3200997
random/medium/
unif-k7-r89-v90-c8010-S1458811765-091.UNKNOWN.cnf
? (TO)
1299.96
1300.02
3201419
random/large/
unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf
? (TO)
1299.96
1300.02
3200939
random/medium/
unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf
? (TO)
1299.96
1300.02
3201036
random/medium/
unif-k3-r4.26-v650-c2769-S910125393-002.UNKNOWN.cnf
? (TO)
1299.96
1300.02
3201226
random/large/
unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf
? (TO)
1299.96
1300.02
3200989
random/large/
unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf
? (TO)
1299.96
1300.02
3200995
random/medium/
unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf
? (TO)
1299.97
1300.02
3201361
random/medium/
unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf
? (TO)
1299.97
1300.03
3201150
random/medium/
unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf
? (TO)
1299.97
1300.02
3201128
random/medium/
unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf
? (TO)
1299.97
1300.02
3201302
random/medium/
unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf
? (TO)
1299.97
1300.02
3201331
random/large/
unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf
? (TO)
1299.97
1300.02
3200948
random/medium/
unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf
? (TO)
1299.97
1300.02
3201047
random/medium/
unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf
? (TO)
1299.97
1300.02
3201166
random/large/
unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf
? (TO)
1299.98
1300.02
3200992
random/large/
unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf
? (TO)
1299.98
1300.02
3200994
random/medium/
unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf
? (TO)
1299.98
1300.02
3201227
random/large/
unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf
? (TO)
1299.98
1300.02
3201017
random/medium/
unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf
? (TO)
1299.98
1300.02
3201408
random/large/
unif-k7-r85-v250-c21250-S58287803-001-UNKNOWN.cnf
? (TO)
1299.99
1300.02
3201011
random/medium/
unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf
? (TO)
1300
1300.03
3201299
random/large/
unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf
? (TO)
1307.79
1300.02
3200843
random/large/
unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf
? (TO)
1309.1
1300.02
3200859
random/large/
unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf
? (TO)
1427.8
1300.02
3201015