SAT 2009 Competition: main competition (phase 1): benchmarks results per solver
Result page for solver MXC
2009-03-10
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (85 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.277956
0.278211
1718805
APPLICATIONS/bitverif/
minor/minor032.cnf
UNSAT
0.441931
0.443422
1553203
hoons-vbmc-lucky7.cnf
UNSAT
1.14183
1.14243
1719845
manol-pipe-g6bi.cnf
UNSAT
1.3248
1.32526
1723717
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
1.52177
1.52261
1717973
een-tip-uns-nusmv-t5.B.cnf
UNSAT
1.56776
1.5691
1723353
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
2.24766
2.25384
1717921
cmu-bmc-barrel6.cnf
UNSAT
3.23851
3.24002
1719533
manol-pipe-c9.cnf
UNSAT
3.9204
3.92179
1724341
APPLICATIONS/
bitverif/maxand/maxand064.cnf
UNSAT
3.99539
3.99663
1555595
APPLICATIONS/bitverif/
minor/minor064.cnf
UNSAT
4.87626
4.87786
1553151
APPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
UNSAT
5.83011
5.83231
1554555
APPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
UNSAT
11.3713
11.3769
1553775
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
13.6099
13.6138
1718233
manol-pipe-g7nidw.cnf
UNSAT
16.6705
16.6779
1724289
APPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
UNSAT
17.1114
17.1165
1553307
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
UNSAT
19.837
19.8477
1554087
velev-engi-uns-1.0-4nd.cnf
UNSAT
19.962
19.9677
1720105
schup-l2s-abp4-1-k31.cnf
UNSAT
21.9107
21.9166
1719585
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
UNSAT
22.3216
22.3275
1723045
APPLICATIONS/bitverif/
icbrt/icbrt1_32.cnf
UNSAT
26.414
26.4206
1555023
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
30.1484
30.1566
1717453
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
31.5402
31.5496
1715633
APPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
UNSAT
33.3609
33.3724
1556843
cmu-bmc-longmult15.cnf
UNSAT
38.9751
38.9872
1720625
APPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
UNSAT
46.6109
46.6482
1563603
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
48.2257
48.2382
1717609
APPLICATIONS/diagnosis/
UR-10-5p0.cnf
UNSAT
48.8696
48.8826
1579851
APPLICATIONS/diagnosis/
UCG-10-5p0.cnf
UNSAT
49.5585
49.861
1578187
APPLICATIONS/bitverif/
smulo/smulo016.cnf
UNSAT
53.6608
53.6748
1554815
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
57.0223
57.0478
1717661
APPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
UNSAT
61.9506
61.9698
1577771
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
62.4235
62.4567
1715685
APPLICATIONS/crypto/
md5gen/gus-md5-05.cnf
UNSAT
69.3665
69.3836
1556791
simon-s03-fifo8-300.cnf
UNSAT
70.0647
35.1048
1724133
APPLICATIONS/c32sat/
post-c32s-col400-16.cnf
UNSAT
73.3449
73.3758
1563447
manol-pipe-c10nidw_s.cnf
UNSAT
85.827
85.8757
1723197
manol-pipe-g10id.cnf
UNSAT
90.2223
90.2659
1723509
APPLICATIONS/
bitverif/minand/minand128.cnf
UNSAT
90.6982
90.7265
1554191
APPLICATIONS/diagnosis/
ACG-10-5p0.cnf
UNSAT
91.4341
91.5082
1579383
velev-live-uns-2.0-ebuf.cnf
UNSAT
95.0266
95.0506
1723665
manol-pipe-c6nidw_i.cnf
UNSAT
95.0825
95.1193
1724445
manol-pipe-c6bidw_i.cnf
UNSAT
101.897
101.932
1720261
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
102.896
102.921
1718129
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
116.851
116.889
1717869
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
126.058
126.102
1717557
APPLICATIONS/diagnosis/
UTI-10-10p0.cnf
UNSAT
150.139
150.208
1581723
manol-pipe-c7bidw_i.cnf
UNSAT
169.347
169.405
1724237
manol-pipe-g10nid.cnf
UNSAT
176.294
176.369
1720157
APPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
UNSAT
180.615
180.664
1556739
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
185.43
185.498
1580527
APPLICATIONS/diagnosis/
UR-15-5p0.cnf
UNSAT
195.535
195.614
1581931
APPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
UNSAT
204.648
204.753
1577823
manol-pipe-c7nidw.cnf
UNSAT
213.102
213.164
1723457
schup-l2s-guid-1-k56.cnf
UNSAT
230.877
230.95
1724081
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
236.037
236.113
1717505
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
UNSAT
261.062
261.132
1722245
APPLICATIONS/diagnosis/
UTI-15-10p0.cnf
UNSAT
272.305
272.393
1580839
APPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
UNSAT
313.409
313.501
1563031
goldb-heqc-alu4mul.cnf
UNSAT
321.216
321.333
1720989
APPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
UNSAT
322.446
322.636
1557051
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
332.723
332.864
1562771
APPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
UNSAT
341.729
341.905
1563083
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
UNSAT
356.083
356.186
1722495
manol-pipe-g10bidw.cnf
UNSAT
366.227
366.333
1723249
APPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
UNSAT
387.454
387.563
1562719
APPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
UNSAT
391.734
391.865
1563187
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
412.412
412.516
1718285
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
422.376
422.522
1563343
APPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
UNSAT
442.082
442.292
1577563
APPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
UNSAT
470.337
470.486
1577459
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
517.821
518.061
1716309
goldb-heqc-i10mul.cnf
UNSAT
522.883
523.041
1723405
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
534.737
534.921
1716829
manol-pipe-f9n.cnf
UNSAT
546.189
546.409
1723925
manol-pipe-f9b.cnf
UNSAT
556.142
556.314
1719949
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
UNSAT
560.955
561.173
1577511
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
595.899
596.054
1716413
APPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
UNSAT
632.049
632.336
1553255
simon-s02b-dp11u10.cnf
UNSAT
777.577
777.776
1723821
APPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
UNSAT
809.763
810.054
1555439
industrial/fuhs/medium/
AProVE07-09.cnf
UNSAT
931.333
931.685
1716777
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
UNSAT
1004.9
1005.2
1717817
APPLICATIONS/diagnosis/
UTI-15-5p0.cnf
UNSAT
1011.56
1012.02
1579955
manol-pipe-c10nid_i.cnf
UNSAT
1145.99
1146.3
1720729
Solver found a solution (SATISFIABLE) (62 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
een-tip-sat-texas-tp-5e.cnf
SAT
0.12698
0.129165
1720885
APPLICATIONS/aprove09/
AProVE09-13.cnf
SAT
0.18797
0.188471
1560275
APPLICATIONS/aprove09/
AProVE09-22.cnf
SAT
0.282956
0.284267
1560431
APPLICATIONS/aprove09/
AProVE09-11.cnf
SAT
0.703892
0.702973
1560847
APPLICATIONS/aprove09/
AProVE09-12.cnf
SAT
0.807876
0.808157
1560327
APPLICATIONS/aprove09/
AProVE09-25.cnf
SAT
0.822874
0.824224
1560119
APPLICATIONS/aprove09/
AProVE09-03.cnf
SAT
1.11383
1.11581
1560639
APPLICATIONS/aprove09/
AProVE09-19.cnf
SAT
1.16782
1.16859
1560899
APPLICATIONS/aprove09/
AProVE09-01.cnf
SAT
1.36679
1.36627
1560379
APPLICATIONS/crypto/
desgen/gss-13-s100.cnf
SAT
2.35364
2.35475
1559183
APPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
SAT
3.00454
3.00657
1562823
APPLICATIONS/aprove09/
AProVE09-10.cnf
SAT
3.13152
3.13204
1560795
APPLICATIONS/aprove09/
AProVE09-21.cnf
SAT
3.36649
3.36739
1560067
APPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
SAT
3.89941
3.90111
1562979
APPLICATIONS/aprove09/
AProVE09-24.cnf
SAT
4.23635
4.2419
1559911
APPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
SAT
4.62829
4.63121
1563135
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
SAT
6.67798
6.67871
1722095
APPLICATIONS/aprove09/
AProVE09-05.cnf
SAT
6.84996
6.85255
1560015
APPLICATIONS/aprove09/
AProVE09-15.cnf
SAT
8.5577
8.56203
1560535
APPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
SAT
11.5352
11.5399
1562927
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
SAT
12.4531
12.4567
1562615
APPLICATIONS/aprove09/
AProVE09-17.cnf
SAT
13.5009
13.5043
1559703
APPLICATIONS/aprove09/
AProVE09-07.cnf
SAT
15.3227
15.3283
1560587
industrial/grieu/
vmpc_28.cnf
SAT
21.8647
21.8722
1718597
industrial/grieu/
vmpc_24.cnf
SAT
26.8729
26.8838
1718493
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
28.6087
28.6179
1558403
mizh-sha0-35-3.cnf
SAT
29.8745
29.8837
1720677
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
SAT
31.2153
31.2295
1721995
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
SAT
31.6992
31.717
1722445
APPLICATIONS/aprove09/
AProVE09-08.cnf
SAT
31.8462
31.8541
1560691
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_22_SAT.cnf
SAT
33.055
33.0667
1721295
APPLICATIONS/bioinfo/
q_query_3_l42_lambda.cnf
SAT
34.3428
34.3507
1562667
APPLICATIONS/bioinfo/
q_query_3_L60_coli.sat.cnf
SAT
40.1969
40.2154
1577667
APPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
SAT
41.7996
41.8135
1562875
schup-l2s-motst-2-k315.cnf
SAT
45.76
45.7899
1720001
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
48.5296
48.5442
1717401
APPLICATIONS/diagnosis/
UR-10-5p1.cnf
SAT
48.8056
48.8304
1579435
APPLICATIONS/aprove09/
AProVE09-20.cnf
SAT
58.6001
58.6234
1559755
industrial/grieu/
vmpc_25.cnf
SAT
87.7067
87.733
1718337
APPLICATIONS/crypto/
desgen/gss-15-s100.cnf
SAT
98.942
98.9822
1558455
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
105.312
105.395
1719325
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
121.961
121.997
1557779
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
SAT
125.974
126.036
1715893
APPLICATIONS/diagnosis/
UTI-15-5p1.cnf
SAT
131.477
131.541
1582711
simon-s03-w08-15.cnf
SAT
131.631
131.672
1719741
industrial/grieu/
vmpc_26.cnf
SAT
165.933
165.98
1718701
mizh-md5-47-3.cnf
SAT
185.618
185.68
1719481
mizh-sha0-36-3.cnf
SAT
223.026
223.09
1719793
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
SAT
247.484
247.612
1715945
mizh-md5-47-4.cnf
SAT
252.135
252.273
1720521
APPLICATIONS/crypto/
desgen/gss-17-s100.cnf
SAT
258.159
258.237
1557571
mizh-md5-48-5.cnf
SAT
260.465
260.552
1721093
velev-pipe-sat-1.0-b7.cnf
SAT
281.112
281.271
1723145
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
286.82
286.924
1577615
APPLICATIONS/c32sat/
post-c32s-gcdm16-22.cnf
SAT
301.059
301.209
1563655
mizh-sha0-36-4.cnf
SAT
342.219
342.366
1720209
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
388.523
388.68
1719377
APPLICATIONS/diagnosis/
UTI-15-10p1.cnf
SAT
461.67
464.406
1577875
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
SAT
474.075
474.215
1721695
industrial/grieu/
vmpc_33.cnf
SAT
863.151
863.373
1718441
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
SAT
866.699
866.997
1715789
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
SAT
1174.45
1174.85
1581879
Solver didn't decide (UNKNOWN) (1 run)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
?
2.40463
2.42289
1563395
Solver timed out (no solution given) (144 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/fuhs/hard/
AProVE07-27.cnf
? (TO)
1200.02
1200.41
1717089
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
? (TO)
1200.02
1200.42
1722995
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
? (TO)
1200.03
1200.41
1559599
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
? (TO)
1200.03
1200.52
1722145
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
1200.03
1200.32
1716673
aloul-chnl11-13.cnf
? (TO)
1200.03
1200.51
1720365
APPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
? (TO)
1200.03
1200.52
1556479
APPLICATIONS/crypto/
desgen/gss-31-s100.cnf
? (TO)
1200.03
1200.52
1557467
APPLICATIONS/crypto/
desgen/gss-34-s100.cnf
? (TO)
1200.03
1200.52
1558767
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
? (TO)
1200.04
1200.42
1721145
APPLICATIONS/crypto/
desgen/gss-20-s100.cnf
? (TO)
1200.05
1200.41
1558195
industrial/fuhs/hard/
AProVE07-08.cnf
? (TO)
1200.05
1200.31
1716933
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
? (TO)
1200.05
1199.93
1722945
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
? (TO)
1200.05
1200.53
1723095
APPLICATIONS/crypto/
desgen/gss-33-s100.cnf
? (TO)
1200.06
1200.52
1558819
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
1200.06
1200.53
1716465
APPLICATIONS/aprove09/
AProVE09-06.cnf
? (TO)
1200.06
1200.43
1559651
APPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
? (TO)
1200.06
1200.41
1556011
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
? (TO)
1200.06
1200.32
1553983
mizh-sha0-36-2.cnf
? (TO)
1200.06
1200.44
1723977
APPLICATIONS/crypto/
desgen/gss-23-s100.cnf
? (TO)
1200.06
1200.41
1558975
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
1200.06
1200.81
1554139
goldb-heqc-dalumul.cnf
? (TO)
1200.06
1200.42
1720417
APPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
? (TO)
1200.06
1207.15
1563291
APPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
? (TO)
1200.07
1206.12
1556531
APPLICATIONS/
c32sat/post-c32s-ss-8.cnf
? (TO)
1200.07
1200.52
1563551
simon-s02b-k2f-gr-rcs-w8.cnf
? (TO)
1200.07
1200.43
1724185
APPLICATIONS/diagnosis/
UR-15-10p1.cnf
? (TO)
1200.07
1200.45
1579799
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
1200.07
1200.46
1716621
industrial/grieu/
vmpc_29.cnf
? (TO)
1200.07
1200.42
1718545
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
? (TO)
1200.07
1200.44
1721495
APPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
? (TO)
1200.07
1200.52
1556687
APPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
? (TO)
1200.07
1200.67
1555127
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
1200.07
1200.41
1554659
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
? (TO)
1200.08
1200.64
1715581
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
1200.08
1200.41
1716985
goldb-heqc-term1mul.cnf
? (TO)
1200.08
1200.41
1723613
APPLICATIONS/crypto/
desgen/gss-32-s100.cnf
? (TO)
1200.08
1200.41
1557675
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (TO)
1200.08
1200.57
1582139
APPLICATIONS/diagnosis/
ACG-15-10p0.cnf
? (TO)
1200.08
1200.54
1578915
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
1200.08
1200.54
1718857
APPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
? (TO)
1200.08
1200.42
1556063
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
1200.08
1200.87
1716257
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
1200.08
1200.41
1718025
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
1200.08
1200.54
1716101
APPLICATIONS/bitverif/
mulhs/mulhs032.cnf
? (TO)
1200.08
1200.52
1554711
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
1200.09
1200.47
1716569
APPLICATIONS/crypto/
desgen/gss-28-s100.cnf
? (TO)
1200.09
1200.41
1559339
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
? (TO)
1200.09
1200.55
1722745
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (TO)
1200.09
1200.57
1715737
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
1200.09
1200.51
1559235
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
1200.09
1200.52
1556999
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
? (TO)
1200.09
1200.52
1722545
APPLICATIONS/crypto/
desgen/gss-26-s100.cnf
? (TO)
1200.09
1200.41
1558039
APPLICATIONS/crypto/
desgen/gss-25-s100.cnf
? (TO)
1200.09
1200.41
1559495
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
1200.09
1200.58
1719221
goldb-heqc-x1mul.cnf
? (TO)
1200.09
1200.52
1719429
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
1200.09
1200.43
1717037
APPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
? (TO)
1200.09
1200.41
1554399
APPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
? (TO)
1200.09
1200.43
1556115
APPLICATIONS/diagnosis/
ACG-15-10p1.cnf
? (TO)
1200.09
1200.54
1580319
goldb-heqc-frg1mul.cnf
? (TO)
1200.09
1200.41
1719637
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
1200.09
1200.44
1556323
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
1200.09
1200.42
1722395
APPLICATIONS/crypto/
desgen/gss-24-s100.cnf
? (TO)
1200.09
1200.41
1559287
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
? (TO)
1200.1
1200.42
1722595
APPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
? (TO)
1200.1
1200.42
1555231
industrial/narain/
clauses-8.cnf
? (TO)
1200.1
1200.58
1718753
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
? (TO)
1200.1
1200.42
1721245
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
1200.1
1199.95
1717349
APPLICATIONS/diagnosis/
ACG-20-5p1.cnf
? (TO)
1200.1
1200.64
1580735
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
1200.1
1200.49
1717245
APPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
? (TO)
1200.1
1200.42
1556583
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
1200.11
1200.44
1717297
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
1200.11
1200.45
1716517
industrial/grieu/
vmpc_30.cnf
? (TO)
1200.11
1200.43
1718389
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
1200.11
1200.51
1718181
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
1200.11
1200.51
1716881
schup-l2s-bc56s-1-k391.cnf
? (TO)
1200.11
1200.47
1719897
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
? (TO)
1200.11
1200.52
1721195
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
? (TO)
1200.11
1200.43
1721345
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
1200.11
1200.52
1721845
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
1200.11
1200.42
1722845
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
1200.11
1200.47
1715841
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
? (TO)
1200.11
1200.53
1722795
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
1200.11
1200.51
1557935
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
? (TO)
1200.11
1200.44
1580059
APPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
? (TO)
1200.11
1200.42
1556427
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
1200.11
1200.41
1718077
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
1200.11
1200.56
1553827
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
1200.11
1200.53
1717193
velev-pipe-o-uns-1.1-6.cnf
? (TO)
1200.12
1200.46
1723561
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
? (TO)
1200.12
1200.43
1721645
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
1200.12
1200.46
1582399
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
? (TO)
1200.12
1200.53
1581567
APPLICATIONS/bitverif/
smulo/smulo128.cnf
? (TO)
1200.12
1200.45
1554867
APPLICATIONS/diagnosis/
ACG-20-10p0.cnf
? (TO)
1200.12
1200.46
1579331
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
? (TO)
1200.12
1200.55
1563239
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
1200.12
1200.85
1715997
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
1200.12
1200.59
1718961
industrial/palacios/medium/
cube-11-h13-unsat.cnf
? (TO)
1200.12
1200.66
1717765
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
1200.12
1200.5
1719013
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
1200.12
1200.58
1719117
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
1200.12
1200.51
1557987
APPLICATIONS/diagnosis/
UR-15-10p0.cnf
? (TO)
1200.12
1200.54
1581983
velev-vliw-uns-4.0-9C1.cnf
? (TO)
1200.12
1200.67
1723769
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
? (TO)
1200.12
1200.43
1721945
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
? (TO)
1200.12
1200.64
1721795
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
? (TO)
1200.12
1200.52
1721745
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
? (TO)
1200.13
1200.53
1722345
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
1200.13
1200.48
1716153
APPLICATIONS/diagnosis/
UR-20-5p1.cnf
? (TO)
1200.13
1200.66
1580215
APPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
? (TO)
1200.13
1200.72
1577719
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
1200.13
1200.57
1719065
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
1200.13
1200.64
1716205
APPLICATIONS/
bitverif/minxor/minxor128.cnf
? (TO)
1200.13
1200.55
1553463
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
1200.13
1200.59
1719273
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
1200.13
1200.55
1555855
APPLICATIONS/diagnosis/
UTI-20-5p1.cnf
? (TO)
1200.13
1200.46
1581307
APPLICATIONS/diagnosis/
ACG-20-10p1.cnf
? (TO)
1200.13
1200.66
1580007
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
1200.13
1200.65
1717141
industrial/grieu/
vmpc_34.cnf
? (TO)
1200.13
1200.53
1718649
APPLICATIONS/diagnosis/
UR-20-5p0.cnf
? (TO)
1200.13
1200.65
1580111
APPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
? (TO)
1200.14
1200.65
1554503
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
1200.14
1200.66
1717713
manol-pipe-c10nidw.cnf
? (TO)
1200.14
1200.58
1720053
manol-pipe-f10ni.cnf
? (TO)
1200.14
1200.68
1724029
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
1200.14
1200.65
1556219
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
? (TO)
1200.14
1200.67
1581463
APPLICATIONS/diagnosis/
UCG-20-10p1.cnf
? (TO)
1200.14
1200.65
1581047
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
? (TO)
1200.15
1200.78
1563707
vange-col-abb313GPIA-9-c.cnf
? (TO)
1200.15
1200.56
1720313
velev-vliw-uns-4.0-9-i1.cnf
? (TO)
1200.15
1200.71
1719689
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
1200.15
1200.66
1719169
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
1200.15
1200.68
1716725
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
? (TO)
1200.16
1200.46
1721395
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
1200.16
1200.67
1716049
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
1200.16
1200.47
1718909
APPLICATIONS/diagnosis/
UTI-20-5p0.cnf
? (TO)
1200.16
1200.47
1578759
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
1200.17
1200.56
1716361
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
1200.17
1200.61
1553359
velev-pipe-uns-1.0-8.cnf
? (TO)
1200.18
1200.49
1724393
velev-pipe-o-uns-1.0-7.cnf
? (TO)
1200.18
1200.5
1723873
velev-pipe-sat-1.0-b10.cnf
? (TO)
1200.26
1200.88
1723301
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (44 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n2_i3_pp.cnf
UNSAT
0.000999
0.00509207
1736545
CRAFTED/parity-games/
instance_n2_i2_pp.cnf
UNSAT
0.001998
0.00499603
1736845
CRAFTED/parity-games/
instance_n3_i4_pp_ci_ce.cnf
UNSAT
0.011998
0.0131569
1736345
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
UNSAT
0.073988
0.0747119
1725504
CRAFTED/modcircuits/
owp_4vars_5gates.cnf
UNSAT
0.173973
0.174202
1733845
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
0.250961
0.251911
1725398
CRAFTED/parity-games/
instance_n4_i5_pp.cnf
UNSAT
0.350946
0.351635
1736995
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
UNSAT
0.526919
0.527477
1725451
CRAFTED/sgen/unsat/
sgen1-unsat-61-100.cnf
UNSAT
1.10183
1.10319
1731995
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
UNSAT
1.92371
1.92357
1730327
CRAFTED/parity-games/
instance_n5_i6_pp_ci_ce.cnf
UNSAT
2.6466
2.64776
1736445
CRAFTED/ramseycube/
Q32inK09.cnf
UNSAT
17.5443
17.5493
1733045
CRAFTED/sgen/unsat/
sgen1-unsat-73-100.cnf
UNSAT
18.4562
18.462
1732095
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
21.5307
21.5363
1725292
CRAFTED/ramseycube/
Q32inK10.cnf
UNSAT
32.3421
32.352
1732945
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
55.5506
55.5776
1725928
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
UNSAT
60.7348
60.7499
1726246
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
92.8859
92.9066
1725557
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
102.842
102.876
1727253
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
103.516
103.55
1731228
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
UNSAT
112.321
112.363
1726193
CRAFTED/parity-games/
instance_n6_i7_pp_ci_ce.cnf
UNSAT
138.853
138.903
1736595
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
UNSAT
138.903
138.955
1730062
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
UNSAT
169.393
169.448
1729903
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
181.059
181.124
1725769
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
181.191
181.237
1729797
CRAFTED/modcircuits/
mod3_4vars_6gates.cnf
UNSAT
192.997
193.044
1733645
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
207.133
207.18
1731493
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
UNSAT
209.909
209.981
1729956
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
212.998
213.101
1725822
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
230.525
230.588
1730009
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
UNSAT
256.362
256.452
1731387
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
256.707
256.775
1729850
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
UNSAT
262.424
262.507
1731599
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
UNSAT
276.406
276.495
1727200
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
UNSAT
440.344
440.447
1725875
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
504.412
504.558
1729744
CRAFTED/sgen/unsat/
sgen1-unsat-85-100.cnf
UNSAT
530.323
530.471
1731895
CRAFTED/ramseycube/
Q32inK11.cnf
UNSAT
590.802
591.048
1732795
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
UNSAT
714.136
714.686
1726405
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g4.cnf
UNSAT
839.728
840.029
1734645
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
UNSAT
1168.15
1168.51
1731281
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
UNSAT
1188.42
1188.73
1727624
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
UNSAT
1190.56
1191.01
1731652
Solver found a solution (SATISFIABLE) (80 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n3_i3_pp_ci_ce.cnf
SAT
0.009997
0.00999889
1736395
CRAFTED/parity-games/
instance_n3_i3_pp.cnf
SAT
0.011997
0.0123049
1737045
CRAFTED/sgi/
satsgi-n17himBHm20-p0-q146.cnf
SAT
0.026995
0.027072
1734195
CRAFTED/sgi/
satsgi-n18himBHm21-p0-q167.cnf
SAT
0.033993
0.03481
1734345
CRAFTED/sgi/
satsgi-n19himBHm22-p0-q181.cnf
SAT
0.038993
0.0394421
1734095
CRAFTED/parity-games/
instance_n4_i4_pp.cnf
SAT
0.043993
0.0437421
1736495
CRAFTED/ramseycube/
Q3inK08.cnf
SAT
0.051991
0.0523101
1732995
CRAFTED/parity-games/
instance_n4_i4_pp_ci_ce.cnf
SAT
0.05599
0.0563331
1736745
CRAFTED/sgi/
satsgi-n22himBHm24-p0-q209.cnf
SAT
0.068988
0.0746539
1734145
CRAFTED/sgi/
satsgi-n22himBHm25-p0-q229.cnf
SAT
0.073987
0.0749001
1734445
CRAFTED/sgi/
satsgi-n23himBHm25-p0-q219.cnf
SAT
0.078987
0.0789351
1734395
CRAFTED/sgi/
satsgi-n23himBHm26-p0-q248.cnf
SAT
0.085986
0.086267
1734295
CRAFTED/sgi/
satsgi-n23himBHm27-p0-q251.cnf
SAT
0.100983
0.101388
1734545
CRAFTED/sgi/
sgi-difficult4.cnf
SAT
0.107982
0.109653
1736145
CRAFTED/sgi/
satsgi-n25himBHm27-p0-q251.cnf
SAT
0.111982
0.112105
1734245
CRAFTED/sgi/
satsgi-n25himBHm29-p0-q290.cnf
SAT
0.131979
0.132419
1734595
CRAFTED/sgi/
satsgi-n28himBHm30-p0-q333.cnf
SAT
0.196969
0.197197
1734495
CRAFTED/sgi/
sgi-difficult7.cnf
SAT
0.280957
0.280585
1736195
CRAFTED/parity-games/
instance_n5_i5_pp.cnf
SAT
0.341947
0.34208
1736645
CRAFTED/modcircuits/
mod5block_1var_7gates.cnf
SAT
1.35079
1.35277
1733245
CRAFTED/parity-games/
instance_n6_i6_pp_ci_ce.cnf
SAT
1.59076
1.59239
1737095
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
SAT
1.78573
1.7889
1730168
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
2.75258
2.75416
1725610
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
2.83457
2.83747
1725345
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
3.14352
3.14495
1725716
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
4.35334
4.3532
1725663
CRAFTED/parity-games/
instance_n6_i7_pp.cnf
SAT
5.9361
5.93951
1736295
CRAFTED/ramseycube/
Q3inK09.cnf
SAT
6.06008
6.06215
1732645
CRAFTED/parity-games/
instance_n6_i6_pp.cnf
SAT
6.06908
6.07067
1736895
CRAFTED/modcircuits/
mod3block_3vars_9gates_restr.cnf
SAT
6.08807
6.15481
1733995
CRAFTED/
edgematching/all/em_7_4_9_all.cnf
SAT
6.72398
6.72751
1562095
CRAFTED/edgematching/
all/em_12_2_4_all.cnf
SAT
7.67983
7.68163
1561887
CRAFTED/parity-games/
instance_n5_i6_pp.cnf
SAT
8.20675
8.20926
1736795
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes4.cnf
SAT
8.5587
8.56207
1735095
CRAFTED/
edgematching/all/em_7_3_6_all.cnf
SAT
11.1793
11.183
1561991
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
SAT
13.174
13.1787
1728154
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
13.278
13.2814
1726034
CRAFTED/parity-games/
instance_n7_i7_pp.cnf
SAT
15.1867
15.1922
1736945
CRAFTED/edgematching/
all/em_14_7_3_all.cnf
SAT
16.1815
16.189
1561939
CRAFTED/sgi/
new-difficult-20-152-18-95.cnf
SAT
18.6722
18.6792
1738093
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g8.cnf
SAT
19.2601
19.267
1734745
CRAFTED/parity-games/
instance_n7_i8_pp.cnf
SAT
21.2818
21.2907
1737195
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
24.8932
24.9001
1726140
CRAFTED/edgematching/
all/em_11_3_4_all.cnf
SAT
25.4091
25.4184
1562043
CRAFTED/edgematching/
explicit/em_7_4_9_exp.cnf
SAT
32.2401
32.2517
1561523
CRAFTED/edgematching/
fbcolors/em_7_4_9_fbc.cnf
SAT
36.2515
36.2626
1562407
CRAFTED/rbsat/random/
forced/rbsat-v760c43649gyes10.cnf
SAT
37.0334
37.0459
1735195
CRAFTED/sgen/sat/
sgen1-sat-140-100.cnf
SAT
38.6311
38.6424
1732345
CRAFTED/edgematching/
explicit/em_11_3_4_exp.cnf
SAT
41.7367
41.7497
1561367
CRAFTED/edgematching/
explicit/em_7_3_6_exp.cnf
SAT
43.5894
43.6027
1561731
CRAFTED/edgematching/
compact/em_7_4_9_cmp.cnf
SAT
44.4342
44.4502
1560951
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
44.9092
44.9237
1726087
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
SAT
46.9599
46.9743
1728419
CRAFTED/sgen/sat/
sgen1-sat-200-100.cnf
SAT
53.7708
53.7924
1732595
CRAFTED/parity-games/
instance_n7_i7_pp_ci_ce.cnf
SAT
53.8028
53.8179
1736695
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
SAT
66.9688
66.9924
1731122
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
71.0392
71.0562
1561783
CRAFTED/edgematching/
explicit/em_8_4_5_exp.cnf
SAT
85.645
85.6763
1561679
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
SAT
103.927
103.959
1725981
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
134.108
134.148
1732845
CRAFTED/edgematching/
explicit/em_12_2_4_exp.cnf
SAT
135.441
135.499
1561471
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g10.cnf
SAT
169.172
169.219
1734945
CRAFTED/edgematching/
explicit/em_7_4_8_exp.cnf
SAT
188.747
188.809
1561627
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes6.cnf
SAT
210.494
210.57
1735295
CRAFTED/sgen/sat/
sgen1-sat-160-100.cnf
SAT
216.47
216.554
1732445
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g1.cnf
SAT
258.671
258.748
1735045
CRAFTED/sgi/
new-difficult-22-173-20-80.cnf
SAT
266.615
266.68
1738252
CRAFTED/
edgematching/all/em_7_4_8_all.cnf
SAT
270.867
270.943
1562147
CRAFTED/sgen/sat/
sgen1-sat-180-100.cnf
SAT
341.814
341.913
1732295
CRAFTED/edgematching/
fbcolors/em_7_3_6_fbc.cnf
SAT
374.981
375.079
1562355
CRAFTED/edgematching/
explicit/em_9_3_5_exp.cnf
SAT
496.142
496.319
1561419
CRAFTED/modcircuits/
mod4block_2vars_10gates_u2_autoenc.cnf
SAT
532.267
532.434
1733595
CRAFTED/sgi/
new-difficult-24-193-22-70.cnf
SAT
622.147
622.348
1738040
CRAFTED/parity-games/
instance_n8_i8_pp.cnf
SAT
641.964
642.145
1737775
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
SAT
745.577
745.796
1728101
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
SAT
787.099
787.47
1737987
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
SAT
928.494
928.958
1726299
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes1.cnf
SAT
986.627
986.898
1735245
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes9.cnf
SAT
1049.92
1050.26
1735395
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
SAT
1137.99
1138.27
1562199
Solver timed out (no solution given) (157 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
? (TO)
1200.01
1200.31
1731069
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
? (TO)
1200.01
1200.31
1730857
CRAFTED/sgen/sat/
sgen1-sat-230-100.cnf
? (TO)
1200.01
1200.31
1737457
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
? (TO)
1200.02
1200.31
1729161
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
1200.02
1200.41
1729214
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
1200.02
1200.41
1729002
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
1200.02
1200.41
1729373
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes1.cnf
? (TO)
1200.02
1200.32
1735995
CRAFTED/sgen/unsat/
sgen1-unsat-127-100.cnf
? (TO)
1200.02
1200.51
1737245
CRAFTED/edgematching/
fbcolors/em_7_4_8_fbc.cnf
? (TO)
1200.03
1200.31
1562459
CRAFTED/parity-games/
instance_n7_i8_pp_ci_ce.cnf
? (TO)
1200.04
1200.43
1736245
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
1200.04
1200.61
1728048
CRAFTED/rbsat/random/unforced/
rbsat-v1820c171155g3.cnf
? (TO)
1200.04
1200.53
1734795
CRAFTED/edgematching/
compact/em_8_4_5_cmp.cnf
? (TO)
1200.05
1200.52
1561315
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1729108
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1728313
CRAFTED/sgen/sat/
sgen1-sat-300-100.cnf
? (TO)
1200.05
1200.31
1732495
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1728737
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
1200.05
1200.61
1726458
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
1200.05
1200.41
1733345
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1729585
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1728472
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
1200.05
1200.51
1726564
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1731016
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
1200.05
1200.51
1731546
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
? (TO)
1200.05
1200.41
1733895
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1731175
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
1200.06
1199.91
1728207
CRAFTED/edgematching/
compact/em_7_4_8_cmp.cnf
? (TO)
1200.06
1200.51
1561263
CRAFTED/sgen/unsat/
sgen1-unsat-151-100.cnf
? (TO)
1200.06
1200.41
1737616
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1728949
CRAFTED/sgen/unsat/
sgen1-unsat-109-100.cnf
? (TO)
1200.06
1200.41
1731795
CRAFTED/sgen/unsat/
sgen1-unsat-133-100.cnf
? (TO)
1200.06
1200.41
1731945
CRAFTED/sgen/sat/
sgen1-sat-290-100.cnf
? (TO)
1200.06
1200.41
1737351
CRAFTED/sgen/sat/
sgen1-sat-220-100.cnf
? (TO)
1200.06
1200.41
1732395
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1727041
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
1200.06
1200.51
1729426
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes8.cnf
? (TO)
1200.06
1200.42
1735895
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
? (TO)
1200.06
1200.41
1738305
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2.cnf
? (TO)
1200.06
1200.43
1733145
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1727942
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1730486
CRAFTED/sgen/unsat/
sgen1-unsat-145-100.cnf
? (TO)
1200.07
1200.41
1732045
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1726723
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
1200.07
1200.42
1726988
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes1.cnf
? (TO)
1200.07
1200.42
1736095
CRAFTED/rbsat/crafted/
forced/rbsat-v1820c171155gyes6.cnf
? (TO)
1200.07
1200.43
1735795
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes2.cnf
? (TO)
1200.07
1200.42
1735745
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
1200.07
1200.46
1727571
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes2.cnf
? (TO)
1200.07
1200.42
1735845
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes4.cnf
? (TO)
1200.07
1200.42
1735145
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
1200.07
1200.42
1727995
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g10.cnf
? (TO)
1200.07
1200.42
1734895
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
1200.07
1200.42
1734045
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1728790
CRAFTED/modcircuits/
mod5block_2vars_12gates.cnf
? (TO)
1200.07
1200.42
1733395
CRAFTED/sgen/sat/
sgen1-sat-240-100.cnf
? (TO)
1200.07
1200.41
1732545
CRAFTED/sgen/sat/
sgen1-sat-250-100.cnf
? (TO)
1200.07
1200.41
1737404
CRAFTED/sgen/unsat/
sgen1-unsat-103-100.cnf
? (TO)
1200.08
1200.41
1737669
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
1200.08
1200.44
1727412
CRAFTED/sgen/unsat/
sgen1-unsat-115-100.cnf
? (TO)
1200.08
1200.41
1737298
CRAFTED/modcircuits/
mod3block_2vars_9gates_u2_autoenc.cnf
? (TO)
1200.08
1200.41
1733795
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes9.cnf
? (TO)
1200.08
1200.63
1736045
CRAFTED/parity-games/
instance_n9_i9_pp_ci_ce.cnf
? (TO)
1200.08
1200.36
1737881
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
1200.08
1200.42
1726776
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1730592
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1729479
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1726670
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2.cnf
? (TO)
1200.08
1200.41
1733195
CRAFTED/sgen/unsat/
sgen1-unsat-121-100.cnf
? (TO)
1200.08
1200.41
1732145
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
? (TO)
1200.08
1200.42
1561003
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
1200.08
1200.51
1730910
CRAFTED/sgen/sat/
sgen1-sat-260-100.cnf
? (TO)
1200.08
1200.41
1732195
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1728896
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
1200.08
1200.42
1728578
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1727783
CRAFTED/sgi/
new-difficult-28-302-26-75.cnf
? (TO)
1200.09
1200.51
1738358
CRAFTED/edgematching/
fbcolors/em_12_2_4_fbc.cnf
? (TO)
1200.09
1200.38
1562511
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
1200.09
1200.51
1726511
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1726617
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
1200.09
1200.51
1726829
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1727730
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
? (TO)
1200.09
1200.51
1727677
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
1200.09
1200.47
1728260
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1728843
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1729055
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1729638
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1730380
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
1200.09
1200.35
1730115
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1730433
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1730539
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1730698
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1730963
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1731440
CRAFTED/ramseycube/
Q3inK12.cnf
? (TO)
1200.09
1200.42
1732895
CRAFTED/modcircuits/
mod4block_2vars_11gates_u2_autoenc.cnf
? (TO)
1200.09
1200.42
1733545
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2.cnf
? (TO)
1200.09
1200.43
1733695
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g2.cnf
? (TO)
1200.09
1200.45
1734845
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
1200.09
1200.42
1735495
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
1200.09
1200.44
1735445
CRAFTED/sgi/
new-difficult-21-168-19-90.cnf
? (TO)
1200.09
1200.41
1738146
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
1200.1
1200.66
1727518
CRAFTED/modcircuits/
mod3block_2vars_10gates_u2_autoenc.cnf
? (TO)
1200.1
1200.42
1733445
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
1200.1
1200.41
1727889
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
1200.1
1200.41
1730804
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
? (TO)
1200.1
1200.61
1727836
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g5.cnf
? (TO)
1200.1
1200.55
1735645
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
? (TO)
1200.1
1200.41
1731334
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
1200.1
1200.43
1729320
CRAFTED/rbsat/crafted/unforced/
rbsat-v2640c305320g4.cnf
? (TO)
1200.1
1200.46
1735545
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2_restricted.cnf
? (TO)
1200.1
1200.51
1733295
CRAFTED/parity-games/
instance_n8_i9_pp_ci_ce.cnf
? (TO)
1200.1
1200.44
1737934
CRAFTED/sgen/unsat/
sgen1-unsat-97-100.cnf
? (TO)
1200.1
1200.51
1731845
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
? (TO)
1200.1
1200.41
1729267
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2_autoenc.cnf
? (TO)
1200.1
1200.42
1733945
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2_restricted.cnf
? (TO)
1200.1
1200.41
1733745
CRAFTED/edgematching/
fbcolors/em_9_3_5_fbc.cnf
? (TO)
1200.1
1200.44
1562251
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g6.cnf
? (TO)
1200.1
1200.45
1734695
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
1200.1
1200.56
1561055
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
1200.1
1200.41
1727094
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
1200.1
1200.44
1727306
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
? (TO)
1200.11
1200.41
1725239
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
1200.11
1200.41
1729532
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
? (TO)
1200.11
1200.51
1729691
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2_autoenc.cnf
? (TO)
1200.11
1200.51
1733495
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
? (TO)
1200.11
1200.44
1737722
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
1200.11
1200.67
1728366
CRAFTED/sgi/
new-difficult-26-243-24-70.cnf
? (TO)
1200.11
1200.42
1738199
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g4.cnf
? (TO)
1200.11
1200.43
1735595
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g2.cnf
? (TO)
1200.11
1200.53
1735695
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
1200.11
1200.51
1727147
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes8.cnf
? (TO)
1200.11
1200.45
1735945
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
1200.11
1200.41
1726882
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
1200.11
1201.01
1726352
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
1200.11
1200.44
1730274
CRAFTED/sgen/unsat/
sgen1-unsat-139-100.cnf
? (TO)
1200.11
1200.51
1737510
CRAFTED/sgen/sat/
sgen1-sat-280-100.cnf
? (TO)
1200.11
1200.51
1732245
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
1200.11
1200.43
1730751
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
1200.12
1200.42
1728631
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
1200.12
1200.57
1730221
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
1200.12
1200.65
1726935
CRAFTED/edgematching/
compact/em_9_3_5_cmp.cnf
? (TO)
1200.12
1200.52
1561107
CRAFTED/ramseycube/
Q3inK13.cnf
? (TO)
1200.12
1200.45
1732745
CRAFTED/sgen/sat/
sgen1-sat-270-100.cnf
? (TO)
1200.12
1200.41
1737563
CRAFTED/parity-games/
instance_n8_i9_pp.cnf
? (TO)
1200.12
1200.15
1737828
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes3.cnf
? (TO)
1200.12
1200.42
1735345
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g2.cnf
? (TO)
1200.12
1200.52
1734995
CRAFTED/ramseycube/
Q3inK11.cnf
? (TO)
1200.12
1200.51
1733095
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
1200.13
1200.54
1727359
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
1200.13
1200.56
1728525
CRAFTED/edgematching/
fbcolors/em_11_3_4_fbc.cnf
? (TO)
1200.14
1200.48
1562563
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
1200.14
1206.14
1561159
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
1200.15
1200.56
1728684
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
1200.15
1200.66
1727465
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
? (TO)
1200.15
1200.98
1730645
CRAFTED/edgematching/
fbcolors/em_14_7_3_fbc.cnf
? (TO)
1200.19
1200.48
1562303
CRAFTED/edgematching/
compact/em_14_7_3_cmp.cnf
? (TO)
1200.22
1200.55
1561211
Category "random instances" (RANDOM)
Solver proved unsatisfiability (UNSATISFIABLE) (11 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1369720750-015.cnf
UNSAT
317.553
317.662
1517901
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1028159446-096.cnf
UNSAT
349.216
349.556
1517925
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S680239195-053.cnf
UNSAT
377.789
378.492
1517949
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S253750560-086.cnf
UNSAT
451.507
451.772
1517961
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S23373420-028.cnf
UNSAT
463.008
463.178
1517985
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S2043187304-036.cnf
UNSAT
500.685
500.88
1517853
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S305156909-031.cnf
UNSAT
537.637
537.766
1517997
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S404185236-001.cnf
UNSAT
557.047
557.506
1517937
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1906521511-089.cnf
UNSAT
584.884
585.025
1517973
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S367138237-029.cnf
UNSAT
923.066
923.793
1517913
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S2025517367-061.cnf
UNSAT
1055.1
1055.93
1517889
Solver found a solution (SATISFIABLE) (50 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S2032263657-035.cnf
SAT
20.1839
20.1932
1519257
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1516934767-080.cnf
SAT
20.7438
20.7521
1519125
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S824721511-001.cnf
SAT
23.1995
23.2071
1515381
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1826927554-087.cnf
SAT
29.5565
29.5655
1519209
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1645769281-097.cnf
SAT
33.105
33.116
1516485
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1711406314-093.cnf
SAT
34.2558
34.2651
1519317
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1459690542-033.cnf
SAT
37.0954
37.111
1519233
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S311671104-045.cnf
SAT
58.4671
58.4832
1518297
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1041106011-094.cnf
SAT
74.5717
74.5996
1519161
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1912687159-077.cnf
SAT
91.5541
91.5765
1519173
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1036996799-006.cnf
SAT
101.467
101.501
1519113
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1985172968-100.cnf
SAT
102.971
102.998
1519101
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1159550149-077.cnf
SAT
106.397
106.429
1515453
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S144043535-002.cnf
SAT
113.115
113.145
1519305
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S47926000-049.cnf
SAT
114.67
114.699
1515477
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S368632549-051.cnf
SAT
124.859
124.893
1519293
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1326039470-063.cnf
SAT
198.226
199.375
1518597
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1733990810-090.cnf
SAT
198.359
198.411
1518993
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1146593655-045.cnf
SAT
209.142
209.22
1516461
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1880984131-087.cnf
SAT
211.794
211.856
1518345
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1684547485-073.cnf
SAT
239.889
239.992
1519221
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S852794659-023.cnf
SAT
261.377
261.444
1515429
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2139292994-055.cnf
SAT
264.876
264.951
1515393
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S722433227-030.cnf
SAT
315.598
315.685
1519281
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S208461254-049.cnf
SAT
340.384
340.492
1518717
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2067258640-036.cnf
SAT
448.391
448.55
1518969
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1293537826-039.cnf
SAT
461.924
462.077
1519269
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S486002104-037.cnf
SAT
465.961
466.122
1519137
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1674394075-027.cnf
SAT
485.115
485.239
1519089
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S957997002-040.cnf
SAT
486.268
486.396
1518861
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S326477539-068.cnf
SAT
529.234
529.455
1519149
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1624574519-076.cnf
SAT
529.997
530.14
1518321
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1804335510-002.cnf
SAT
553.119
553.323
1519197
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S321371087-018.cnf
SAT
591.501
591.718
1518981
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1841979702-078.cnf
SAT
687.841
688.026
1519185
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1362286908-061.cnf
SAT
691.093
691.384
1518261
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2007547542-039.cnf
SAT
779.473
779.718
1515441
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S725789261-031.cnf
SAT
800.009
800.277
1518705
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1568932519-011.cnf
SAT
809.423
809.631
1515405
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1040456712-073.cnf
SAT
819.115
819.418
1515465
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S326668183-079.cnf
SAT
821.479
821.75
1516317
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1002348653-090.cnf
SAT
838.134
838.394
1518885
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1481888618-011.cnf
SAT
856.438
856.707
1515297
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1014608490-038.cnf
SAT
901.425
901.726
1518333
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1448866403-060.cnf
SAT
909.499
909.738
1519245
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S981523907-072.cnf
SAT
919.139
919.388
1518501
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S180439591-093.cnf
SAT
990.566
990.938
1518285
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S400088537-049.cnf
SAT
1027.39
1027.75
1516497
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S178043354-076.cnf
SAT
1084.77
1085.12
1516221
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1931398869-036.cnf
SAT
1138.72
1139.02
1515417
Solver timed out (no solution given) (509 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S108799362-035.cnf
? (TO)
1200.01
1200.31
1515765
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1606932551-072.cnf
? (TO)
1200.01
1200.31
1517433
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1039370030-037.cnf
? (TO)
1200.01
1200.41
1517205
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1017667294-044.cnf
? (TO)
1200.01
1200.31
1513569
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S554804223-012.cnf
? (TO)
1200.01
1200.41
1518921
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1961115887-052.cnf
? (TO)
1200.01
1200.41
1513089
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S928666993-098.cnf
? (TO)
1200.01
1210.61
1517805
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1494961823-060.cnf
? (TO)
1200.01
1200.41
1518009
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S136987316-008.cnf
? (TO)
1200.02
1200.41
1513713
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S746386799-050.cnf
? (TO)
1200.02
1200.31
1516281
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S834811574-084.cnf
? (TO)
1200.02
1200.31
1516365
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S449511205-064.cnf
? (TO)
1200.02
1200.41
1518729
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1614425450-034.cnf
? (TO)
1200.02
1200.31
1519053
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S907861678-077.cnf
? (TO)
1200.02
1200.41
1513425
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1949086545-083.cnf
? (TO)
1200.02
1200.41
1518477
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf
? (TO)
1200.02
1200.41
1514049
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S517464300-073.cnf
? (TO)
1200.02
1200.31
1517061
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S2104277852-078.cnf
? (TO)
1200.02
1200.31
1517217
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf
? (TO)
1200.02
1200.41
1514109
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1035441377-058.cnf
? (TO)
1200.02
1200.41
1517373
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S799705985-049.cnf
? (TO)
1200.02
1200.41
1516773
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1610649331-094.cnf
? (TO)
1200.02
1200.31
1516053
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2125310989-062.cnf
? (TO)
1200.02
1200.31
1515909
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S197260469-019.cnf
? (TO)
1200.02
1200.31
1515837
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S193214747-044.cnf
? (TO)
1200.02
1200.41
1513161
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1503318847-091.cnf
? (TO)
1200.02
1200.31
1515633
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1249441590-066.cnf
? (TO)
1200.02
1200.41
1517733
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S190880026-038.cnf
? (TO)
1200.02
1200.41
1517757
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S149116968-021.cnf
? (TO)
1200.02
1200.31
1516833
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S729526068-046.cnf
? (TO)
1200.02
1200.31
1517661
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S419666888-007.cnf
? (TO)
1200.02
1200.31
1518525
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1771223975-021.cnf
? (TO)
1200.02
1200.51
1515357
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2056912842-027.cnf
? (TO)
1200.02
1200.41
1518105
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1161147107-031.cnf
? (TO)
1200.02
1200.31
1518201
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1350958473-082.cnf
? (TO)
1200.02
1200.41
1517361
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1127319144-058.cnf
? (TO)
1200.02
1207.11
1513197
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S914952752-019.cnf
? (TO)
1200.02
1200.41
1514817
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1718226278-096.cnf
? (TO)
1200.02
1200.41
1516353
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1394630553-009.cnf
? (TO)
1200.02
1200.41
1516149
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S315403000-060.cnf
? (TO)
1200.02
1200.41
1512693
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2083487609-068.cnf
? (TO)
1200.02
1200.41
1514877
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1139247531-051.cnf
? (TO)
1200.02
1200.41
1518309
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1457384322-029.cnf
? (TO)
1200.02
1200.31
1517517
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1137823545-077.cnf
? (TO)
1200.02
1200.31
1518741
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1766907733-036.cnf
? (TO)
1200.02
1200.31
1513125
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S617358728-082.cnf
? (TO)
1200.03
1200.41
1519005
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1185462553-011.cnf
? (TO)
1200.03
1200.41
1512717
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S805234188-084.cnf
? (TO)
1200.03
1200.51
1512801
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S882603971-022.cnf
? (TO)
1200.03
1200.41
1512789
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1338462531-082.cnf
? (TO)
1200.03
1200.41
1518897
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S144924920-056.cnf
? (TO)
1200.03
1200.41
1512837
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1640054673-078.cnf
? (TO)
1200.03
1200.41
1516581
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S72273909-010.cnf
? (TO)
1200.03
1200.41
1516617
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S457856978-061.cnf
? (TO)
1200.03
1200.41
1517553
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1551099861-042.cnf
? (TO)
1200.03
1200.61
1516041
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S400162545-095.cnf
? (TO)
1200.03
1200.41
1516089
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1796956909-029.cnf
? (TO)
1200.03
1200.41
1516017
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1900558626-069.cnf
? (TO)
1200.03
1200.41
1515945
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2141146009-040.cnf
? (TO)
1200.03
1200.41
1515873
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1963731659-060.cnf
? (TO)
1200.03
1200.41
1515645
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1920888253-090.cnf
? (TO)
1200.03
1200.41
1515549
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S975048338-088.cnf
? (TO)
1200.03
1200.41
1517133
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S999404609-010.cnf
? (TO)
1200.03
1200.81
1517793
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S56507352-034.cnf
? (TO)
1200.03
1200.62
1514673
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S786890012-057.cnf
? (TO)
1200.03
1200.41
1518429
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S787972994-025.cnf
? (TO)
1200.03
1206.01
1518657
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1639151107-094.cnf
? (TO)
1200.03
1200.41
1516209
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1718100253-004.cnf
? (TO)
1200.03
1200.41
1516161
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf
? (TO)
1200.03
1200.62
1514205
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1924575376-025.cnf
? (TO)
1200.03
1200.41
1518945
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S566590366-099.cnf
? (TO)
1200.03
1200.41
1513545
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1352224201-070.cnf
? (TO)
1200.03
1200.41
1513365
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S572248576-042.cnf
? (TO)
1200.03
1200.51
1516953
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S658989873-070.cnf
? (TO)
1200.03
1200.41
1518093
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1136894336-075.cnf
? (TO)
1200.03
1200.41
1513269
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S814638510-058.cnf
? (TO)
1200.03
1200.61
1513629
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S115851319-100.cnf
? (TO)
1200.03
1200.41
1512741
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1778559297-006.cnf
? (TO)
1200.04
1200.41
1518357
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S155821307-034.cnf
? (TO)
1200.04
1200.41
1512825
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1746008863-010.cnf
? (TO)
1200.04
1206.01
1517709
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S845966893-046.cnf
? (TO)
1200.04
1200.31
1514949
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1849057034-020.cnf
? (TO)
1200.04
1200.51
1513521
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2065372010-022.cnf
? (TO)
1200.04
1200.41
1515801
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1048138627-064.cnf
? (TO)
1200.04
1200.41
1516857
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S2060380282-019.cnf
? (TO)
1200.04
1200.41
1516557
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1879859331-044.cnf
? (TO)
1200.04
1205.91
1518381
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1441840675-053.cnf
? (TO)
1200.04
1200.51
1512813
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1826325374-100.cnf
? (TO)
1200.04
1200.41
1516713
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf
? (TO)
1200.04
1200.41
1513965
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1388268034-092.cnf
? (TO)
1200.04
1200.51
1512777
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S688804305-073.cnf
? (TO)
1200.04
1200.41
1513989
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf
? (TO)
1200.04
1200.41
1514469
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S221596758-009.cnf
? (TO)
1200.04
1200.41
1514697
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1723021362-073.cnf
? (TO)
1200.05
1200.51
1516437
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S638051453-097.cnf
? (TO)
1200.05
1200.41
1517469
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1377066099-004.cnf
? (TO)
1200.05
1200.41
1517685
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1700363952-014.cnf
? (TO)
1200.05
1200.41
1517817
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1694258328-099.cnf
? (TO)
1200.05
1200.41
1517781
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1258122549-031.cnf
? (TO)
1200.05
1200.51
1518057
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S179568577-034.cnf
? (TO)
1200.05
1200.41
1517085
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1375576340-029.cnf
? (TO)
1200.05
1200.31
1517241
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S502087726-095.cnf
? (TO)
1200.05
1200.91
1517877
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S353643296-086.cnf
? (TO)
1200.05
1200.41
1518117
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S247943532-069.cnf
? (TO)
1200.05
1200.41
1518129
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S285713182-059.cnf
? (TO)
1200.05
1200.41
1513533
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S661850551-087.cnf
? (TO)
1200.05
1200.71
1512921
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1313163883-027.cnf
? (TO)
1200.05
1200.41
1513077
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S2051339669-029.cnf
? (TO)
1200.05
1200.51
1513173
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1864638535-048.cnf
? (TO)
1200.05
1200.41
1518609
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S612955126-075.cnf
? (TO)
1200.05
1200.41
1514301
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf
? (TO)
1200.05
1200.42
1514601
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S84716411-095.cnf
? (TO)
1200.05
1200.31
1518813
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S595075179-058.cnf
? (TO)
1200.05
1200.41
1514145
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S712437980-063.cnf
? (TO)
1200.05
1200.51
1514937
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1050568800-025.cnf
? (TO)
1200.05
1200.51
1515069
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S357555833-073.cnf
? (TO)
1200.05
1200.41
1515621
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2099753268-053.cnf
? (TO)
1200.05
1200.41
1515777
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1666821205-020.cnf
? (TO)
1200.05
1200.41
1518669
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S528193823-041.cnf
? (TO)
1200.05
1200.51
1515741
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1818347447-078.cnf
? (TO)
1200.05
1200.41
1515993
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1525918493-008.cnf
? (TO)
1200.05
1200.51
1516113
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2058039218-006.cnf
? (TO)
1200.05
1200.41
1516185
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S889538696-070.cnf
? (TO)
1200.05
1200.41
1518393
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S754967851-033.cnf
? (TO)
1200.05
1200.41
1516329
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S342542912-045.cnf
? (TO)
1200.05
1200.41
1516629
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1723900160-044.cnf
? (TO)
1200.05
1200.51
1515225
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S900957093-043.cnf
? (TO)
1200.05
1200.41
1516785
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1528563858-100.cnf
? (TO)
1200.05
1200.41
1518873
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S398733532-072.cnf
? (TO)
1200.06
1200.41
1515249
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1192890414-033.cnf
? (TO)
1200.06
1200.51
1513065
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1331382449-070.cnf
? (TO)
1200.06
1200.41
1514997
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1854680784-082.cnf
? (TO)
1200.06
1200.51
1516929
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf
? (TO)
1200.06
1200.41
1514325
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1912214877-051.cnf
? (TO)
1200.06
1200.71
1512765
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S906020180-093.cnf
? (TO)
1200.06
1199.91
1514385
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf
? (TO)
1200.06
1200.41
1514529
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S596342014-039.cnf
? (TO)
1200.06
1200.41
1516989
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1735544520-075.cnf
? (TO)
1200.06
1200.41
1516797
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1045096471-025.cnf
? (TO)
1200.06
1200.41
1518081
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S602463346-055.cnf
? (TO)
1200.06
1200.51
1518069
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S374947955-075.cnf
? (TO)
1200.06
1200.41
1517073
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1971658345-089.cnf
? (TO)
1200.06
1200.51
1514793
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf
? (TO)
1200.06
1207.02
1514421
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S121765931-081.cnf
? (TO)
1200.06
1200.51
1516965
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S621134782-041.cnf
? (TO)
1200.06
1200.41
1518189
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf
? (TO)
1200.06
1200.51
1514361
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf
? (TO)
1200.06
1200.41
1514553
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S339800239-026.cnf
? (TO)
1200.06
1200.52
1514505
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1573578038-005.cnf
? (TO)
1200.06
1200.41
1512849
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S162003179-087.cnf
? (TO)
1200.06
1200.52
1514409
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf
? (TO)
1200.06
1200.51
1514517
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf
? (TO)
1200.06
1200.41
1514457
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1797123396-073.cnf
? (TO)
1200.06
1200.41
1512669
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S45173584-020.cnf
? (TO)
1200.06
1200.51
1512573
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1775841359-070.cnf
? (TO)
1200.06
1200.51
1517397
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1864473452-037.cnf
? (TO)
1200.06
1200.51
1513497
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1549575664-035.cnf
? (TO)
1200.06
1200.51
1513101
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S74035269-088.cnf
? (TO)
1200.06
1200.61
1513605
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S645163129-012.cnf
? (TO)
1200.06
1200.51
1516725
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1602291491-023.cnf
? (TO)
1200.06
1200.41
1516821
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1154116462-097.cnf
? (TO)
1200.06
1200.51
1517121
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1992353905-004.cnf
? (TO)
1200.06
1200.41
1513329
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1420449214-092.cnf
? (TO)
1200.06
1200.51
1515081
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1588298513-036.cnf
? (TO)
1200.06
1199.91
1513245
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S839983432-073.cnf
? (TO)
1200.06
1200.41
1516593
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1628763900-004.cnf
? (TO)
1200.06
1200.51
1517577
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S709270457-007.cnf
? (TO)
1200.06
1200.41
1516545
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1353993612-015.cnf
? (TO)
1200.06
1200.51
1517349
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1484713995-092.cnf
? (TO)
1200.06
1200.41
1516425
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S284173264-081.cnf
? (TO)
1200.06
1200.41
1516413
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S2061874746-039.cnf
? (TO)
1200.06
1199.91
1517097
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1750991629-037.cnf
? (TO)
1200.06
1200.51
1517157
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1940784272-089.cnf
? (TO)
1200.06
1200.41
1518273
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S2069223517-023.cnf
? (TO)
1200.06
1200.41
1518957
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1858385213-060.cnf
? (TO)
1200.06
1200.41
1516293
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1366769180-095.cnf
? (TO)
1200.06
1200.51
1516449
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S2037556208-016.cnf
? (TO)
1200.06
1200.51
1516233
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S685953260-065.cnf
? (TO)
1200.06
1200.41
1513005
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf
? (TO)
1200.06
1200.51
1513749
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf
? (TO)
1200.06
1200.51
1514013
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S444219303-098.cnf
? (TO)
1200.06
1200.41
1517289
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf
? (TO)
1200.06
1200.71
1514193
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S844931093-069.cnf
? (TO)
1200.06
1200.51
1518465
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S279212213-020.cnf
? (TO)
1200.06
1200.51
1513845
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf
? (TO)
1200.06
1200.41
1513761
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1049921489-034.cnf
? (TO)
1200.06
1200.51
1513341
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1171422074-087.cnf
? (TO)
1200.06
1200.41
1516065
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S817309453-059.cnf
? (TO)
1200.06
1200.61
1518837
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1546885609-031.cnf
? (TO)
1200.06
1200.41
1519041
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S184801254-020.cnf
? (TO)
1200.06
1200.41
1515849
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S7007454-009.cnf
? (TO)
1200.06
1200.41
1513689
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S859578263-029.cnf
? (TO)
1200.06
1200.51
1513869
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1892788676-021.cnf
? (TO)
1200.06
1200.51
1517649
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2106599808-035.cnf
? (TO)
1200.06
1200.41
1519077
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1559668863-058.cnf
? (TO)
1200.06
1200.41
1515729
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S522321670-058.cnf
? (TO)
1200.06
1200.61
1513209
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1284372491-036.cnf
? (TO)
1200.06
1200.41
1512525
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S2083778933-085.cnf
? (TO)
1200.06
1199.91
1515189
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S779309989-069.cnf
? (TO)
1200.06
1200.41
1513797
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S579205610-033.cnf
? (TO)
1200.06
1200.41
1513977
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S559732886-091.cnf
? (TO)
1200.06
1199.91
1514961
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf
? (TO)
1200.06
1200.41
1513893
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S926047226-039.cnf
? (TO)
1200.06
1200.51
1517613
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1183359164-025.cnf
? (TO)
1200.06
1200.51
1512681
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1772254584-042.cnf
? (TO)
1200.06
1200.41
1515525
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1422278005-004.cnf
? (TO)
1200.06
1200.41
1515669
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S402241321-038.cnf
? (TO)
1200.06
1200.41
1515513
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S748216286-061.cnf
? (TO)
1200.06
1200.41
1515561
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf
? (TO)
1200.06
1200.51
1514085
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1611899384-022.cnf
? (TO)
1200.06
1200.51
1513053
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1492329924-074.cnf
? (TO)
1200.06
1199.91
1515345
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1767813611-042.cnf
? (TO)
1200.06
1200.51
1515261
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S266028630-005.cnf
? (TO)
1200.06
1200.41
1513233
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1322153318-039.cnf
? (TO)
1200.06
1199.91
1512549
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1332067449-041.cnf
? (TO)
1200.07
1200.51
1518765
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1954748117-061.cnf
? (TO)
1200.07
1200.51
1512729
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S327274323-044.cnf
? (TO)
1200.07
1200.41
1513557
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S211141966-058.cnf
? (TO)
1200.07
1199.91
1512981
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S743448446-027.cnf
? (TO)
1200.07
1200.41
1512933
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S886725553-011.cnf
? (TO)
1200.07
1200.41
1513113
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1568578307-064.cnf
? (TO)
1200.07
1200.61
1513137
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S870840347-014.cnf
? (TO)
1200.07
1200.41
1513641
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf
? (TO)
1200.07
1200.41
1514001
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf
? (TO)
1200.07
1200.51
1513833
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S714125262-017.cnf
? (TO)
1200.07
1200.51
1518561
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S688769362-007.cnf
? (TO)
1200.07
1200.51
1517145
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf
? (TO)
1200.07
1200.51
1513773
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803323266-025.cnf
? (TO)
1200.07
1200.51
1516641
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf
? (TO)
1200.07
1200.51
1513701
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S21800963-085.cnf
? (TO)
1200.07
1200.51
1513881
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf
? (TO)
1200.07
1199.91
1514121
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S274764005-003.cnf
? (TO)
1200.07
1200.51
1514037
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1112524719-021.cnf
? (TO)
1200.07
1200.51
1518645
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S956671877-054.cnf
? (TO)
1200.07
1200.51
1518141
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf
? (TO)
1200.07
1200.51
1514277
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf
? (TO)
1200.07
1200.51
1514313
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S139794312-098.cnf
? (TO)
1200.07
1200.41
1514397
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1339293988-069.cnf
? (TO)
1200.07
1200.41
1518633
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1536609007-088.cnf
? (TO)
1200.07
1200.51
1518153
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf
? (TO)
1200.07
1200.51
1514637
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S826724848-048.cnf
? (TO)
1200.07
1200.51
1514661
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf
? (TO)
1200.07
1200.51
1514241
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1251522734-073.cnf
? (TO)
1200.07
1200.41
1514865
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S650356257-052.cnf
? (TO)
1200.07
1200.41
1514745
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2025169165-076.cnf
? (TO)
1200.07
1200.51
1518045
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S2032726331-082.cnf
? (TO)
1200.07
1200.41
1518537
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S744068878-072.cnf
? (TO)
1200.07
1200.51
1515369
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S45592023-054.cnf
? (TO)
1200.07
1200.51
1518369
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1807135406-059.cnf
? (TO)
1200.07
1200.81
1517829
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1017443264-065.cnf
? (TO)
1200.07
1200.41
1515693
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S971118900-053.cnf
? (TO)
1200.07
1200.51
1515585
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S2142794689-088.cnf
? (TO)
1200.07
1200.41
1515981
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1077410718-040.cnf
? (TO)
1200.07
1200.51
1517505
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1007745655-097.cnf
? (TO)
1200.07
1200.41
1517565
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S2037268960-098.cnf
? (TO)
1200.07
1200.41
1517421
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1357790788-074.cnf
? (TO)
1200.07
1200.51
1515117
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2028777924-038.cnf
? (TO)
1200.07
1200.41
1515921
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S905029262-097.cnf
? (TO)
1200.07
1200.41
1516137
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1730125812-056.cnf
? (TO)
1200.07
1200.51
1518909
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1481598919-023.cnf
? (TO)
1200.07
1200.51
1515213
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1402156840-093.cnf
? (TO)
1200.07
1200.41
1516569
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1895787950-064.cnf
? (TO)
1200.07
1200.41
1516509
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S819692891-023.cnf
? (TO)
1200.07
1200.41
1516605
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S918173205-035.cnf
? (TO)
1200.07
1200.51
1515153
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1175850950-017.cnf
? (TO)
1200.07
1200.51
1517541
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S35186747-095.cnf
? (TO)
1200.07
1200.41
1515045
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S501150091-001.cnf
? (TO)
1200.07
1200.41
1512489
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2015297474-031.cnf
? (TO)
1200.07
1200.51
1512501
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1249224492-031.cnf
? (TO)
1200.07
1200.41
1513353
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S2124311399-085.cnf
? (TO)
1200.07
1200.51
1512897
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1136141672-041.cnf
? (TO)
1200.08
1200.41
1517013
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1695726805-003.cnf
? (TO)
1200.08
1200.61
1513293
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1318210982-002.cnf
? (TO)
1200.08
1207.01
1515825
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1524836866-036.cnf
? (TO)
1200.08
1200.51
1517625
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1703611043-077.cnf
? (TO)
1200.08
1200.41
1515753
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S432895007-058.cnf
? (TO)
1200.08
1200.41
1516473
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S289069074-070.cnf
? (TO)
1200.08
1200.51
1515861
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1758422766-080.cnf
? (TO)
1200.08
1200.51
1515933
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1724014998-099.cnf
? (TO)
1200.08
1200.51
1512705
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S441484366-048.cnf
? (TO)
1200.08
1200.41
1513317
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S251246256-047.cnf
? (TO)
1200.08
1200.41
1512621
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1404929091-050.cnf
? (TO)
1200.08
1200.51
1517409
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1378953985-075.cnf
? (TO)
1200.08
1200.41
1513377
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S857870897-089.cnf
? (TO)
1200.08
1200.51
1516005
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S603077945-019.cnf
? (TO)
1200.08
1200.41
1516389
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S2007898659-069.cnf
? (TO)
1200.08
1200.41
1517745
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1394036608-091.cnf
? (TO)
1200.08
1200.51
1516941
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1163324878-032.cnf
? (TO)
1200.08
1200.61
1515705
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S956556686-037.cnf
? (TO)
1200.08
1200.51
1513437
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf
? (TO)
1200.08
1200.71
1514337
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S2054922493-058.cnf
? (TO)
1200.08
1200.51
1512753
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1266438269-016.cnf
? (TO)
1200.08
1200.51
1516077
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1295462378-089.cnf
? (TO)
1200.08
1200.51
1513413
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1580204273-012.cnf
? (TO)
1200.08
1200.51
1517841
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S104085281-076.cnf
? (TO)
1200.08
1200.41
1517181
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1339364096-048.cnf
? (TO)
1200.08
1200.51
1516701
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1970456972-046.cnf
? (TO)
1200.08
1200.51
1513017
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S839302453-094.cnf
? (TO)
1200.08
1200.41
1513953
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S2096960818-049.cnf
? (TO)
1200.08
1200.51
1517025
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S51205200-028.cnf
? (TO)
1200.08
1200.41
1516665
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1897376969-026.cnf
? (TO)
1200.08
1200.41
1516809
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf
? (TO)
1200.08
1200.51
1513857
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf
? (TO)
1200.08
1200.41
1514157
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S17277413-072.cnf
? (TO)
1200.08
1200.41
1514433
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1353769076-009.cnf
? (TO)
1200.08
1200.61
1512633
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S780904324-093.cnf
? (TO)
1200.08
1200.51
1518681
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S287307030-088.cnf
? (TO)
1200.08
1200.41
1516689
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf
? (TO)
1200.08
1207.02
1513821
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S322778960-054.cnf
? (TO)
1200.08
1200.41
1514493
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S227954525-082.cnf
? (TO)
1200.08
1200.51
1518225
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1460100153-095.cnf
? (TO)
1200.08
1200.51
1518249
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S318878687-017.cnf
? (TO)
1200.08
1200.51
1513149
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf
? (TO)
1200.08
1207.02
1514349
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S948914005-013.cnf
? (TO)
1200.08
1200.41
1513221
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S745855171-090.cnf
? (TO)
1200.08
1200.41
1514805
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1159067237-017.cnf
? (TO)
1200.08
1207.01
1517721
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S308012126-046.cnf
? (TO)
1200.08
1200.41
1515597
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S282405510-004.cnf
? (TO)
1200.08
1200.51
1515573
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S159251645-087.cnf
? (TO)
1200.08
1200.41
1516917
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1916972979-060.cnf
? (TO)
1200.08
1200.41
1514889
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S110290755-003.cnf
? (TO)
1200.08
1200.51
1518621
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S102181364-052.cnf
? (TO)
1200.08
1200.51
1514853
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1800466054-025.cnf
? (TO)
1200.08
1200.71
1518237
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S492033085-065.cnf
? (TO)
1200.08
1200.41
1517385
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf
? (TO)
1200.08
1200.41
1513905
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1879656894-046.cnf
? (TO)
1200.08
1200.41
1515717
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf
? (TO)
1200.08
1200.62
1514589
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S122462268-047.cnf
? (TO)
1200.08
1200.41
1514901
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S809967194-078.cnf
? (TO)
1200.08
1200.51
1518453
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1794178048-059.cnf
? (TO)
1200.08
1200.41
1516341
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1305875336-097.cnf
? (TO)
1200.08
1200.41
1514913
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1736056721-032.cnf
? (TO)
1200.08
1200.51
1514781
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S515665970-021.cnf
? (TO)
1200.08
1200.41
1515129
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S2142680239-019.cnf
? (TO)
1200.09
1200.41
1518753
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S287522321-032.cnf
? (TO)
1200.09
1200.51
1517313
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf
? (TO)
1200.09
1200.41
1514229
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1555503917-029.cnf
? (TO)
1200.09
1200.51
1519029
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf
? (TO)
1200.09
1200.51
1514253
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S219795104-099.cnf
? (TO)
1200.09
1200.41
1514733
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S785082413-028.cnf
? (TO)
1200.09
1200.61
1514973
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S291433416-025.cnf
? (TO)
1200.09
1200.41
1514985
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S632066493-060.cnf
? (TO)
1200.09
1200.41
1514841
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S638042053-051.cnf
? (TO)
1200.09
1200.41
1515309
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1410489780-030.cnf
? (TO)
1200.09
1200.51
1514925
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf
? (TO)
1200.09
1200.41
1514133
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S207294319-099.cnf
? (TO)
1200.09
1200.51
1515105
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S884941173-092.cnf
? (TO)
1200.09
1200.41
1515321
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1736471436-014.cnf
? (TO)
1200.09
1200.41
1512645
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1845944120-011.cnf
? (TO)
1200.09
1200.51
1513401
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1698591437-083.cnf
? (TO)
1200.09
1200.41
1515033
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2073320038-053.cnf
? (TO)
1200.09
1200.41
1516101
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S984347600-003.cnf
? (TO)
1200.09
1200.41
1515501
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S531507935-068.cnf
? (TO)
1200.09
1200.41
1517037
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1429776379-099.cnf
? (TO)
1200.09
1200.41
1518405
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S822708255-070.cnf
? (TO)
1200.09
1200.51
1514217
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1213077873-067.cnf
? (TO)
1200.09
1200.51
1516737
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf
? (TO)
1200.09
1200.51
1514073
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1018145191-052.cnf
? (TO)
1200.09
1200.41
1512993
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S565564805-059.cnf
? (TO)
1200.09
1200.41
1517001
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1299934729-015.cnf
? (TO)
1200.09
1200.41
1516173
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2142489608-055.cnf
? (TO)
1200.09
1200.51
1516125
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S853819067-006.cnf
? (TO)
1200.09
1200.51
1517481
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S512486692-050.cnf
? (TO)
1200.09
1200.41
1516377
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S358640743-023.cnf
? (TO)
1200.09
1200.51
1515897
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1772751287-054.cnf
? (TO)
1200.09
1200.41
1515813
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S884764237-004.cnf
? (TO)
1200.09
1200.41
1515885
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1482824652-097.cnf
? (TO)
1200.09
1200.41
1515957
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S599916448-096.cnf
? (TO)
1200.09
1200.41
1516029
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S2034442711-054.cnf
? (TO)
1200.09
1200.51
1517589
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1096716652-027.cnf
? (TO)
1200.09
1200.51
1516269
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S2087271472-092.cnf
? (TO)
1200.09
1200.41
1518213
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1564075794-028.cnf
? (TO)
1200.09
1200.41
1517493
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1748152762-086.cnf
? (TO)
1200.09
1200.51
1512657
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2088224617-083.cnf
? (TO)
1200.09
1200.51
1512513
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S393462637-097.cnf
? (TO)
1200.09
1200.51
1517301
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S2059720696-001.cnf
? (TO)
1200.09
1200.41
1513665
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1514821049-021.cnf
? (TO)
1200.09
1200.51
1516257
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S583379276-046.cnf
? (TO)
1200.09
1200.41
1517529
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S915600698-006.cnf
? (TO)
1200.09
1200.41
1517637
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S547165541-056.cnf
? (TO)
1200.09
1200.41
1513653
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1738391204-028.cnf
? (TO)
1200.09
1200.41
1512945
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1563412474-059.cnf
? (TO)
1200.09
1200.41
1517337
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1229813320-044.cnf
? (TO)
1200.09
1200.51
1518849
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S172053238-003.cnf
? (TO)
1200.09
1200.41
1518573
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S418505498-026.cnf
? (TO)
1200.09
1200.41
1517265
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S820736259-091.cnf
? (TO)
1200.09
1200.41
1517109
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S91288590-071.cnf
? (TO)
1200.09
1200.41
1513509
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1767425240-073.cnf
? (TO)
1200.09
1200.41
1518549
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1253795703-015.cnf
? (TO)
1200.09
1200.41
1512885
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1354285755-030.cnf
? (TO)
1200.09
1200.51
1516401
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1281410666-045.cnf
? (TO)
1200.09
1200.41
1513029
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S592525179-032.cnf
? (TO)
1200.09
1200.51
1513461
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S332478069-041.cnf
? (TO)
1200.09
1200.41
1517325
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S418266958-049.cnf
? (TO)
1200.09
1200.51
1518513
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S2140929154-062.cnf
? (TO)
1200.09
1200.41
1513257
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1916548023-003.cnf
? (TO)
1200.09
1200.41
1518777
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1553390498-064.cnf
? (TO)
1200.09
1200.41
1517229
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1988754311-026.cnf
? (TO)
1200.09
1200.41
1516653
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1089910525-056.cnf
? (TO)
1200.09
1200.41
1516869
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S51132115-023.cnf
? (TO)
1200.09
1200.51
1514445
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf
? (TO)
1200.09
1200.51
1514481
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S420719158-080.cnf
? (TO)
1200.09
1200.42
1514625
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1540921235-015.cnf
? (TO)
1200.09
1200.41
1516893
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf
? (TO)
1200.09
1200.51
1514565
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S146188995-071.cnf
? (TO)
1200.09
1200.41
1518177
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S257485978-084.cnf
? (TO)
1200.09
1200.41
1514829
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1850138369-006.cnf
? (TO)
1200.1
1200.41
1512561
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1178729443-051.cnf
? (TO)
1200.1
1200.41
1513473
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S942507261-096.cnf
? (TO)
1200.1
1200.51
1513305
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1543261951-042.cnf
? (TO)
1200.1
1200.51
1513449
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S648763183-023.cnf
? (TO)
1200.1
1200.62
1514181
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S267191961-079.cnf
? (TO)
1200.1
1200.71
1515165
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1211704640-033.cnf
? (TO)
1200.1
1200.41
1515093
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S80067159-015.cnf
? (TO)
1200.1
1200.41
1515177
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1629955917-055.cnf
? (TO)
1200.1
1200.41
1515009
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1221988902-087.cnf
? (TO)
1200.1
1200.51
1515057
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S387386125-069.cnf
? (TO)
1200.1
1200.51
1517193
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S356738975-073.cnf
? (TO)
1200.1
1200.41
1517697
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S565763763-051.cnf
? (TO)
1200.1
1200.41
1518417
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1040507052-028.cnf
? (TO)
1200.1
1200.41
1512585
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S678706275-057.cnf
? (TO)
1200.1
1200.71
1512873
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S249585100-059.cnf
? (TO)
1200.1
1200.41
1512609
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S375588147-050.cnf
? (TO)
1200.1
1200.51
1513185
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2054549948-012.cnf
? (TO)
1200.1
1200.41
1512597
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1119648091-064.cnf
? (TO)
1200.1
1200.51
1512957
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S452919966-071.cnf
? (TO)
1200.1
1200.51
1513281
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1500472284-060.cnf
? (TO)
1200.1
1200.41
1513041
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S432776913-077.cnf
? (TO)
1200.1
1200.41
1513485
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S268463339-081.cnf
? (TO)
1200.1
1200.42
1513917
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S195213520-027.cnf
? (TO)
1200.1
1200.41
1513929
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S439075063-023.cnf
? (TO)
1200.1
1200.51
1513941
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf
? (TO)
1200.1
1200.41
1513785
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf
? (TO)
1200.1
1200.51
1513809
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf
? (TO)
1200.1
1200.51
1513725
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf
? (TO)
1200.1
1200.52
1514577
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf
? (TO)
1200.1
1200.41
1514541
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S377647456-019.cnf
? (TO)
1200.1
1200.41
1514757
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf
? (TO)
1200.1
1200.41
1514649
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2119656249-086.cnf
? (TO)
1200.1
1200.41
1514769
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf
? (TO)
1200.1
1200.41
1514685
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1086008090-058.cnf
? (TO)
1200.1
1200.41
1515237
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S986324446-009.cnf
? (TO)
1200.1
1200.41
1515333
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1376127278-008.cnf
? (TO)
1200.1
1200.51
1515273
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1153031014-012.cnf
? (TO)
1200.1
1200.41
1515657
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S644655157-049.cnf
? (TO)
1200.1
1200.41
1515609
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S703461330-034.cnf
? (TO)
1200.1
1200.41
1515789
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S254828838-055.cnf
? (TO)
1200.1
1200.61
1515969
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1736708510-089.cnf
? (TO)
1200.1
1200.71
1516197
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1828800850-025.cnf
? (TO)
1200.1
1200.41
1516245
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1223878722-065.cnf
? (TO)
1200.1
1200.71
1516533
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S445910413-047.cnf
? (TO)
1200.1
1200.51
1516521
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803029538-050.cnf
? (TO)
1200.1
1200.41
1516677
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1803805764-016.cnf
? (TO)
1200.1
1200.41
1516749
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S486178562-011.cnf
? (TO)
1200.1
1200.41
1516905
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S697681291-080.cnf
? (TO)
1200.1
1200.41
1516845
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1331813943-033.cnf
? (TO)
1200.1
1200.41
1516881
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S131938947-014.cnf
? (TO)
1200.1
1200.41
1517253
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S125259973-020.cnf
? (TO)
1200.1
1200.41
1517277
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S285229208-001.cnf
? (TO)
1200.1
1200.41
1517601
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1250067652-054.cnf
? (TO)
1200.1
1200.51
1517445
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S260616787-042.cnf
? (TO)
1200.1
1200.91
1517865
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1983754128-073.cnf
? (TO)
1200.1
1200.41
1517769
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S95953046-044.cnf
? (TO)
1200.1
1200.41
1518021
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S23858409-056.cnf
? (TO)
1200.1
1200.41
1518789
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1876865608-086.cnf
? (TO)
1200.1
1200.51
1518441
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1263695887-042.cnf
? (TO)
1200.1
1200.41
1518693
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1531283922-009.cnf
? (TO)
1200.1
1200.41
1518585
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S900737394-048.cnf
? (TO)
1200.1
1200.41
1518825
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S433356712-017.cnf
? (TO)
1200.1
1200.41
1518801
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1731702106-010.cnf
? (TO)
1200.11
1200.51
1516761
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S179172230-011.cnf
? (TO)
1200.11
1200.41
1515681
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S393518083-009.cnf
? (TO)
1200.11
1200.51
1515489
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1850025790-078.cnf
? (TO)
1200.11
1200.41
1515285
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1707873242-085.cnf
? (TO)
1200.11
1200.51
1515537
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S367498571-066.cnf
? (TO)
1200.11
1200.41
1515021
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S15767910-042.cnf
? (TO)
1200.11
1200.41
1514721
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S541865505-057.cnf
? (TO)
1200.11
1200.41
1513617
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1818639567-059.cnf
? (TO)
1200.11
1200.41
1513593
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1810287895-075.cnf
? (TO)
1200.11
1200.41
1517673
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1598052044-078.cnf
? (TO)
1200.11
1200.41
1517457
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1528023000-027.cnf
? (TO)
1200.11
1200.51
1516977
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1206040031-030.cnf
? (TO)
1200.11
1200.51
1516305
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2035161427-020.cnf
? (TO)
1200.11
1200.51
1519065
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S914323646-060.cnf
? (TO)
1200.11
1200.42
1514613
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S310111511-029.cnf
? (TO)
1200.11
1200.41
1514265
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf
? (TO)
1200.11
1200.51
1514169
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S762724712-048.cnf
? (TO)
1200.11
1200.41
1514061
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1906075351-024.cnf
? (TO)
1200.11
1200.51
1513581
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1085378176-050.cnf
? (TO)
1200.11
1200.51
1513677
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S500426663-025.cnf
? (TO)
1200.11
1200.52
1514025
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S520696524-059.cnf
? (TO)
1200.11
1200.41
1513737
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1788451776-008.cnf
? (TO)
1200.11
1200.51
1512909
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S962875623-008.cnf
? (TO)
1200.11
1200.51
1512969
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1802626390-033.cnf
? (TO)
1200.11
1200.51
1513389
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S142096783-019.cnf
? (TO)
1200.11
1200.51
1518489
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1334593800-018.cnf
? (TO)
1200.11
1200.51
1512861
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1367181683-025.cnf
? (TO)
1200.11
1200.51
1519017
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S349436298-004.cnf
? (TO)
1200.11
1200.41
1518033
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S816613570-013.cnf
? (TO)
1200.11
1200.51
1517169
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S449556655-088.cnf
? (TO)
1200.11
1200.41
1518933
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1070443005-075.cnf
? (TO)
1200.11
1200.41
1515201
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S578339356-013.cnf
? (TO)
1200.11
1200.51
1515141
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S821759333-092.cnf
? (TO)
1200.11
1200.41
1514097
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1977519792-030.cnf
? (TO)
1200.11
1200.41
1518165
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf
? (TO)
1200.12
1200.51
1514709
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S568017735-066.cnf
? (TO)
1200.12
1200.41
1514373
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S28271012-055.cnf
? (TO)
1200.12
1200.41
1517049
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S704699380-099.cnf
? (TO)
1200.12
1200.71
1512537
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf
? (TO)
1200.12
1200.41
1514289