SAT 2009 Competition: main competition (phase 1): benchmarks results per solver
Result page for solver HydraSAT
2009-03-22-Base
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (63 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.715891
0.715814
1718821
manol-pipe-g6bi.cnf
UNSAT
2.17967
2.18091
1723733
een-tip-uns-nusmv-t5.B.cnf
UNSAT
2.50762
2.50717
1723369
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
2.72058
2.72114
1717989
cmu-bmc-barrel6.cnf
UNSAT
2.89756
2.8957
1719549
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
3.2675
3.26901
1717937
APPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
UNSAT
7.84981
7.85204
1556859
APPLICATIONS/bitverif/
minor/minor032.cnf
UNSAT
11.6752
11.6794
1553219
hoons-vbmc-lucky7.cnf
UNSAT
23.5654
23.5735
1719861
APPLICATIONS/crypto/
md5gen/gus-md5-05.cnf
UNSAT
32.3771
32.3898
1556807
manol-pipe-c9.cnf
UNSAT
33.5109
33.5218
1724357
APPLICATIONS/bitverif/
icbrt/icbrt1_32.cnf
UNSAT
36.8174
36.8279
1555039
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
40.7878
40.7988
1715649
APPLICATIONS/bitverif/
smulo/smulo016.cnf
UNSAT
41.9726
41.9876
1554831
APPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
UNSAT
44.3253
44.3413
1554571
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
UNSAT
49.2755
49.2973
1723061
APPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
UNSAT
51.0372
51.11
1577787
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
UNSAT
51.4872
51.5044
1554103
manol-pipe-g7nidw.cnf
UNSAT
62.2885
62.318
1724305
velev-engi-uns-1.0-4nd.cnf
UNSAT
69.5894
69.6157
1720121
cmu-bmc-longmult15.cnf
UNSAT
70.3443
70.3654
1720641
APPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
UNSAT
71.0202
71.0448
1556755
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
83.3583
83.396
1717677
APPLICATIONS/c32sat/
post-c32s-col400-16.cnf
UNSAT
102.299
102.344
1563463
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
109.352
109.407
1717469
simon-s03-fifo8-300.cnf
UNSAT
113.437
113.494
1724149
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
118.468
59.3049
1718249
APPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
UNSAT
120.614
120.66
1553791
schup-l2s-abp4-1-k31.cnf
UNSAT
129.74
129.783
1719601
velev-live-uns-2.0-ebuf.cnf
UNSAT
144.818
144.87
1723681
APPLICATIONS/diagnosis/
UR-10-5p0.cnf
UNSAT
168.23
168.306
1579867
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
168.572
168.632
1715701
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
170.177
170.232
1717625
APPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
UNSAT
191.686
191.746
1557067
APPLICATIONS/diagnosis/
UCG-10-5p0.cnf
UNSAT
198.703
198.756
1578203
APPLICATIONS/
bitverif/maxand/maxand064.cnf
UNSAT
222.59
222.66
1555611
APPLICATIONS/diagnosis/
UTI-10-10p0.cnf
UNSAT
232.518
232.59
1581739
APPLICATIONS/diagnosis/
ACG-10-5p0.cnf
UNSAT
237.666
237.771
1579399
manol-pipe-g10id.cnf
UNSAT
252.596
252.716
1723525
manol-pipe-c6nidw_i.cnf
UNSAT
277.404
277.5
1724461
manol-pipe-c6bidw_i.cnf
UNSAT
305.93
306.049
1720277
APPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
UNSAT
316.205
316.339
1563619
APPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
UNSAT
333.594
333.717
1577579
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
342.727
342.835
1717885
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
386.554
386.688
1580543
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
398.101
398.247
1718145
manol-pipe-c7bidw_i.cnf
UNSAT
413.727
413.849
1724253
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
450.896
451.032
1717573
APPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
UNSAT
490.646
490.9
1553323
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
UNSAT
509.573
509.721
1722261
APPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
UNSAT
582.992
583.164
1563047
APPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
UNSAT
595.458
595.66
1563203
simon-s02b-dp11u10.cnf
UNSAT
598.553
598.778
1723837
APPLICATIONS/diagnosis/
UR-15-5p0.cnf
UNSAT
649.474
649.657
1581947
APPLICATIONS/diagnosis/
UTI-15-10p0.cnf
UNSAT
682.098
682.396
1580855
APPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
UNSAT
696.66
696.829
1562735
goldb-heqc-alu4mul.cnf
UNSAT
716.321
716.511
1721005
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
788.466
788.684
1562787
APPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
UNSAT
826.335
826.622
1563099
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
UNSAT
884.365
884.599
1722511
APPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
UNSAT
1023.46
1023.82
1556599
APPLICATIONS/
c32sat/post-c32s-ss-8.cnf
UNSAT
1169.62
1169.91
1563567
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
1180.68
1181.1
1716325
Solver found a solution (SATISFIABLE) (53 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
een-tip-sat-texas-tp-5e.cnf
SAT
0.235963
0.236437
1720901
APPLICATIONS/aprove09/
AProVE09-13.cnf
SAT
0.235964
0.237071
1560291
APPLICATIONS/aprove09/
AProVE09-22.cnf
SAT
0.463929
0.46441
1560447
APPLICATIONS/aprove09/
AProVE09-11.cnf
SAT
0.624904
0.633177
1560863
APPLICATIONS/aprove09/
AProVE09-12.cnf
SAT
1.26381
1.26447
1560343
APPLICATIONS/aprove09/
AProVE09-25.cnf
SAT
1.2848
1.28485
1560135
APPLICATIONS/aprove09/
AProVE09-08.cnf
SAT
1.2988
1.29923
1560707
APPLICATIONS/aprove09/
AProVE09-21.cnf
SAT
1.34879
1.34953
1560083
APPLICATIONS/aprove09/
AProVE09-19.cnf
SAT
1.46678
1.46664
1560915
APPLICATIONS/aprove09/
AProVE09-03.cnf
SAT
1.82572
1.82679
1560655
APPLICATIONS/aprove09/
AProVE09-01.cnf
SAT
2.81657
2.81886
1560395
APPLICATIONS/aprove09/
AProVE09-07.cnf
SAT
3.2465
3.2482
1560603
APPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
SAT
4.33634
4.33938
1563151
APPLICATIONS/aprove09/
AProVE09-05.cnf
SAT
5.02224
5.02349
1560031
APPLICATIONS/aprove09/
AProVE09-24.cnf
SAT
5.49016
5.49286
1559927
APPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
SAT
5.52616
5.5284
1562995
APPLICATIONS/aprove09/
AProVE09-10.cnf
SAT
5.82911
5.83379
1560811
APPLICATIONS/aprove09/
AProVE09-15.cnf
SAT
6.22705
6.22918
1560551
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
SAT
8.80566
8.8079
1722111
APPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
SAT
12.93
12.9341
1562839
velev-pipe-sat-1.0-b10.cnf
SAT
16.8214
16.8266
1723317
industrial/grieu/
vmpc_30.cnf
SAT
18.2082
18.2126
1718405
industrial/grieu/
vmpc_26.cnf
SAT
27.3858
27.3948
1718717
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_22_SAT.cnf
SAT
41.8726
41.8934
1721311
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
SAT
42.5175
42.5337
1562631
APPLICATIONS/diagnosis/
UR-10-5p1.cnf
SAT
56.9833
57.0334
1579451
industrial/grieu/
vmpc_25.cnf
SAT
60.3508
60.3713
1718353
APPLICATIONS/aprove09/
AProVE09-17.cnf
SAT
64.8101
64.8348
1559719
APPLICATIONS/crypto/
desgen/gss-13-s100.cnf
SAT
66.024
66.4161
1559199
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
71.3841
71.5258
1719393
APPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
SAT
72.344
72.3656
1562943
velev-pipe-sat-1.0-b7.cnf
SAT
75.1766
75.2084
1723161
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
SAT
78.4721
78.497
1721711
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
80.7707
80.818
1719341
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
105.491
105.519
1558419
APPLICATIONS/crypto/
desgen/gss-15-s100.cnf
SAT
117.707
117.734
1558471
APPLICATIONS/bioinfo/
q_query_3_l42_lambda.cnf
SAT
119.7
119.764
1562683
industrial/grieu/
vmpc_24.cnf
SAT
142.567
142.621
1718509
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
148.813
148.876
1717417
APPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
SAT
187.118
187.188
1562891
APPLICATIONS/bioinfo/
q_query_3_L60_coli.sat.cnf
SAT
199.892
199.981
1577683
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
SAT
214.219
214.297
1722011
APPLICATIONS/aprove09/
AProVE09-06.cnf
SAT
343.924
344.027
1559667
simon-s03-w08-15.cnf
SAT
348.504
348.594
1719757
mizh-sha0-35-3.cnf
SAT
356.926
357.173
1720693
mizh-md5-47-4.cnf
SAT
430.014
430.152
1720537
schup-l2s-motst-2-k315.cnf
SAT
616.834
617.015
1720017
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
617.476
617.644
1557795
mizh-md5-47-3.cnf
SAT
666.325
666.531
1719497
mizh-sha0-36-3.cnf
SAT
772.169
772.352
1719809
APPLICATIONS/crypto/
desgen/gss-17-s100.cnf
SAT
791.385
791.628
1557587
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
806.059
806.294
1577631
mizh-sha0-36-4.cnf
SAT
930.928
931.248
1720225
Solver timed out (no solution given) (175 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/
bitverif/minand/minand128.cnf
? (TO)
1200.02
1200.32
1554207
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
? (TO)
1200.02
1200.42
1717833
APPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
? (TO)
1200.02
1200.52
1556703
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
1200.03
1200.32
1557015
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
? (TO)
1200.03
1200.41
1721361
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
? (TO)
1200.03
1200.41
1721661
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
? (TO)
1200.03
1200.41
1722361
APPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
? (TO)
1200.03
1200.42
1555247
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
1200.03
1200.31
1718873
APPLICATIONS/aprove09/
AProVE09-20.cnf
? (TO)
1200.03
1200.32
1559771
APPLICATIONS/crypto/
desgen/gss-33-s100.cnf
? (TO)
1200.04
1200.41
1558835
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
1200.04
1200.43
1555871
APPLICATIONS/diagnosis/
ACG-15-10p1.cnf
? (TO)
1200.05
1200.63
1580335
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
1200.05
1200.44
1553375
APPLICATIONS/crypto/
desgen/gss-23-s100.cnf
? (TO)
1200.05
1200.41
1558991
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
? (TO)
1200.05
1200.41
1721261
velev-pipe-o-uns-1.0-7.cnf
? (TO)
1200.05
1200.43
1723889
simon-s02b-k2f-gr-rcs-w8.cnf
? (TO)
1200.05
1200.71
1724201
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
? (TO)
1200.05
1200.41
1559615
manol-pipe-f9b.cnf
? (TO)
1200.05
1200.34
1719965
APPLICATIONS/diagnosis/
ACG-20-10p0.cnf
? (TO)
1200.05
1200.44
1579347
APPLICATIONS/diagnosis/
UTI-15-5p0.cnf
? (TO)
1200.05
1200.83
1579971
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
1200.05
1200.32
1554675
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
1200.05
1200.54
1582415
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
? (TO)
1200.06
1200.41
1721961
APPLICATIONS/diagnosis/
ACG-15-10p0.cnf
? (TO)
1200.06
1200.53
1578931
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
1200.06
1200.52
1556339
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
? (TO)
1200.06
1200.53
1581583
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
1200.06
1200.53
1716221
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
1200.06
1200.51
1558003
APPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
? (TO)
1200.06
1200.52
1555455
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
1200.06
1200.75
1717365
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
1200.06
1200.53
1716533
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
1200.06
1200.51
1557951
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
? (TO)
1200.06
1200.43
1580075
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
1200.06
1200.74
1716741
APPLICATIONS/bitverif/
mulhs/mulhs032.cnf
? (TO)
1200.06
1200.51
1554727
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
1200.06
1200.41
1554155
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
1200.06
1200.42
1716689
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
? (TO)
1200.06
1200.41
1722561
APPLICATIONS/diagnosis/
UTI-20-5p0.cnf
? (TO)
1200.06
1200.44
1578775
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
? (TO)
1200.07
1200.42
1721411
APPLICATIONS/crypto/
desgen/gss-26-s100.cnf
? (TO)
1200.07
1200.41
1558055
mizh-sha0-36-2.cnf
? (TO)
1200.07
1200.43
1723993
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
1200.07
1200.41
1559251
velev-pipe-o-uns-1.1-6.cnf
? (TO)
1200.07
1200.42
1723577
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
? (TO)
1200.07
1200.41
1722161
industrial/fuhs/medium/
AProVE07-16.cnf
? (TO)
1200.07
1200.42
1716845
APPLICATIONS/diagnosis/
ACG-20-5p1.cnf
? (TO)
1200.07
1200.74
1580751
APPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
? (TO)
1200.07
1207.01
1554415
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
? (TO)
1200.07
1200.52
1718301
industrial/grieu/
vmpc_33.cnf
? (TO)
1200.07
1200.42
1718457
APPLICATIONS/bitverif/
smulo/smulo128.cnf
? (TO)
1200.07
1200.43
1554883
APPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
? (TO)
1200.07
1200.41
1556547
goldb-heqc-dalumul.cnf
? (TO)
1200.07
1200.43
1720433
APPLICATIONS/crypto/
desgen/gss-32-s100.cnf
? (TO)
1200.07
1200.51
1557691
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
? (TO)
1200.07
1200.41
1721211
APPLICATIONS/diagnosis/
UTI-15-10p1.cnf
? (TO)
1200.08
1200.43
1577891
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
1200.08
1200.53
1716637
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
? (TO)
1200.08
1200.52
1553999
APPLICATIONS/diagnosis/
UR-15-10p0.cnf
? (TO)
1200.08
1200.53
1581999
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
1200.08
1200.53
1716481
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
1200.08
1200.53
1716273
goldb-heqc-x1mul.cnf
? (TO)
1200.08
1200.63
1719445
APPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
? (TO)
1200.08
1200.52
1556027
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
1200.08
1200.44
1556235
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
1200.08
1200.43
1716065
APPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
? (TO)
1200.08
1200.42
1556443
manol-pipe-c7nidw.cnf
? (TO)
1200.08
1200.45
1723473
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
1200.08
1200.65
1715805
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
1200.08
1200.44
1719289
APPLICATIONS/crypto/
desgen/gss-28-s100.cnf
? (TO)
1200.08
1200.41
1559355
manol-pipe-g10nid.cnf
? (TO)
1200.08
1200.43
1720173
industrial/palacios/medium/
cube-11-h13-unsat.cnf
? (TO)
1200.08
1200.45
1717781
APPLICATIONS/crypto/
desgen/gss-34-s100.cnf
? (TO)
1200.08
1200.41
1558783
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
1200.08
1200.52
1718041
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
1200.08
1200.44
1553843
aloul-chnl11-13.cnf
? (TO)
1200.08
1200.41
1720381
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
1200.08
1200.51
1721861
APPLICATIONS/diagnosis/
UR-20-5p1.cnf
? (TO)
1200.08
1200.73
1580231
industrial/fuhs/hard/
AProVE07-27.cnf
? (TO)
1200.09
1200.42
1717105
goldb-heqc-frg1mul.cnf
? (TO)
1200.09
1200.42
1719653
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
? (TO)
1200.09
1200.61
1722611
manol-pipe-f9n.cnf
? (TO)
1200.09
1200.43
1723941
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
? (TO)
1200.09
1200.53
1715597
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
1200.09
1200.43
1716013
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
1200.09
1200.44
1716377
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
1200.09
1200.42
1717001
industrial/fuhs/medium/
AProVE07-09.cnf
? (TO)
1200.09
1200.51
1716793
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
1200.09
1200.52
1716897
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
? (TO)
1200.09
1200.44
1717521
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
1200.09
1200.42
1718093
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
1200.09
1200.41
1718197
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
? (TO)
1200.09
1200.41
1721161
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
? (TO)
1200.09
1200.41
1721511
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
? (TO)
1200.09
1200.52
1722811
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
1200.09
1200.51
1722861
APPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
? (TO)
1200.09
1200.52
1556495
APPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
? (TO)
1200.09
1200.43
1556079
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (TO)
1200.09
1200.44
1582155
APPLICATIONS/
bitverif/minxor/minxor128.cnf
? (TO)
1200.09
1200.42
1553479
APPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
? (TO)
1200.09
1200.46
1563307
APPLICATIONS/crypto/
desgen/gss-24-s100.cnf
? (TO)
1200.09
1200.51
1559303
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
? (TO)
1200.09
1200.54
1581479
APPLICATIONS/diagnosis/
UTI-20-5p1.cnf
? (TO)
1200.1
1200.44
1581323
APPLICATIONS/diagnosis/
UR-15-10p1.cnf
? (TO)
1200.1
1200.63
1579815
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
1200.1
1200.43
1717313
APPLICATIONS/diagnosis/
UTI-15-5p1.cnf
? (TO)
1200.1
1200.53
1582727
industrial/grieu/
vmpc_34.cnf
? (TO)
1200.1
1200.42
1718665
velev-pipe-uns-1.0-8.cnf
? (TO)
1200.1
1200.44
1724409
manol-pipe-c10nidw_s.cnf
? (TO)
1200.1
1200.56
1723213
manol-pipe-c10nidw.cnf
? (TO)
1200.1
1200.69
1720069
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (TO)
1200.1
1200.54
1715753
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
? (TO)
1200.1
1200.73
1715909
APPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
? (TO)
1200.1
1200.68
1577735
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
? (TO)
1200.1
1200.52
1716429
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
? (TO)
1200.1
1200.41
1721761
APPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
? (TO)
1200.1
1200.41
1553271
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
1200.1
1200.42
1717053
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
1200.1
1200.43
1716585
APPLICATIONS/diagnosis/
UCG-20-10p1.cnf
? (TO)
1200.1
1200.74
1581063
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
? (TO)
1200.11
1200.41
1722961
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
? (TO)
1200.11
1200.51
1721811
APPLICATIONS/crypto/
desgen/gss-31-s100.cnf
? (TO)
1200.11
1200.41
1557483
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
1200.11
1200.56
1718977
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
1200.11
1200.43
1719081
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
? (TO)
1200.11
1200.54
1581895
industrial/grieu/
vmpc_29.cnf
? (TO)
1200.11
1200.42
1718561
industrial/grieu/
vmpc_28.cnf
? (TO)
1200.11
1200.42
1718613
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
1200.11
1200.42
1717209
APPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
? (TO)
1200.11
1200.65
1577475
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
1200.11
1200.45
1717157
industrial/fuhs/hard/
AProVE07-08.cnf
? (TO)
1200.11
1200.42
1716949
APPLICATIONS/bitverif/
minor/minor064.cnf
? (TO)
1200.11
1200.41
1553167
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
? (TO)
1200.11
1200.53
1715961
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
1200.11
1200.43
1715857
APPLICATIONS/crypto/
desgen/gss-25-s100.cnf
? (TO)
1200.11
1200.51
1559511
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
? (TO)
1200.11
1200.47
1577527
schup-l2s-guid-1-k56.cnf
? (TO)
1200.11
1200.42
1724097
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
? (TO)
1200.11
1200.42
1722461
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
1200.11
1200.51
1722411
APPLICATIONS/diagnosis/
ACG-20-10p1.cnf
? (TO)
1200.11
1200.44
1580023
goldb-heqc-i10mul.cnf
? (TO)
1200.11
1200.42
1723421
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
? (TO)
1200.11
1200.41
1723011
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
? (TO)
1200.11
1200.41
1723111
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
? (TO)
1200.11
1200.41
1722761
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
1200.12
1200.63
1716117
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
1200.12
1200.61
1719237
APPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
? (TO)
1200.12
1200.46
1555143
APPLICATIONS/crypto/
desgen/gss-20-s100.cnf
? (TO)
1200.12
1200.51
1558211
APPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
? (TO)
1200.12
1200.44
1556131
goldb-heqc-term1mul.cnf
? (TO)
1200.12
1200.53
1723629
APPLICATIONS/c32sat/
post-c32s-gcdm16-22.cnf
? (TO)
1200.12
1200.43
1563671
APPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
? (TO)
1200.12
1200.55
1577839
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
? (TO)
1200.12
1200.66
1563255
mizh-md5-48-5.cnf
? (TO)
1200.12
1200.53
1721109
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
1200.13
1200.47
1719029
APPLICATIONS/diagnosis/
UR-20-5p0.cnf
? (TO)
1200.13
1200.43
1580127
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
? (TO)
1200.13
1200.43
1563359
APPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
? (TO)
1200.14
1200.65
1554519
vange-col-abb313GPIA-9-c.cnf
? (TO)
1200.14
1200.56
1720329
manol-pipe-f10ni.cnf
? (TO)
1200.14
1200.46
1724045
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
1200.14
1200.53
1716169
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
1200.14
1200.68
1717261
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
1200.14
1200.44
1719133
manol-pipe-g10bidw.cnf
? (TO)
1200.14
1200.55
1723265
industrial/narain/
clauses-8.cnf
? (TO)
1200.15
1200.73
1718769
velev-vliw-uns-4.0-9C1.cnf
? (TO)
1200.15
1200.56
1723785
schup-l2s-bc56s-1-k391.cnf
? (TO)
1200.15
1200.56
1719913
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
1200.15
1200.53
1719185
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
1200.15
1200.66
1717729
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
? (TO)
1200.15
1200.48
1563723
velev-vliw-uns-4.0-9-i1.cnf
? (TO)
1200.16
1200.78
1719705
manol-pipe-c10nid_i.cnf
? (TO)
1200.16
1200.55
1720745
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
1200.25
1200.96
1718925
Solver didn't output a solution line and terminated with an unexpected exit code (1 run)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
? (exit code)
40.5018
40.5662
1563411
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (33 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n2_i3_pp.cnf
UNSAT
0.000999
0.00508906
1736561
CRAFTED/parity-games/
instance_n2_i2_pp.cnf
UNSAT
0.000999
0.00507693
1736861
CRAFTED/parity-games/
instance_n3_i4_pp_ci_ce.cnf
UNSAT
0.020995
0.021412
1736361
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
UNSAT
0.080987
0.0815439
1725520
CRAFTED/modcircuits/
owp_4vars_5gates.cnf
UNSAT
0.369942
0.370463
1733861
CRAFTED/parity-games/
instance_n4_i5_pp.cnf
UNSAT
0.91386
0.914446
1737011
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
UNSAT
1.61375
1.61464
1730343
CRAFTED/parity-games/
instance_n5_i6_pp_ci_ce.cnf
UNSAT
4.08138
4.08276
1736461
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
15.2727
15.2776
1725414
CRAFTED/sgen/unsat/
sgen1-unsat-61-100.cnf
UNSAT
36.5544
36.567
1732011
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
48.9466
48.9612
1725573
CRAFTED/ramseycube/
Q32inK09.cnf
UNSAT
107.844
107.869
1733061
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
UNSAT
150.264
150.309
1730078
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
159.386
159.427
1725944
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
UNSAT
215.086
215.138
1729972
CRAFTED/ramseycube/
Q32inK10.cnf
UNSAT
233.082
233.145
1732961
CRAFTED/parity-games/
instance_n6_i7_pp_ci_ce.cnf
UNSAT
284.357
284.441
1736611
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
291.357
291.451
1725838
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
295.855
295.941
1729813
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
302.876
302.953
1729760
CRAFTED/sgen/unsat/
sgen1-unsat-73-100.cnf
UNSAT
340.749
340.844
1732111
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
UNSAT
351.359
351.463
1731297
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
353.656
353.777
1730025
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
UNSAT
354.149
354.262
1729919
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
359.614
359.697
1725785
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
366.268
366.367
1729866
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
UNSAT
372.004
372.123
1725467
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
452.018
452.153
1727269
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
UNSAT
495.379
495.514
1727640
CRAFTED/ramseycube/
Q32inK11.cnf
UNSAT
532.261
532.389
1732811
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
539.251
539.403
1731509
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
550.294
550.473
1725255
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
UNSAT
664.553
664.795
1731668
Solver found a solution (SATISFIABLE) (66 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n3_i3_pp_ci_ce.cnf
SAT
0.013997
0.0146439
1736411
CRAFTED/parity-games/
instance_n3_i3_pp.cnf
SAT
0.015997
0.0169281
1737061
CRAFTED/sgi/
satsgi-n17himBHm20-p0-q146.cnf
SAT
0.051991
0.051825
1734211
CRAFTED/sgi/
satsgi-n18himBHm21-p0-q167.cnf
SAT
0.067989
0.0687211
1734361
CRAFTED/sgi/
satsgi-n19himBHm22-p0-q181.cnf
SAT
0.071989
0.072757
1734111
CRAFTED/ramseycube/
Q3inK08.cnf
SAT
0.083987
0.0843869
1733011
CRAFTED/sgi/
satsgi-n22himBHm24-p0-q209.cnf
SAT
0.12498
0.124861
1734161
CRAFTED/parity-games/
instance_n4_i4_pp.cnf
SAT
0.134979
0.139784
1736511
CRAFTED/sgi/
satsgi-n22himBHm25-p0-q229.cnf
SAT
0.144977
0.144947
1734461
CRAFTED/sgi/
satsgi-n23himBHm25-p0-q219.cnf
SAT
0.145977
0.146941
1734411
CRAFTED/sgi/
sgi-difficult4.cnf
SAT
0.168973
0.168575
1736161
CRAFTED/sgi/
satsgi-n23himBHm27-p0-q251.cnf
SAT
0.176972
0.177774
1734561
CRAFTED/sgi/
satsgi-n23himBHm26-p0-q248.cnf
SAT
0.179972
0.180433
1734311
CRAFTED/parity-games/
instance_n4_i4_pp_ci_ce.cnf
SAT
0.18997
0.19073
1736761
CRAFTED/sgi/
satsgi-n25himBHm27-p0-q251.cnf
SAT
0.226965
0.227735
1734261
CRAFTED/sgi/
satsgi-n25himBHm29-p0-q290.cnf
SAT
0.250961
0.250967
1734611
CRAFTED/sgi/
satsgi-n28himBHm30-p0-q333.cnf
SAT
0.379942
0.3804
1734511
CRAFTED/sgi/
sgi-difficult7.cnf
SAT
0.499923
0.500401
1736211
CRAFTED/parity-games/
instance_n5_i5_pp.cnf
SAT
0.832873
0.8339
1736661
CRAFTED/modcircuits/
mod5block_1var_7gates.cnf
SAT
1.21381
1.21494
1733261
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
SAT
1.79473
1.7956
1730184
CRAFTED/sgen/sat/
sgen1-sat-140-100.cnf
SAT
2.38364
2.38538
1732361
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
2.55461
2.55585
1725626
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
3.64245
3.64425
1725679
CRAFTED/parity-games/
instance_n6_i6_pp.cnf
SAT
3.72643
3.72786
1736911
CRAFTED/sgen/sat/
sgen1-sat-160-100.cnf
SAT
6.60799
6.61108
1732461
CRAFTED/sgi/
new-difficult-20-152-18-95.cnf
SAT
8.50571
8.51009
1738109
CRAFTED/parity-games/
instance_n7_i8_pp.cnf
SAT
8.64368
8.64728
1737211
CRAFTED/edgematching/
all/em_12_2_4_all.cnf
SAT
8.93764
8.94065
1561903
CRAFTED/parity-games/
instance_n6_i7_pp.cnf
SAT
8.97663
8.98007
1736311
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
11.5602
11.5644
1725732
CRAFTED/
edgematching/all/em_7_3_6_all.cnf
SAT
12.896
12.9025
1562007
CRAFTED/ramseycube/
Q3inK09.cnf
SAT
13.6039
13.6059
1732661
CRAFTED/parity-games/
instance_n5_i6_pp.cnf
SAT
20.5729
20.5775
1736811
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g10.cnf
SAT
25.2092
25.2196
1734961
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
27.9498
27.9557
1725361
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes1.cnf
SAT
32.0941
32.1052
1735261
CRAFTED/
edgematching/all/em_7_4_9_all.cnf
SAT
38.7141
38.7254
1562111
CRAFTED/rbsat/random/
forced/rbsat-v760c43649gyes10.cnf
SAT
49.5895
49.6056
1735211
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
50.2264
50.2386
1726156
CRAFTED/edgematching/
explicit/em_8_4_5_exp.cnf
SAT
50.8163
50.8335
1561695
CRAFTED/edgematching/
explicit/em_7_4_9_exp.cnf
SAT
51.8791
51.8971
1561539
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
60.1199
60.1428
1561799
CRAFTED/edgematching/
explicit/em_7_3_6_exp.cnf
SAT
60.4458
60.461
1561747
CRAFTED/edgematching/
explicit/em_9_3_5_exp.cnf
SAT
63.4464
63.4679
1561435
CRAFTED/parity-games/
instance_n6_i6_pp_ci_ce.cnf
SAT
71.2942
71.3173
1737111
CRAFTED/edgematching/
all/em_14_7_3_all.cnf
SAT
78.5901
78.617
1561955
CRAFTED/parity-games/
instance_n7_i7_pp.cnf
SAT
89.2734
89.3067
1736961
CRAFTED/sgi/
new-difficult-24-193-22-70.cnf
SAT
137.568
137.603
1738056
CRAFTED/edgematching/
fbcolors/em_7_4_9_fbc.cnf
SAT
181.048
181.097
1562423
CRAFTED/edgematching/
compact/em_7_4_9_cmp.cnf
SAT
189.387
189.452
1560967
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
201.444
201.499
1732861
CRAFTED/edgematching/
all/em_11_3_4_all.cnf
SAT
209.738
209.794
1562059
CRAFTED/edgematching/
explicit/em_7_4_8_exp.cnf
SAT
227.356
227.414
1561643
CRAFTED/modcircuits/
mod3block_3vars_9gates_restr.cnf
SAT
265.788
265.857
1734011
CRAFTED/
edgematching/all/em_7_4_8_all.cnf
SAT
325.521
325.608
1562163
CRAFTED/parity-games/
instance_n8_i8_pp.cnf
SAT
348.638
348.731
1737791
CRAFTED/edgematching/
explicit/em_11_3_4_exp.cnf
SAT
367.905
368.008
1561383
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes4.cnf
SAT
399.91
400.027
1735111
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
423.442
423.564
1726050
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
438.77
438.887
1726103
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g8.cnf
SAT
528.345
528.462
1734761
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes6.cnf
SAT
606.207
606.412
1735311
CRAFTED/parity-games/
instance_n8_i9_pp.cnf
SAT
923.534
923.795
1737844
CRAFTED/edgematching/
compact/em_8_4_5_cmp.cnf
SAT
1042.91
1048.93
1561331
CRAFTED/sgi/
new-difficult-22-173-20-80.cnf
SAT
1152.88
1153.31
1738268
Solver timed out (no solution given) (182 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
? (TO)
1200.01
1200.31
1738321
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
1200.02
1200.52
1726368
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
? (TO)
1200.02
1200.31
1728488
CRAFTED/sgen/sat/
sgen1-sat-250-100.cnf
? (TO)
1200.02
1200.31
1737420
CRAFTED/edgematching/
fbcolors/em_7_3_6_fbc.cnf
? (TO)
1200.02
1200.42
1562371
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
1200.02
1200.31
1731191
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
1200.02
1200.42
1727746
CRAFTED/modcircuits/
mod3_4vars_6gates.cnf
? (TO)
1200.03
1200.33
1733661
CRAFTED/modcircuits/
mod5block_2vars_12gates.cnf
? (TO)
1200.03
1200.32
1733411
CRAFTED/sgen/unsat/
sgen1-unsat-145-100.cnf
? (TO)
1200.03
1200.32
1732061
CRAFTED/rbsat/random/unforced/
rbsat-v1820c171155g3.cnf
? (TO)
1200.03
1200.41
1734811
CRAFTED/parity-games/
instance_n9_i9_pp_ci_ce.cnf
? (TO)
1200.03
1200.32
1737897
CRAFTED/edgematching/
fbcolors/em_7_4_8_fbc.cnf
? (TO)
1200.03
1200.42
1562475
CRAFTED/sgen/unsat/
sgen1-unsat-139-100.cnf
? (TO)
1200.03
1200.31
1737526
CRAFTED/rbsat/crafted/unforced/
rbsat-v2640c305320g4.cnf
? (TO)
1200.03
1200.42
1735561
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes9.cnf
? (TO)
1200.03
1200.41
1735411
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes3.cnf
? (TO)
1200.03
1200.61
1735361
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
? (TO)
1200.03
1200.42
1727799
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g4.cnf
? (TO)
1200.04
1200.51
1734661
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes2.cnf
? (TO)
1200.04
1200.51
1735861
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
? (TO)
1200.04
1200.63
1727216
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
1200.04
1200.41
1729071
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1730926
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1726792
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
1200.05
1200.42
1730290
CRAFTED/sgen/unsat/
sgen1-unsat-103-100.cnf
? (TO)
1200.05
1200.61
1737685
CRAFTED/sgen/sat/
sgen1-sat-180-100.cnf
? (TO)
1200.06
1200.41
1732311
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes8.cnf
? (TO)
1200.06
1200.41
1735961
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
? (TO)
1200.06
1200.42
1731615
CRAFTED/sgen/sat/
sgen1-sat-220-100.cnf
? (TO)
1200.06
1200.51
1732411
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
? (TO)
1200.06
1200.72
1561019
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
1200.06
1200.51
1726686
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
? (TO)
1200.06
1200.42
1725997
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g4.cnf
? (TO)
1200.06
1200.41
1735611
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
1200.06
1200.51
1726845
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
? (TO)
1200.06
1199.94
1730661
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1728011
CRAFTED/sgen/sat/
sgen1-sat-240-100.cnf
? (TO)
1200.06
1200.51
1732561
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
1200.06
1200.45
1561175
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1730767
CRAFTED/sgen/unsat/
sgen1-unsat-121-100.cnf
? (TO)
1200.06
1200.41
1732161
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1729389
CRAFTED/rbsat/crafted/
forced/rbsat-v1820c171155gyes6.cnf
? (TO)
1200.06
1200.41
1735811
CRAFTED/sgen/unsat/
sgen1-unsat-85-100.cnf
? (TO)
1200.06
1200.42
1731911
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes8.cnf
? (TO)
1200.06
1200.41
1735911
CRAFTED/sgi/
new-difficult-28-302-26-75.cnf
? (TO)
1200.06
1200.41
1738374
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
1200.06
1200.51
1726474
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
1200.07
1200.52
1728700
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g6.cnf
? (TO)
1200.07
1201.09
1734711
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
1200.07
1200.42
1728329
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g5.cnf
? (TO)
1200.07
1200.41
1735661
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
? (TO)
1200.07
1200.42
1731403
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
1200.07
1200.42
1730131
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
1200.07
1200.56
1728382
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1727693
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1729601
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
1200.07
1200.62
1728276
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g1.cnf
? (TO)
1200.07
1200.41
1735061
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
? (TO)
1200.07
1200.42
1727958
CRAFTED/modcircuits/
mod3block_2vars_10gates_u2_autoenc.cnf
? (TO)
1200.07
1200.43
1733461
CRAFTED/sgen/sat/
sgen1-sat-280-100.cnf
? (TO)
1200.08
1200.51
1732261
CRAFTED/sgen/sat/
sgen1-sat-230-100.cnf
? (TO)
1200.08
1200.51
1737473
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2_autoenc.cnf
? (TO)
1200.08
1200.43
1733961
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
? (TO)
1200.08
1200.43
1733911
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2_restricted.cnf
? (TO)
1200.08
1200.42
1733311
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
1200.08
1200.44
1726951
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1726209
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes9.cnf
? (TO)
1200.08
1200.41
1736061
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
1200.08
1200.51
1728859
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
1200.08
1200.51
1728594
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
? (TO)
1200.08
1200.42
1562215
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1729230
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
1200.08
1200.51
1729654
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1729707
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
1200.08
1200.43
1727375
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1730714
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
? (TO)
1200.08
1200.51
1730873
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1731244
CRAFTED/sgen/unsat/
sgen1-unsat-151-100.cnf
? (TO)
1200.08
1200.52
1737632
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes2.cnf
? (TO)
1200.08
1200.41
1735761
CRAFTED/sgen/unsat/
sgen1-unsat-127-100.cnf
? (TO)
1200.08
1200.41
1737261
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes1.cnf
? (TO)
1200.09
1200.41
1736011
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
? (TO)
1200.09
1200.43
1728435
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
? (TO)
1200.09
1200.42
1737738
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1727057
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1730237
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
1200.09
1200.81
1730396
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1730608
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
1200.09
1200.51
1730502
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1725308
CRAFTED/parity-games/
instance_n7_i7_pp_ci_ce.cnf
? (TO)
1200.09
1200.42
1736711
CRAFTED/sgen/unsat/
sgen1-unsat-115-100.cnf
? (TO)
1200.09
1200.41
1737314
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1730820
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
? (TO)
1200.09
1200.42
1728117
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes4.cnf
? (TO)
1200.09
1200.51
1735161
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
1200.09
1200.42
1727905
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2_restricted.cnf
? (TO)
1200.09
1200.52
1733761
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1731032
CRAFTED/ramseycube/
Q3inK11.cnf
? (TO)
1200.09
1200.51
1733111
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
? (TO)
1200.09
1200.53
1738003
CRAFTED/sgen/sat/
sgen1-sat-290-100.cnf
? (TO)
1200.09
1200.41
1737367
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1725891
CRAFTED/modcircuits/
mod4block_2vars_10gates_u2_autoenc.cnf
? (TO)
1200.09
1200.41
1733611
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1729283
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
? (TO)
1200.09
1200.81
1726262
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1729018
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
? (TO)
1200.09
1200.51
1729177
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g10.cnf
? (TO)
1200.09
1200.41
1734911
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
? (TO)
1200.09
1200.92
1726421
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1728806
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
1200.09
1200.42
1727004
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
1200.09
1200.42
1726580
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
1200.09
1200.41
1735511
CRAFTED/parity-games/
instance_n7_i8_pp_ci_ce.cnf
? (TO)
1200.1
1200.42
1736261
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
1200.1
1200.46
1727587
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
? (TO)
1200.1
1200.52
1726315
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
1200.1
1200.41
1726527
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
1200.1
1200.41
1728064
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
1200.1
1200.41
1729336
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
1200.1
1200.51
1729442
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
1200.1
1200.42
1729548
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
1200.1
1200.52
1729495
CRAFTED/sgi/
new-difficult-26-243-24-70.cnf
? (TO)
1200.1
1200.61
1738215
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
1200.1
1200.41
1730449
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
1200.1
1200.51
1730555
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
? (TO)
1200.1
1200.51
1731085
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
? (TO)
1200.1
1200.42
1731138
CRAFTED/sgen/unsat/
sgen1-unsat-133-100.cnf
? (TO)
1200.1
1200.41
1731961
CRAFTED/sgen/sat/
sgen1-sat-300-100.cnf
? (TO)
1200.1
1200.41
1732511
CRAFTED/sgen/sat/
sgen1-sat-200-100.cnf
? (TO)
1200.1
1200.41
1732611
CRAFTED/modcircuits/
mod4block_2vars_11gates_u2_autoenc.cnf
? (TO)
1200.1
1200.42
1733561
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2_autoenc.cnf
? (TO)
1200.1
1200.42
1733511
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2.cnf
? (TO)
1200.1
1200.52
1733711
CRAFTED/edgematching/
compact/em_7_4_8_cmp.cnf
? (TO)
1200.1
1200.42
1561279
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
1200.1
1200.42
1726739
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes1.cnf
? (TO)
1200.1
1200.51
1736111
CRAFTED/sgen/sat/
sgen1-sat-270-100.cnf
? (TO)
1200.1
1200.41
1737579
CRAFTED/edgematching/
fbcolors/em_12_2_4_fbc.cnf
? (TO)
1200.1
1200.55
1562527
CRAFTED/sgi/
new-difficult-21-168-19-90.cnf
? (TO)
1200.1
1200.71
1738162
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
1200.1
1200.52
1726633
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g2.cnf
? (TO)
1200.11
1200.41
1734861
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
1200.11
1200.41
1735461
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
? (TO)
1200.11
1200.41
1731456
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
? (TO)
1200.11
1200.42
1731350
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
1200.11
1200.51
1731562
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
1200.11
1200.51
1730979
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g2.cnf
? (TO)
1200.11
1200.41
1735711
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
1200.11
1200.51
1728753
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
1200.11
1200.41
1728541
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
1200.11
1200.51
1727110
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
1200.11
1200.41
1726898
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
? (TO)
1200.11
1200.42
1728170
CRAFTED/edgematching/
fbcolors/em_9_3_5_fbc.cnf
? (TO)
1200.11
1200.52
1562267
CRAFTED/parity-games/
instance_n8_i9_pp_ci_ce.cnf
? (TO)
1200.11
1200.42
1737950
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
1200.11
1200.54
1727322
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
1200.11
1200.52
1733361
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
1200.11
1200.61
1727163
CRAFTED/modcircuits/
mod3block_2vars_9gates_u2_autoenc.cnf
? (TO)
1200.11
1200.42
1733811
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
1200.11
1200.53
1734061
CRAFTED/sgen/sat/
sgen1-sat-260-100.cnf
? (TO)
1200.11
1200.41
1732211
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g2.cnf
? (TO)
1200.11
1200.51
1735011
CRAFTED/edgematching/
compact/em_9_3_5_cmp.cnf
? (TO)
1200.11
1200.42
1561123
CRAFTED/sgen/unsat/
sgen1-unsat-97-100.cnf
? (TO)
1200.11
1200.51
1731861
CRAFTED/sgen/unsat/
sgen1-unsat-109-100.cnf
? (TO)
1200.11
1200.41
1731811
CRAFTED/ramseycube/
Q3inK13.cnf
? (TO)
1200.12
1200.55
1732761
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
1200.12
1200.72
1728647
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
1200.12
1200.43
1727428
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
1200.12
1200.42
1729124
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
? (TO)
1200.12
1200.62
1728912
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2.cnf
? (TO)
1200.12
1200.42
1733161
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
? (TO)
1200.12
1200.41
1728965
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2.cnf
? (TO)
1200.12
1200.82
1733211
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
1200.12
1200.52
1728223
CRAFTED/ramseycube/
Q3inK12.cnf
? (TO)
1200.12
1200.62
1732911
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
? (TO)
1200.12
1200.42
1727852
CRAFTED/edgematching/
fbcolors/em_11_3_4_fbc.cnf
? (TO)
1200.12
1200.54
1562579
CRAFTED/edgematching/
explicit/em_12_2_4_exp.cnf
? (TO)
1200.12
1200.57
1561487
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
1200.13
1200.46
1727481
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
1200.14
1200.57
1561071
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
1200.16
1200.46
1727534
CRAFTED/edgematching/
fbcolors/em_14_7_3_fbc.cnf
? (TO)
1200.18
1200.59
1562319
CRAFTED/edgematching/
compact/em_14_7_3_cmp.cnf
? (TO)
1200.21
1200.61
1561227
Category "random instances" (RANDOM)
Solver found a solution (SATISFIABLE) (13 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1459690542-033.cnf
SAT
13.6009
13.6062
1530887
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1036996799-006.cnf
SAT
16.1675
16.1725
1530857
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S2032263657-035.cnf
SAT
28.6027
28.6115
1530893
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S418266958-049.cnf
SAT
28.6566
28.6661
1530707
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1362286908-061.cnf
SAT
44.9112
44.9278
1530644
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1826927554-087.cnf
SAT
131.534
131.576
1530881
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1711406314-093.cnf
SAT
143.928
143.97
1530908
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S110290755-003.cnf
SAT
177.9
177.97
1530734
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S368632549-051.cnf
SAT
591.375
591.643
1530902
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S957997002-040.cnf
SAT
612.529
612.742
1530794
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1674394075-027.cnf
SAT
1010.93
1011.18
1530851
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1448866403-060.cnf
SAT
1030.18
1030.48
1530890
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1858385213-060.cnf
SAT
1100.34
1100.65
1530152
Solver timed out (no solution given) (557 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S839983432-073.cnf
? (TO)
1200.01
1200.31
1530227
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf
? (TO)
1200.01
1200.41
1529591
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1864638535-048.cnf
? (TO)
1200.01
1200.41
1530731
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S648763183-023.cnf
? (TO)
1200.01
1200.41
1529624
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S287307030-088.cnf
? (TO)
1200.02
1200.31
1530251
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2035161427-020.cnf
? (TO)
1200.02
1200.31
1530845
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1730125812-056.cnf
? (TO)
1200.02
1200.31
1530806
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1229813320-044.cnf
? (TO)
1200.02
1200.31
1530791
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1666821205-020.cnf
? (TO)
1200.02
1200.51
1530746
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S419666888-007.cnf
? (TO)
1200.02
1200.31
1530710
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1767425240-073.cnf
? (TO)
1200.02
1200.31
1530716
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S353643296-086.cnf
? (TO)
1200.02
1200.32
1530608
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1175850950-017.cnf
? (TO)
1200.02
1200.31
1530464
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1077410718-040.cnf
? (TO)
1200.02
1200.31
1530455
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1350958473-082.cnf
? (TO)
1200.02
1200.31
1530419
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1089910525-056.cnf
? (TO)
1200.02
1200.41
1530296
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1735544520-075.cnf
? (TO)
1200.02
1200.31
1530278
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf
? (TO)
1200.02
1200.41
1529660
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1146593655-045.cnf
? (TO)
1200.02
1200.31
1530194
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1394630553-009.cnf
? (TO)
1200.02
1200.41
1530116
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S746386799-050.cnf
? (TO)
1200.02
1200.41
1530149
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1551099861-042.cnf
? (TO)
1200.02
1200.31
1530089
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf
? (TO)
1200.02
1200.31
1529750
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S56507352-034.cnf
? (TO)
1200.02
1200.41
1529747
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S197260469-019.cnf
? (TO)
1200.02
1200.31
1530038
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2099753268-053.cnf
? (TO)
1200.02
1200.41
1530023
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S257485978-084.cnf
? (TO)
1200.02
1200.41
1529786
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1850025790-078.cnf
? (TO)
1200.02
1200.31
1529900
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1767813611-042.cnf
? (TO)
1200.02
1200.41
1529894
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S712437980-063.cnf
? (TO)
1200.02
1200.61
1529813
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S914952752-019.cnf
? (TO)
1200.02
1200.31
1529783
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1410489780-030.cnf
? (TO)
1200.02
1200.31
1529810
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S377647456-019.cnf
? (TO)
1200.02
1200.41
1529768
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf
? (TO)
1200.02
1200.31
1529657
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf
? (TO)
1200.02
1200.41
1529636
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S822708255-070.cnf
? (TO)
1200.02
1200.41
1529633
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf
? (TO)
1200.02
1200.31
1529621
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S819692891-023.cnf
? (TO)
1200.02
1200.31
1530230
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S2060380282-019.cnf
? (TO)
1200.02
1200.31
1530218
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S547165541-056.cnf
? (TO)
1200.02
1200.61
1529492
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2106599808-035.cnf
? (TO)
1200.02
1200.32
1530848
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1136141672-041.cnf
? (TO)
1200.02
1200.31
1530332
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1178729443-051.cnf
? (TO)
1200.02
1200.41
1529447
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S327274323-044.cnf
? (TO)
1200.02
1200.32
1529468
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1961115887-052.cnf
? (TO)
1200.02
1200.41
1529351
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1733990810-090.cnf
? (TO)
1200.02
1200.41
1530827
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1018145191-052.cnf
? (TO)
1200.02
1200.41
1529327
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2056912842-027.cnf
? (TO)
1200.02
1200.41
1530605
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S962875623-008.cnf
? (TO)
1200.02
1200.31
1529321
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1738391204-028.cnf
? (TO)
1200.02
1200.41
1529315
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1573578038-005.cnf
? (TO)
1200.02
1200.41
1529291
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S45173584-020.cnf
? (TO)
1200.02
1200.41
1529222
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S45592023-054.cnf
? (TO)
1200.02
1200.31
1530671
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S2054922493-058.cnf
? (TO)
1200.02
1200.41
1529267
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S704699380-099.cnf
? (TO)
1200.02
1200.41
1529213
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S449556655-088.cnf
? (TO)
1200.03
1200.32
1530812
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S2032726331-082.cnf
? (TO)
1200.03
1200.32
1530713
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S824721511-001.cnf
? (TO)
1200.03
1200.51
1529924
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S249585100-059.cnf
? (TO)
1200.03
1200.31
1529231
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S502087726-095.cnf
? (TO)
1200.03
1200.32
1530548
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1481888618-011.cnf
? (TO)
1200.03
1200.31
1529903
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S512486692-050.cnf
? (TO)
1200.03
1200.31
1530173
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S139794312-098.cnf
? (TO)
1200.03
1200.41
1529678
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1402156840-093.cnf
? (TO)
1200.03
1200.42
1530221
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1516934767-080.cnf
? (TO)
1200.03
1200.32
1530860
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S2025517367-061.cnf
? (TO)
1200.03
1200.41
1530551
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S2043187304-036.cnf
? (TO)
1200.03
1200.32
1530542
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S104085281-076.cnf
? (TO)
1200.03
1200.41
1530374
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1736708510-089.cnf
? (TO)
1200.03
1200.41
1530128
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S449511205-064.cnf
? (TO)
1200.03
1200.42
1530761
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S870840347-014.cnf
? (TO)
1200.03
1200.32
1529489
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1746008863-010.cnf
? (TO)
1200.03
1200.32
1530506
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1531283922-009.cnf
? (TO)
1200.03
1200.41
1530725
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf
? (TO)
1200.03
1200.32
1529516
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S23373420-028.cnf
? (TO)
1200.03
1200.51
1530575
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1503318847-091.cnf
? (TO)
1200.03
1200.31
1529987
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1736471436-014.cnf
? (TO)
1200.03
1200.31
1529240
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S287522321-032.cnf
? (TO)
1200.03
1200.32
1530407
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S444219303-098.cnf
? (TO)
1200.03
1200.31
1530401
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S131938947-014.cnf
? (TO)
1200.03
1200.31
1530392
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1500472284-060.cnf
? (TO)
1200.03
1200.51
1529339
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S531507935-068.cnf
? (TO)
1200.03
1200.32
1530338
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1338462531-082.cnf
? (TO)
1200.03
1200.31
1530803
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S7007454-009.cnf
? (TO)
1200.03
1200.32
1529501
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1602291491-023.cnf
? (TO)
1200.03
1200.31
1530284
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1849057034-020.cnf
? (TO)
1200.04
1200.41
1529459
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S725789261-031.cnf
? (TO)
1200.04
1200.41
1530755
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1112524719-021.cnf
? (TO)
1200.04
1200.51
1530740
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1700363952-014.cnf
? (TO)
1200.04
1200.41
1530533
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S583379276-046.cnf
? (TO)
1200.04
1200.41
1530461
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1775841359-070.cnf
? (TO)
1200.04
1200.41
1530428
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S2061874746-039.cnf
? (TO)
1200.04
1200.41
1530353
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1841979702-078.cnf
? (TO)
1200.04
1200.32
1530875
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S149116968-021.cnf
? (TO)
1200.04
1200.51
1530287
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S541865505-057.cnf
? (TO)
1200.04
1200.41
1529483
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S799705985-049.cnf
? (TO)
1200.04
1200.11
1530272
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1334593800-018.cnf
? (TO)
1200.04
1200.61
1529294
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1826325374-100.cnf
? (TO)
1200.04
1200.31
1530257
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S501150091-001.cnf
? (TO)
1200.04
1200.41
1529201
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S568017735-066.cnf
? (TO)
1200.04
1200.41
1529672
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1797123396-073.cnf
? (TO)
1200.04
1200.41
1529246
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S661850551-087.cnf
? (TO)
1200.04
1200.51
1529309
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1640054673-078.cnf
? (TO)
1200.04
1200.41
1530224
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1441840675-053.cnf
? (TO)
1200.05
1200.41
1529282
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf
? (TO)
1200.05
1200.41
1529612
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S420719158-080.cnf
? (TO)
1200.05
1200.44
1529735
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1457384322-029.cnf
? (TO)
1200.05
1200.41
1530458
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1040507052-028.cnf
? (TO)
1200.05
1200.41
1529225
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1322153318-039.cnf
? (TO)
1200.05
1200.41
1529216
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S318878687-017.cnf
? (TO)
1200.05
1200.51
1529366
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1611899384-022.cnf
? (TO)
1200.05
1200.52
1529342
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1543261951-042.cnf
? (TO)
1200.05
1200.41
1529441
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S566590366-099.cnf
? (TO)
1200.05
1200.41
1529465
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S839302453-094.cnf
? (TO)
1200.05
1200.41
1529567
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf
? (TO)
1200.05
1200.34
1529720
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1070443005-075.cnf
? (TO)
1200.05
1200.41
1529879
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1772254584-042.cnf
? (TO)
1200.05
1200.41
1529960
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S402241321-038.cnf
? (TO)
1200.05
1200.61
1529957
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1771223975-021.cnf
? (TO)
1200.05
1200.51
1529918
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S179172230-011.cnf
? (TO)
1200.05
1200.41
1529999
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S884764237-004.cnf
? (TO)
1200.05
1200.51
1530050
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2142489608-055.cnf
? (TO)
1200.05
1200.41
1530110
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1154116462-097.cnf
? (TO)
1200.05
1200.51
1530359
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S125259973-020.cnf
? (TO)
1200.05
1200.42
1530398
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1628763900-004.cnf
? (TO)
1200.05
1200.42
1530473
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1892788676-021.cnf
? (TO)
1200.05
1200.41
1530491
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1983754128-073.cnf
? (TO)
1200.05
1200.41
1530521
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S928666993-098.cnf
? (TO)
1200.05
1200.41
1530530
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S146188995-071.cnf
? (TO)
1200.05
1199.91
1530623
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1161147107-031.cnf
? (TO)
1200.05
1200.52
1530629
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1624574519-076.cnf
? (TO)
1200.05
1200.51
1530659
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S180439591-093.cnf
? (TO)
1200.05
1200.42
1530650
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S714125262-017.cnf
? (TO)
1200.05
1200.62
1530719
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S787972994-025.cnf
? (TO)
1200.05
1200.42
1530743
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1546885609-031.cnf
? (TO)
1200.05
1200.42
1530839
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S486002104-037.cnf
? (TO)
1200.05
1200.31
1530863
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S23858409-056.cnf
? (TO)
1200.06
1200.41
1530776
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1879656894-046.cnf
? (TO)
1200.06
1200.51
1530008
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1163324878-032.cnf
? (TO)
1200.06
1200.41
1530005
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1153031014-012.cnf
? (TO)
1200.06
1199.91
1529993
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S554804223-012.cnf
? (TO)
1200.06
1200.62
1530809
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S884941173-092.cnf
? (TO)
1200.06
1200.41
1529909
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S984347600-003.cnf
? (TO)
1200.06
1199.91
1529954
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S282405510-004.cnf
? (TO)
1200.06
1200.41
1529972
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1281410666-045.cnf
? (TO)
1200.06
1200.51
1529336
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S308012126-046.cnf
? (TO)
1200.06
1200.51
1529978
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S2142680239-019.cnf
? (TO)
1200.06
1200.41
1530767
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1293537826-039.cnf
? (TO)
1200.06
1200.41
1530896
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S900737394-048.cnf
? (TO)
1200.06
1200.41
1530785
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1992353905-004.cnf
? (TO)
1200.06
1200.52
1529411
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S91288590-071.cnf
? (TO)
1200.06
1200.51
1529456
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S886725553-011.cnf
? (TO)
1200.06
1200.51
1529357
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S981523907-072.cnf
? (TO)
1200.06
1200.41
1530704
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1912687159-077.cnf
? (TO)
1200.06
1200.51
1530872
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S621134782-041.cnf
? (TO)
1200.06
1200.51
1530626
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1258122549-031.cnf
? (TO)
1200.06
1200.41
1530593
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S51205200-028.cnf
? (TO)
1200.06
1200.41
1530245
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1028159446-096.cnf
? (TO)
1200.06
1200.51
1530560
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1369720750-015.cnf
? (TO)
1200.06
1200.41
1530554
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1253795703-015.cnf
? (TO)
1200.06
1200.51
1529300
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1159067237-017.cnf
? (TO)
1200.06
1200.51
1530509
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S915600698-006.cnf
? (TO)
1200.06
1200.41
1530488
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S393462637-097.cnf
? (TO)
1200.06
1200.51
1530404
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf
? (TO)
1200.06
1200.51
1529570
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1750991629-037.cnf
? (TO)
1200.06
1200.81
1530368
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S688769362-007.cnf
? (TO)
1200.06
1200.41
1530365
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1970456972-046.cnf
? (TO)
1200.06
1199.91
1529333
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1818347447-078.cnf
? (TO)
1200.06
1200.51
1530077
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf
? (TO)
1200.06
1200.51
1529648
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S595075179-058.cnf
? (TO)
1200.06
1200.51
1529615
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1854680784-082.cnf
? (TO)
1200.06
1200.51
1530311
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S697681291-080.cnf
? (TO)
1200.06
1200.51
1530290
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S375588147-050.cnf
? (TO)
1200.06
1200.42
1529375
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S342542912-045.cnf
? (TO)
1200.06
1200.41
1530236
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S400088537-049.cnf
? (TO)
1200.06
1200.51
1530203
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1718226278-096.cnf
? (TO)
1200.06
1200.71
1530167
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1724014998-099.cnf
? (TO)
1200.06
1200.51
1529255
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S905029262-097.cnf
? (TO)
1200.06
1200.51
1530113
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S35186747-095.cnf
? (TO)
1200.06
1200.51
1529840
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1758422766-080.cnf
? (TO)
1200.06
1200.51
1530062
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S289069074-070.cnf
? (TO)
1200.06
1200.41
1530044
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1318210982-002.cnf
? (TO)
1200.06
1200.41
1530035
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1313163883-027.cnf
? (TO)
1200.06
1200.41
1529348
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S108799362-035.cnf
? (TO)
1200.06
1200.51
1530020
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf
? (TO)
1200.07
1200.62
1529708
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S432895007-058.cnf
? (TO)
1200.07
1200.41
1530197
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S779309989-069.cnf
? (TO)
1200.07
1200.41
1529528
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S367138237-029.cnf
? (TO)
1200.07
1200.42
1530557
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S253750560-086.cnf
? (TO)
1200.07
1200.41
1530569
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S227954525-082.cnf
? (TO)
1200.07
1200.41
1530635
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1614425450-034.cnf
? (TO)
1200.07
1200.41
1530842
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf
? (TO)
1200.07
1200.61
1529741
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1377066099-004.cnf
? (TO)
1200.07
1200.41
1530500
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S326668183-079.cnf
? (TO)
1200.07
1200.51
1530158
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S834811574-084.cnf
? (TO)
1200.07
1200.51
1530170
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S853819067-006.cnf
? (TO)
1200.07
1200.42
1530449
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1564075794-028.cnf
? (TO)
1200.07
1200.52
1530452
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1598052044-078.cnf
? (TO)
1200.07
1200.52
1530443
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf
? (TO)
1200.07
1200.51
1529579
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1639151107-094.cnf
? (TO)
1200.07
1200.52
1530131
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1954748117-061.cnf
? (TO)
1200.07
1200.41
1529261
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2028777924-038.cnf
? (TO)
1200.07
1200.41
1530059
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2119656249-086.cnf
? (TO)
1200.07
1200.51
1529771
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S208461254-049.cnf
? (TO)
1200.07
1200.42
1530758
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf
? (TO)
1200.07
1200.41
1529609
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1096716652-027.cnf
? (TO)
1200.07
1200.52
1530146
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1985172968-100.cnf
? (TO)
1200.07
1200.52
1530854
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S517464300-073.cnf
? (TO)
1200.07
1200.41
1530344
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S274764005-003.cnf
? (TO)
1200.07
1200.51
1529588
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S207294319-099.cnf
? (TO)
1200.07
1200.51
1529855
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S617358728-082.cnf
? (TO)
1200.07
1200.41
1530830
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S528193823-041.cnf
? (TO)
1200.07
1200.41
1530014
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S433356712-017.cnf
? (TO)
1200.07
1200.42
1530779
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2088224617-083.cnf
? (TO)
1200.07
1200.51
1529207
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1703611043-077.cnf
? (TO)
1200.07
1200.51
1530017
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S357555833-073.cnf
? (TO)
1200.07
1200.41
1529984
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S578339356-013.cnf
? (TO)
1200.07
1200.41
1529864
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1332067449-041.cnf
? (TO)
1200.07
1200.41
1530770
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf
? (TO)
1200.07
1200.51
1529618
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2083487609-068.cnf
? (TO)
1200.07
1200.51
1529798
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S638042053-051.cnf
? (TO)
1200.07
1200.41
1529906
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S999404609-010.cnf
? (TO)
1200.07
1200.41
1530527
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1900558626-069.cnf
? (TO)
1200.07
1200.41
1530065
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S102181364-052.cnf
? (TO)
1200.07
1200.41
1529792
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S645163129-012.cnf
? (TO)
1200.07
1200.41
1530260
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1339364096-048.cnf
? (TO)
1200.07
1200.41
1530254
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2139292994-055.cnf
? (TO)
1200.07
1200.41
1529927
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S986324446-009.cnf
? (TO)
1200.07
1200.51
1529912
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S47926000-049.cnf
? (TO)
1200.07
1200.41
1529948
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1963731659-060.cnf
? (TO)
1200.07
1200.52
1529990
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1159550149-077.cnf
? (TO)
1200.07
1200.51
1529942
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1367181683-025.cnf
? (TO)
1200.07
1200.42
1530833
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S650356257-052.cnf
? (TO)
1200.07
1200.51
1529765
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S122462268-047.cnf
? (TO)
1200.07
1200.51
1529804
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1524836866-036.cnf
? (TO)
1200.07
1200.41
1530485
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf
? (TO)
1200.07
1200.42
1529696
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf
? (TO)
1200.07
1200.51
1529651
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1295462378-089.cnf
? (TO)
1200.07
1200.51
1529432
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1864473452-037.cnf
? (TO)
1200.07
1200.51
1529453
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S72273909-010.cnf
? (TO)
1200.07
1200.41
1530233
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S515665970-021.cnf
? (TO)
1200.07
1200.41
1529861
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S780904324-093.cnf
? (TO)
1200.07
1200.41
1530749
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1924575376-025.cnf
? (TO)
1200.07
1200.61
1530815
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S445910413-047.cnf
? (TO)
1200.07
1200.51
1530209
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S685953260-065.cnf
? (TO)
1200.07
1200.41
1529330
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S844931093-069.cnf
? (TO)
1200.07
1200.41
1530695
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S809967194-078.cnf
? (TO)
1200.07
1200.51
1530692
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1879859331-044.cnf
? (TO)
1200.07
1200.42
1530674
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1014608490-038.cnf
? (TO)
1200.07
1200.42
1530662
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1912214877-051.cnf
? (TO)
1200.07
1200.41
1529270
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S603077945-019.cnf
? (TO)
1200.07
1200.41
1530176
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2025169165-076.cnf
? (TO)
1200.07
1200.42
1530590
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S367498571-066.cnf
? (TO)
1200.07
1200.51
1529834
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S315403000-060.cnf
? (TO)
1200.07
1200.51
1529252
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S95953046-044.cnf
? (TO)
1200.07
1200.41
1530584
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1906521511-089.cnf
? (TO)
1200.07
1200.42
1530572
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf
? (TO)
1200.07
1200.43
1529522
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S404185236-001.cnf
? (TO)
1200.07
1200.42
1530563
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S882603971-022.cnf
? (TO)
1200.08
1200.41
1529276
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S805234188-084.cnf
? (TO)
1200.08
1200.51
1529279
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1606932551-072.cnf
? (TO)
1200.08
1200.52
1530437
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S2051339669-029.cnf
? (TO)
1200.08
1200.41
1529372
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S2140929154-062.cnf
? (TO)
1200.08
1200.42
1529393
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S441484366-048.cnf
? (TO)
1200.08
1200.41
1529408
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S907861678-077.cnf
? (TO)
1200.08
1200.41
1529435
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1394036608-091.cnf
? (TO)
1200.08
1200.41
1530314
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf
? (TO)
1200.08
1200.51
1529519
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf
? (TO)
1200.08
1200.41
1529504
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S688804305-073.cnf
? (TO)
1200.08
1200.51
1529576
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2058039218-006.cnf
? (TO)
1200.08
1200.51
1530125
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf
? (TO)
1200.08
1200.42
1529639
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf
? (TO)
1200.08
1200.41
1529642
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf
? (TO)
1200.08
1200.41
1529663
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S17277413-072.cnf
? (TO)
1200.08
1200.42
1529687
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf
? (TO)
1200.08
1200.44
1529723
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S918173205-035.cnf
? (TO)
1200.08
1200.41
1529867
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S845966893-046.cnf
? (TO)
1200.08
1200.41
1529816
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1629955917-055.cnf
? (TO)
1200.08
1200.51
1529831
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S2083778933-085.cnf
? (TO)
1200.08
1200.51
1529876
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S80067159-015.cnf
? (TO)
1200.08
1200.41
1529873
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2007547542-039.cnf
? (TO)
1200.08
1200.51
1529939
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1931398869-036.cnf
? (TO)
1200.08
1200.41
1529933
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S744068878-072.cnf
? (TO)
1200.08
1200.41
1529921
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S971118900-053.cnf
? (TO)
1200.08
1200.41
1529975
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S748216286-061.cnf
? (TO)
1200.08
1200.41
1529969
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S219795104-099.cnf
? (TO)
1200.08
1200.41
1529762
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S703461330-034.cnf
? (TO)
1200.08
1200.41
1530026
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S358640743-023.cnf
? (TO)
1200.08
1200.41
1530053
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2125310989-062.cnf
? (TO)
1200.08
1200.51
1530056
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S254828838-055.cnf
? (TO)
1200.08
1200.41
1530071
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1796956909-029.cnf
? (TO)
1200.08
1200.51
1530083
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1610649331-094.cnf
? (TO)
1200.08
1200.41
1530092
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S400162545-095.cnf
? (TO)
1200.08
1200.41
1530101
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1266438269-016.cnf
? (TO)
1200.08
1200.51
1530098
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S2037556208-016.cnf
? (TO)
1200.08
1200.41
1530137
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1723021362-073.cnf
? (TO)
1200.08
1200.51
1530188
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803323266-025.cnf
? (TO)
1200.08
1200.41
1530239
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1731702106-010.cnf
? (TO)
1200.08
1200.42
1530269
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1213077873-067.cnf
? (TO)
1200.08
1200.51
1530263
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf
? (TO)
1200.08
1200.51
1529627
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S121765931-081.cnf
? (TO)
1200.08
1200.42
1530320
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf
? (TO)
1200.08
1200.41
1529606
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S500426663-025.cnf
? (TO)
1200.08
1200.41
1529585
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S268463339-081.cnf
? (TO)
1200.08
1200.51
1529558
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S457856978-061.cnf
? (TO)
1200.08
1200.51
1530467
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S926047226-039.cnf
? (TO)
1200.08
1200.52
1530482
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1249441590-066.cnf
? (TO)
1200.08
1200.42
1530512
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S349436298-004.cnf
? (TO)
1200.08
1200.51
1530587
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1353769076-009.cnf
? (TO)
1200.08
1200.42
1529237
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1494961823-060.cnf
? (TO)
1200.08
1200.41
1530581
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S247943532-069.cnf
? (TO)
1200.08
1200.42
1530611
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1977519792-030.cnf
? (TO)
1200.08
1200.41
1530620
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1460100153-095.cnf
? (TO)
1200.08
1200.42
1530641
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S144043535-002.cnf
? (TO)
1200.08
1200.52
1530905
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1804335510-002.cnf
? (TO)
1200.08
1200.42
1530878
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1800466054-025.cnf
? (TO)
1200.08
1200.52
1530638
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1139247531-051.cnf
? (TO)
1200.08
1200.41
1530656
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1049921489-034.cnf
? (TO)
1200.08
1200.41
1529414
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1137823545-077.cnf
? (TO)
1200.08
1200.51
1530764
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S602463346-055.cnf
? (TO)
1200.08
1200.51
1530596
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1563412474-059.cnf
? (TO)
1200.09
1200.41
1530413
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S559732886-091.cnf
? (TO)
1200.09
1200.41
1529819
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1788451776-008.cnf
? (TO)
1200.09
1200.41
1529306
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1050568800-025.cnf
? (TO)
1200.09
1200.41
1529846
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1119648091-064.cnf
? (TO)
1200.09
1200.41
1529318
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S900957093-043.cnf
? (TO)
1200.09
1200.52
1530275
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1492329924-074.cnf
? (TO)
1200.09
1200.41
1529915
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1481598919-023.cnf
? (TO)
1200.09
1200.41
1529882
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1845944120-011.cnf
? (TO)
1200.09
1200.41
1529429
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1588298513-036.cnf
? (TO)
1200.09
1200.41
1529390
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1748152762-086.cnf
? (TO)
1200.09
1200.41
1529243
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1698591437-083.cnf
? (TO)
1200.09
1200.41
1529837
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S857870897-089.cnf
? (TO)
1200.09
1200.41
1530080
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2065372010-022.cnf
? (TO)
1200.09
1200.41
1530029
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1525918493-008.cnf
? (TO)
1200.09
1200.51
1530107
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1916972979-060.cnf
? (TO)
1200.09
1200.41
1529801
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1206040031-030.cnf
? (TO)
1200.09
1200.41
1530155
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2073320038-053.cnf
? (TO)
1200.09
1200.51
1530104
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1568932519-011.cnf
? (TO)
1200.09
1200.41
1529930
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S305156909-031.cnf
? (TO)
1200.09
1200.41
1530578
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1895787950-064.cnf
? (TO)
1200.09
1200.51
1530206
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S821759333-092.cnf
? (TO)
1200.09
1200.41
1529603
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1354285755-030.cnf
? (TO)
1200.09
1200.42
1530179
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1085378176-050.cnf
? (TO)
1200.09
1200.51
1529498
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1326039470-063.cnf
? (TO)
1200.09
1200.61
1530728
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1906075351-024.cnf
? (TO)
1200.09
1200.41
1529474
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S520696524-059.cnf
? (TO)
1200.09
1200.41
1529513
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf
? (TO)
1200.09
1200.51
1529597
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S115851319-100.cnf
? (TO)
1200.09
1200.51
1529264
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S387386125-069.cnf
? (TO)
1200.09
1200.42
1530377
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S221596758-009.cnf
? (TO)
1200.09
1200.41
1529753
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1810287895-075.cnf
? (TO)
1200.09
1200.42
1530497
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S321371087-018.cnf
? (TO)
1200.09
1200.51
1530824
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1251522734-073.cnf
? (TO)
1200.09
1200.51
1529795
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S859578263-029.cnf
? (TO)
1200.09
1200.41
1529546
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S638051453-097.cnf
? (TO)
1200.09
1200.42
1530446
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1127319144-058.cnf
? (TO)
1200.09
1200.51
1529378
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1528563858-100.cnf
? (TO)
1200.09
1200.52
1530797
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S418505498-026.cnf
? (TO)
1200.09
1200.51
1530395
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S492033085-065.cnf
? (TO)
1200.09
1200.51
1530425
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S948914005-013.cnf
? (TO)
1200.09
1200.52
1529384
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S452919966-071.cnf
? (TO)
1200.09
1200.51
1529399
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1484713995-092.cnf
? (TO)
1200.09
1200.41
1530185
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S291433416-025.cnf
? (TO)
1200.09
1200.41
1529825
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S193214747-044.cnf
? (TO)
1200.09
1200.41
1529369
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S74035269-088.cnf
? (TO)
1200.09
1200.51
1529480
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1171422074-087.cnf
? (TO)
1200.09
1200.41
1530095
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf
? (TO)
1200.09
1200.54
1529684
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1002348653-090.cnf
? (TO)
1200.09
1200.71
1530800
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S599916448-096.cnf
? (TO)
1200.09
1200.51
1530086
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1695726805-003.cnf
? (TO)
1200.09
1200.41
1529402
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S142096783-019.cnf
? (TO)
1200.09
1200.42
1530701
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1378953985-075.cnf
? (TO)
1200.09
1200.51
1529423
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S398733532-072.cnf
? (TO)
1200.09
1200.51
1529891
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S565763763-051.cnf
? (TO)
1200.09
1200.51
1530683
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1818639567-059.cnf
? (TO)
1200.09
1200.51
1529477
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1880984131-087.cnf
? (TO)
1200.09
1200.62
1530665
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1971658345-089.cnf
? (TO)
1200.09
1200.41
1529777
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1803805764-016.cnf
? (TO)
1200.09
1200.51
1530266
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S852794659-023.cnf
? (TO)
1200.09
1200.41
1529936
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S285713182-059.cnf
? (TO)
1200.09
1200.51
1529462
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1568578307-064.cnf
? (TO)
1200.09
1200.41
1529363
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S393518083-009.cnf
? (TO)
1200.1
1200.41
1529951
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S184801254-020.cnf
? (TO)
1200.1
1200.41
1530041
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1331382449-070.cnf
? (TO)
1200.1
1200.41
1529828
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1305875336-097.cnf
? (TO)
1200.1
1200.51
1529807
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S632066493-060.cnf
? (TO)
1200.1
1200.51
1529789
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1916548023-003.cnf
? (TO)
1200.1
1200.51
1530773
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2054549948-012.cnf
? (TO)
1200.1
1200.41
1529228
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S745855171-090.cnf
? (TO)
1200.1
1200.41
1529780
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1718100253-004.cnf
? (TO)
1200.1
1200.51
1530119
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1514821049-021.cnf
? (TO)
1200.1
1200.51
1530143
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1794178048-059.cnf
? (TO)
1200.1
1200.41
1530164
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1828800850-025.cnf
? (TO)
1200.1
1200.51
1530140
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1299934729-015.cnf
? (TO)
1200.1
1200.41
1530122
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S754967851-033.cnf
? (TO)
1200.1
1200.51
1530161
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf
? (TO)
1200.1
1200.54
1529711
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S284173264-081.cnf
? (TO)
1200.1
1200.41
1530182
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf
? (TO)
1200.1
1200.42
1529699
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S339800239-026.cnf
? (TO)
1200.1
1200.41
1529705
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S322778960-054.cnf
? (TO)
1200.1
1200.44
1529702
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf
? (TO)
1200.1
1200.51
1529693
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1284372491-036.cnf
? (TO)
1200.1
1200.51
1529210
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S906020180-093.cnf
? (TO)
1200.1
1200.41
1529675
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1897376969-026.cnf
? (TO)
1200.1
1200.52
1530281
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S743448446-027.cnf
? (TO)
1200.1
1200.41
1529312
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf
? (TO)
1200.1
1200.52
1529630
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf
? (TO)
1200.1
1200.41
1529669
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1540921235-015.cnf
? (TO)
1200.1
1200.42
1530302
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1331813943-033.cnf
? (TO)
1200.1
1200.52
1530299
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S572248576-042.cnf
? (TO)
1200.1
1200.51
1530317
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S486178562-011.cnf
? (TO)
1200.1
1200.42
1530305
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S159251645-087.cnf
? (TO)
1200.1
1200.41
1530308
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1528023000-027.cnf
? (TO)
1200.1
1200.52
1530323
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S565564805-059.cnf
? (TO)
1200.1
1200.41
1530329
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S2096960818-049.cnf
? (TO)
1200.1
1200.42
1530335
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S28271012-055.cnf
? (TO)
1200.1
1200.52
1530341
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S179568577-034.cnf
? (TO)
1200.1
1200.61
1530350
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S374947955-075.cnf
? (TO)
1200.1
1200.41
1530347
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf
? (TO)
1200.1
1200.41
1529582
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1039370030-037.cnf
? (TO)
1200.1
1200.51
1530380
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S266028630-005.cnf
? (TO)
1200.1
1200.41
1529387
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S762724712-048.cnf
? (TO)
1200.1
1200.43
1529594
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S439075063-023.cnf
? (TO)
1200.1
1200.42
1529564
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S251246256-047.cnf
? (TO)
1200.1
1200.41
1529234
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S2037268960-098.cnf
? (TO)
1200.1
1200.41
1530434
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf
? (TO)
1200.1
1200.42
1529543
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S195213520-027.cnf
? (TO)
1200.1
1200.51
1529561
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S2034442711-054.cnf
? (TO)
1200.1
1200.41
1530476
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S285229208-001.cnf
? (TO)
1200.1
1200.41
1530479
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S279212213-020.cnf
? (TO)
1200.1
1200.51
1529540
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S21800963-085.cnf
? (TO)
1200.1
1200.53
1529549
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803029538-050.cnf
? (TO)
1200.1
1200.41
1530248
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S356738975-073.cnf
? (TO)
1200.1
1200.52
1530503
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S2007898659-069.cnf
? (TO)
1200.1
1200.41
1530515
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S2059720696-001.cnf
? (TO)
1200.1
1200.41
1529495
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1940784272-089.cnf
? (TO)
1200.1
1200.42
1530647
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1694258328-099.cnf
? (TO)
1200.1
1200.52
1530524
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S260616787-042.cnf
? (TO)
1200.1
1200.51
1530545
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf
? (TO)
1200.1
1200.41
1529534
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf
? (TO)
1200.1
1200.41
1529531
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf
? (TO)
1200.1
1200.51
1529525
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S136987316-008.cnf
? (TO)
1200.1
1200.41
1529507
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1778559297-006.cnf
? (TO)
1200.1
1200.52
1530668
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S658989873-070.cnf
? (TO)
1200.1
1200.52
1530602
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1185462553-011.cnf
? (TO)
1200.1
1200.51
1529258
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S2124311399-085.cnf
? (TO)
1200.1
1200.51
1529303
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1045096471-025.cnf
? (TO)
1200.1
1200.41
1530599
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1536609007-088.cnf
? (TO)
1200.1
1200.51
1530617
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S432776913-077.cnf
? (TO)
1200.1
1200.41
1529450
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1876865608-086.cnf
? (TO)
1200.1
1200.41
1530689
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1429776379-099.cnf
? (TO)
1200.1
1200.41
1530680
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S311671104-045.cnf
? (TO)
1200.1
1200.52
1530653
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1404929091-050.cnf
? (TO)
1200.1
1200.51
1530431
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S144924920-056.cnf
? (TO)
1200.1
1200.41
1529288
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1850138369-006.cnf
? (TO)
1200.1
1200.41
1529219
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1339293988-069.cnf
? (TO)
1200.1
1200.42
1530737
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1549575664-035.cnf
? (TO)
1200.1
1200.51
1529354
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S942507261-096.cnf
? (TO)
1200.1
1200.41
1529405
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1183359164-025.cnf
? (TO)
1200.1
1200.41
1529249
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1352224201-070.cnf
? (TO)
1200.1
1200.41
1529420
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1086008090-058.cnf
? (TO)
1200.1
1200.41
1529888
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1723900160-044.cnf
? (TO)
1200.1
1200.41
1529885
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1802626390-033.cnf
? (TO)
1200.1
1200.51
1529426
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1920888253-090.cnf
? (TO)
1200.1
1200.41
1529966
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1736056721-032.cnf
? (TO)
1200.1
1200.41
1529774
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1221988902-087.cnf
? (TO)
1200.1
1200.41
1529843
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S956556686-037.cnf
? (TO)
1200.1
1200.41
1529438
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1559668863-058.cnf
? (TO)
1200.1
1200.42
1530011
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1772751287-054.cnf
? (TO)
1200.1
1200.41
1530032
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2141146009-040.cnf
? (TO)
1200.1
1200.51
1530047
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S785082413-028.cnf
? (TO)
1200.1
1200.51
1529822
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1249224492-031.cnf
? (TO)
1200.1
1200.51
1529417
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf
? (TO)
1200.11
1200.42
1529756
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S15767910-042.cnf
? (TO)
1200.11
1200.51
1529759
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S722433227-030.cnf
? (TO)
1200.11
1200.51
1530899
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S2104277852-078.cnf
? (TO)
1200.11
1200.52
1530383
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1263695887-042.cnf
? (TO)
1200.11
1200.41
1530752
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S817309453-059.cnf
? (TO)
1200.11
1200.41
1530788
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1040456712-073.cnf
? (TO)
1200.11
1200.41
1529945
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S178043354-076.cnf
? (TO)
1200.11
1200.41
1530134
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1041106011-094.cnf
? (TO)
1200.11
1200.42
1530869
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S826724848-048.cnf
? (TO)
1200.11
1200.51
1529744
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1580204273-012.cnf
? (TO)
1200.11
1200.41
1530539
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1684547485-073.cnf
? (TO)
1200.11
1200.41
1530884
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1807135406-059.cnf
? (TO)
1200.11
1200.41
1530536
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf
? (TO)
1200.11
1200.51
1529510
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1707873242-085.cnf
? (TO)
1200.11
1200.51
1529963
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1555503917-029.cnf
? (TO)
1200.11
1200.41
1530836
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf
? (TO)
1200.11
1200.51
1529600
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S814638510-058.cnf
? (TO)
1200.11
1200.51
1529486
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2015297474-031.cnf
? (TO)
1200.11
1200.41
1529204
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S975048338-088.cnf
? (TO)
1200.11
1200.41
1530362
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S592525179-032.cnf
? (TO)
1200.11
1200.41
1529444
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S596342014-039.cnf
? (TO)
1200.11
1200.41
1530326
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S680239195-053.cnf
? (TO)
1200.11
1200.51
1530566
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S2142794689-088.cnf
? (TO)
1200.11
1200.41
1530074
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S84716411-095.cnf
? (TO)
1200.11
1200.51
1530782
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S956671877-054.cnf
? (TO)
1200.11
1200.52
1530614
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S644655157-049.cnf
? (TO)
1200.11
1200.51
1529981
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1136894336-075.cnf
? (TO)
1200.11
1200.51
1529396
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf
? (TO)
1200.11
1200.54
1529729
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1482824652-097.cnf
? (TO)
1200.11
1200.41
1530068
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S2069223517-023.cnf
? (TO)
1200.11
1200.51
1530818
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1048138627-064.cnf
? (TO)
1200.11
1200.42
1530293
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S612955126-075.cnf
? (TO)
1200.11
1200.51
1529654
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1388268034-092.cnf
? (TO)
1200.11
1200.41
1529273
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1211704640-033.cnf
? (TO)
1200.11
1200.51
1529852
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S310111511-029.cnf
? (TO)
1200.11
1200.51
1529645
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1376127278-008.cnf
? (TO)
1200.11
1200.51
1529897
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S211141966-058.cnf
? (TO)
1200.11
1200.52
1529324
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf
? (TO)
1200.11
1200.53
1529666
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1422278005-004.cnf
? (TO)
1200.11
1200.51
1529996
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1766907733-036.cnf
? (TO)
1200.11
1200.51
1529360
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S889538696-070.cnf
? (TO)
1200.11
1200.42
1530677
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1353993612-015.cnf
? (TO)
1200.11
1200.42
1530416
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1949086545-083.cnf
? (TO)
1200.11
1200.51
1530698
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S51132115-023.cnf
? (TO)
1200.11
1200.55
1529690
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S709270457-007.cnf
? (TO)
1200.11
1200.42
1530215
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S267191961-079.cnf
? (TO)
1200.11
1200.51
1529870
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S332478069-041.cnf
? (TO)
1200.11
1200.41
1530410
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf
? (TO)
1200.11
1200.51
1529555
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S172053238-003.cnf
? (TO)
1200.11
1200.42
1530722
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S579205610-033.cnf
? (TO)
1200.11
1200.43
1529573
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1017443264-065.cnf
? (TO)
1200.11
1200.51
1530002
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1223878722-065.cnf
? (TO)
1200.11
1200.51
1530212
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1645769281-097.cnf
? (TO)
1200.11
1200.41
1530200
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S155821307-034.cnf
? (TO)
1200.11
1200.71
1529285
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2067258640-036.cnf
? (TO)
1200.11
1200.42
1530821
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S326477539-068.cnf
? (TO)
1200.11
1200.42
1530866
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S522321670-058.cnf
? (TO)
1200.11
1200.42
1529381
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1553390498-064.cnf
? (TO)
1200.11
1200.41
1530386
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S729526068-046.cnf
? (TO)
1200.11
1200.51
1530494
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1192890414-033.cnf
? (TO)
1200.11
1200.51
1529345
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf
? (TO)
1200.12
1200.41
1529552
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S816613570-013.cnf
? (TO)
1200.12
1200.42
1530371
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1017667294-044.cnf
? (TO)
1200.12
1200.61
1529471
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf
? (TO)
1200.12
1200.54
1529726
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S2087271472-092.cnf
? (TO)
1200.12
1200.42
1530632
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf
? (TO)
1200.12
1200.44
1529717
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1420449214-092.cnf
? (TO)
1200.12
1200.51
1529849
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf
? (TO)
1200.12
1200.42
1529537
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S914323646-060.cnf
? (TO)
1200.12
1200.44
1529732
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S678706275-057.cnf
? (TO)
1200.12
1200.41
1529297
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1357790788-074.cnf
? (TO)
1200.12
1200.51
1529858
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S162003179-087.cnf
? (TO)
1200.12
1200.51
1529681
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1007745655-097.cnf
? (TO)
1200.12
1200.42
1530470
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1366769180-095.cnf
? (TO)
1200.12
1200.51
1530191
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S820736259-091.cnf
? (TO)
1200.12
1200.52
1530356
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1375576340-029.cnf
? (TO)
1200.12
1200.52
1530389
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf
? (TO)
1200.12
1200.54
1529738
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1035441377-058.cnf
? (TO)
1200.12
1200.42
1530422
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1988754311-026.cnf
? (TO)
1200.12
1200.41
1530242
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S190880026-038.cnf
? (TO)
1200.12
1200.42
1530518
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf
? (TO)
1200.12
1200.44
1529714
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1250067652-054.cnf
? (TO)
1200.12
1200.42
1530440
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S786890012-057.cnf
? (TO)
1200.13
1200.52
1530686