SAT 2009 Competition: main competition (phase 1): benchmarks results per solver
Result page for solver SApperloT
base
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (74 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.225965
0.226536
1718810
manol-pipe-g6bi.cnf
UNSAT
1.34379
1.3452
1723722
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
1.9927
1.9925
1717978
cmu-bmc-barrel6.cnf
UNSAT
2.87356
2.87356
1719538
APPLICATIONS/bitverif/
minor/minor032.cnf
UNSAT
3.86441
3.86562
1553208
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
4.44232
4.44529
1717926
APPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
UNSAT
5.16721
5.16918
1556848
APPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
UNSAT
5.43417
5.43544
1554560
simon-s02b-k2f-gr-rcs-w8.cnf
UNSAT
5.67314
5.67471
1724190
een-tip-uns-nusmv-t5.B.cnf
UNSAT
5.71613
5.71826
1723358
manol-pipe-c9.cnf
UNSAT
9.32358
9.32573
1724346
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
UNSAT
15.4097
15.4162
1723050
APPLICATIONS/bitverif/
icbrt/icbrt1_32.cnf
UNSAT
17.5533
17.5614
1555028
APPLICATIONS/crypto/
md5gen/gus-md5-05.cnf
UNSAT
17.9863
17.9836
1556796
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
19.908
19.9132
1718238
APPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
UNSAT
23.3604
23.3668
1553780
hoons-vbmc-lucky7.cnf
UNSAT
26.31
26.3195
1719850
cmu-bmc-longmult15.cnf
UNSAT
29.2136
29.2211
1720630
APPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
UNSAT
29.9494
29.9589
1553312
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
31.7792
31.7907
1715638
velev-engi-uns-1.0-4nd.cnf
UNSAT
32.1151
32.1285
1720110
manol-pipe-g7nidw.cnf
UNSAT
36.9214
36.9352
1724294
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
UNSAT
42.0296
42.0444
1554092
APPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
UNSAT
46.8009
47.0808
1556744
APPLICATIONS/diagnosis/
ACG-10-5p0.cnf
UNSAT
54.7007
54.7299
1579388
APPLICATIONS/bitverif/
smulo/smulo016.cnf
UNSAT
57.2633
57.2796
1554820
APPLICATIONS/diagnosis/
UCG-10-5p0.cnf
UNSAT
62.1506
62.1894
1578192
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
68.9175
68.9418
1717458
APPLICATIONS/diagnosis/
UR-10-5p0.cnf
UNSAT
69.1525
69.183
1579856
APPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
UNSAT
77.2203
77.2471
1577776
APPLICATIONS/bitverif/
minor/minor064.cnf
UNSAT
97.5662
97.5985
1553156
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
100.561
100.59
1718134
simon-s02b-dp11u10.cnf
UNSAT
101.893
101.917
1723826
APPLICATIONS/
bitverif/maxand/maxand064.cnf
UNSAT
108.725
108.772
1555600
APPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
UNSAT
118.188
118.229
1557056
velev-live-uns-2.0-ebuf.cnf
UNSAT
124.44
124.471
1723670
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
153.221
153.292
1715690
manol-pipe-g10id.cnf
UNSAT
157.109
157.176
1723514
manol-pipe-c10nidw_s.cnf
UNSAT
171.255
171.323
1723202
schup-l2s-abp4-1-k31.cnf
UNSAT
172.079
172.129
1719590
simon-s03-fifo8-300.cnf
UNSAT
197.259
197.322
1724138
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
UNSAT
219.667
219.722
1722250
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
236.694
236.81
1717614
APPLICATIONS/c32sat/
post-c32s-col400-16.cnf
UNSAT
291.504
291.658
1563452
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
308.793
308.897
1717874
goldb-heqc-alu4mul.cnf
UNSAT
313.196
313.273
1720994
APPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
UNSAT
316.909
317.024
1562724
APPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
UNSAT
318.514
318.594
1563192
APPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
UNSAT
353.277
353.419
1563036
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
372.777
372.877
1580532
goldb-heqc-term1mul.cnf
UNSAT
377.09
377.189
1723618
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
380.592
380.702
1562776
APPLICATIONS/diagnosis/
UTI-10-10p0.cnf
UNSAT
398.868
399.016
1581728
APPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
UNSAT
400.314
400.432
1563088
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
UNSAT
439.536
439.662
1722500
APPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
UNSAT
473.198
473.381
1577828
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
533.979
534.137
1718290
APPLICATIONS/diagnosis/
UR-15-5p0.cnf
UNSAT
541.45
541.712
1581936
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
584.311
584.63
1716834
APPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
UNSAT
593.584
593.812
1577568
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
610.395
610.598
1717562
manol-pipe-c6nidw_i.cnf
UNSAT
612.113
612.271
1724450
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
620.085
620.245
1717666
APPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
UNSAT
660.123
660.308
1577724
APPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
UNSAT
715.97
716.269
1556588
manol-pipe-c6bidw_i.cnf
UNSAT
797.596
797.905
1720266
schup-l2s-guid-1-k56.cnf
UNSAT
807.535
807.77
1724086
APPLICATIONS/diagnosis/
UTI-15-10p0.cnf
UNSAT
994.922
995.172
1580844
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
998.835
999.078
1716418
APPLICATIONS/
bitverif/minand/minand128.cnf
UNSAT
1011.23
1011.56
1554196
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
UNSAT
1042.22
1042.53
1577516
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
1046.29
1046.73
1716314
APPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
UNSAT
1053.36
1053.79
1577464
APPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
UNSAT
1140.85
1141.26
1556016
Solver found a solution (SATISFIABLE) (55 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/aprove09/
AProVE09-13.cnf
SAT
0.06199
0.060806
1560280
APPLICATIONS/aprove09/
AProVE09-22.cnf
SAT
0.083986
0.0841559
1560436
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
SAT
0.152976
0.153726
1722100
APPLICATIONS/aprove09/
AProVE09-11.cnf
SAT
0.266959
0.273007
1560852
APPLICATIONS/aprove09/
AProVE09-25.cnf
SAT
0.398938
0.3994
1560124
een-tip-sat-texas-tp-5e.cnf
SAT
0.447931
0.449015
1720890
APPLICATIONS/aprove09/
AProVE09-01.cnf
SAT
0.580911
0.581916
1560384
APPLICATIONS/aprove09/
AProVE09-12.cnf
SAT
0.638902
0.638872
1560332
APPLICATIONS/aprove09/
AProVE09-03.cnf
SAT
0.646901
0.647127
1560644
APPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
SAT
1.14082
1.14165
1562828
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
SAT
1.48377
1.48309
1721700
APPLICATIONS/aprove09/
AProVE09-05.cnf
SAT
2.40863
2.40949
1560020
APPLICATIONS/aprove09/
AProVE09-10.cnf
SAT
3.35949
3.35909
1560800
APPLICATIONS/aprove09/
AProVE09-24.cnf
SAT
4.35534
4.35679
1559916
APPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
SAT
5.2342
5.23564
1563140
APPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
SAT
6.02208
6.02395
1562984
APPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
SAT
6.08208
6.0842
1562932
APPLICATIONS/aprove09/
AProVE09-21.cnf
SAT
6.11207
6.11352
1560072
APPLICATIONS/aprove09/
AProVE09-19.cnf
SAT
6.55
6.55201
1560904
APPLICATIONS/bioinfo/
q_query_3_l42_lambda.cnf
SAT
11.6102
11.6131
1562672
APPLICATIONS/aprove09/
AProVE09-15.cnf
SAT
12.0242
12.0286
1560540
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
19.512
19.5322
1717406
APPLICATIONS/aprove09/
AProVE09-17.cnf
SAT
21.4217
21.4284
1559708
APPLICATIONS/aprove09/
AProVE09-07.cnf
SAT
22.8825
22.8909
1560592
APPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
SAT
32.3051
32.3208
1562880
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
SAT
34.4768
34.4896
1562620
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
34.4938
34.5155
1719382
APPLICATIONS/aprove09/
AProVE09-08.cnf
SAT
41.0298
41.0414
1560696
APPLICATIONS/crypto/
desgen/gss-13-s100.cnf
SAT
41.7636
41.7782
1559188
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
SAT
51.5012
204.435
1563400
industrial/grieu/
vmpc_25.cnf
SAT
56.2304
56.2498
1718342
industrial/grieu/
vmpc_24.cnf
SAT
65.691
65.72
1718498
APPLICATIONS/aprove09/
AProVE09-20.cnf
SAT
76.3344
76.3758
1559760
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
86.7688
86.8215
1719330
APPLICATIONS/diagnosis/
UR-10-5p1.cnf
SAT
99.6379
99.6861
1579440
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
117.07
117.105
1558408
APPLICATIONS/bioinfo/
q_query_3_L60_coli.sat.cnf
SAT
150.023
150.083
1577672
mizh-sha0-36-3.cnf
SAT
161.031
161.074
1719798
APPLICATIONS/crypto/
desgen/gss-15-s100.cnf
SAT
186.729
186.796
1558460
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
205.393
205.449
1557784
simon-s03-w08-15.cnf
SAT
227.643
227.713
1719746
mizh-md5-47-4.cnf
SAT
255.226
255.289
1720526
industrial/grieu/
vmpc_26.cnf
SAT
264.484
264.566
1718706
mizh-sha0-35-3.cnf
SAT
289.644
289.724
1720682
velev-pipe-sat-1.0-b10.cnf
SAT
291.3
291.388
1723306
industrial/grieu/
vmpc_28.cnf
SAT
451.263
451.397
1718602
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
471.407
471.758
1577620
mizh-sha0-36-2.cnf
SAT
519.615
519.763
1723982
mizh-md5-48-5.cnf
SAT
547.34
547.516
1721098
mizh-md5-47-3.cnf
SAT
598.45
598.618
1719486
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
SAT
713.479
713.676
1559604
schup-l2s-motst-2-k315.cnf
SAT
865.062
865.323
1720006
APPLICATIONS/diagnosis/
UTI-15-5p1.cnf
SAT
889.576
889.822
1582716
APPLICATIONS/crypto/
desgen/gss-17-s100.cnf
SAT
927.435
927.68
1557576
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
SAT
1004.03
1004.31
1581884
Solver timed out (no solution given) (163 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/fuhs/hard/
AProVE07-08.cnf
? (TO)
1200.01
1200.51
1716938
APPLICATIONS/crypto/
desgen/gss-34-s100.cnf
? (TO)
1200.02
1200.41
1558772
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
1200.02
1200.32
1722850
APPLICATIONS/bitverif/
mulhs/mulhs032.cnf
? (TO)
1200.02
1200.32
1554716
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
1200.02
1200.41
1718186
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
1200.02
1200.51
1554664
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
1200.02
1200.41
1557940
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
1200.02
1200.51
1718082
APPLICATIONS/crypto/
desgen/gss-28-s100.cnf
? (TO)
1200.03
1200.51
1559344
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
1200.03
1200.32
1721850
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
1200.03
1200.52
1716522
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
1200.03
1200.33
1717198
industrial/fuhs/hard/
AProVE07-27.cnf
? (TO)
1200.04
1200.41
1717094
industrial/grieu/
vmpc_33.cnf
? (TO)
1200.05
1200.62
1718446
APPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
? (TO)
1200.05
1207.05
1563608
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
1200.05
1200.42
1557004
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
1200.05
1200.42
1717354
aloul-chnl11-13.cnf
? (TO)
1200.05
1200.41
1720370
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
1200.05
1200.64
1719174
goldb-heqc-i10mul.cnf
? (TO)
1200.05
1200.41
1723410
APPLICATIONS/crypto/
desgen/gss-25-s100.cnf
? (TO)
1200.06
1200.51
1559500
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
? (TO)
1200.06
1200.42
1722600
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
? (TO)
1200.06
1200.42
1723100
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
1200.06
1200.51
1557992
APPLICATIONS/crypto/
desgen/gss-33-s100.cnf
? (TO)
1200.06
1200.41
1558824
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
1200.06
1200.32
1716366
industrial/grieu/
vmpc_30.cnf
? (TO)
1200.06
1200.52
1718394
APPLICATIONS/
bitverif/minxor/minxor128.cnf
? (TO)
1200.06
1200.34
1553468
goldb-heqc-frg1mul.cnf
? (TO)
1200.06
1200.41
1719642
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
? (TO)
1200.06
1200.42
1721250
APPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
? (TO)
1200.06
1200.62
1556536
manol-pipe-c7bidw_i.cnf
? (TO)
1200.06
1200.63
1724242
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
? (TO)
1200.07
1200.52
1721650
APPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
? (TO)
1200.07
1200.53
1556692
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
? (TO)
1200.07
1200.62
1715586
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
1200.07
1200.45
1717302
APPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
? (TO)
1200.07
1200.42
1556068
goldb-heqc-x1mul.cnf
? (TO)
1200.07
1200.41
1719434
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
1200.07
1200.36
1719070
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
? (TO)
1200.07
1200.41
1553988
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
1200.07
1200.46
1553832
APPLICATIONS/diagnosis/
ACG-20-5p1.cnf
? (TO)
1200.07
1200.45
1580740
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
1200.08
1200.52
1722400
industrial/grieu/
vmpc_29.cnf
? (TO)
1200.08
1200.52
1718550
APPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
? (TO)
1200.08
1200.42
1555236
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
1200.08
1200.45
1719226
schup-l2s-bc56s-1-k391.cnf
? (TO)
1200.08
1200.44
1719902
goldb-heqc-dalumul.cnf
? (TO)
1200.08
1200.41
1720422
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
? (TO)
1200.08
1200.43
1722350
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
? (TO)
1200.08
1200.44
1721400
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
1200.08
1200.53
1556328
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
? (TO)
1200.08
1200.43
1721800
APPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
? (TO)
1200.09
1200.54
1556120
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
1200.09
1200.61
1554144
APPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
? (TO)
1200.09
1200.45
1554508
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
1200.09
1200.41
1559240
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
1200.09
1200.53
1717250
industrial/grieu/
vmpc_34.cnf
? (TO)
1200.09
1200.42
1718654
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
? (TO)
1200.09
1200.35
1580064
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
1200.09
1200.41
1718030
APPLICATIONS/diagnosis/
ACG-15-10p1.cnf
? (TO)
1200.09
1200.44
1580324
APPLICATIONS/crypto/
desgen/gss-26-s100.cnf
? (TO)
1200.09
1200.51
1558044
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
1200.09
1200.45
1718914
APPLICATIONS/diagnosis/
ACG-20-10p0.cnf
? (TO)
1200.09
1200.47
1579336
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
? (TO)
1200.09
1199.93
1717510
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
? (TO)
1200.09
1200.42
1723000
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
? (TO)
1200.09
1200.52
1722150
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
1200.09
1200.54
1716470
APPLICATIONS/crypto/
desgen/gss-31-s100.cnf
? (TO)
1200.09
1200.51
1557472
industrial/fuhs/medium/
AProVE07-09.cnf
? (TO)
1200.09
1200.42
1716782
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
1200.09
1200.45
1716626
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
1200.09
1200.43
1716678
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
1200.1
1200.44
1716210
APPLICATIONS/crypto/
desgen/gss-24-s100.cnf
? (TO)
1200.1
1200.41
1559292
APPLICATIONS/crypto/
desgen/gss-32-s100.cnf
? (TO)
1200.1
1200.81
1557680
APPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
? (TO)
1200.1
1200.53
1555444
vange-col-abb313GPIA-9-c.cnf
? (TO)
1200.1
1200.44
1720318
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
1200.1
1200.54
1716002
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
? (TO)
1200.1
1200.42
1722550
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
? (TO)
1200.1
1200.44
1563348
APPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
? (TO)
1200.1
1200.43
1556484
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
1200.1
1200.56
1556224
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
? (TO)
1200.1
1200.42
1721950
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
? (TO)
1200.1
1200.42
1721750
APPLICATIONS/crypto/
desgen/gss-20-s100.cnf
? (TO)
1200.1
1200.41
1558200
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
1200.11
1200.53
1717718
industrial/palacios/medium/
cube-11-h13-unsat.cnf
? (TO)
1200.11
1200.63
1717770
manol-pipe-f10ni.cnf
? (TO)
1200.11
1200.46
1724034
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
1200.11
1200.5
1715846
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
1200.11
1200.42
1717042
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
1200.11
1200.41
1716886
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
1200.11
1200.41
1716990
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
1200.11
1200.82
1717146
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
? (TO)
1200.11
1200.42
1717822
manol-pipe-c10nid_i.cnf
? (TO)
1200.11
1200.65
1720734
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
? (TO)
1200.11
1200.52
1721200
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
? (TO)
1200.11
1200.48
1722000
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
? (TO)
1200.11
1200.44
1722750
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
? (TO)
1200.11
1200.42
1722950
manol-pipe-f9n.cnf
? (TO)
1200.11
1200.44
1723930
APPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
? (TO)
1200.11
1200.43
1556432
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (TO)
1200.11
1200.6
1582144
APPLICATIONS/diagnosis/
UCG-20-10p1.cnf
? (TO)
1200.11
1207.09
1581052
APPLICATIONS/diagnosis/
UR-20-5p1.cnf
? (TO)
1200.11
1200.79
1580220
APPLICATIONS/aprove09/
AProVE09-06.cnf
? (TO)
1200.11
1200.42
1559656
APPLICATIONS/crypto/
desgen/gss-23-s100.cnf
? (TO)
1200.11
1200.41
1558980
mizh-sha0-36-4.cnf
? (TO)
1200.12
1200.55
1720214
APPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
? (TO)
1200.12
1200.53
1553260
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
1200.12
1200.54
1718862
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
? (TO)
1200.12
1200.52
1721150
velev-pipe-o-uns-1.1-6.cnf
? (TO)
1200.12
1200.44
1723566
APPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
? (TO)
1200.12
1200.51
1554404
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
? (TO)
1200.12
1200.42
1722800
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
? (TO)
1200.12
1200.47
1722450
manol-pipe-g10bidw.cnf
? (TO)
1200.12
1200.55
1723254
manol-pipe-c7nidw.cnf
? (TO)
1200.12
1200.43
1723462
APPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
? (TO)
1200.12
1200.65
1555132
APPLICATIONS/c32sat/
post-c32s-gcdm16-22.cnf
? (TO)
1200.12
1200.54
1563660
manol-pipe-g10nid.cnf
? (TO)
1200.13
1200.65
1720162
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_22_SAT.cnf
? (TO)
1200.13
1200.48
1721300
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
? (TO)
1200.13
1200.52
1721350
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
? (TO)
1200.13
1200.53
1721500
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
1200.13
1200.47
1555860
manol-pipe-f9b.cnf
? (TO)
1200.13
1200.44
1719954
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
1200.13
1200.49
1719278
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
1200.13
1200.48
1719018
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
1200.13
1200.81
1718966
APPLICATIONS/diagnosis/
UR-15-10p1.cnf
? (TO)
1200.13
1200.58
1579804
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
1200.13
1200.59
1716730
APPLICATIONS/
c32sat/post-c32s-ss-8.cnf
? (TO)
1200.13
1200.43
1563556
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
1200.13
1200.51
1716054
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
1200.13
1200.45
1716106
APPLICATIONS/diagnosis/
ACG-15-10p0.cnf
? (TO)
1200.14
1200.45
1578920
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
? (TO)
1200.14
1200.41
1715898
APPLICATIONS/diagnosis/
UTI-15-5p0.cnf
? (TO)
1200.14
1200.6
1579960
APPLICATIONS/diagnosis/
UR-15-10p0.cnf
? (TO)
1200.15
1200.47
1581988
APPLICATIONS/bitverif/
smulo/smulo128.cnf
? (TO)
1200.15
1200.44
1554872
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
? (TO)
1200.15
1200.6
1715950
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
1200.15
1200.7
1715794
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (TO)
1200.15
1200.7
1715742
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
? (TO)
1200.15
1200.56
1581572
industrial/narain/
clauses-8.cnf
? (TO)
1200.16
1200.67
1718758
manol-pipe-c10nidw.cnf
? (TO)
1200.16
1200.66
1720058
APPLICATIONS/diagnosis/
UTI-20-5p0.cnf
? (TO)
1200.16
1200.5
1578764
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
1200.16
1200.68
1582404
APPLICATIONS/diagnosis/
UR-20-5p0.cnf
? (TO)
1200.16
1200.67
1580116
APPLICATIONS/diagnosis/
UTI-15-10p1.cnf
? (TO)
1200.17
1200.61
1577880
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
1200.17
1200.7
1716574
velev-vliw-uns-4.0-9C1.cnf
? (TO)
1200.17
1200.6
1723774
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
? (TO)
1200.17
1200.5
1581468
APPLICATIONS/diagnosis/
UTI-20-5p1.cnf
? (TO)
1200.17
1200.8
1581312
APPLICATIONS/diagnosis/
ACG-20-10p1.cnf
? (TO)
1200.17
1200.77
1580012
velev-pipe-o-uns-1.0-7.cnf
? (TO)
1200.18
1200.49
1723878
velev-vliw-uns-4.0-9-i1.cnf
? (TO)
1200.18
1200.7
1719694
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
1200.19
1200.6
1553364
velev-pipe-uns-1.0-8.cnf
? (TO)
1200.19
1200.51
1724398
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
1200.19
1200.6
1716262
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
? (TO)
1200.19
1200.7
1563712
velev-pipe-sat-1.0-b7.cnf
? (TO)
1200.19
1200.72
1723150
APPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
? (TO)
1200.2
1200.82
1563296
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
1200.2
1200.51
1716158
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
? (TO)
1200.21
1200.72
1563244
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
1200.21
1200.91
1719122
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (40 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n2_i3_pp.cnf
UNSAT
0
0.00515089
1736550
CRAFTED/parity-games/
instance_n2_i2_pp.cnf
UNSAT
0.000999
0.00498605
1736850
CRAFTED/parity-games/
instance_n3_i4_pp_ci_ce.cnf
UNSAT
0.007998
0.00805507
1736350
CRAFTED/modcircuits/
owp_4vars_5gates.cnf
UNSAT
0.181971
0.182343
1733850
CRAFTED/parity-games/
instance_n4_i5_pp.cnf
UNSAT
0.459929
0.459126
1737000
CRAFTED/parity-games/
instance_n5_i6_pp_ci_ce.cnf
UNSAT
2.01769
2.01816
1736450
CRAFTED/sgen/unsat/
sgen1-unsat-61-100.cnf
UNSAT
3.03354
3.03318
1732000
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
21.5537
21.5587
1725403
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
29.4255
29.4349
1725297
CRAFTED/sgen/unsat/
sgen1-unsat-73-100.cnf
UNSAT
30.2364
30.2452
1732100
CRAFTED/ramseycube/
Q32inK09.cnf
UNSAT
32.937
32.9453
1733050
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
41.4717
41.483
1725562
CRAFTED/ramseycube/
Q32inK10.cnf
UNSAT
77.5342
77.5598
1732950
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
84.9581
84.983
1730014
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
UNSAT
121.9
121.944
1726198
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
UNSAT
133.136
133.17
1726251
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
152.123
152.169
1725827
CRAFTED/parity-games/
instance_n6_i7_pp_ci_ce.cnf
UNSAT
172.392
172.442
1736600
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
211.318
211.379
1725933
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
229.048
229.11
1725774
CRAFTED/ramseycube/
Q32inK11.cnf
UNSAT
251.661
251.754
1732800
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
UNSAT
295.875
295.979
1727682
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
304.082
304.174
1731498
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
UNSAT
329.59
329.715
1727205
CRAFTED/sgen/unsat/
sgen1-unsat-85-100.cnf
UNSAT
389.458
389.561
1731900
CRAFTED/modcircuits/
mod3_4vars_6gates.cnf
UNSAT
425.985
426.091
1733650
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
450.946
451.081
1729855
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
UNSAT
507.018
507.207
1731392
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
514.597
514.742
1729802
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
UNSAT
550.707
550.868
1731604
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
UNSAT
574.783
574.977
1725456
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
594.694
594.862
1725244
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
596.805
596.959
1731233
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
616.18
616.348
1729749
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
UNSAT
644.852
645.075
1731339
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
UNSAT
694.085
694.273
1729696
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
UNSAT
722.553
728.648
1726410
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
UNSAT
798.164
798.396
1725880
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
UNSAT
905.999
906.227
1727947
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
UNSAT
940.673
940.953
1729908
Solver found a solution (SATISFIABLE) (73 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/ramseycube/
Q3inK08.cnf
SAT
0.003998
0.00509701
1733000
CRAFTED/parity-games/
instance_n3_i3_pp.cnf
SAT
0.003999
0.00498891
1737050
CRAFTED/sgi/
satsgi-n17himBHm20-p0-q146.cnf
SAT
0.004998
0.00506405
1734200
CRAFTED/sgi/
satsgi-n19himBHm22-p0-q181.cnf
SAT
0.004998
0.00511991
1734100
CRAFTED/sgi/
satsgi-n18himBHm21-p0-q167.cnf
SAT
0.004998
0.00501305
1734350
CRAFTED/parity-games/
instance_n3_i3_pp_ci_ce.cnf
SAT
0.005998
0.00588895
1736400
CRAFTED/sgi/
satsgi-n22himBHm25-p0-q229.cnf
SAT
0.006998
0.00744092
1734450
CRAFTED/sgi/
satsgi-n23himBHm27-p0-q251.cnf
SAT
0.006998
0.00805995
1734550
CRAFTED/sgi/
satsgi-n22himBHm24-p0-q209.cnf
SAT
0.006998
0.00701606
1734150
CRAFTED/sgi/
satsgi-n23himBHm25-p0-q219.cnf
SAT
0.006998
0.0072309
1734400
CRAFTED/sgi/
sgi-difficult4.cnf
SAT
0.007998
0.008479
1736150
CRAFTED/sgi/
satsgi-n23himBHm26-p0-q248.cnf
SAT
0.007998
0.0076151
1734300
CRAFTED/sgi/
satsgi-n25himBHm27-p0-q251.cnf
SAT
0.008998
0.00936911
1734250
CRAFTED/sgi/
satsgi-n25himBHm29-p0-q290.cnf
SAT
0.009997
0.00979008
1734600
CRAFTED/sgi/
satsgi-n28himBHm30-p0-q333.cnf
SAT
0.010998
0.011917
1734500
CRAFTED/parity-games/
instance_n4_i4_pp_ci_ce.cnf
SAT
0.012998
0.014103
1736750
CRAFTED/sgi/
sgi-difficult7.cnf
SAT
0.015996
0.015258
1736200
CRAFTED/ramseycube/
Q3inK09.cnf
SAT
0.024995
0.0253729
1732650
CRAFTED/parity-games/
instance_n4_i4_pp.cnf
SAT
0.039993
0.039576
1736500
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
0.12598
0.126501
1732850
CRAFTED/modcircuits/
mod5block_1var_7gates.cnf
SAT
0.304953
0.305502
1733250
CRAFTED/parity-games/
instance_n5_i5_pp.cnf
SAT
0.415936
0.414741
1736650
CRAFTED/ramseycube/
Q3inK11.cnf
SAT
0.568912
0.569334
1733100
CRAFTED/parity-games/
instance_n6_i6_pp.cnf
SAT
1.06284
1.0635
1736900
CRAFTED/parity-games/
instance_n5_i6_pp.cnf
SAT
1.3328
1.33388
1736800
CRAFTED/ramseycube/
Q3inK12.cnf
SAT
3.36749
3.36784
1732900
CRAFTED/parity-games/
instance_n6_i7_pp.cnf
SAT
3.9634
3.96519
1736300
CRAFTED/edgematching/
explicit/em_7_4_9_exp.cnf
SAT
4.43233
4.43339
1561528
CRAFTED/
edgematching/all/em_7_4_9_all.cnf
SAT
5.71613
5.71859
1562100
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
8.22775
8.22939
1726092
CRAFTED/rbsat/random/
forced/rbsat-v760c43649gyes10.cnf
SAT
10.0905
10.0945
1735200
CRAFTED/edgematching/
all/em_12_2_4_all.cnf
SAT
10.4364
10.4407
1561892
CRAFTED/edgematching/
all/em_14_7_3_all.cnf
SAT
13.8119
13.8156
1561944
CRAFTED/
edgematching/all/em_7_3_6_all.cnf
SAT
18.5432
18.5468
1561996
CRAFTED/edgematching/
compact/em_7_4_9_cmp.cnf
SAT
19.2051
19.2099
1560956
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
20.5629
20.5689
1725721
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
20.6199
20.6274
1725668
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
20.9978
21.0068
1561788
CRAFTED/sgi/
new-difficult-22-173-20-80.cnf
SAT
22.8615
22.8693
1738257
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g1.cnf
SAT
23.0665
23.0738
1735050
CRAFTED/sgen/sat/
sgen1-sat-140-100.cnf
SAT
23.1115
23.1168
1732350
CRAFTED/edgematching/
explicit/em_7_3_6_exp.cnf
SAT
24.7092
24.7161
1561736
CRAFTED/parity-games/
instance_n6_i6_pp_ci_ce.cnf
SAT
34.5417
34.5543
1737100
CRAFTED/
edgematching/all/em_7_4_8_all.cnf
SAT
34.6137
34.6236
1562152
CRAFTED/parity-games/
instance_n7_i7_pp.cnf
SAT
35.7606
35.7754
1736950
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
38.7711
38.7811
1726145
CRAFTED/modcircuits/
mod3block_3vars_9gates_restr.cnf
SAT
44.3733
44.3854
1734000
CRAFTED/edgematching/
explicit/em_7_4_8_exp.cnf
SAT
69.4794
69.4999
1561632
CRAFTED/edgematching/
fbcolors/em_7_4_9_fbc.cnf
SAT
70.6583
70.6875
1562412
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
72.105
72.1228
1725615
CRAFTED/edgematching/
explicit/em_8_4_5_exp.cnf
SAT
91.1301
91.1924
1561684
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
SAT
104.509
104.538
1728106
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
112.362
112.394
1726039
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
SAT
126.481
126.519
1725986
CRAFTED/parity-games/
instance_n8_i8_pp.cnf
SAT
131.536
131.578
1737780
CRAFTED/edgematching/
explicit/em_9_3_5_exp.cnf
SAT
133.116
133.155
1561424
CRAFTED/sgen/sat/
sgen1-sat-160-100.cnf
SAT
142.086
142.14
1732450
CRAFTED/parity-games/
instance_n7_i7_pp_ci_ce.cnf
SAT
142.27
142.309
1736700
CRAFTED/parity-games/
instance_n7_i8_pp.cnf
SAT
147.762
147.805
1737200
CRAFTED/edgematching/
all/em_11_3_4_all.cnf
SAT
153.426
153.478
1562048
CRAFTED/sgi/
new-difficult-20-152-18-95.cnf
SAT
208.967
209.023
1738098
CRAFTED/edgematching/
explicit/em_11_3_4_exp.cnf
SAT
216.805
216.876
1561372
CRAFTED/sgen/sat/
sgen1-sat-180-100.cnf
SAT
341.182
341.265
1732300
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g10.cnf
SAT
430.434
430.572
1734900
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g8.cnf
SAT
492.204
492.345
1734750
CRAFTED/sgi/
new-difficult-24-193-22-70.cnf
SAT
495.041
495.209
1738045
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes4.cnf
SAT
699.881
700.084
1735100
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
SAT
701.128
701.301
1737992
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
SAT
847.991
848.3
1728424
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
SAT
923.213
923.484
1731127
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
SAT
949.242
949.52
1562204
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes1.cnf
SAT
1005.77
1006.07
1735250
CRAFTED/edgematching/
explicit/em_12_2_4_exp.cnf
SAT
1119.64
1120.04
1561476
Solver timed out (no solution given) (168 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
1200.01
1200.31
1729590
CRAFTED/sgen/unsat/
sgen1-unsat-127-100.cnf
? (TO)
1200.02
1200.41
1737250
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
1200.02
1200.41
1731551
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
? (TO)
1200.02
1200.41
1727841
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2_autoenc.cnf
? (TO)
1200.02
1200.31
1733500
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
1200.02
1200.31
1727046
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
1200.02
1200.31
1729060
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes2.cnf
? (TO)
1200.02
1200.32
1735750
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
1200.02
1200.31
1730968
CRAFTED/sgen/sat/
sgen1-sat-230-100.cnf
? (TO)
1200.03
1200.61
1737462
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
1200.03
1200.32
1728583
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
? (TO)
1200.03
1200.32
1731286
CRAFTED/sgen/sat/
sgen1-sat-250-100.cnf
? (TO)
1200.03
1199.91
1737409
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
1200.03
1200.41
1728053
CRAFTED/sgen/unsat/
sgen1-unsat-103-100.cnf
? (TO)
1200.03
1200.31
1737674
CRAFTED/parity-games/
instance_n7_i8_pp_ci_ce.cnf
? (TO)
1200.03
1200.32
1736250
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes3.cnf
? (TO)
1200.03
1200.42
1735350
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
1200.03
1200.61
1726622
CRAFTED/sgi/
new-difficult-28-302-26-75.cnf
? (TO)
1200.03
1200.32
1738363
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
1200.03
1200.61
1726463
CRAFTED/sgen/unsat/
sgen1-unsat-109-100.cnf
? (TO)
1200.04
1200.51
1731800
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
? (TO)
1200.04
1200.41
1728159
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
1200.04
1200.41
1730385
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2.cnf
? (TO)
1200.05
1200.44
1733700
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1728742
CRAFTED/sgen/sat/
sgen1-sat-280-100.cnf
? (TO)
1200.05
1200.51
1732250
CRAFTED/edgematching/
compact/em_7_4_8_cmp.cnf
? (TO)
1200.05
1200.41
1561268
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1726357
CRAFTED/sgen/sat/
sgen1-sat-270-100.cnf
? (TO)
1200.05
1200.41
1737568
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
1200.05
1200.61
1726834
CRAFTED/edgematching/
fbcolors/em_7_3_6_fbc.cnf
? (TO)
1200.05
1200.31
1562360
CRAFTED/rbsat/random/unforced/
rbsat-v1820c171155g3.cnf
? (TO)
1200.06
1200.52
1734800
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1726675
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1726516
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1730491
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
? (TO)
1200.06
1200.51
1729961
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1730067
CRAFTED/sgen/sat/
sgen1-sat-240-100.cnf
? (TO)
1200.06
1200.41
1732550
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1730703
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
? (TO)
1200.06
1200.51
1727629
CRAFTED/sgen/sat/
sgen1-sat-200-100.cnf
? (TO)
1200.06
1200.41
1732600
CRAFTED/sgen/sat/
sgen1-sat-220-100.cnf
? (TO)
1200.06
1200.41
1732400
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2_restricted.cnf
? (TO)
1200.06
1200.41
1733750
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2.cnf
? (TO)
1200.06
1200.44
1733150
CRAFTED/parity-games/
instance_n8_i9_pp.cnf
? (TO)
1200.06
1200.43
1737833
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1729537
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1729643
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1729007
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1728477
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1730915
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1729484
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1730438
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
1200.07
1200.54
1730756
CRAFTED/sgen/sat/
sgen1-sat-300-100.cnf
? (TO)
1200.07
1200.51
1732500
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
? (TO)
1200.07
1200.52
1725350
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
? (TO)
1200.07
1200.81
1726304
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1726887
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1727152
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
1200.07
1200.65
1727311
CRAFTED/parity-games/
instance_n8_i9_pp_ci_ce.cnf
? (TO)
1200.07
1200.43
1737939
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
1200.07
1200.53
1735450
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
1200.07
1200.51
1728795
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2_autoenc.cnf
? (TO)
1200.07
1200.42
1733950
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
1200.07
1200.51
1729431
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
1200.07
1200.43
1730279
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
? (TO)
1200.08
1200.51
1729272
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes4.cnf
? (TO)
1200.08
1200.52
1735150
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1728848
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
1200.08
1200.68
1728689
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1729378
CRAFTED/rbsat/crafted/unforced/
rbsat-v2640c305320g4.cnf
? (TO)
1200.08
1200.54
1735550
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1730809
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1728212
CRAFTED/rbsat/crafted/
forced/rbsat-v1820c171155gyes6.cnf
? (TO)
1200.08
1200.43
1735800
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1727735
CRAFTED/edgematching/
fbcolors/em_9_3_5_fbc.cnf
? (TO)
1200.08
1200.43
1562256
CRAFTED/sgi/
new-difficult-21-168-19-90.cnf
? (TO)
1200.08
1200.41
1738151
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1727099
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
1200.08
1200.43
1726940
CRAFTED/sgen/unsat/
sgen1-unsat-139-100.cnf
? (TO)
1200.08
1200.51
1737515
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
? (TO)
1200.08
1200.52
1731657
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1730544
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2_restricted.cnf
? (TO)
1200.08
1200.72
1733300
CRAFTED/edgematching/
compact/em_9_3_5_cmp.cnf
? (TO)
1200.08
1200.52
1561112
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
? (TO)
1200.08
1200.53
1725509
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1730597
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
? (TO)
1200.08
1200.51
1730862
CRAFTED/sgen/unsat/
sgen1-unsat-151-100.cnf
? (TO)
1200.08
1200.41
1737621
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
? (TO)
1200.08
1200.51
1728954
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
1200.08
1200.52
1561164
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes1.cnf
? (TO)
1200.09
1200.42
1736000
CRAFTED/edgematching/
fbcolors/em_12_2_4_fbc.cnf
? (TO)
1200.09
1200.46
1562516
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
1200.09
1200.51
1726728
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
1200.09
1200.66
1727417
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
1200.09
1200.45
1727364
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
1200.09
1200.65
1727470
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1727788
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1728636
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1729113
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1729166
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
1200.09
1200.64
1730226
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
? (TO)
1200.09
1200.51
1731021
CRAFTED/sgen/unsat/
sgen1-unsat-97-100.cnf
? (TO)
1200.09
1200.51
1731850
CRAFTED/sgen/sat/
sgen1-sat-260-100.cnf
? (TO)
1200.09
1200.41
1732200
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
1200.09
1200.41
1733350
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2.cnf
? (TO)
1200.09
1200.41
1733200
CRAFTED/modcircuits/
mod4block_2vars_11gates_u2_autoenc.cnf
? (TO)
1200.09
1200.42
1733550
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
? (TO)
1200.09
1200.41
1733900
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g4.cnf
? (TO)
1200.09
1200.51
1734650
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g10.cnf
? (TO)
1200.09
1200.41
1734950
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes6.cnf
? (TO)
1200.09
1200.41
1735300
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g5.cnf
? (TO)
1200.09
1200.43
1735650
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes8.cnf
? (TO)
1200.09
1200.44
1735950
CRAFTED/sgen/sat/
sgen1-sat-290-100.cnf
? (TO)
1200.09
1200.41
1737356
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
? (TO)
1200.09
1200.41
1738310
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
1200.1
1200.42
1735500
CRAFTED/edgematching/
fbcolors/em_11_3_4_fbc.cnf
? (TO)
1200.1
1200.44
1562568
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
1200.1
1200.81
1726781
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
? (TO)
1200.1
1200.51
1731074
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
1200.1
1200.42
1729325
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
? (TO)
1200.1
1200.41
1561008
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
? (TO)
1200.1
1200.42
1737727
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
1200.1
1200.43
1561060
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
1200.1
1200.42
1734050
CRAFTED/edgematching/
compact/em_8_4_5_cmp.cnf
? (TO)
1200.1
1200.52
1561320
CRAFTED/sgi/
new-difficult-26-243-24-70.cnf
? (TO)
1200.1
1200.41
1738204
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
1200.1
1200.41
1731180
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
? (TO)
1200.1
1200.51
1731445
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g2.cnf
? (TO)
1200.1
1200.53
1734850
CRAFTED/sgen/unsat/
sgen1-unsat-145-100.cnf
? (TO)
1200.1
1200.51
1732050
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
? (TO)
1200.1
1200.41
1728901
CRAFTED/sgen/unsat/
sgen1-unsat-115-100.cnf
? (TO)
1200.1
1200.41
1737303
CRAFTED/edgematching/
fbcolors/em_7_4_8_fbc.cnf
? (TO)
1200.1
1200.41
1562464
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g2.cnf
? (TO)
1200.1
1200.42
1735000
CRAFTED/modcircuits/
mod3block_2vars_10gates_u2_autoenc.cnf
? (TO)
1200.11
1200.42
1733450
CRAFTED/modcircuits/
mod4block_2vars_10gates_u2_autoenc.cnf
? (TO)
1200.11
1200.42
1733600
CRAFTED/modcircuits/
mod3block_2vars_9gates_u2_autoenc.cnf
? (TO)
1200.11
1200.41
1733800
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
1200.11
1200.51
1729219
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
1200.11
1200.7
1728371
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
1200.11
1200.51
1728318
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g4.cnf
? (TO)
1200.11
1200.43
1735600
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes9.cnf
? (TO)
1200.11
1200.42
1735400
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g2.cnf
? (TO)
1200.11
1200.52
1735700
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
1200.11
1200.42
1728000
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
1200.11
1200.41
1727894
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes9.cnf
? (TO)
1200.11
1200.52
1736050
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
? (TO)
1200.11
1200.64
1727258
CRAFTED/sgen/unsat/
sgen1-unsat-121-100.cnf
? (TO)
1200.11
1200.51
1732150
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
1200.11
1200.41
1726569
CRAFTED/sgen/unsat/
sgen1-unsat-133-100.cnf
? (TO)
1200.11
1200.41
1731950
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
? (TO)
1200.11
1200.6
1730650
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes8.cnf
? (TO)
1200.12
1200.42
1735900
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
1200.12
1200.6
1728265
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
1200.12
1200.43
1730120
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
1200.12
1200.42
1726993
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes1.cnf
? (TO)
1200.12
1200.42
1736100
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes2.cnf
? (TO)
1200.12
1200.52
1735850
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g6.cnf
? (TO)
1200.13
1200.44
1734700
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
1200.13
1200.43
1728530
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
? (TO)
1200.13
1200.45
1730173
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
? (TO)
1200.13
1200.45
1730332
CRAFTED/modcircuits/
mod5block_2vars_12gates.cnf
? (TO)
1200.13
1200.53
1733400
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
1200.14
1200.56
1727576
CRAFTED/parity-games/
instance_n9_i9_pp_ci_ce.cnf
? (TO)
1200.14
1200.44
1737886
CRAFTED/ramseycube/
Q3inK13.cnf
? (TO)
1200.15
1200.75
1732750
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
1200.15
1200.46
1727523
CRAFTED/edgematching/
compact/em_14_7_3_cmp.cnf
? (TO)
1200.18
1200.71
1561216
CRAFTED/edgematching/
fbcolors/em_14_7_3_fbc.cnf
? (TO)
1200.2
1200.54
1562308
Category "random instances" (RANDOM)
Solver proved unsatisfiability (UNSATISFIABLE) (17 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1028159446-096.cnf
UNSAT
214.775
214.842
1534314
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1369720750-015.cnf
UNSAT
233.397
233.477
1534304
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S23373420-028.cnf
UNSAT
259.449
259.522
1534339
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S305156909-031.cnf
UNSAT
267.672
267.752
1534344
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S253750560-086.cnf
UNSAT
271.04
271.133
1534329
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S2043187304-036.cnf
UNSAT
313.335
313.444
1534284
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S680239195-053.cnf
UNSAT
315.225
315.192
1534324
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S404185236-001.cnf
UNSAT
351.708
351.8
1534319
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1906521511-089.cnf
UNSAT
371.707
371.842
1534334
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S367138237-029.cnf
UNSAT
372.135
372.3
1534309
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S2025517367-061.cnf
UNSAT
619.827
620.012
1534299
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1039370030-037.cnf
UNSAT
843.806
844.225
1534014
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1807135406-059.cnf
UNSAT
851.228
851.438
1534274
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S502087726-095.cnf
UNSAT
962.828
963.16
1534294
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1700363952-014.cnf
UNSAT
1035.38
1035.68
1534269
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S928666993-098.cnf
UNSAT
1041.83
1047.08
1534264
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1983754128-073.cnf
UNSAT
1077.22
1077.56
1534249
Solver found a solution (SATISFIABLE) (53 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
11.2633
11.2666
1534869
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1674394075-027.cnf
SAT
18.2832
18.2884
1534799
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1459690542-033.cnf
SAT
19.922
19.9283
1534859
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1711406314-093.cnf
SAT
26.392
26.531
1534894
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S368632549-051.cnf
SAT
27.7058
27.7133
1534884
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S2032726331-082.cnf
SAT
31.7192
31.7298
1534569
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1826927554-087.cnf
SAT
46.352
46.3729
1534849
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1096716652-027.cnf
SAT
51.4532
51.4766
1533624
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1880984131-087.cnf
SAT
63.3684
63.3883
1534489
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1362286908-061.cnf
SAT
67.8667
67.8903
1534454
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2007547542-039.cnf
SAT
69.7904
69.8174
1533279
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1568932519-011.cnf
SAT
73.1139
73.1334
1533264
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S144043535-002.cnf
SAT
80.0998
80.1296
1534889
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1036996799-006.cnf
SAT
96.5853
96.6119
1534809
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1639151107-094.cnf
SAT
109.578
109.616
1533599
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1293537826-039.cnf
SAT
117.737
118.334
1534874
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1666821205-020.cnf
SAT
154.347
154.392
1534624
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1684547485-073.cnf
SAT
176.23
176.28
1534854
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1448866403-060.cnf
SAT
209.048
209.123
1534864
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S172053238-003.cnf
SAT
216.694
216.751
1534584
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1460100153-095.cnf
SAT
220.66
220.727
1534449
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S722433227-030.cnf
SAT
221.508
221.567
1534879
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1804335510-002.cnf
SAT
223.364
223.422
1534844
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S486002104-037.cnf
SAT
232.149
232.206
1534819
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1931398869-036.cnf
SAT
239.364
239.447
1533269
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1614425450-034.cnf
SAT
241.609
241.679
1534784
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1516934767-080.cnf
SAT
265.054
265.121
1534814
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S311671104-045.cnf
SAT
275.413
275.488
1534469
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1159550149-077.cnf
SAT
277.243
277.322
1533284
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S852794659-023.cnf
SAT
295.491
295.595
1533274
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1339293988-069.cnf
SAT
304.31
304.389
1534609
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1912687159-077.cnf
SAT
357.315
357.432
1534834
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S418266958-049.cnf
SAT
382.302
382.438
1534559
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1326039470-063.cnf
SAT
388.834
388.929
1534594
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S981523907-072.cnf
SAT
412.412
412.531
1534554
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S321371087-018.cnf
SAT
444.883
445.026
1534754
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S744068878-072.cnf
SAT
459.187
459.306
1533249
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S725789261-031.cnf
SAT
467.432
467.566
1534639
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1985172968-100.cnf
SAT
473.545
473.686
1534804
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2067258640-036.cnf
SAT
492.887
493.053
1534749
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S326668183-079.cnf
SAT
547.885
548.091
1533644
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1041106011-094.cnf
SAT
580.705
580.859
1534829
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1733990810-090.cnf
SAT
599.474
599.65
1534759
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1624574519-076.cnf
SAT
638.521
638.707
1534479
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S208461254-049.cnf
SAT
777.77
778.02
1534644
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1767425240-073.cnf
SAT
851.315
851.59
1534574
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1841979702-078.cnf
SAT
855.476
855.724
1534839
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1920888253-090.cnf
SAT
866.282
866.61
1533324
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1531283922-009.cnf
SAT
881.958
882.176
1534589
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S824721511-001.cnf
SAT
918.639
918.945
1533254
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S47926000-049.cnf
SAT
949.557
949.807
1533294
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S400088537-049.cnf
SAT
993.632
993.897
1533719
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S326477539-068.cnf
SAT
1043.5
1044.15
1534824
Solver timed out (no solution given) (500 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S565763763-051.cnf
? (TO)
1200.01
1200.31
1534519
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S374947955-075.cnf
? (TO)
1200.01
1200.41
1533959
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1251522734-073.cnf
? (TO)
1200.01
1200.31
1533039
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1221988902-087.cnf
? (TO)
1200.01
1200.61
1533119
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S554804223-012.cnf
? (TO)
1200.01
1200.51
1534729
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1598052044-078.cnf
? (TO)
1200.01
1200.31
1534119
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S95953046-044.cnf
? (TO)
1200.01
1200.31
1534354
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1002348653-090.cnf
? (TO)
1200.01
1200.41
1534714
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S45173584-020.cnf
? (TO)
1200.02
1200.41
1532084
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1912214877-051.cnf
? (TO)
1200.02
1200.41
1532164
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S2124311399-085.cnf
? (TO)
1200.02
1200.31
1532219
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S35186747-095.cnf
? (TO)
1200.02
1200.31
1533114
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S102181364-052.cnf
? (TO)
1200.02
1200.41
1533034
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S439075063-023.cnf
? (TO)
1200.02
1200.42
1532654
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S274764005-003.cnf
? (TO)
1200.02
1200.32
1532694
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1163324878-032.cnf
? (TO)
1200.02
1200.31
1533389
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S787972994-025.cnf
? (TO)
1200.02
1200.41
1534619
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1772751287-054.cnf
? (TO)
1200.02
1200.41
1533434
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S289069074-070.cnf
? (TO)
1200.02
1200.41
1533454
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1707873242-085.cnf
? (TO)
1200.02
1200.41
1533319
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1318210982-002.cnf
? (TO)
1200.02
1200.31
1533439
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S599916448-096.cnf
? (TO)
1200.02
1200.31
1533524
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1085378176-050.cnf
? (TO)
1200.02
1200.31
1532544
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1528563858-100.cnf
? (TO)
1200.02
1200.31
1534709
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf
? (TO)
1200.02
1200.32
1532724
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S889538696-070.cnf
? (TO)
1200.02
1200.31
1534509
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S819692891-023.cnf
? (TO)
1200.02
1200.41
1533764
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S845966893-046.cnf
? (TO)
1200.02
1200.41
1533074
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1788451776-008.cnf
? (TO)
1200.02
1200.41
1532224
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1564075794-028.cnf
? (TO)
1200.02
1200.31
1534134
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1970456972-046.cnf
? (TO)
1200.02
1200.31
1532269
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S820736259-091.cnf
? (TO)
1200.02
1200.31
1533974
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1185462553-011.cnf
? (TO)
1200.02
1200.41
1532144
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S2061874746-039.cnf
? (TO)
1200.02
1200.31
1533969
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1750991629-037.cnf
? (TO)
1200.02
1200.31
1533994
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S709270457-007.cnf
? (TO)
1200.02
1200.31
1533739
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf
? (TO)
1200.02
1200.41
1532824
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1694258328-099.cnf
? (TO)
1200.02
1200.31
1534254
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S816613570-013.cnf
? (TO)
1200.02
1200.31
1533999
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S104085281-076.cnf
? (TO)
1200.02
1200.31
1534004
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1213077873-067.cnf
? (TO)
1200.02
1200.31
1533819
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S159251645-087.cnf
? (TO)
1200.02
1200.31
1533894
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S375588147-050.cnf
? (TO)
1200.02
1200.41
1532339
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1810287895-075.cnf
? (TO)
1200.02
1200.51
1534209
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2106599808-035.cnf
? (TO)
1200.02
1200.31
1534794
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1357790788-074.cnf
? (TO)
1200.02
1200.31
1533144
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S23858409-056.cnf
? (TO)
1200.02
1200.31
1534674
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S393518083-009.cnf
? (TO)
1200.02
1200.31
1533299
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1876865608-086.cnf
? (TO)
1200.02
1200.31
1534529
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1640054673-078.cnf
? (TO)
1200.02
1200.31
1533754
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1223878722-065.cnf
? (TO)
1200.02
1200.31
1533734
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S139794312-098.cnf
? (TO)
1200.02
1200.31
1532844
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1127319144-058.cnf
? (TO)
1200.02
1200.31
1532344
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S2140929154-062.cnf
? (TO)
1200.02
1200.31
1532369
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1211704640-033.cnf
? (TO)
1200.02
1200.41
1533134
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1698591437-083.cnf
? (TO)
1200.02
1200.41
1533109
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S2051339669-029.cnf
? (TO)
1200.02
1200.31
1532334
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1136894336-075.cnf
? (TO)
1200.02
1200.41
1532374
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1229813320-044.cnf
? (TO)
1200.02
1200.41
1534699
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S17277413-072.cnf
? (TO)
1200.03
1200.43
1532859
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S638042053-051.cnf
? (TO)
1200.03
1200.51
1533224
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1070443005-075.cnf
? (TO)
1200.03
1200.61
1533179
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1854680784-082.cnf
? (TO)
1200.03
1200.41
1533899
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S821759333-092.cnf
? (TO)
1200.03
1200.32
1532719
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S353643296-086.cnf
? (TO)
1200.03
1200.31
1534394
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1492329924-074.cnf
? (TO)
1200.03
1200.61
1533239
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf
? (TO)
1200.03
1200.42
1532679
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S146188995-071.cnf
? (TO)
1200.03
1200.41
1534419
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S621134782-041.cnf
? (TO)
1200.03
1200.61
1534424
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1736056721-032.cnf
? (TO)
1200.03
1200.41
1533004
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S342542912-045.cnf
? (TO)
1200.03
1200.41
1533774
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf
? (TO)
1200.04
1200.41
1532814
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf
? (TO)
1200.04
1200.31
1532799
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S2083778933-085.cnf
? (TO)
1200.04
1200.61
1533174
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S84716411-095.cnf
? (TO)
1200.04
1200.61
1534684
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf
? (TO)
1200.04
1200.43
1532894
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1864638535-048.cnf
? (TO)
1200.04
1200.41
1534599
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S51132115-023.cnf
? (TO)
1200.04
1200.33
1532864
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf
? (TO)
1200.04
1200.43
1532869
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1977519792-030.cnf
? (TO)
1200.04
1200.41
1534414
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S602463346-055.cnf
? (TO)
1200.04
1200.41
1534374
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1494961823-060.cnf
? (TO)
1200.04
1200.41
1534349
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1524836866-036.cnf
? (TO)
1200.04
1200.41
1534189
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S915600698-006.cnf
? (TO)
1200.04
1200.41
1534194
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S853819067-006.cnf
? (TO)
1200.04
1200.61
1534129
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S444219303-098.cnf
? (TO)
1200.04
1200.41
1534049
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S418505498-026.cnf
? (TO)
1200.04
1200.41
1534039
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S387386125-069.cnf
? (TO)
1200.04
1200.41
1534009
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1378953985-075.cnf
? (TO)
1200.04
1200.41
1532419
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S957997002-040.cnf
? (TO)
1200.04
1200.41
1534704
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1206040031-030.cnf
? (TO)
1200.04
1200.51
1533639
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S2059720696-001.cnf
? (TO)
1200.04
1200.41
1532539
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2125310989-062.cnf
? (TO)
1200.04
1200.51
1533474
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1503318847-091.cnf
? (TO)
1200.04
1200.41
1533359
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S108799362-035.cnf
? (TO)
1200.04
1200.71
1533414
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf
? (TO)
1200.04
1200.43
1532784
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1971658345-089.cnf
? (TO)
1200.05
1200.51
1533009
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S884764237-004.cnf
? (TO)
1200.05
1200.51
1533464
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S786890012-057.cnf
? (TO)
1200.05
1200.41
1534524
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S247943532-069.cnf
? (TO)
1200.05
1200.41
1534399
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1718226278-096.cnf
? (TO)
1200.05
1200.51
1533659
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1112524719-021.cnf
? (TO)
1200.05
1200.51
1534614
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2099753268-053.cnf
? (TO)
1200.05
1200.41
1533419
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S28271012-055.cnf
? (TO)
1200.05
1200.51
1533949
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S596342014-039.cnf
? (TO)
1200.05
1200.31
1533924
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S748216286-061.cnf
? (TO)
1200.05
1200.41
1533329
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S56507352-034.cnf
? (TO)
1200.05
1200.63
1532959
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S644655157-049.cnf
? (TO)
1200.05
1200.51
1533349
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S809967194-078.cnf
? (TO)
1200.05
1200.41
1534534
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1525918493-008.cnf
? (TO)
1200.05
1200.51
1533559
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1410489780-030.cnf
? (TO)
1200.05
1200.41
1533064
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S632066493-060.cnf
? (TO)
1200.05
1200.41
1533029
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S886725553-011.cnf
? (TO)
1200.05
1200.51
1532309
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1136141672-041.cnf
? (TO)
1200.05
1200.41
1533934
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1086008090-058.cnf
? (TO)
1200.05
1200.41
1533194
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S515665970-021.cnf
? (TO)
1200.05
1200.41
1533149
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S433356712-017.cnf
? (TO)
1200.05
1200.51
1534679
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S131938947-014.cnf
? (TO)
1200.05
1200.41
1534034
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2139292994-055.cnf
? (TO)
1200.05
1200.41
1533259
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S332478069-041.cnf
? (TO)
1200.05
1200.51
1534064
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1695726805-003.cnf
? (TO)
1200.05
1200.41
1532384
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S2104277852-078.cnf
? (TO)
1200.05
1200.41
1534019
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1394036608-091.cnf
? (TO)
1200.05
1200.51
1533904
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S638051453-097.cnf
? (TO)
1200.05
1200.41
1534124
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1388268034-092.cnf
? (TO)
1200.05
1200.41
1532169
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1850025790-078.cnf
? (TO)
1200.05
1200.51
1533214
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1771223975-021.cnf
? (TO)
1200.05
1200.51
1533244
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S178043354-076.cnf
? (TO)
1200.06
1200.41
1533604
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1040456712-073.cnf
? (TO)
1200.06
1200.41
1533289
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1864473452-037.cnf
? (TO)
1200.06
1199.91
1532469
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S2037556208-016.cnf
? (TO)
1200.06
1200.41
1533609
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2058039218-006.cnf
? (TO)
1200.06
1200.41
1533589
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1299934729-015.cnf
? (TO)
1200.06
1200.51
1533584
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2073320038-053.cnf
? (TO)
1200.06
1200.51
1533554
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1266438269-016.cnf
? (TO)
1200.06
1200.51
1533544
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf
? (TO)
1200.06
1200.51
1532574
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S762724712-048.cnf
? (TO)
1200.06
1200.42
1532704
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1818347447-078.cnf
? (TO)
1200.06
1200.41
1533509
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf
? (TO)
1200.06
1200.51
1532584
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1546885609-031.cnf
? (TO)
1200.06
1200.41
1534779
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S844931093-069.cnf
? (TO)
1200.06
1200.41
1534539
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2141146009-040.cnf
? (TO)
1200.06
1200.41
1533459
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S817309453-059.cnf
? (TO)
1200.06
1200.51
1534694
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S197260469-019.cnf
? (TO)
1200.06
1200.51
1533444
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1879656894-046.cnf
? (TO)
1200.06
1200.41
1533394
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S528193823-041.cnf
? (TO)
1200.06
1200.41
1533404
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1963731659-060.cnf
? (TO)
1200.06
1200.51
1533364
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S986324446-009.cnf
? (TO)
1200.06
1200.51
1533234
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S80067159-015.cnf
? (TO)
1200.06
1200.51
1533169
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S971118900-053.cnf
? (TO)
1200.06
1200.51
1533339
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1916548023-003.cnf
? (TO)
1200.06
1200.41
1534669
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf
? (TO)
1200.06
1199.92
1532729
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S578339356-013.cnf
? (TO)
1200.06
1200.51
1533154
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1404929091-050.cnf
? (TO)
1200.06
1200.41
1534099
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S918173205-035.cnf
? (TO)
1200.06
1200.51
1533159
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1154116462-097.cnf
? (TO)
1200.06
1200.41
1533979
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1606932551-072.cnf
? (TO)
1200.06
1200.41
1534109
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1250067652-054.cnf
? (TO)
1200.06
1200.51
1534114
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1736471436-014.cnf
? (TO)
1200.06
1200.41
1532114
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S2096960818-049.cnf
? (TO)
1200.06
1200.41
1533939
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S882603971-022.cnf
? (TO)
1200.06
1200.51
1532174
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1500472284-060.cnf
? (TO)
1200.06
1200.41
1532279
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S449556655-088.cnf
? (TO)
1200.06
1200.51
1534734
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1077410718-040.cnf
? (TO)
1200.06
1200.41
1534139
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1331813943-033.cnf
? (TO)
1200.06
1200.41
1533879
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1457384322-029.cnf
? (TO)
1200.06
1200.41
1534144
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1580204273-012.cnf
? (TO)
1200.06
1200.41
1534279
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S2037268960-098.cnf
? (TO)
1200.06
1200.41
1534104
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S729526068-046.cnf
? (TO)
1200.06
1200.91
1534204
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S356738975-073.cnf
? (TO)
1200.06
1200.41
1534219
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S260616787-042.cnf
? (TO)
1200.06
1200.51
1534289
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1192890414-033.cnf
? (TO)
1200.06
1200.41
1532289
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1897376969-026.cnf
? (TO)
1200.06
1200.41
1533849
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S900957093-043.cnf
? (TO)
1200.06
1200.41
1533839
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1588298513-036.cnf
? (TO)
1200.06
1199.91
1532364
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1536609007-088.cnf
? (TO)
1200.06
1200.51
1534409
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1258122549-031.cnf
? (TO)
1200.06
1200.51
1534369
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1924575376-025.cnf
? (TO)
1200.06
1200.41
1534739
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S51205200-028.cnf
? (TO)
1200.06
1200.51
1533789
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2025169165-076.cnf
? (TO)
1200.06
1200.41
1534364
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S266028630-005.cnf
? (TO)
1200.06
1200.41
1532359
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1800466054-025.cnf
? (TO)
1200.06
1200.41
1534444
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1161147107-031.cnf
? (TO)
1200.06
1200.51
1534429
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1014608490-038.cnf
? (TO)
1200.06
1200.51
1534484
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S445910413-047.cnf
? (TO)
1200.06
1200.41
1533729
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S432895007-058.cnf
? (TO)
1200.06
1200.51
1533709
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1146593655-045.cnf
? (TO)
1200.06
1200.41
1533704
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S512486692-050.cnf
? (TO)
1200.06
1200.41
1533669
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1514821049-021.cnf
? (TO)
1200.06
1200.41
1533619
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1797123396-073.cnf
? (TO)
1200.07
1200.51
1532124
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1322153318-039.cnf
? (TO)
1200.07
1200.41
1532074
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S249585100-059.cnf
? (TO)
1200.07
1200.51
1532099
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1724014998-099.cnf
? (TO)
1200.07
1200.51
1532139
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1766907733-036.cnf
? (TO)
1200.07
1200.51
1532314
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf
? (TO)
1200.07
1199.92
1532699
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S207294319-099.cnf
? (TO)
1200.07
1200.41
1533139
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1645769281-097.cnf
? (TO)
1200.07
1200.41
1533714
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S2007898659-069.cnf
? (TO)
1200.07
1200.41
1534239
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1961115887-052.cnf
? (TO)
1200.07
1200.41
1532299
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S155821307-034.cnf
? (TO)
1200.07
1200.41
1532189
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S318878687-017.cnf
? (TO)
1200.07
1200.41
1532324
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S211141966-058.cnf
? (TO)
1200.07
1200.51
1532254
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1313163883-027.cnf
? (TO)
1200.07
1200.41
1532294
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1992353905-004.cnf
? (TO)
1200.07
1200.51
1532399
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S452919966-071.cnf
? (TO)
1200.07
1200.41
1532379
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S441484366-048.cnf
? (TO)
1200.07
1200.51
1532394
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1845944120-011.cnf
? (TO)
1200.07
1200.51
1532429
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S327274323-044.cnf
? (TO)
1200.07
1200.51
1532494
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1906075351-024.cnf
? (TO)
1200.07
1200.51
1532504
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf
? (TO)
1200.07
1200.42
1532599
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S568017735-066.cnf
? (TO)
1200.07
1200.51
1532834
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf
? (TO)
1200.07
1200.43
1532899
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S745855171-090.cnf
? (TO)
1200.07
1200.41
1533014
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S257485978-084.cnf
? (TO)
1200.07
1200.51
1533024
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1916972979-060.cnf
? (TO)
1200.07
1200.51
1533049
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S785082413-028.cnf
? (TO)
1200.07
1200.51
1533084
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S267191961-079.cnf
? (TO)
1200.07
1200.41
1533164
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1703611043-077.cnf
? (TO)
1200.07
1200.51
1533409
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S703461330-034.cnf
? (TO)
1200.07
1200.41
1533424
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S400162545-095.cnf
? (TO)
1200.07
1200.41
1533549
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1718100253-004.cnf
? (TO)
1200.07
1200.41
1533579
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1394630553-009.cnf
? (TO)
1200.07
1200.41
1533574
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S603077945-019.cnf
? (TO)
1200.07
1200.41
1533674
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S754967851-033.cnf
? (TO)
1200.07
1200.41
1533649
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S839983432-073.cnf
? (TO)
1200.07
1200.41
1533759
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1735544520-075.cnf
? (TO)
1200.07
1200.41
1533844
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S486178562-011.cnf
? (TO)
1200.07
1200.41
1533889
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S565564805-059.cnf
? (TO)
1200.07
1200.41
1533929
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1528023000-027.cnf
? (TO)
1200.07
1200.51
1533919
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S393462637-097.cnf
? (TO)
1200.07
1200.41
1534054
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S285229208-001.cnf
? (TO)
1200.07
1200.41
1534179
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1159067237-017.cnf
? (TO)
1200.07
1200.41
1534229
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S956671877-054.cnf
? (TO)
1200.07
1200.41
1534404
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1940784272-089.cnf
? (TO)
1200.07
1200.41
1534459
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1139247531-051.cnf
? (TO)
1200.07
1200.51
1534474
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1137823545-077.cnf
? (TO)
1200.07
1200.51
1534654
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1263695887-042.cnf
? (TO)
1200.07
1200.51
1534634
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1422278005-004.cnf
? (TO)
1200.08
1200.41
1533374
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S884941173-092.cnf
? (TO)
1200.08
1200.41
1533229
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S839302453-094.cnf
? (TO)
1200.08
1200.42
1532659
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2015297474-031.cnf
? (TO)
1200.08
1200.51
1532054
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf
? (TO)
1200.08
1200.51
1532829
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1563412474-059.cnf
? (TO)
1200.08
1200.51
1534069
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S2069223517-023.cnf
? (TO)
1200.08
1200.51
1534744
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1775841359-070.cnf
? (TO)
1200.08
1200.41
1534094
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S398733532-072.cnf
? (TO)
1200.08
1200.41
1533199
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S279212213-020.cnf
? (TO)
1200.08
1200.52
1532614
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S420719158-080.cnf
? (TO)
1200.08
1200.43
1532939
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1175850950-017.cnf
? (TO)
1200.08
1200.41
1534154
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2035161427-020.cnf
? (TO)
1200.08
1200.41
1534789
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S457856978-061.cnf
? (TO)
1200.08
1200.51
1534159
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S2034442711-054.cnf
? (TO)
1200.08
1200.41
1534174
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S661850551-087.cnf
? (TO)
1200.08
1200.51
1532229
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S2142680239-019.cnf
? (TO)
1200.08
1200.41
1534659
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S179172230-011.cnf
? (TO)
1200.08
1200.41
1533379
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S617358728-082.cnf
? (TO)
1200.08
1200.51
1534764
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1746008863-010.cnf
? (TO)
1200.08
1200.41
1534224
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1555503917-029.cnf
? (TO)
1200.08
1200.51
1534774
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf
? (TO)
1200.08
1200.41
1532579
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S859578263-029.cnf
? (TO)
1200.08
1200.52
1532624
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S358640743-023.cnf
? (TO)
1200.08
1200.51
1533469
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S45592023-054.cnf
? (TO)
1200.08
1200.41
1534499
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S2142794689-088.cnf
? (TO)
1200.08
1200.41
1533504
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S857870897-089.cnf
? (TO)
1200.08
1200.51
1533514
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf
? (TO)
1200.08
1200.41
1532809
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1482824652-097.cnf
? (TO)
1200.08
1200.51
1533494
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1171422074-087.cnf
? (TO)
1200.08
1200.51
1533539
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1610649331-094.cnf
? (TO)
1200.08
1200.41
1533534
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S900737394-048.cnf
? (TO)
1200.08
1200.51
1534689
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2142489608-055.cnf
? (TO)
1200.08
1200.51
1533564
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S566590366-099.cnf
? (TO)
1200.08
1200.51
1532489
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S74035269-088.cnf
? (TO)
1200.08
1200.41
1532514
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1802626390-033.cnf
? (TO)
1200.08
1200.41
1532424
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S291433416-025.cnf
? (TO)
1200.08
1200.41
1533089
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1858385213-060.cnf
? (TO)
1200.08
1200.51
1533634
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1352224201-070.cnf
? (TO)
1200.08
1200.51
1532414
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1484713995-092.cnf
? (TO)
1200.08
1200.51
1533689
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1481888618-011.cnf
? (TO)
1200.08
1200.41
1533219
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1295462378-089.cnf
? (TO)
1200.08
1200.51
1532434
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S285713182-059.cnf
? (TO)
1200.08
1200.41
1532484
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S284173264-081.cnf
? (TO)
1200.08
1200.41
1533684
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1895787950-064.cnf
? (TO)
1200.08
1200.51
1533724
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1249224492-031.cnf
? (TO)
1200.08
1200.41
1532409
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S956556686-037.cnf
? (TO)
1200.08
1200.51
1532444
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S984347600-003.cnf
? (TO)
1200.08
1200.51
1533304
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1818639567-059.cnf
? (TO)
1200.08
1200.41
1532509
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803323266-025.cnf
? (TO)
1200.08
1200.41
1533779
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S287307030-088.cnf
? (TO)
1200.08
1200.41
1533799
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S595075179-058.cnf
? (TO)
1200.08
1200.52
1532739
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S645163129-012.cnf
? (TO)
1200.08
1200.41
1533814
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2083487609-068.cnf
? (TO)
1200.08
1200.51
1533044
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1731702106-010.cnf
? (TO)
1200.08
1200.41
1533829
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S799705985-049.cnf
? (TO)
1200.08
1200.41
1533834
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S906020180-093.cnf
? (TO)
1200.08
1200.41
1532839
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1730125812-056.cnf
? (TO)
1200.08
1200.51
1534724
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1048138627-064.cnf
? (TO)
1200.08
1200.51
1533869
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S149116968-021.cnf
? (TO)
1200.08
1200.51
1533859
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1568578307-064.cnf
? (TO)
1200.08
1200.41
1532319
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S115851319-100.cnf
? (TO)
1200.08
1200.51
1532154
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1611899384-022.cnf
? (TO)
1200.08
1200.61
1532284
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2119656249-086.cnf
? (TO)
1200.08
1200.51
1532999
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S572248576-042.cnf
? (TO)
1200.08
1200.51
1533909
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1481598919-023.cnf
? (TO)
1200.08
1200.41
1533184
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S179568577-034.cnf
? (TO)
1200.08
1200.41
1533964
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S688769362-007.cnf
? (TO)
1200.08
1200.41
1533989
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S612955126-075.cnf
? (TO)
1200.08
1200.41
1532804
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1376127278-008.cnf
? (TO)
1200.09
1200.41
1533209
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S136987316-008.cnf
? (TO)
1200.09
1200.41
1532559
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1778559297-006.cnf
? (TO)
1200.09
1200.51
1534494
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1551099861-042.cnf
? (TO)
1200.09
1200.51
1533529
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1050568800-025.cnf
? (TO)
1200.09
1200.51
1533124
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S559732886-091.cnf
? (TO)
1200.09
1200.51
1533079
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1367181683-025.cnf
? (TO)
1200.09
1200.41
1534769
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S905029262-097.cnf
? (TO)
1200.09
1200.51
1533569
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1602291491-023.cnf
? (TO)
1200.09
1200.51
1533854
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1828800850-025.cnf
? (TO)
1200.09
1200.41
1533614
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1089910525-056.cnf
? (TO)
1200.09
1200.51
1533874
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1629955917-055.cnf
? (TO)
1200.09
1200.41
1533099
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1119648091-064.cnf
? (TO)
1200.09
1200.41
1532244
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S975048338-088.cnf
? (TO)
1200.09
1200.51
1533984
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1334593800-018.cnf
? (TO)
1200.09
1200.41
1532204
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1183359164-025.cnf
? (TO)
1200.09
1200.41
1532129
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1375576340-029.cnf
? (TO)
1200.09
1200.41
1534029
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1736708510-089.cnf
? (TO)
1200.09
1200.51
1533594
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf
? (TO)
1200.09
1200.42
1532684
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1332067449-041.cnf
? (TO)
1200.09
1200.41
1534664
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S685953260-065.cnf
? (TO)
1200.09
1200.41
1532264
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S531507935-068.cnf
? (TO)
1200.09
1200.41
1533944
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S942507261-096.cnf
? (TO)
1200.09
1200.51
1532389
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S658989873-070.cnf
? (TO)
1200.09
1200.51
1534384
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1350958473-082.cnf
? (TO)
1200.09
1200.41
1534079
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1420449214-092.cnf
? (TO)
1200.09
1200.51
1533129
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S449511205-064.cnf
? (TO)
1200.09
1200.51
1534649
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1035441377-058.cnf
? (TO)
1200.09
1200.51
1534084
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S432776913-077.cnf
? (TO)
1200.09
1200.61
1532464
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1331382449-070.cnf
? (TO)
1200.09
1200.41
1533094
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S547165541-056.cnf
? (TO)
1200.09
1200.51
1532534
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1900558626-069.cnf
? (TO)
1200.09
1200.41
1533489
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S122462268-047.cnf
? (TO)
1200.09
1200.41
1533054
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2054549948-012.cnf
? (TO)
1200.09
1200.61
1532094
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S914952752-019.cnf
? (TO)
1200.09
1200.51
1533019
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S315403000-060.cnf
? (TO)
1200.09
1200.51
1532134
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1849057034-020.cnf
? (TO)
1200.09
1200.51
1532479
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2088224617-083.cnf
? (TO)
1200.09
1200.51
1532059
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1549575664-035.cnf
? (TO)
1200.09
1200.51
1532304
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1007745655-097.cnf
? (TO)
1200.09
1200.51
1534164
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S583379276-046.cnf
? (TO)
1200.09
1200.41
1534149
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1628763900-004.cnf
? (TO)
1200.09
1200.51
1534169
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf
? (TO)
1200.09
1200.52
1532734
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S780904324-093.cnf
? (TO)
1200.09
1200.51
1534629
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S162003179-087.cnf
? (TO)
1200.09
1200.43
1532849
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S592525179-032.cnf
? (TO)
1200.09
1200.41
1532454
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S926047226-039.cnf
? (TO)
1200.09
1200.41
1534184
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1253795703-015.cnf
? (TO)
1200.09
1200.41
1532214
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1892788676-021.cnf
? (TO)
1200.09
1200.41
1534199
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1540921235-015.cnf
? (TO)
1200.09
1200.51
1533884
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1354285755-030.cnf
? (TO)
1200.09
1200.41
1533679
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2065372010-022.cnf
? (TO)
1200.09
1200.41
1533429
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1249441590-066.cnf
? (TO)
1200.09
1200.41
1534234
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1738391204-028.cnf
? (TO)
1200.09
1200.41
1532239
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S195213520-027.cnf
? (TO)
1200.09
1200.52
1532649
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1794178048-059.cnf
? (TO)
1200.09
1200.41
1533654
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf
? (TO)
1200.09
1200.52
1532619
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1879859331-044.cnf
? (TO)
1200.09
1200.51
1534504
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1017443264-065.cnf
? (TO)
1200.09
1200.41
1533384
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S184801254-020.cnf
? (TO)
1200.09
1200.41
1533449
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1723021362-073.cnf
? (TO)
1200.09
1200.41
1533694
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S142096783-019.cnf
? (TO)
1200.09
1200.51
1534549
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S870840347-014.cnf
? (TO)
1200.09
1200.41
1532529
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S779309989-069.cnf
? (TO)
1200.09
1200.41
1532594
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S2060380282-019.cnf
? (TO)
1200.09
1200.41
1533744
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1954748117-061.cnf
? (TO)
1200.09
1200.51
1532149
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S522321670-058.cnf
? (TO)
1200.09
1200.41
1532349
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1543261951-042.cnf
? (TO)
1200.09
1200.41
1532449
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S2054922493-058.cnf
? (TO)
1200.09
1200.41
1532159
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf
? (TO)
1200.09
1200.43
1532914
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1284372491-036.cnf
? (TO)
1200.09
1206.01
1532064
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf
? (TO)
1200.09
1200.52
1532609
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S227954525-082.cnf
? (TO)
1200.09
1200.41
1534439
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1723900160-044.cnf
? (TO)
1200.09
1200.51
1533189
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1429776379-099.cnf
? (TO)
1200.09
1200.51
1534514
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S254828838-055.cnf
? (TO)
1200.09
1200.51
1533499
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1017667294-044.cnf
? (TO)
1200.09
1200.51
1532499
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S2087271472-092.cnf
? (TO)
1200.09
1200.41
1534434
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1153031014-012.cnf
? (TO)
1200.09
1200.41
1533369
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S7007454-009.cnf
? (TO)
1200.1
1200.41
1532549
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S822708255-070.cnf
? (TO)
1200.1
1200.53
1532769
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf
? (TO)
1200.1
1200.53
1532779
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1772254584-042.cnf
? (TO)
1200.1
1200.51
1533314
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S282405510-004.cnf
? (TO)
1200.1
1200.51
1533334
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S402241321-038.cnf
? (TO)
1200.1
1200.41
1533309
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf
? (TO)
1200.1
1200.52
1532709
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf
? (TO)
1200.1
1200.42
1532664
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S308012126-046.cnf
? (TO)
1200.1
1200.41
1533344
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S357555833-073.cnf
? (TO)
1200.1
1200.51
1533354
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1559668863-058.cnf
? (TO)
1200.1
1200.61
1533399
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1758422766-080.cnf
? (TO)
1200.1
1200.51
1533484
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2028777924-038.cnf
? (TO)
1200.1
1200.41
1533479
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S541865505-057.cnf
? (TO)
1200.1
1200.41
1532519
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1338462531-082.cnf
? (TO)
1200.1
1200.41
1534719
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf
? (TO)
1200.1
1200.41
1532554
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S91288590-071.cnf
? (TO)
1200.1
1200.41
1532474
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S746386799-050.cnf
? (TO)
1200.1
1200.41
1533629
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1178729443-051.cnf
? (TO)
1200.1
1200.51
1532459
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S834811574-084.cnf
? (TO)
1200.1
1200.41
1533664
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1366769180-095.cnf
? (TO)
1200.1
1200.51
1533699
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1049921489-034.cnf
? (TO)
1200.1
1200.41
1532404
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S72273909-010.cnf
? (TO)
1200.1
1200.41
1533769
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1988754311-026.cnf
? (TO)
1200.1
1200.41
1533784
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S193214747-044.cnf
? (TO)
1200.1
1200.41
1532329
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1803805764-016.cnf
? (TO)
1200.1
1200.41
1533824
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S697681291-080.cnf
? (TO)
1200.1
1200.41
1533864
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1281410666-045.cnf
? (TO)
1200.1
1200.61
1532274
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S121765931-081.cnf
? (TO)
1200.1
1200.41
1533914
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1573578038-005.cnf
? (TO)
1200.1
1200.51
1532199
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S948914005-013.cnf
? (TO)
1200.1
1200.41
1532354
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S144924920-056.cnf
? (TO)
1200.1
1200.41
1532194
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1018145191-052.cnf
? (TO)
1200.1
1200.51
1532259
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S962875623-008.cnf
? (TO)
1200.1
1200.41
1532249
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1553390498-064.cnf
? (TO)
1200.1
1200.41
1534024
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S743448446-027.cnf
? (TO)
1200.1
1200.41
1532234
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1748152762-086.cnf
? (TO)
1200.1
1200.41
1532119
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S287522321-032.cnf
? (TO)
1200.1
1200.41
1534059
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1353993612-015.cnf
? (TO)
1200.1
1200.41
1534074
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1040507052-028.cnf
? (TO)
1200.1
1200.51
1532089
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S251246256-047.cnf
? (TO)
1200.1
1200.51
1532104
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S704699380-099.cnf
? (TO)
1200.1
1200.41
1532069
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S999404609-010.cnf
? (TO)
1200.1
1200.41
1534259
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1377066099-004.cnf
? (TO)
1200.1
1200.41
1534214
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1826325374-100.cnf
? (TO)
1200.1
1200.51
1533809
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S349436298-004.cnf
? (TO)
1200.1
1200.61
1534359
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1353769076-009.cnf
? (TO)
1200.1
1200.51
1532109
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1305875336-097.cnf
? (TO)
1200.1
1200.51
1533059
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2056912842-027.cnf
? (TO)
1200.1
1200.41
1534389
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf
? (TO)
1200.1
1200.42
1532974
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S15767910-042.cnf
? (TO)
1200.1
1200.52
1532979
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf
? (TO)
1200.1
1200.43
1532874
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf
? (TO)
1200.1
1200.41
1532819
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1949086545-083.cnf
? (TO)
1200.1
1200.41
1534544
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S419666888-007.cnf
? (TO)
1200.1
1200.41
1534564
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S714125262-017.cnf
? (TO)
1200.1
1200.41
1534579
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S520696524-059.cnf
? (TO)
1200.1
1200.51
1532569
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S814638510-058.cnf
? (TO)
1200.1
1200.41
1532524
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S110290755-003.cnf
? (TO)
1200.1
1200.41
1534604
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S219795104-099.cnf
? (TO)
1200.1
1200.42
1532984
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S650356257-052.cnf
? (TO)
1200.1
1200.52
1532989
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S712437980-063.cnf
? (TO)
1200.1
1200.51
1533069
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S367498571-066.cnf
? (TO)
1200.1
1200.51
1533104
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1850138369-006.cnf
? (TO)
1200.11
1200.51
1532079
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf
? (TO)
1200.11
1200.52
1532949
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S377647456-019.cnf
? (TO)
1200.11
1200.72
1532994
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf
? (TO)
1200.11
1200.53
1532904
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S125259973-020.cnf
? (TO)
1200.11
1200.41
1534044
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S190880026-038.cnf
? (TO)
1200.11
1200.71
1534244
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S492033085-065.cnf
? (TO)
1200.11
1200.51
1534089
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S500426663-025.cnf
? (TO)
1200.11
1200.42
1532689
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf
? (TO)
1200.11
1200.43
1532749
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803029538-050.cnf
? (TO)
1200.11
1200.51
1533794
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S501150091-001.cnf
? (TO)
1200.11
1200.51
1532049
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S678706275-057.cnf
? (TO)
1200.11
1200.41
1532209
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S648763183-023.cnf
? (TO)
1200.11
1200.43
1532754
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S517464300-073.cnf
? (TO)
1200.11
1200.51
1533954
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf
? (TO)
1200.11
1200.43
1532964
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S805234188-084.cnf
? (TO)
1200.11
1200.41
1532179
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1339364096-048.cnf
? (TO)
1200.11
1200.51
1533804
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S907861678-077.cnf
? (TO)
1200.11
1200.41
1532439
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1402156840-093.cnf
? (TO)
1200.11
1200.41
1533749
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf
? (TO)
1200.11
1200.41
1532589
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1796956909-029.cnf
? (TO)
1200.11
1200.51
1533519
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S339800239-026.cnf
? (TO)
1200.11
1200.43
1532889
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S180439591-093.cnf
? (TO)
1200.11
1200.41
1534464
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf
? (TO)
1200.11
1200.42
1532759
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf
? (TO)
1200.11
1200.44
1532919
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf
? (TO)
1200.11
1200.51
1532564
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf
? (TO)
1200.11
1200.43
1532774
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S21800963-085.cnf
? (TO)
1200.11
1200.42
1532629
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S310111511-029.cnf
? (TO)
1200.11
1200.42
1532789
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf
? (TO)
1200.11
1200.52
1532714
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S688804305-073.cnf
? (TO)
1200.11
1200.42
1532674
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S579205610-033.cnf
? (TO)
1200.11
1200.42
1532669
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S322778960-054.cnf
? (TO)
1200.11
1200.43
1532884
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1767813611-042.cnf
? (TO)
1200.11
1200.41
1533204
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf
? (TO)
1200.11
1200.53
1532854
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S826724848-048.cnf
? (TO)
1200.12
1200.53
1532954
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf
? (TO)
1200.12
1200.53
1532794
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S268463339-081.cnf
? (TO)
1200.12
1200.42
1532644
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf
? (TO)
1200.12
1200.52
1532744
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf
? (TO)
1200.12
1200.44
1532929
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S221596758-009.cnf
? (TO)
1200.12
1200.53
1532969
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1441840675-053.cnf
? (TO)
1200.12
1200.51
1532184
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf
? (TO)
1200.12
1200.52
1532639
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1045096471-025.cnf
? (TO)
1200.12
1200.51
1534379
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf
? (TO)
1200.12
1200.43
1532909
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf
? (TO)
1200.12
1200.44
1532879
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf
? (TO)
1200.12
1200.52
1532604
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf
? (TO)
1200.12
1200.44
1532944
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf
? (TO)
1200.13
1200.43
1532764
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf
? (TO)
1200.13
1200.43
1532924
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf
? (TO)
1200.13
1200.42
1532634
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S914323646-060.cnf
? (TO)
1200.14
1200.53
1532934