SAT 2009 Competition: main competition (phase 1): benchmarks results per solver
Result page for solver HydraSAT-Multi
2009-03-22-Multi
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (57 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.72089
0.729814
1718819
manol-pipe-g6bi.cnf
UNSAT
1.71074
1.7266
1723731
een-tip-uns-nusmv-t5.B.cnf
UNSAT
2.28265
2.28308
1723367
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
2.6116
2.61245
1717987
cmu-bmc-barrel6.cnf
UNSAT
2.67759
2.67826
1719547
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
3.14452
3.14518
1717935
hoons-vbmc-lucky7.cnf
UNSAT
6.72498
6.72805
1719859
APPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
UNSAT
7.74382
7.74647
1556857
APPLICATIONS/bitverif/
minor/minor032.cnf
UNSAT
9.1776
9.18218
1553217
APPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
UNSAT
13.9299
13.9385
1554569
APPLICATIONS/crypto/
md5gen/gus-md5-05.cnf
UNSAT
18.8921
18.9088
1556805
APPLICATIONS/bitverif/
icbrt/icbrt1_32.cnf
UNSAT
32.655
32.6726
1555037
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
37.1214
37.13
1715647
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
UNSAT
38.3822
38.3945
1554101
manol-pipe-c9.cnf
UNSAT
39.152
39.1716
1724355
APPLICATIONS/bitverif/
smulo/smulo016.cnf
UNSAT
41.4497
41.4685
1554829
APPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
UNSAT
43.3014
43.3185
1577785
cmu-bmc-longmult15.cnf
UNSAT
45.1941
45.2144
1720639
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
48.6176
48.6535
1718247
APPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
UNSAT
51.1522
51.1714
1556753
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
UNSAT
62.8814
62.9082
1723059
simon-s03-fifo8-300.cnf
UNSAT
67.8347
67.8731
1724147
manol-pipe-g7nidw.cnf
UNSAT
72.551
72.5812
1724303
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
76.1034
76.1357
1717467
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
80.3418
80.3781
1717675
schup-l2s-abp4-1-k31.cnf
UNSAT
89.5074
89.5355
1719599
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
96.3254
96.3966
1715699
APPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
UNSAT
99.6369
99.6681
1553789
APPLICATIONS/c32sat/
post-c32s-col400-16.cnf
UNSAT
102.161
102.333
1563461
velev-live-uns-2.0-ebuf.cnf
UNSAT
104.388
104.437
1723679
velev-engi-uns-1.0-4nd.cnf
UNSAT
116.216
58.205
1720119
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
124.804
124.851
1717623
APPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
UNSAT
137.407
137.454
1557065
APPLICATIONS/diagnosis/
UR-10-5p0.cnf
UNSAT
139.766
139.872
1579865
manol-pipe-c6bidw_i.cnf
UNSAT
142.253
142.296
1720275
APPLICATIONS/diagnosis/
UCG-10-5p0.cnf
UNSAT
144.702
144.748
1578201
manol-pipe-c6nidw_i.cnf
UNSAT
150.857
150.929
1724459
APPLICATIONS/diagnosis/
ACG-10-5p0.cnf
UNSAT
165.002
165.076
1579397
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
191.432
191.544
1717883
APPLICATIONS/diagnosis/
UTI-10-10p0.cnf
UNSAT
195.37
195.483
1581737
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
222.428
222.489
1717571
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
272.295
272.425
1580541
APPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
UNSAT
304.287
304.448
1563617
APPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
UNSAT
323.602
323.732
1553321
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
335.31
335.487
1718143
manol-pipe-g10id.cnf
UNSAT
346.205
346.334
1723523
APPLICATIONS/diagnosis/
UTI-15-10p0.cnf
UNSAT
492.586
492.877
1580853
manol-pipe-c7nidw.cnf
UNSAT
500.287
500.632
1723471
APPLICATIONS/diagnosis/
UR-15-5p0.cnf
UNSAT
502.885
503.153
1581945
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
UNSAT
512.83
513.038
1722259
manol-pipe-c7bidw_i.cnf
UNSAT
514.991
515.253
1724251
APPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
UNSAT
544.717
544.884
1563201
APPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
UNSAT
566.43
566.698
1563045
goldb-heqc-alu4mul.cnf
UNSAT
572.004
572.008
1721003
APPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
UNSAT
601.066
601.273
1563097
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
633.968
634.315
1562785
APPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
UNSAT
677.287
677.527
1577837
Solver found a solution (SATISFIABLE) (49 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/aprove09/
AProVE09-13.cnf
SAT
0.223965
0.223442
1560289
een-tip-sat-texas-tp-5e.cnf
SAT
0.230964
0.246949
1720899
APPLICATIONS/aprove09/
AProVE09-08.cnf
SAT
0.284956
0.285071
1560705
APPLICATIONS/aprove09/
AProVE09-22.cnf
SAT
0.340947
0.34151
1560445
APPLICATIONS/aprove09/
AProVE09-11.cnf
SAT
0.641902
0.648241
1560861
APPLICATIONS/aprove09/
AProVE09-05.cnf
SAT
0.760883
0.759988
1560029
APPLICATIONS/aprove09/
AProVE09-12.cnf
SAT
1.19282
1.19373
1560341
APPLICATIONS/aprove09/
AProVE09-25.cnf
SAT
1.19982
1.22379
1560133
APPLICATIONS/aprove09/
AProVE09-19.cnf
SAT
1.21381
1.217
1560913
APPLICATIONS/aprove09/
AProVE09-03.cnf
SAT
1.67074
1.67171
1560653
APPLICATIONS/aprove09/
AProVE09-01.cnf
SAT
2.77558
2.77606
1560393
APPLICATIONS/aprove09/
AProVE09-10.cnf
SAT
2.83657
2.83793
1560809
APPLICATIONS/aprove09/
AProVE09-07.cnf
SAT
3.78942
3.79052
1560601
APPLICATIONS/aprove09/
AProVE09-21.cnf
SAT
4.51231
4.51572
1560081
APPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
SAT
4.88726
4.89591
1562837
APPLICATIONS/aprove09/
AProVE09-15.cnf
SAT
5.9421
5.95237
1560549
APPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
SAT
5.95509
5.95707
1563149
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
SAT
9.28759
9.81085
1722109
APPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
SAT
11.2773
11.2811
1562993
APPLICATIONS/aprove09/
AProVE09-24.cnf
SAT
13.039
13.0542
1559925
velev-pipe-sat-1.0-b10.cnf
SAT
14.1628
14.1661
1723315
APPLICATIONS/aprove09/
AProVE09-17.cnf
SAT
16.1175
16.1209
1559717
APPLICATIONS/aprove09/
AProVE09-06.cnf
SAT
17.2664
17.2781
1559665
APPLICATIONS/crypto/
desgen/gss-13-s100.cnf
SAT
43.0954
43.1159
1559197
APPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
SAT
48.1287
48.1482
1562941
APPLICATIONS/bioinfo/
q_query_3_l42_lambda.cnf
SAT
48.6066
48.6276
1562681
APPLICATIONS/diagnosis/
UR-10-5p1.cnf
SAT
48.6346
48.6544
1579449
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_22_SAT.cnf
SAT
49.7834
49.8076
1721309
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
52.934
53.0177
1719391
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
68.8125
68.852
1717415
mizh-sha0-35-3.cnf
SAT
70.0514
70.0825
1720691
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
98.594
98.6411
1558417
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
SAT
109.6
109.631
1562629
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
111.149
111.394
1719339
industrial/grieu/
vmpc_24.cnf
SAT
125.667
125.778
1718507
mizh-sha0-36-2.cnf
SAT
145.388
145.44
1723991
industrial/grieu/
vmpc_25.cnf
SAT
151.916
151.963
1718351
APPLICATIONS/crypto/
desgen/gss-15-s100.cnf
SAT
166.026
166.1
1558469
simon-s03-w08-15.cnf
SAT
181.738
181.82
1719755
APPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
SAT
185.962
186.042
1562889
mizh-md5-47-4.cnf
SAT
258.444
258.585
1720535
mizh-md5-47-3.cnf
SAT
279.212
279.319
1719495
APPLICATIONS/bioinfo/
q_query_3_L60_coli.sat.cnf
SAT
280.134
280.241
1577681
schup-l2s-motst-2-k315.cnf
SAT
280.504
280.602
1720015
APPLICATIONS/crypto/
desgen/gss-17-s100.cnf
SAT
323.405
323.577
1557585
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
331.219
331.364
1577629
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
418.263
418.382
1557793
APPLICATIONS/crypto/
desgen/gss-20-s100.cnf
SAT
566.844
567.059
1558209
industrial/grieu/
vmpc_26.cnf
SAT
1015.4
1015.91
1718715
Solver timed out (no solution given) (185 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
1200
1200.71
1719027
velev-vliw-uns-4.0-9C1.cnf
? (TO)
1200
1200.51
1723783
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
1200
1200.71
1556233
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
? (TO)
1200.01
1202.91
1563253
APPLICATIONS/diagnosis/
UR-20-5p1.cnf
? (TO)
1200.01
1200.51
1580229
APPLICATIONS/diagnosis/
UR-15-10p0.cnf
? (TO)
1200.01
1200.61
1581997
APPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
? (TO)
1200.01
1200.91
1577733
APPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
? (TO)
1200.01
1200.41
1556129
manol-pipe-f9b.cnf
? (TO)
1200.01
1200.61
1719963
industrial/narain/
clauses-8.cnf
? (TO)
1200.01
1205.71
1718767
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
1200.01
1200.61
1716375
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
1200.01
1200.51
1717155
velev-pipe-o-uns-1.0-7.cnf
? (TO)
1200.01
1200.41
1723887
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
1200.01
1200.61
1716739
APPLICATIONS/diagnosis/
UTI-15-10p1.cnf
? (TO)
1200.02
1200.61
1577889
goldb-heqc-x1mul.cnf
? (TO)
1200.02
1200.41
1719443
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
1200.02
1200.61
1715803
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
1200.02
1200.41
1716011
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
? (TO)
1200.02
1200.61
1716427
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
1200.02
1200.61
1716687
industrial/grieu/
vmpc_30.cnf
? (TO)
1200.02
1200.41
1718403
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
1200.02
1201.52
1719235
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
1200.02
1200.41
1719287
mizh-sha0-36-4.cnf
? (TO)
1200.02
1200.61
1720223
manol-pipe-g10nid.cnf
? (TO)
1200.02
1200.61
1720171
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
? (TO)
1200.02
1200.61
1722009
APPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
? (TO)
1200.02
1200.41
1556077
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
1200.02
1200.51
1554673
APPLICATIONS/diagnosis/
UR-20-5p0.cnf
? (TO)
1200.02
1200.41
1580125
APPLICATIONS/
c32sat/post-c32s-ss-8.cnf
? (TO)
1200.02
1200.41
1563565
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
? (TO)
1200.02
1201.61
1563357
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
1200.03
1200.41
1719131
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
? (TO)
1200.03
1200.71
1715907
industrial/palacios/medium/
cube-11-h13-unsat.cnf
? (TO)
1200.03
1202.51
1717779
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
1200.03
1202.22
1717727
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
1200.03
1200.61
1718871
APPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
? (TO)
1200.03
1206.71
1563305
manol-pipe-f10ni.cnf
? (TO)
1200.03
1200.71
1724043
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
1200.03
1200.61
1716635
APPLICATIONS/c32sat/
post-c32s-gcdm16-22.cnf
? (TO)
1200.03
1200.71
1563669
APPLICATIONS/diagnosis/
UTI-20-5p0.cnf
? (TO)
1200.03
1200.51
1578773
industrial/fuhs/hard/
AProVE07-08.cnf
? (TO)
1200.03
1200.71
1716947
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
1200.03
1200.71
1717051
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (TO)
1200.03
1200.41
1582153
APPLICATIONS/diagnosis/
UTI-15-5p1.cnf
? (TO)
1200.03
1200.61
1582725
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
1200.03
1200.51
1554153
manol-pipe-c10nidw_s.cnf
? (TO)
1200.03
1200.61
1723211
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
1200.03
1200.41
1722409
mizh-sha0-36-3.cnf
? (TO)
1200.03
1200.41
1719807
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
1200.03
1200.61
1718091
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
1200.04
1200.71
1716219
goldb-heqc-term1mul.cnf
? (TO)
1200.04
1200.61
1723627
APPLICATIONS/crypto/
desgen/gss-23-s100.cnf
? (TO)
1200.04
1200.61
1558989
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
1200.04
1200.61
1717363
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
? (TO)
1200.04
1200.61
1717519
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
? (TO)
1200.04
1200.61
1722509
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
? (TO)
1200.04
1200.61
1722959
manol-pipe-g10bidw.cnf
? (TO)
1200.04
1200.41
1723263
velev-pipe-sat-1.0-b7.cnf
? (TO)
1200.04
1224.61
1723159
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
? (TO)
1200.04
1200.61
1553997
APPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
? (TO)
1200.04
1200.41
1556545
APPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
? (TO)
1200.04
1200.61
1562733
APPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
? (TO)
1200.04
1200.71
1556025
APPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
? (TO)
1200.04
1200.51
1554517
APPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
? (TO)
1200.04
1200.51
1554413
APPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
? (TO)
1200.04
1200.51
1577577
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
1200.04
1200.02
1716063
APPLICATIONS/
bitverif/minand/minand128.cnf
? (TO)
1200.05
1200.41
1554205
APPLICATIONS/bitverif/
smulo/smulo128.cnf
? (TO)
1200.05
1200.51
1554881
APPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
? (TO)
1200.05
1200.51
1555453
goldb-heqc-frg1mul.cnf
? (TO)
1200.05
1200.41
1719651
industrial/grieu/
vmpc_29.cnf
? (TO)
1200.05
1200.41
1718559
APPLICATIONS/crypto/
desgen/gss-33-s100.cnf
? (TO)
1200.05
1200.71
1558833
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
? (TO)
1200.05
1200.41
1721259
simon-s02b-dp11u10.cnf
? (TO)
1200.05
1200.41
1723835
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
1200.05
1200.41
1716895
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
? (TO)
1200.05
1200.61
1580073
APPLICATIONS/diagnosis/
ACG-15-10p0.cnf
? (TO)
1200.05
1200.61
1578929
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
? (TO)
1200.05
1200.61
1721809
APPLICATIONS/diagnosis/
ACG-15-10p1.cnf
? (TO)
1200.05
1200.61
1580333
schup-l2s-bc56s-1-k391.cnf
? (TO)
1200.05
1200.61
1719911
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
? (TO)
1200.05
1200.41
1722759
APPLICATIONS/diagnosis/
UCG-20-10p1.cnf
? (TO)
1200.05
1200.71
1581061
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
? (TO)
1200.05
1200.71
1722809
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
1200.05
1200.91
1717259
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
? (TO)
1200.05
1200.51
1717831
goldb-heqc-i10mul.cnf
? (TO)
1200.05
1200.41
1723419
schup-l2s-guid-1-k56.cnf
? (TO)
1200.05
1200.41
1724095
industrial/grieu/
vmpc_34.cnf
? (TO)
1200.05
1200.41
1718663
industrial/fuhs/hard/
AProVE07-27.cnf
? (TO)
1200.05
1200.51
1717103
APPLICATIONS/crypto/
desgen/gss-31-s100.cnf
? (TO)
1200.05
1200.51
1557481
goldb-heqc-dalumul.cnf
? (TO)
1200.06
1200.61
1720431
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
1200.06
1200.61
1557949
manol-pipe-c10nidw.cnf
? (TO)
1200.06
1200.91
1720067
industrial/fuhs/medium/
AProVE07-09.cnf
? (TO)
1200.06
1200.41
1716791
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
? (TO)
1200.06
1200.41
1715959
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
1200.06
1200.71
1555869
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
? (TO)
1200.06
1200.41
1716323
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
? (TO)
1200.06
1200.71
1723009
APPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
? (TO)
1200.06
1200.61
1556493
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
? (TO)
1200.06
1200.51
1721159
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
1200.06
1200.41
1556337
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
? (TO)
1200.06
1200.51
1715595
industrial/grieu/
vmpc_33.cnf
? (TO)
1200.06
1200.61
1718455
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
? (TO)
1200.06
1200.71
1581581
APPLICATIONS/diagnosis/
UTI-20-5p1.cnf
? (TO)
1200.06
1200.61
1581321
APPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
? (TO)
1200.06
1200.61
1555245
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
? (TO)
1200.06
1200.61
1721359
simon-s02b-k2f-gr-rcs-w8.cnf
? (TO)
1200.06
1200.61
1724199
industrial/fuhs/medium/
AProVE07-16.cnf
? (TO)
1200.06
1200.51
1716843
APPLICATIONS/crypto/
desgen/gss-24-s100.cnf
? (TO)
1200.06
1200.51
1559301
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
1200.07
1200.71
1719079
APPLICATIONS/crypto/
desgen/gss-34-s100.cnf
? (TO)
1200.07
1200.51
1558781
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
? (TO)
1200.07
1200.61
1722459
vange-col-abb313GPIA-9-c.cnf
? (TO)
1200.07
1200.02
1720327
velev-pipe-uns-1.0-8.cnf
? (TO)
1200.07
1200.71
1724407
APPLICATIONS/crypto/
desgen/gss-28-s100.cnf
? (TO)
1200.07
1200.61
1559353
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
? (TO)
1200.07
1200.71
1721759
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
1200.07
1200.61
1717207
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
? (TO)
1200.07
1200.71
1722609
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
1200.07
1200.51
1715855
velev-pipe-o-uns-1.1-6.cnf
? (TO)
1200.07
1200.71
1723575
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
? (TO)
1200.07
1200.61
1722359
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
1200.07
1200.71
1558001
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
1200.07
1200.41
1582413
APPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
? (TO)
1200.07
1200.71
1577473
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
? (TO)
1200.07
1200.61
1581477
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
1200.07
1200.51
1553373
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
? (TO)
1200.07
1200.71
1577525
APPLICATIONS/diagnosis/
ACG-20-10p1.cnf
? (TO)
1200.07
1200.71
1580021
APPLICATIONS/diagnosis/
UR-15-10p1.cnf
? (TO)
1200.07
1200.51
1579813
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
1200.07
1200.71
1716531
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
1200.07
1201.01
1718975
manol-pipe-f9n.cnf
? (TO)
1200.08
1200.71
1723939
aloul-chnl11-13.cnf
? (TO)
1200.08
1200.51
1720379
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
? (TO)
1200.08
1200.41
1559613
APPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
? (TO)
1200.08
1200.61
1556701
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
1200.08
1200.71
1721859
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
1200.08
1200.41
1716271
APPLICATIONS/diagnosis/
ACG-20-10p0.cnf
? (TO)
1200.08
1200.71
1579345
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
? (TO)
1200.08
1200.61
1721659
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
1200.08
1200.51
1716583
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
? (TO)
1200.08
1204.62
1563721
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
1200.08
1200.61
1716115
manol-pipe-c10nid_i.cnf
? (TO)
1200.08
1200.91
1720743
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
1200.08
1200.41
1559249
velev-vliw-uns-4.0-9-i1.cnf
? (TO)
1200.08
1200.81
1719703
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
1200.08
1200.61
1557013
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
1200.08
1200.51
1716167
APPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
? (TO)
1200.08
1200.71
1556441
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
1200.08
1200.61
1718195
APPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
? (TO)
1200.08
1200.61
1553269
industrial/grieu/
vmpc_28.cnf
? (TO)
1200.08
1200.61
1718611
APPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
? (TO)
1200.09
1200.81
1555141
APPLICATIONS/crypto/
desgen/gss-32-s100.cnf
? (TO)
1200.09
1200.41
1557689
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
1200.09
1215.91
1719183
APPLICATIONS/bitverif/
mulhs/mulhs032.cnf
? (TO)
1200.09
1200.41
1554725
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
1200.09
1200.51
1717311
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (TO)
1200.09
1200.71
1715751
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
1200.09
1200.81
1553841
APPLICATIONS/diagnosis/
ACG-20-5p1.cnf
? (TO)
1200.09
1200.41
1580749
APPLICATIONS/
bitverif/minxor/minxor128.cnf
? (TO)
1200.09
1200.61
1553477
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
? (TO)
1200.09
1200.51
1718299
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
1200.09
1200.61
1718039
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
1200.09
1200.71
1716479
mizh-md5-48-5.cnf
? (TO)
1200.09
1200.61
1721107
APPLICATIONS/diagnosis/
UTI-15-5p0.cnf
? (TO)
1200.1
1200.51
1579969
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
1200.1
1233.51
1718923
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
? (TO)
1200.1
1200.61
1721709
APPLICATIONS/crypto/
desgen/gss-26-s100.cnf
? (TO)
1200.1
1200.61
1558053
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
1200.1
1200.61
1722859
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
1200.1
1200.61
1716999
APPLICATIONS/
bitverif/maxand/maxand064.cnf
? (TO)
1200.1
1200.71
1555609
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
? (TO)
1200.1
1200.71
1721409
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
? (TO)
1200.1
1200.51
1581893
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
? (TO)
1200.11
1200.61
1721959
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
? (TO)
1200.11
1200.51
1722159
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
? (TO)
1200.11
1200.71
1723109
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
? (TO)
1200.11
1200.71
1722559
APPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
? (TO)
1200.12
1203.81
1556597
APPLICATIONS/aprove09/
AProVE09-20.cnf
? (TO)
1200.12
1200.51
1559769
APPLICATIONS/crypto/
desgen/gss-25-s100.cnf
? (TO)
1200.12
1200.51
1559509
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
? (TO)
1200.12
1200.61
1721509
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
? (TO)
1200.12
1200.51
1721209
APPLICATIONS/bitverif/
minor/minor064.cnf
? (TO)
1200.13
1200.71
1553165
Solver exceeded the memory limit (no solution given) (1 run)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
? (MO)
39.63
80.6147
1563409
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.004998
0.00519293
1736559
CRAFTED/parity-games/
instance_n2_i2_pp.cnf
UNSAT
0.004998
0.00549301
1736859
CRAFTED/parity-games/
instance_n3_i4_pp_ci_ce.cnf
UNSAT
0.020996
0.021656
1736359
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
UNSAT
0.081986
0.0864891
1725518
CRAFTED/modcircuits/
owp_4vars_5gates.cnf
UNSAT
0.328949
0.32906
1733859
CRAFTED/parity-games/
instance_n4_i5_pp.cnf
UNSAT
0.621905
0.622438
1737009
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
UNSAT
1.63775
1.6417
1730341
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
2.86656
2.86722
1725412
CRAFTED/parity-games/
instance_n5_i6_pp_ci_ce.cnf
UNSAT
3.3035
3.30597
1736459
CRAFTED/sgen/unsat/
sgen1-unsat-61-100.cnf
UNSAT
15.3947
15.4125
1732009
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
UNSAT
64.7841
64.8106
1725465
CRAFTED/ramseycube/
Q32inK10.cnf
UNSAT
98.383
98.4487
1732959
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
107.469
107.525
1725571
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
UNSAT
120.061
120.106
1730076
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
143.232
143.295
1725942
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
UNSAT
175.037
175.112
1729970
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
191.36
191.449
1729758
CRAFTED/parity-games/
instance_n6_i7_pp_ci_ce.cnf
UNSAT
199.749
199.859
1736609
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
206.45
206.541
1729811
CRAFTED/ramseycube/
Q32inK09.cnf
UNSAT
221.517
221.597
1733059
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
233.033
233.14
1725836
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
248.989
249.096
1729864
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
UNSAT
319.938
320.048
1731295
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
326.346
326.457
1725783
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
UNSAT
352.482
352.62
1729917
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
355.731
355.901
1730023
CRAFTED/sgen/unsat/
sgen1-unsat-73-100.cnf
UNSAT
423.661
423.785
1732109
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
UNSAT
433.847
434.053
1731666
CRAFTED/ramseycube/
Q32inK11.cnf
UNSAT
500.449
500.593
1732809
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
560.91
561.129
1727267
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
UNSAT
595.313
595.598
1727638
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
1044.76
1045.13
1731507
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
1058.38
1058.81
1725253
Solver found a solution (SATISFIABLE) (70 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n3_i3_pp_ci_ce.cnf
SAT
0.015996
0.0167729
1736409
CRAFTED/parity-games/
instance_n3_i3_pp.cnf
SAT
0.017996
0.0184321
1737059
CRAFTED/sgi/
satsgi-n17himBHm20-p0-q146.cnf
SAT
0.052991
0.053366
1734209
CRAFTED/parity-games/
instance_n4_i4_pp_ci_ce.cnf
SAT
0.062989
0.0631319
1736759
CRAFTED/sgi/
satsgi-n18himBHm21-p0-q167.cnf
SAT
0.066989
0.066205
1734359
CRAFTED/ramseycube/
Q3inK08.cnf
SAT
0.067988
0.0692361
1733009
CRAFTED/sgi/
satsgi-n19himBHm22-p0-q181.cnf
SAT
0.078987
0.078089
1734109
CRAFTED/parity-games/
instance_n4_i4_pp.cnf
SAT
0.131979
0.132498
1736509
CRAFTED/sgi/
satsgi-n22himBHm24-p0-q209.cnf
SAT
0.138978
0.140808
1734159
CRAFTED/sgi/
satsgi-n22himBHm25-p0-q229.cnf
SAT
0.145977
0.145776
1734459
CRAFTED/sgi/
satsgi-n23himBHm25-p0-q219.cnf
SAT
0.149977
0.15089
1734409
CRAFTED/sgi/
sgi-difficult4.cnf
SAT
0.164974
0.165685
1736159
CRAFTED/sgi/
satsgi-n23himBHm26-p0-q248.cnf
SAT
0.175973
0.17564
1734309
CRAFTED/sgi/
satsgi-n23himBHm27-p0-q251.cnf
SAT
0.200968
0.202151
1734559
CRAFTED/sgi/
satsgi-n25himBHm27-p0-q251.cnf
SAT
0.232964
0.235007
1734259
CRAFTED/sgi/
satsgi-n25himBHm29-p0-q290.cnf
SAT
0.262959
0.263905
1734609
CRAFTED/sgi/
satsgi-n28himBHm30-p0-q333.cnf
SAT
0.38794
0.387404
1734509
CRAFTED/sgi/
sgi-difficult7.cnf
SAT
0.503923
0.504026
1736209
CRAFTED/parity-games/
instance_n5_i5_pp.cnf
SAT
0.667897
0.667873
1736659
CRAFTED/parity-games/
instance_n6_i6_pp.cnf
SAT
0.891864
0.891839
1736909
CRAFTED/parity-games/
instance_n6_i6_pp_ci_ce.cnf
SAT
1.47778
1.47797
1737109
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
SAT
1.74073
1.74531
1730182
CRAFTED/parity-games/
instance_n6_i7_pp.cnf
SAT
2.54961
2.55084
1736309
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
3.71543
3.71787
1725730
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
4.01639
4.02062
1725677
CRAFTED/modcircuits/
mod5block_1var_7gates.cnf
SAT
4.06138
4.06317
1733259
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
6.56
6.57317
1725624
CRAFTED/rbsat/random/
forced/rbsat-v760c43649gyes10.cnf
SAT
6.96694
6.96958
1735209
CRAFTED/parity-games/
instance_n7_i7_pp.cnf
SAT
9.69553
9.70567
1736959
CRAFTED/ramseycube/
Q3inK09.cnf
SAT
11.6162
11.6208
1732659
CRAFTED/parity-games/
instance_n5_i6_pp.cnf
SAT
14.9547
14.9605
1736809
CRAFTED/edgematching/
explicit/em_7_4_9_exp.cnf
SAT
16.1036
16.1108
1561537
CRAFTED/edgematching/
fbcolors/em_7_4_9_fbc.cnf
SAT
19.2471
19.2538
1562421
CRAFTED/
edgematching/all/em_7_3_6_all.cnf
SAT
27.4688
27.4934
1562005
CRAFTED/edgematching/
explicit/em_8_4_5_exp.cnf
SAT
28.1407
28.1508
1561693
CRAFTED/sgi/
new-difficult-22-173-20-80.cnf
SAT
31.9981
32.0095
1738266
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
SAT
36.3165
36.3252
1728115
CRAFTED/sgen/sat/
sgen1-sat-160-100.cnf
SAT
47.7427
47.7653
1732459
CRAFTED/edgematching/
all/em_14_7_3_all.cnf
SAT
49.7294
49.7794
1561953
CRAFTED/edgematching/
explicit/em_11_3_4_exp.cnf
SAT
54.6777
54.7015
1561381
CRAFTED/
edgematching/all/em_7_4_9_all.cnf
SAT
58.8021
58.8187
1562109
CRAFTED/edgematching/
all/em_11_3_4_all.cnf
SAT
59.5529
59.5902
1562057
CRAFTED/parity-games/
instance_n7_i8_pp.cnf
SAT
64.5002
64.53
1737209
CRAFTED/edgematching/
explicit/em_7_3_6_exp.cnf
SAT
68.8405
68.881
1561745
CRAFTED/
edgematching/all/em_7_4_8_all.cnf
SAT
76.4524
76.4887
1562161
CRAFTED/edgematching/
compact/em_7_4_9_cmp.cnf
SAT
78.5691
79.0252
1560965
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
82.3925
82.4242
1561797
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
84.5971
84.6402
1726154
CRAFTED/edgematching/
explicit/em_9_3_5_exp.cnf
SAT
92.6239
92.6686
1561433
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g1.cnf
SAT
125.569
125.632
1735059
CRAFTED/sgi/
new-difficult-20-152-18-95.cnf
SAT
147.217
147.272
1738107
CRAFTED/modcircuits/
mod3block_3vars_9gates_restr.cnf
SAT
182.916
182.998
1734009
CRAFTED/modcircuits/
mod4block_2vars_10gates_u2_autoenc.cnf
SAT
191.081
191.154
1733609
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
204.532
204.634
1726101
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
205.399
205.497
1732859
CRAFTED/parity-games/
instance_n8_i8_pp.cnf
SAT
309.906
310.05
1737789
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes1.cnf
SAT
332.51
332.658
1735259
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g8.cnf
SAT
337.56
337.666
1734759
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes9.cnf
SAT
427.76
427.964
1735409
CRAFTED/parity-games/
instance_n8_i9_pp.cnf
SAT
479.622
479.907
1737842
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes4.cnf
SAT
489.323
489.534
1735109
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes6.cnf
SAT
691.269
691.457
1735309
CRAFTED/sgi/
new-difficult-24-193-22-70.cnf
SAT
757.391
757.578
1738054
CRAFTED/edgematching/
explicit/em_7_4_8_exp.cnf
SAT
834.496
834.913
1561641
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
907.163
907.541
1726048
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
SAT
909.754
910.168
1738001
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
SAT
962.672
963.096
1730659
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g10.cnf
SAT
1041.25
1041.69
1734909
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
SAT
1107.85
1108.36
1731136
CRAFTED/edgematching/
all/em_12_2_4_all.cnf
SAT
1124.61
1125.35
1561901
Solver timed out (no solution given) (178 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
? (TO)
1200
1201.81
1725359
CRAFTED/modcircuits/
mod5block_2vars_12gates.cnf
? (TO)
1200
1200.61
1733409
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
? (TO)
1200
1200.61
1562213
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
1200.01
1200.71
1727903
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
1200.01
1200.61
1727585
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
1200.01
1200.71
1727479
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
? (TO)
1200.01
1200.41
1730712
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
1200.01
1200.61
1730129
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
? (TO)
1200.01
1200.71
1728433
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
1200.02
1200.51
1730235
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2.cnf
? (TO)
1200.02
1200.61
1733709
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
1200.02
1200.51
1729122
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
? (TO)
1200.02
1200.71
1733909
CRAFTED/parity-games/
instance_n8_i9_pp_ci_ce.cnf
? (TO)
1200.02
1200.61
1737948
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
? (TO)
1200.02
1200.71
1726419
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
1200.03
1200.51
1735459
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
1200.03
1200.61
1730447
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
1200.03
1200.61
1728698
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2_autoenc.cnf
? (TO)
1200.03
1200.51
1733959
CRAFTED/parity-games/
instance_n7_i8_pp_ci_ce.cnf
? (TO)
1200.03
1200.41
1736259
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
1200.03
1200.81
1561173
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
1200.03
1200.61
1561069
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
? (TO)
1200.03
1200.61
1731401
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
1200.03
1200.61
1731189
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
1200.03
1200.41
1726843
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
1200.04
1208.21
1727532
CRAFTED/edgematching/
fbcolors/em_14_7_3_fbc.cnf
? (TO)
1200.04
1200.61
1562317
CRAFTED/edgematching/
compact/em_8_4_5_cmp.cnf
? (TO)
1200.04
1200.41
1561329
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
? (TO)
1200.04
1200.61
1726207
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
1200.04
1200.61
1726896
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
1200.04
1200.71
1727320
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
1200.04
1200.41
1727161
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
? (TO)
1200.04
1200.41
1727691
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
1200.04
1200.41
1728009
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
1200.04
1200.61
1728274
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
? (TO)
1200.04
1200.41
1728486
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
1200.04
1200.51
1728857
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
1200.04
1200.61
1729228
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
1200.04
1200.71
1730288
CRAFTED/sgen/sat/
sgen1-sat-300-100.cnf
? (TO)
1200.04
1200.61
1732509
CRAFTED/rbsat/crafted/
forced/rbsat-v1820c171155gyes6.cnf
? (TO)
1200.04
1200.61
1735809
CRAFTED/sgen/unsat/
sgen1-unsat-151-100.cnf
? (TO)
1200.04
1200.51
1737630
CRAFTED/sgi/
new-difficult-28-302-26-75.cnf
? (TO)
1200.04
1200.61
1738372
CRAFTED/edgematching/
explicit/em_12_2_4_exp.cnf
? (TO)
1200.04
1200.71
1561485
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1726631
CRAFTED/edgematching/
fbcolors/em_12_2_4_fbc.cnf
? (TO)
1200.05
1200.51
1562525
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g10.cnf
? (TO)
1200.05
1200.61
1734959
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
1200.05
1205.01
1728380
CRAFTED/modcircuits/
mod3block_2vars_9gates_u2_autoenc.cnf
? (TO)
1200.05
1200.51
1733809
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
? (TO)
1200.05
1200.61
1731030
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1730924
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1730818
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
? (TO)
1200.05
1200.51
1729175
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
1200.06
1200.71
1729334
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
? (TO)
1200.06
1200.51
1727850
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1728327
CRAFTED/sgi/
new-difficult-26-243-24-70.cnf
? (TO)
1200.06
1200.61
1738213
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
1200.06
1200.61
1728804
CRAFTED/parity-games/
instance_n9_i9_pp_ci_ce.cnf
? (TO)
1200.06
1200.41
1737895
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
? (TO)
1200.06
1200.51
1728963
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1729387
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
? (TO)
1200.06
1200.61
1726260
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1729705
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
1200.06
1200.61
1726366
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1730553
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
1200.06
1200.51
1730977
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
1200.06
1200.61
1731560
CRAFTED/sgen/sat/
sgen1-sat-260-100.cnf
? (TO)
1200.06
1200.61
1732209
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2_restricted.cnf
? (TO)
1200.06
1200.61
1733309
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2_autoenc.cnf
? (TO)
1200.06
1200.71
1733509
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g4.cnf
? (TO)
1200.06
1200.51
1734659
CRAFTED/edgematching/
fbcolors/em_7_4_8_fbc.cnf
? (TO)
1200.06
1200.61
1562473
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes1.cnf
? (TO)
1200.06
1200.61
1736009
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes8.cnf
? (TO)
1200.06
1200.41
1735959
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1727108
CRAFTED/sgen/unsat/
sgen1-unsat-127-100.cnf
? (TO)
1200.07
1200.61
1737259
CRAFTED/modcircuits/
mod3block_2vars_10gates_u2_autoenc.cnf
? (TO)
1200.07
1200.61
1733459
CRAFTED/edgematching/
compact/em_9_3_5_cmp.cnf
? (TO)
1200.07
1200.61
1561121
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
1200.07
1200.51
1727373
CRAFTED/edgematching/
fbcolors/em_11_3_4_fbc.cnf
? (TO)
1200.07
1200.71
1562577
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
? (TO)
1200.07
1200.61
1730606
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
1200.07
1200.51
1728592
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
1200.07
1200.61
1729440
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
? (TO)
1200.07
1200.61
1725889
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1728062
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1729016
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
? (TO)
1200.07
1200.61
1726313
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1730871
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g5.cnf
? (TO)
1200.07
1200.61
1735659
CRAFTED/sgen/unsat/
sgen1-unsat-85-100.cnf
? (TO)
1200.07
1200.71
1731909
CRAFTED/sgen/unsat/
sgen1-unsat-97-100.cnf
? (TO)
1200.07
1200.41
1731859
CRAFTED/sgen/unsat/
sgen1-unsat-133-100.cnf
? (TO)
1200.07
1200.61
1731959
CRAFTED/rbsat/crafted/unforced/
rbsat-v2640c305320g4.cnf
? (TO)
1200.07
1200.41
1735559
CRAFTED/sgen/sat/
sgen1-sat-180-100.cnf
? (TO)
1200.07
1200.71
1732309
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g2.cnf
? (TO)
1200.07
1200.61
1735009
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
? (TO)
1200.07
1200.61
1727214
CRAFTED/edgematching/
fbcolors/em_9_3_5_fbc.cnf
? (TO)
1200.07
1200.61
1562265
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2.cnf
? (TO)
1200.07
1200.71
1733159
CRAFTED/modcircuits/
mod3_4vars_6gates.cnf
? (TO)
1200.07
1200.71
1733659
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
1200.08
1200.71
1727426
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes1.cnf
? (TO)
1200.08
1200.51
1736109
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
? (TO)
1200.08
1200.51
1731083
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
? (TO)
1200.08
1200.61
1731613
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes8.cnf
? (TO)
1200.08
1200.51
1735909
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2_restricted.cnf
? (TO)
1200.08
1200.61
1733759
CRAFTED/sgen/sat/
sgen1-sat-270-100.cnf
? (TO)
1200.08
1200.71
1737577
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
1200.08
1200.71
1726737
CRAFTED/sgen/unsat/
sgen1-unsat-115-100.cnf
? (TO)
1200.08
1200.61
1737312
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
1200.08
1200.91
1726472
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
1200.08
1200.61
1726684
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1728539
CRAFTED/sgen/sat/
sgen1-sat-250-100.cnf
? (TO)
1200.08
1200.41
1737418
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
1200.08
1200.71
1729069
CRAFTED/sgen/unsat/
sgen1-unsat-109-100.cnf
? (TO)
1200.08
1200.41
1731809
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
1200.08
1200.61
1734059
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g2.cnf
? (TO)
1200.08
1200.61
1734859
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
1200.08
1200.61
1727055
CRAFTED/sgi/
new-difficult-21-168-19-90.cnf
? (TO)
1200.08
1200.61
1738160
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
? (TO)
1200.08
1200.51
1727797
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes4.cnf
? (TO)
1200.08
1200.61
1735159
CRAFTED/sgen/unsat/
sgen1-unsat-121-100.cnf
? (TO)
1200.08
1200.61
1732159
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes9.cnf
? (TO)
1200.09
1200.61
1736059
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
1200.09
1200.71
1729546
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
1200.09
1200.61
1727002
CRAFTED/sgen/unsat/
sgen1-unsat-139-100.cnf
? (TO)
1200.09
1200.61
1737524
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
? (TO)
1200.09
1200.61
1725306
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
1200.09
1200.61
1726949
CRAFTED/ramseycube/
Q3inK12.cnf
? (TO)
1200.09
1200.61
1732909
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2.cnf
? (TO)
1200.09
1200.71
1733209
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
1200.09
1200.51
1726525
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
1200.09
1200.61
1735509
CRAFTED/sgen/sat/
sgen1-sat-230-100.cnf
? (TO)
1200.09
1200.61
1737471
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1728751
CRAFTED/parity-games/
instance_n7_i7_pp_ci_ce.cnf
? (TO)
1200.09
1200.41
1736709
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
? (TO)
1200.09
1200.61
1728910
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
? (TO)
1200.09
1200.61
1728168
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1729281
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
1200.1
1200.61
1728645
CRAFTED/sgen/sat/
sgen1-sat-220-100.cnf
? (TO)
1200.1
1200.81
1732409
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g6.cnf
? (TO)
1200.1
1200.41
1734709
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
? (TO)
1200.1
1200.61
1738319
CRAFTED/sgen/unsat/
sgen1-unsat-145-100.cnf
? (TO)
1200.1
1200.61
1732059
CRAFTED/edgematching/
compact/em_14_7_3_cmp.cnf
? (TO)
1200.1
1200.81
1561225
CRAFTED/ramseycube/
Q3inK13.cnf
? (TO)
1200.1
1200.91
1732759
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
? (TO)
1200.1
1200.71
1737736
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
1200.1
1200.71
1729599
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
? (TO)
1200.1
1200.71
1731348
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes3.cnf
? (TO)
1200.1
1200.61
1735359
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
1200.1
1200.71
1730765
CRAFTED/sgen/unsat/
sgen1-unsat-103-100.cnf
? (TO)
1200.1
1200.51
1737683
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
1200.1
1200.71
1726578
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
1200.11
1200.61
1728221
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
1200.11
1200.61
1730500
CRAFTED/modcircuits/
mod4block_2vars_11gates_u2_autoenc.cnf
? (TO)
1200.11
1200.71
1733559
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes2.cnf
? (TO)
1200.11
1200.61
1735859
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes2.cnf
? (TO)
1200.11
1200.61
1735759
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
1200.11
1200.61
1730394
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
? (TO)
1200.11
1200.71
1725995
CRAFTED/sgen/sat/
sgen1-sat-240-100.cnf
? (TO)
1200.11
1200.81
1732559
CRAFTED/ramseycube/
Q3inK11.cnf
? (TO)
1200.11
1200.61
1733109
CRAFTED/sgen/sat/
sgen1-sat-200-100.cnf
? (TO)
1200.11
1200.71
1732609
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g4.cnf
? (TO)
1200.11
1200.71
1735609
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g2.cnf
? (TO)
1200.12
1200.71
1735709
CRAFTED/sgen/sat/
sgen1-sat-140-100.cnf
? (TO)
1200.12
1200.51
1732359
CRAFTED/rbsat/random/unforced/
rbsat-v1820c171155g3.cnf
? (TO)
1200.12
1200.71
1734809
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
? (TO)
1200.12
1200.61
1727956
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
1200.12
1200.71
1729652
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
? (TO)
1200.12
1200.51
1731242
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
? (TO)
1200.12
1200.61
1561017
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
1200.12
1200.61
1729493
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
1200.12
1200.61
1733359
CRAFTED/sgen/sat/
sgen1-sat-290-100.cnf
? (TO)
1200.12
1200.81
1737365
CRAFTED/edgematching/
fbcolors/em_7_3_6_fbc.cnf
? (TO)
1200.12
1203.91
1562369
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
? (TO)
1200.13
1200.61
1731454
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
1200.13
1200.51
1726790
CRAFTED/edgematching/
compact/em_7_4_8_cmp.cnf
? (TO)
1200.13
1200.81
1561277
CRAFTED/sgen/sat/
sgen1-sat-280-100.cnf
? (TO)
1200.13
1200.71
1732259
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
1200.14
1200.71
1727744
Category "random instances" (RANDOM)
Solver found a solution (SATISFIABLE) (16 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1684547485-073.cnf
SAT
51.2372
51.2609
1530882
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1826927554-087.cnf
SAT
63.9893
64.0134
1530879
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1674394075-027.cnf
SAT
81.4916
81.5286
1530849
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1459690542-033.cnf
SAT
144.776
144.839
1530885
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1339293988-069.cnf
SAT
187.03
187.107
1530735
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1326039470-063.cnf
SAT
489.236
489.485
1530726
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S2032263657-035.cnf
SAT
502.973
503.192
1530891
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1159550149-077.cnf
SAT
629.002
629.317
1529940
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1940784272-089.cnf
SAT
653.892
654.194
1530645
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1711406314-093.cnf
SAT
662.548
662.876
1530906
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S725789261-031.cnf
SAT
683.157
683.427
1530753
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1639151107-094.cnf
SAT
700.434
700.761
1530129
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1460100153-095.cnf
SAT
701.773
702.064
1530639
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1041106011-094.cnf
SAT
703.191
703.372
1530867
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S208461254-049.cnf
SAT
784.467
784.685
1530756
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2139292994-055.cnf
SAT
796.995
797.394
1529925
Solver timed out (no solution given) (554 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S356738975-073.cnf
? (TO)
1200
1200.41
1530501
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S23858409-056.cnf
? (TO)
1200
1200.51
1530774
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S572248576-042.cnf
? (TO)
1200
1200.61
1530315
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S349436298-004.cnf
? (TO)
1200
1200.61
1530585
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S517464300-073.cnf
? (TO)
1200
1200.61
1530342
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1624574519-076.cnf
? (TO)
1200.01
1200.51
1530657
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S826724848-048.cnf
? (TO)
1200.01
1200.61
1529742
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S282405510-004.cnf
? (TO)
1200.01
1200.61
1529970
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S2142680239-019.cnf
? (TO)
1200.01
1200.61
1530765
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S449556655-088.cnf
? (TO)
1200.01
1200.51
1530810
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1457384322-029.cnf
? (TO)
1200.02
1200.51
1530456
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S144924920-056.cnf
? (TO)
1200.02
1200.51
1529286
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1563412474-059.cnf
? (TO)
1200.02
1200.61
1530411
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S817309453-059.cnf
? (TO)
1200.02
1200.51
1530786
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1070443005-075.cnf
? (TO)
1200.02
1200.41
1529877
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S457856978-061.cnf
? (TO)
1200.02
1200.51
1530465
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S492033085-065.cnf
? (TO)
1200.02
1200.61
1530423
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf
? (TO)
1200.02
1200.71
1529664
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1772254584-042.cnf
? (TO)
1200.02
1200.61
1529958
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf
? (TO)
1200.03
1200.51
1529721
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1803805764-016.cnf
? (TO)
1200.03
1200.71
1530264
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1897376969-026.cnf
? (TO)
1200.03
1200.71
1530279
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf
? (TO)
1200.03
1200.61
1529637
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S948914005-013.cnf
? (TO)
1200.03
1200.61
1529382
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1293537826-039.cnf
? (TO)
1200.03
1200.61
1530894
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S441484366-048.cnf
? (TO)
1200.03
1200.71
1529406
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S820736259-091.cnf
? (TO)
1200.03
1200.51
1530354
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S172053238-003.cnf
? (TO)
1200.03
1200.61
1530720
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S2124311399-085.cnf
? (TO)
1200.03
1200.61
1529301
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S2032726331-082.cnf
? (TO)
1200.03
1200.61
1530711
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S418266958-049.cnf
? (TO)
1200.03
1200.61
1530705
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S632066493-060.cnf
? (TO)
1200.03
1200.71
1529787
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S56507352-034.cnf
? (TO)
1200.03
1200.61
1529745
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1698591437-083.cnf
? (TO)
1200.03
1200.51
1529835
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1422278005-004.cnf
? (TO)
1200.03
1200.61
1529994
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1017443264-065.cnf
? (TO)
1200.03
1200.61
1530000
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S257485978-084.cnf
? (TO)
1200.03
1200.61
1529784
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2119656249-086.cnf
? (TO)
1200.03
1200.61
1529769
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1788451776-008.cnf
? (TO)
1200.03
1200.71
1529304
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1350958473-082.cnf
? (TO)
1200.03
1200.41
1530417
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S342542912-045.cnf
? (TO)
1200.03
1200.61
1530234
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1536609007-088.cnf
? (TO)
1200.03
1200.71
1530615
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1007745655-097.cnf
? (TO)
1200.03
1200.61
1530468
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S195213520-027.cnf
? (TO)
1200.03
1200.71
1529559
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S915600698-006.cnf
? (TO)
1200.03
1200.41
1530486
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1876865608-086.cnf
? (TO)
1200.03
1200.61
1530687
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf
? (TO)
1200.03
1200.71
1529718
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S512486692-050.cnf
? (TO)
1200.03
1200.12
1530171
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1916972979-060.cnf
? (TO)
1200.03
1200.61
1529799
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S520696524-059.cnf
? (TO)
1200.03
1200.51
1529511
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf
? (TO)
1200.03
1200.81
1529640
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S445910413-047.cnf
? (TO)
1200.03
1200.61
1530207
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S84716411-095.cnf
? (TO)
1200.03
1200.61
1530780
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S327274323-044.cnf
? (TO)
1200.03
1200.51
1529466
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S845966893-046.cnf
? (TO)
1200.04
1200.61
1529814
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S51132115-023.cnf
? (TO)
1200.04
1200.51
1529688
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf
? (TO)
1200.04
1200.61
1529697
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S339800239-026.cnf
? (TO)
1200.04
1200.61
1529703
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1771223975-021.cnf
? (TO)
1200.04
1200.41
1529916
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1971658345-089.cnf
? (TO)
1200.04
1200.61
1529775
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1420449214-092.cnf
? (TO)
1200.04
1200.61
1529847
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S291433416-025.cnf
? (TO)
1200.04
1200.61
1529823
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S595075179-058.cnf
? (TO)
1200.04
1200.41
1529613
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf
? (TO)
1200.04
1200.61
1529682
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S568017735-066.cnf
? (TO)
1200.04
1200.61
1529670
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf
? (TO)
1200.04
1200.41
1529709
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1766907733-036.cnf
? (TO)
1200.04
1200.41
1529358
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2083487609-068.cnf
? (TO)
1200.04
1200.41
1529796
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S110290755-003.cnf
? (TO)
1200.04
1202.91
1530732
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1036996799-006.cnf
? (TO)
1200.04
1200.61
1530855
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S981523907-072.cnf
? (TO)
1200.04
1200.61
1530702
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S326477539-068.cnf
? (TO)
1200.04
1200.51
1530864
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S786890012-057.cnf
? (TO)
1200.04
1200.61
1530684
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1014608490-038.cnf
? (TO)
1200.04
1200.31
1530660
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1394036608-091.cnf
? (TO)
1200.04
1200.71
1530312
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S393462637-097.cnf
? (TO)
1200.04
1200.71
1530402
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S305156909-031.cnf
? (TO)
1200.04
1200.51
1530576
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1977519792-030.cnf
? (TO)
1200.04
1201.22
1530618
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S486002104-037.cnf
? (TO)
1200.04
1200.61
1530861
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1263695887-042.cnf
? (TO)
1200.04
1200.41
1530750
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S2007898659-069.cnf
? (TO)
1200.04
1200.61
1530513
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1049921489-034.cnf
? (TO)
1200.04
1200.41
1529412
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1284372491-036.cnf
? (TO)
1200.04
1200.51
1529208
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1516934767-080.cnf
? (TO)
1200.04
1200.61
1530858
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1606932551-072.cnf
? (TO)
1200.04
1200.61
1530435
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1404929091-050.cnf
? (TO)
1200.04
1200.61
1530429
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1334593800-018.cnf
? (TO)
1200.04
1200.41
1529292
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1970456972-046.cnf
? (TO)
1200.04
1200.61
1529331
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S814638510-058.cnf
? (TO)
1200.04
1200.71
1529484
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S565564805-059.cnf
? (TO)
1200.04
1200.71
1530327
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1992353905-004.cnf
? (TO)
1200.04
1200.41
1529409
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf
? (TO)
1200.04
1200.41
1529517
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1048138627-064.cnf
? (TO)
1200.04
1200.51
1530291
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1735544520-075.cnf
? (TO)
1200.04
1200.51
1530276
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S900957093-043.cnf
? (TO)
1200.04
1200.41
1530273
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S956556686-037.cnf
? (TO)
1200.04
1200.51
1529436
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1213077873-067.cnf
? (TO)
1200.04
1200.41
1530261
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S51205200-028.cnf
? (TO)
1200.04
1200.61
1530243
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1640054673-078.cnf
? (TO)
1200.04
1200.71
1530222
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1484713995-092.cnf
? (TO)
1200.04
1200.71
1530183
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1723021362-073.cnf
? (TO)
1200.04
1200.81
1530186
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S754967851-033.cnf
? (TO)
1200.04
1200.51
1530159
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1551099861-042.cnf
? (TO)
1200.04
1200.61
1530087
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S400162545-095.cnf
? (TO)
1200.04
1200.72
1530099
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1879656894-046.cnf
? (TO)
1200.04
1201.01
1530006
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S688804305-073.cnf
? (TO)
1200.04
1199.91
1529574
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf
? (TO)
1200.05
1200.41
1529520
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1826325374-100.cnf
? (TO)
1200.05
1200.51
1530255
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S678706275-057.cnf
? (TO)
1200.05
1200.71
1529295
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S957997002-040.cnf
? (TO)
1200.05
1200.61
1530792
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1482824652-097.cnf
? (TO)
1200.05
1200.71
1530066
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S358640743-023.cnf
? (TO)
1200.05
1200.51
1530051
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1568932519-011.cnf
? (TO)
1200.05
1200.41
1529928
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S159251645-087.cnf
? (TO)
1200.05
1200.71
1530306
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1794178048-059.cnf
? (TO)
1200.05
1200.51
1530162
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S179568577-034.cnf
? (TO)
1200.05
1200.61
1530348
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1540921235-015.cnf
? (TO)
1200.05
1200.41
1530300
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S432895007-058.cnf
? (TO)
1200.05
1200.61
1530195
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S638042053-051.cnf
? (TO)
1200.05
1200.61
1529904
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf
? (TO)
1200.05
1200.71
1529724
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf
? (TO)
1200.05
1204.13
1529523
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1119648091-064.cnf
? (TO)
1200.05
1200.61
1529316
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1251522734-073.cnf
? (TO)
1200.05
1200.61
1529793
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1096716652-027.cnf
? (TO)
1200.05
1200.41
1530144
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S779309989-069.cnf
? (TO)
1200.05
1200.71
1529526
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S21800963-085.cnf
? (TO)
1200.05
1200.61
1529547
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1161147107-031.cnf
? (TO)
1200.05
1200.71
1530627
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S433356712-017.cnf
? (TO)
1200.05
1200.41
1530777
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S787972994-025.cnf
? (TO)
1200.05
1200.71
1530741
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S80067159-015.cnf
? (TO)
1200.05
1200.71
1529871
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S704699380-099.cnf
? (TO)
1200.05
1200.61
1529211
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S432776913-077.cnf
? (TO)
1200.05
1200.71
1529448
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1281410666-045.cnf
? (TO)
1200.05
1200.41
1529334
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf
? (TO)
1200.05
1200.61
1529658
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1528563858-100.cnf
? (TO)
1200.05
1200.61
1530795
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S377647456-019.cnf
? (TO)
1200.05
1200.71
1529766
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S603077945-019.cnf
? (TO)
1200.05
1200.61
1530174
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2035161427-020.cnf
? (TO)
1200.05
1200.61
1530843
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1807135406-059.cnf
? (TO)
1200.05
1200.61
1530534
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S599916448-096.cnf
? (TO)
1200.05
1200.61
1530084
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1553390498-064.cnf
? (TO)
1200.05
1200.71
1530384
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf
? (TO)
1200.05
1200.61
1529589
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S315403000-060.cnf
? (TO)
1200.05
1200.61
1529250
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S809967194-078.cnf
? (TO)
1200.05
1200.71
1530690
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1736708510-089.cnf
? (TO)
1200.05
1200.51
1530126
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S612955126-075.cnf
? (TO)
1200.05
1200.91
1529652
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1448866403-060.cnf
? (TO)
1200.05
1200.71
1530888
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1136894336-075.cnf
? (TO)
1200.05
1200.61
1529394
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1332067449-041.cnf
? (TO)
1200.05
1200.71
1530768
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S688769362-007.cnf
? (TO)
1200.05
1200.71
1530363
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1045096471-025.cnf
? (TO)
1200.05
1200.81
1530597
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S139794312-098.cnf
? (TO)
1200.05
1200.61
1529676
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S227954525-082.cnf
? (TO)
1200.05
1200.61
1530633
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1077410718-040.cnf
? (TO)
1200.05
1200.71
1530453
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S308012126-046.cnf
? (TO)
1200.05
1200.61
1529976
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S914952752-019.cnf
? (TO)
1200.06
1200.71
1529781
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S23373420-028.cnf
? (TO)
1200.06
1200.71
1530573
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1580204273-012.cnf
? (TO)
1200.06
1200.61
1530537
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S2043187304-036.cnf
? (TO)
1200.06
1200.71
1530540
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2054549948-012.cnf
? (TO)
1200.06
1200.51
1529226
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1850138369-006.cnf
? (TO)
1200.06
1200.71
1529217
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1388268034-092.cnf
? (TO)
1200.06
1200.41
1529271
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1694258328-099.cnf
? (TO)
1200.06
1200.61
1530522
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1828800850-025.cnf
? (TO)
1200.06
1200.71
1530138
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S602463346-055.cnf
? (TO)
1200.06
1200.61
1530594
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf
? (TO)
1200.06
1200.61
1529577
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1546885609-031.cnf
? (TO)
1200.06
1204.11
1530837
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S709270457-007.cnf
? (TO)
1200.06
1200.61
1530213
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S722433227-030.cnf
? (TO)
1200.06
1200.71
1530897
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1573578038-005.cnf
? (TO)
1200.06
1200.51
1529289
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1481888618-011.cnf
? (TO)
1200.06
1200.41
1529901
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1738391204-028.cnf
? (TO)
1200.06
1200.71
1529313
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S762724712-048.cnf
? (TO)
1200.06
1200.61
1529592
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S125259973-020.cnf
? (TO)
1200.06
1200.71
1530396
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S661850551-087.cnf
? (TO)
1200.06
1200.51
1529307
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1733990810-090.cnf
? (TO)
1200.06
1200.61
1530825
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1253795703-015.cnf
? (TO)
1200.06
1200.61
1529298
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S287522321-032.cnf
? (TO)
1200.06
1200.61
1530405
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S418505498-026.cnf
? (TO)
1200.06
1200.71
1530393
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1730125812-056.cnf
? (TO)
1200.06
1200.61
1530804
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S975048338-088.cnf
? (TO)
1200.06
1200.61
1530360
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S15767910-042.cnf
? (TO)
1200.06
1200.71
1529757
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S780904324-093.cnf
? (TO)
1200.06
1200.71
1530747
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1666821205-020.cnf
? (TO)
1200.06
1200.41
1530744
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S121765931-081.cnf
? (TO)
1200.06
1200.71
1530318
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1961115887-052.cnf
? (TO)
1200.06
1200.91
1529349
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S2051339669-029.cnf
? (TO)
1200.06
1200.71
1529370
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2141146009-040.cnf
? (TO)
1200.06
1200.71
1530045
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S452919966-071.cnf
? (TO)
1200.06
1200.51
1529397
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1549575664-035.cnf
? (TO)
1200.06
1200.51
1529352
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1924575376-025.cnf
? (TO)
1200.06
1200.61
1530813
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S522321670-058.cnf
? (TO)
1200.06
1200.61
1529379
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf
? (TO)
1200.06
1200.41
1529691
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S47926000-049.cnf
? (TO)
1200.06
1200.61
1529946
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S799705985-049.cnf
? (TO)
1200.06
1200.71
1530270
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S91288590-071.cnf
? (TO)
1200.06
1200.61
1529454
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S914323646-060.cnf
? (TO)
1200.06
1200.51
1529730
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1543261951-042.cnf
? (TO)
1200.06
1200.61
1529439
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S2059720696-001.cnf
? (TO)
1200.06
1200.61
1529493
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf
? (TO)
1200.06
1200.71
1529625
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1178729443-051.cnf
? (TO)
1200.06
1200.61
1529445
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf
? (TO)
1200.06
1200.61
1529661
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1988754311-026.cnf
? (TO)
1200.06
1200.71
1530240
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1402156840-093.cnf
? (TO)
1200.06
1200.71
1530219
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf
? (TO)
1200.06
1200.61
1529595
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1040456712-073.cnf
? (TO)
1200.06
1200.61
1529943
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S136987316-008.cnf
? (TO)
1200.06
1200.71
1529505
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S162003179-087.cnf
? (TO)
1200.06
1200.61
1529679
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S834811574-084.cnf
? (TO)
1200.06
1200.41
1530168
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf
? (TO)
1200.06
1200.61
1529706
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S658989873-070.cnf
? (TO)
1200.06
1200.71
1530600
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf
? (TO)
1200.06
1200.41
1529568
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S404185236-001.cnf
? (TO)
1200.06
1200.71
1530561
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S928666993-098.cnf
? (TO)
1200.06
1200.61
1530528
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S531507935-068.cnf
? (TO)
1200.07
1200.51
1530336
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1183359164-025.cnf
? (TO)
1200.07
1200.51
1529247
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1588298513-036.cnf
? (TO)
1200.07
1200.61
1529388
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1352224201-070.cnf
? (TO)
1200.07
1200.61
1529418
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S907861678-077.cnf
? (TO)
1200.07
1200.61
1529433
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf
? (TO)
1200.07
1200.41
1529514
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf
? (TO)
1200.07
1200.71
1529694
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf
? (TO)
1200.07
1200.71
1529736
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S267191961-079.cnf
? (TO)
1200.07
1200.71
1529868
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S2083778933-085.cnf
? (TO)
1200.07
1200.61
1529874
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S146188995-071.cnf
? (TO)
1200.07
1200.61
1530621
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S449511205-064.cnf
? (TO)
1200.07
1200.61
1530759
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S251246256-047.cnf
? (TO)
1200.07
1200.41
1529232
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S249585100-059.cnf
? (TO)
1200.07
1200.41
1529229
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1322153318-039.cnf
? (TO)
1200.07
1200.61
1529214
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1797123396-073.cnf
? (TO)
1200.07
1200.41
1529244
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1185462553-011.cnf
? (TO)
1200.07
1200.71
1529256
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S962875623-008.cnf
? (TO)
1200.07
1200.71
1529319
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S685953260-065.cnf
? (TO)
1200.07
1200.61
1529328
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S318878687-017.cnf
? (TO)
1200.07
1200.71
1529364
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S285713182-059.cnf
? (TO)
1200.07
1200.41
1529460
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S870840347-014.cnf
? (TO)
1200.07
1200.71
1529487
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S439075063-023.cnf
? (TO)
1200.07
1200.61
1529562
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf
? (TO)
1200.07
1200.61
1529580
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S274764005-003.cnf
? (TO)
1200.07
1200.41
1529586
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf
? (TO)
1200.07
1200.71
1529634
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf
? (TO)
1200.07
1200.61
1529649
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S559732886-091.cnf
? (TO)
1200.07
1200.71
1529817
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1629955917-055.cnf
? (TO)
1200.07
1200.71
1529829
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1357790788-074.cnf
? (TO)
1200.07
1200.61
1529856
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S578339356-013.cnf
? (TO)
1200.07
1200.71
1529862
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1850025790-078.cnf
? (TO)
1200.07
1200.61
1529898
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S402241321-038.cnf
? (TO)
1200.07
1200.71
1529955
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1559668863-058.cnf
? (TO)
1200.07
1200.51
1530009
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1920888253-090.cnf
? (TO)
1200.07
1200.61
1529964
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2099753268-053.cnf
? (TO)
1200.07
1200.61
1530021
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S905029262-097.cnf
? (TO)
1200.07
1200.61
1530111
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S746386799-050.cnf
? (TO)
1200.07
1200.61
1530147
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1602291491-023.cnf
? (TO)
1200.07
1200.41
1530282
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1136141672-041.cnf
? (TO)
1200.07
1200.61
1530330
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S28271012-055.cnf
? (TO)
1200.07
1200.61
1530339
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S374947955-075.cnf
? (TO)
1200.07
1200.51
1530345
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1750991629-037.cnf
? (TO)
1200.07
1200.41
1530366
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S104085281-076.cnf
? (TO)
1200.07
1200.71
1530372
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1375576340-029.cnf
? (TO)
1200.07
1200.61
1530387
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S131938947-014.cnf
? (TO)
1200.07
1200.71
1530390
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1775841359-070.cnf
? (TO)
1200.07
1200.71
1530426
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1250067652-054.cnf
? (TO)
1200.07
1200.51
1530438
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1524836866-036.cnf
? (TO)
1200.07
1200.71
1530483
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S190880026-038.cnf
? (TO)
1200.07
1200.71
1530516
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S999404609-010.cnf
? (TO)
1200.07
1200.61
1530525
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1700363952-014.cnf
? (TO)
1200.07
1200.71
1530531
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S260616787-042.cnf
? (TO)
1200.07
1200.61
1530543
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S253750560-086.cnf
? (TO)
1200.07
1200.41
1530567
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S2025517367-061.cnf
? (TO)
1200.07
1200.51
1530549
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S680239195-053.cnf
? (TO)
1200.07
1200.61
1530564
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1494961823-060.cnf
? (TO)
1200.07
1200.61
1530579
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1258122549-031.cnf
? (TO)
1200.07
1200.61
1530591
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1362286908-061.cnf
? (TO)
1200.07
1200.61
1530642
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S889538696-070.cnf
? (TO)
1200.07
1200.61
1530675
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S311671104-045.cnf
? (TO)
1200.07
1200.61
1530651
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1139247531-051.cnf
? (TO)
1200.07
1200.61
1530654
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1879859331-044.cnf
? (TO)
1200.07
1200.71
1530672
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S142096783-019.cnf
? (TO)
1200.07
1200.61
1530699
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1229813320-044.cnf
? (TO)
1200.07
1201.51
1530789
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1916548023-003.cnf
? (TO)
1200.07
1200.61
1530771
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1338462531-082.cnf
? (TO)
1200.07
1200.41
1530801
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1002348653-090.cnf
? (TO)
1200.07
1200.71
1530798
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S2069223517-023.cnf
? (TO)
1200.07
1200.41
1530816
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1555503917-029.cnf
? (TO)
1200.07
1200.71
1530834
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1614425450-034.cnf
? (TO)
1200.07
1200.61
1530840
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1804335510-002.cnf
? (TO)
1200.07
1200.71
1530876
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S368632549-051.cnf
? (TO)
1200.07
1200.61
1530900
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S144043535-002.cnf
? (TO)
1200.07
1200.71
1530903
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1154116462-097.cnf
? (TO)
1200.08
1200.71
1530357
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1331382449-070.cnf
? (TO)
1200.08
1200.71
1529826
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2088224617-083.cnf
? (TO)
1200.08
1200.41
1529205
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1441840675-053.cnf
? (TO)
1200.08
1200.41
1529280
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S805234188-084.cnf
? (TO)
1200.08
1200.71
1529277
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1746008863-010.cnf
? (TO)
1200.08
1200.71
1530504
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1394630553-009.cnf
? (TO)
1200.08
1200.51
1530114
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S882603971-022.cnf
? (TO)
1200.08
1200.41
1529274
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1949086545-083.cnf
? (TO)
1200.08
1200.61
1530696
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S420719158-080.cnf
? (TO)
1200.08
1200.71
1529733
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf
? (TO)
1200.08
1200.41
1529598
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S900737394-048.cnf
? (TO)
1200.08
1200.61
1530783
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf
? (TO)
1200.08
1200.71
1529727
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S45592023-054.cnf
? (TO)
1200.08
1200.61
1530669
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S178043354-076.cnf
? (TO)
1200.08
1200.21
1530132
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S35186747-095.cnf
? (TO)
1200.08
1200.41
1529838
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S2037556208-016.cnf
? (TO)
1200.08
1200.61
1530135
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1514821049-021.cnf
? (TO)
1200.08
1200.51
1530141
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf
? (TO)
1200.08
1200.51
1529532
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf
? (TO)
1200.08
1200.71
1529715
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1849057034-020.cnf
? (TO)
1200.08
1200.71
1529457
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S310111511-029.cnf
? (TO)
1200.08
1200.41
1529643
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S515665970-021.cnf
? (TO)
1200.08
1200.61
1529859
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S321371087-018.cnf
? (TO)
1200.08
1200.61
1530822
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S322778960-054.cnf
? (TO)
1200.08
1200.71
1529700
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1354285755-030.cnf
? (TO)
1200.08
1200.61
1530177
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1223878722-065.cnf
? (TO)
1200.08
1200.71
1530210
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf
? (TO)
1200.08
1200.51
1529619
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S547165541-056.cnf
? (TO)
1200.08
1200.61
1529490
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S2060380282-019.cnf
? (TO)
1200.08
1200.61
1530216
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1085378176-050.cnf
? (TO)
1200.08
1200.71
1529496
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1796956909-029.cnf
? (TO)
1200.08
1200.61
1530081
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1707873242-085.cnf
? (TO)
1200.08
1200.71
1529961
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S72273909-010.cnf
? (TO)
1200.08
1200.61
1530231
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S74035269-088.cnf
? (TO)
1200.08
1200.51
1529478
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1339364096-048.cnf
? (TO)
1200.08
1200.61
1530252
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803029538-050.cnf
? (TO)
1200.08
1200.71
1530246
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf
? (TO)
1200.08
1200.71
1529502
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S906020180-093.cnf
? (TO)
1200.08
1200.41
1529673
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S2087271472-092.cnf
? (TO)
1200.08
1200.41
1530630
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1410489780-030.cnf
? (TO)
1200.08
1200.61
1529808
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1818639567-059.cnf
? (TO)
1200.08
1206.31
1529475
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S541865505-057.cnf
? (TO)
1200.08
1200.51
1529481
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1331813943-033.cnf
? (TO)
1200.08
1200.71
1530297
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf
? (TO)
1200.08
1200.41
1529604
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S193214747-044.cnf
? (TO)
1200.08
1200.41
1529367
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1163324878-032.cnf
? (TO)
1200.08
1200.61
1530003
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S211141966-058.cnf
? (TO)
1200.08
1200.41
1529322
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2028777924-038.cnf
? (TO)
1200.08
1200.71
1530057
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf
? (TO)
1200.08
1200.71
1529712
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1086008090-058.cnf
? (TO)
1200.08
1200.61
1529886
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1028159446-096.cnf
? (TO)
1200.08
1200.71
1530558
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S554804223-012.cnf
? (TO)
1200.09
1202.91
1530807
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1758422766-080.cnf
? (TO)
1200.09
1200.41
1530060
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S822708255-070.cnf
? (TO)
1200.09
1200.61
1529631
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf
? (TO)
1200.09
1200.51
1529667
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S486178562-011.cnf
? (TO)
1200.09
1200.81
1530303
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S592525179-032.cnf
? (TO)
1200.09
1203.11
1529442
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf
? (TO)
1200.09
1200.41
1529550
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S2061874746-039.cnf
? (TO)
1200.09
1200.41
1530351
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1112524719-021.cnf
? (TO)
1200.09
1200.61
1530738
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2067258640-036.cnf
? (TO)
1200.09
1200.51
1530819
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf
? (TO)
1200.09
1200.81
1529529
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1018145191-052.cnf
? (TO)
1200.09
1200.51
1529325
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1931398869-036.cnf
? (TO)
1200.09
1200.61
1529931
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1040507052-028.cnf
? (TO)
1200.09
1200.71
1529223
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S284173264-081.cnf
? (TO)
1200.09
1200.61
1530180
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S956671877-054.cnf
? (TO)
1200.09
1200.41
1530612
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1983754128-073.cnf
? (TO)
1200.09
1200.71
1530519
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S7007454-009.cnf
? (TO)
1200.09
1200.71
1529499
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S393518083-009.cnf
? (TO)
1200.09
1200.61
1529949
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S2104277852-078.cnf
? (TO)
1200.09
1200.61
1530381
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S886725553-011.cnf
? (TO)
1200.09
1200.61
1529355
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S748216286-061.cnf
? (TO)
1200.09
1200.61
1529967
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1912687159-077.cnf
? (TO)
1200.09
1200.71
1530870
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1895787950-064.cnf
? (TO)
1200.09
1200.51
1530204
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S2096960818-049.cnf
? (TO)
1200.09
1200.71
1530333
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S184801254-020.cnf
? (TO)
1200.09
1200.51
1530039
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1192890414-033.cnf
? (TO)
1200.09
1200.81
1529343
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1772751287-054.cnf
? (TO)
1200.09
1200.71
1530030
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S501150091-001.cnf
? (TO)
1200.09
1200.71
1529199
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1736471436-014.cnf
? (TO)
1200.09
1200.51
1529238
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S2037268960-098.cnf
? (TO)
1200.09
1200.61
1530432
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1249441590-066.cnf
? (TO)
1200.09
1200.71
1530510
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S617358728-082.cnf
? (TO)
1200.09
1200.41
1530828
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S596342014-039.cnf
? (TO)
1200.09
1200.51
1530324
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S2054922493-058.cnf
? (TO)
1200.09
1200.71
1529265
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S650356257-052.cnf
? (TO)
1200.09
1200.71
1529763
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1906075351-024.cnf
? (TO)
1200.09
1200.61
1529472
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S884764237-004.cnf
? (TO)
1200.09
1200.71
1530048
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1564075794-028.cnf
? (TO)
1200.09
1200.71
1530450
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S853819067-006.cnf
? (TO)
1200.09
1200.61
1530447
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2007547542-039.cnf
? (TO)
1200.09
1200.61
1529937
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1175850950-017.cnf
? (TO)
1200.09
1200.41
1530462
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1353769076-009.cnf
? (TO)
1200.09
1200.51
1529235
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1159067237-017.cnf
? (TO)
1200.09
1200.62
1530507
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1377066099-004.cnf
? (TO)
1200.09
1200.61
1530498
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S2034442711-054.cnf
? (TO)
1200.09
1200.71
1530474
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1628763900-004.cnf
? (TO)
1200.09
1200.61
1530471
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1810287895-075.cnf
? (TO)
1200.09
1200.71
1530495
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1127319144-058.cnf
? (TO)
1200.09
1200.81
1529376
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S247943532-069.cnf
? (TO)
1200.09
1200.71
1530609
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S638051453-097.cnf
? (TO)
1200.09
1200.71
1530444
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S821759333-092.cnf
? (TO)
1200.09
1200.71
1529601
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1137823545-077.cnf
? (TO)
1200.09
1200.71
1530762
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1767425240-073.cnf
? (TO)
1200.09
1200.61
1530714
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S648763183-023.cnf
? (TO)
1200.09
1200.61
1529622
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf
? (TO)
1200.09
1200.61
1529646
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1802626390-033.cnf
? (TO)
1200.09
1200.71
1529424
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2025169165-076.cnf
? (TO)
1200.09
1200.71
1530588
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S254828838-055.cnf
? (TO)
1200.09
1200.71
1530069
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803323266-025.cnf
? (TO)
1200.09
1200.61
1530237
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1369720750-015.cnf
? (TO)
1200.09
1200.61
1530552
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S367138237-029.cnf
? (TO)
1200.09
1200.51
1530555
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1531283922-009.cnf
? (TO)
1200.09
1200.71
1530723
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S844931093-069.cnf
? (TO)
1200.1
1200.51
1530693
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1481598919-023.cnf
? (TO)
1200.1
1200.51
1529880
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1266438269-016.cnf
? (TO)
1200.1
1200.71
1530096
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S122462268-047.cnf
? (TO)
1200.1
1200.61
1529802
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S102181364-052.cnf
? (TO)
1200.1
1200.71
1529790
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf
? (TO)
1200.1
1200.61
1529628
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S857870897-089.cnf
? (TO)
1200.1
1200.61
1530078
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1723900160-044.cnf
? (TO)
1200.1
1200.61
1529883
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1376127278-008.cnf
? (TO)
1200.1
1200.61
1529895
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1767813611-042.cnf
? (TO)
1200.1
1200.51
1529892
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1610649331-094.cnf
? (TO)
1200.1
1200.61
1530090
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1299934729-015.cnf
? (TO)
1200.1
1200.61
1530120
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2058039218-006.cnf
? (TO)
1200.1
1200.71
1530123
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S268463339-081.cnf
? (TO)
1200.1
1200.81
1529556
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S357555833-073.cnf
? (TO)
1200.1
1200.71
1529982
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1703611043-077.cnf
? (TO)
1200.1
1200.61
1530015
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S859578263-029.cnf
? (TO)
1200.1
1200.71
1529544
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1366769180-095.cnf
? (TO)
1200.1
1200.61
1530189
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1718226278-096.cnf
? (TO)
1200.1
1200.61
1530165
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S400088537-049.cnf
? (TO)
1200.1
1200.51
1530201
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S819692891-023.cnf
? (TO)
1200.1
1200.61
1530228
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S179172230-011.cnf
? (TO)
1200.1
1200.71
1529997
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S852794659-023.cnf
? (TO)
1200.1
1200.71
1529934
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1249224492-031.cnf
? (TO)
1200.1
1200.61
1529415
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S528193823-041.cnf
? (TO)
1200.1
1200.71
1530012
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf
? (TO)
1200.1
1200.61
1529748
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S703461330-034.cnf
? (TO)
1200.1
1200.71
1530024
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf
? (TO)
1200.1
1200.81
1529655
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1500472284-060.cnf
? (TO)
1200.1
1200.81
1529337
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1912214877-051.cnf
? (TO)
1200.1
1200.61
1529268
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S108799362-035.cnf
? (TO)
1200.1
1200.71
1530018
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S971118900-053.cnf
? (TO)
1200.1
1200.71
1529973
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S332478069-041.cnf
? (TO)
1200.1
1200.61
1530408
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1353993612-015.cnf
? (TO)
1200.1
1200.71
1530414
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1035441377-058.cnf
? (TO)
1200.1
1200.71
1530420
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S45173584-020.cnf
? (TO)
1200.1
1200.51
1529220
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1748152762-086.cnf
? (TO)
1200.1
1200.51
1529241
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S197260469-019.cnf
? (TO)
1200.1
1200.71
1530036
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf
? (TO)
1200.1
1200.41
1529535
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1900558626-069.cnf
? (TO)
1200.1
1200.51
1530063
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2106599808-035.cnf
? (TO)
1200.1
1200.51
1530846
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1378953985-075.cnf
? (TO)
1200.1
1200.51
1529421
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1503318847-091.cnf
? (TO)
1200.1
1200.71
1529985
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1429776379-099.cnf
? (TO)
1200.1
1200.61
1530678
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S115851319-100.cnf
? (TO)
1200.11
1200.41
1529262
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S155821307-034.cnf
? (TO)
1200.11
1200.71
1529283
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S444219303-098.cnf
? (TO)
1200.11
1203.01
1530399
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1039370030-037.cnf
? (TO)
1200.11
1200.71
1530378
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1724014998-099.cnf
? (TO)
1200.11
1200.61
1529253
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S984347600-003.cnf
? (TO)
1200.11
1200.61
1529952
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S387386125-069.cnf
? (TO)
1200.11
1200.81
1530375
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2015297474-031.cnf
? (TO)
1200.11
1200.51
1529202
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S289069074-070.cnf
? (TO)
1200.11
1200.71
1530042
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S221596758-009.cnf
? (TO)
1200.11
1200.71
1529751
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf
? (TO)
1200.11
1200.71
1529616
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1367181683-025.cnf
? (TO)
1200.11
1200.71
1530831
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf
? (TO)
1200.11
1200.71
1529739
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S743448446-027.cnf
? (TO)
1200.11
1200.51
1529310
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S697681291-080.cnf
? (TO)
1200.11
1200.71
1530288
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S419666888-007.cnf
? (TO)
1200.11
1200.71
1530708
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S149116968-021.cnf
? (TO)
1200.11
1200.71
1530285
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1295462378-089.cnf
? (TO)
1200.11
1200.61
1529430
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1864473452-037.cnf
? (TO)
1200.11
1200.61
1529451
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S566590366-099.cnf
? (TO)
1200.11
1200.61
1529463
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1645769281-097.cnf
? (TO)
1200.11
1200.71
1530198
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S17277413-072.cnf
? (TO)
1200.11
1200.71
1529685
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S95953046-044.cnf
? (TO)
1200.11
1200.71
1530582
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1146593655-045.cnf
? (TO)
1200.11
1204.01
1530192
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1858385213-060.cnf
? (TO)
1200.11
1200.61
1530150
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf
? (TO)
1200.11
1200.71
1529541
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2056912842-027.cnf
? (TO)
1200.11
1200.61
1530603
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1736056721-032.cnf
? (TO)
1200.11
1200.71
1529772
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S579205610-033.cnf
? (TO)
1200.11
1200.61
1529571
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1718100253-004.cnf
? (TO)
1200.11
1200.61
1530117
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1963731659-060.cnf
? (TO)
1200.11
1200.61
1529988
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1492329924-074.cnf
? (TO)
1200.11
1200.71
1529913
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S398733532-072.cnf
? (TO)
1200.11
1200.71
1529889
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S219795104-099.cnf
? (TO)
1200.11
1200.71
1529760
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S744068878-072.cnf
? (TO)
1200.11
1200.61
1529919
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S207294319-099.cnf
? (TO)
1200.11
1200.51
1529853
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1050568800-025.cnf
? (TO)
1200.11
1200.71
1529844
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1695726805-003.cnf
? (TO)
1200.11
1200.71
1529400
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf
? (TO)
1200.11
1200.51
1529754
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S714125262-017.cnf
? (TO)
1200.11
1200.61
1530717
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S367498571-066.cnf
? (TO)
1200.11
1200.71
1529832
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S180439591-093.cnf
? (TO)
1200.11
1200.71
1530648
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S785082413-028.cnf
? (TO)
1200.11
1200.71
1529820
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S2142794689-088.cnf
? (TO)
1200.11
1200.81
1530072
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1778559297-006.cnf
? (TO)
1200.11
1200.71
1530666
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1985172968-100.cnf
? (TO)
1200.11
1200.61
1530852
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S712437980-063.cnf
? (TO)
1200.11
1200.41
1529811
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf
? (TO)
1200.11
1200.71
1529553
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S926047226-039.cnf
? (TO)
1200.11
1200.61
1530480
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1818347447-078.cnf
? (TO)
1200.11
1200.61
1530075
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S729526068-046.cnf
? (TO)
1200.11
1200.51
1530492
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S285229208-001.cnf
? (TO)
1200.11
1200.51
1530477
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1954748117-061.cnf
? (TO)
1200.11
1200.71
1529259
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S583379276-046.cnf
? (TO)
1200.11
1200.71
1530459
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1211704640-033.cnf
? (TO)
1200.12
1200.51
1529850
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2125310989-062.cnf
? (TO)
1200.12
1200.71
1530054
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1318210982-002.cnf
? (TO)
1200.12
1200.61
1530033
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1171422074-087.cnf
? (TO)
1200.12
1200.51
1530093
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S500426663-025.cnf
? (TO)
1200.12
1200.71
1529583
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2073320038-053.cnf
? (TO)
1200.12
1200.71
1530102
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S326668183-079.cnf
? (TO)
1200.12
1200.71
1530156
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S279212213-020.cnf
? (TO)
1200.12
1203.02
1529538
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf
? (TO)
1200.12
1200.51
1529508
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S287307030-088.cnf
? (TO)
1200.12
1200.81
1530249
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1017667294-044.cnf
? (TO)
1200.12
1200.71
1529469
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S942507261-096.cnf
? (TO)
1200.12
1200.71
1529403
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1854680784-082.cnf
? (TO)
1200.12
1200.71
1530309
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S2140929154-062.cnf
? (TO)
1200.12
1200.81
1529391
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1611899384-022.cnf
? (TO)
1200.12
1200.51
1529340
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S375588147-050.cnf
? (TO)
1200.12
1200.61
1529373
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1568578307-064.cnf
? (TO)
1200.12
1200.81
1529361
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf
? (TO)
1200.12
1200.81
1529607
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1598052044-078.cnf
? (TO)
1200.12
1200.81
1530441
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1892788676-021.cnf
? (TO)
1200.12
1200.81
1530489
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1841979702-078.cnf
? (TO)
1200.12
1200.61
1530873
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S502087726-095.cnf
? (TO)
1200.12
1200.81
1530546
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1313163883-027.cnf
? (TO)
1200.12
1200.61
1529346
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1800466054-025.cnf
? (TO)
1200.12
1200.71
1530636
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1906521511-089.cnf
? (TO)
1200.12
1200.51
1530570
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S353643296-086.cnf
? (TO)
1200.12
1200.71
1530606
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1528023000-027.cnf
? (TO)
1200.12
1200.51
1530321
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1880984131-087.cnf
? (TO)
1200.12
1200.71
1530663
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S266028630-005.cnf
? (TO)
1200.12
1200.71
1529385
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2065372010-022.cnf
? (TO)
1200.12
1200.61
1530027
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S565763763-051.cnf
? (TO)
1200.12
1200.61
1530681
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S824721511-001.cnf
? (TO)
1200.12
1200.71
1529922
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1305875336-097.cnf
? (TO)
1200.12
1203.91
1529805
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S745855171-090.cnf
? (TO)
1200.12
1200.41
1529778
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1153031014-012.cnf
? (TO)
1200.12
1200.61
1529991
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S918173205-035.cnf
? (TO)
1200.12
1200.41
1529865
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1864638535-048.cnf
? (TO)
1200.12
1200.71
1530729
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S884941173-092.cnf
? (TO)
1200.12
1200.81
1529907
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S986324446-009.cnf
? (TO)
1200.12
1200.71
1529910
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S644655157-049.cnf
? (TO)
1200.12
1200.61
1529979
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1221988902-087.cnf
? (TO)
1200.13
1200.81
1529841
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S621134782-041.cnf
? (TO)
1200.13
1200.71
1530624
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S839302453-094.cnf
? (TO)
1200.13
1200.61
1529565
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf
? (TO)
1200.13
1200.51
1529610
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S816613570-013.cnf
? (TO)
1200.13
1200.61
1530369
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2142489608-055.cnf
? (TO)
1200.13
1200.71
1530108
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1089910525-056.cnf
? (TO)
1200.13
1200.71
1530294
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1731702106-010.cnf
? (TO)
1200.13
1200.61
1530267
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1525918493-008.cnf
? (TO)
1200.13
1200.61
1530105
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S839983432-073.cnf
? (TO)
1200.13
1200.51
1530225
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1206040031-030.cnf
? (TO)
1200.13
1200.71
1530153
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1845944120-011.cnf
? (TO)
1200.14
1200.71
1529427
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S645163129-012.cnf
? (TO)
1200.14
1200.61
1530258