SAT 2009 Competition: main competition (phase 1): benchmarks results per solver
Result page for solver glucose
1.0
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (98 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.281956
0.285743
1718804
APPLICATIONS/bitverif/
minor/minor032.cnf
UNSAT
0.744886
0.743934
1553202
manol-pipe-g6bi.cnf
UNSAT
1.2998
1.30766
1723716
een-tip-uns-nusmv-t5.B.cnf
UNSAT
1.84172
1.84084
1723352
hoons-vbmc-lucky7.cnf
UNSAT
2.81757
2.82773
1719844
manol-pipe-c9.cnf
UNSAT
3.48047
3.48501
1724340
cmu-bmc-barrel6.cnf
UNSAT
3.86141
3.86566
1719532
APPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
UNSAT
5.98409
14.2036
1556842
APPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
UNSAT
6.92995
6.93551
1554554
APPLICATIONS/bitverif/
minor/minor064.cnf
UNSAT
8.00378
8.01768
1553150
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
8.75867
17.6895
1717972
APPLICATIONS/
bitverif/maxand/maxand064.cnf
UNSAT
8.76267
8.77045
1555594
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
10.1445
10.1589
1717452
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
12.5201
12.5256
1717920
manol-pipe-g7nidw.cnf
UNSAT
12.7091
12.746
1724288
APPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
UNSAT
12.932
12.9392
1553774
APPLICATIONS/bitverif/
icbrt/icbrt1_32.cnf
UNSAT
14.5648
14.6021
1555022
APPLICATIONS/bitverif/
smulo/smulo016.cnf
UNSAT
14.6538
14.6642
1554814
schup-l2s-abp4-1-k31.cnf
UNSAT
15.3497
15.3586
1719584
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
15.5746
15.6122
1717660
APPLICATIONS/crypto/
md5gen/gus-md5-05.cnf
UNSAT
16.7195
16.7402
1556790
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
21.7627
21.7853
1715632
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
24.0673
24.08
1717608
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
UNSAT
25.1442
25.1572
1723044
manol-pipe-c10nidw_s.cnf
UNSAT
25.1912
29.4128
1723196
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
25.9171
25.9251
1718232
velev-engi-uns-1.0-4nd.cnf
UNSAT
25.9591
25.9693
1720104
APPLICATIONS/
bitverif/minand/minand128.cnf
UNSAT
26.8469
26.8646
1554190
APPLICATIONS/diagnosis/
UCG-10-5p0.cnf
UNSAT
27.3138
27.3368
1578186
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
31.0313
31.0494
1717556
simon-s03-fifo8-300.cnf
UNSAT
31.2163
31.2378
1724132
manol-pipe-g10id.cnf
UNSAT
32.0451
32.0656
1723508
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
33.2849
33.3239
1717868
APPLICATIONS/diagnosis/
UTI-10-10p0.cnf
UNSAT
33.4389
33.4636
1581722
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
UNSAT
34.0248
34.0462
1554086
APPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
UNSAT
34.4138
34.4412
1553306
APPLICATIONS/diagnosis/
UR-10-5p0.cnf
UNSAT
37.3953
37.4293
1579850
goldb-heqc-term1mul.cnf
UNSAT
40.4199
40.438
1723612
APPLICATIONS/diagnosis/
ACG-10-5p0.cnf
UNSAT
41.6977
41.7516
1579382
cmu-bmc-longmult15.cnf
UNSAT
44.2113
44.2293
1720624
manol-pipe-c6nidw_i.cnf
UNSAT
44.8372
45.0469
1724444
manol-pipe-c6bidw_i.cnf
UNSAT
46.7619
46.793
1720260
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
49.8154
49.8418
1715684
APPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
UNSAT
55.4166
55.4377
1563602
APPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
UNSAT
55.7365
55.7589
1556738
velev-live-uns-2.0-ebuf.cnf
UNSAT
75.8985
75.9376
1723664
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
77.2523
77.4169
1717504
manol-pipe-g10nid.cnf
UNSAT
91.6881
91.7657
1720156
manol-pipe-c7bidw_i.cnf
UNSAT
92.107
92.1446
1724236
manol-pipe-g10bidw.cnf
UNSAT
97.5152
97.5534
1723248
manol-pipe-c7nidw.cnf
UNSAT
115.078
115.128
1723456
APPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
UNSAT
130.157
130.254
1577770
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
131.762
131.808
1718128
APPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
UNSAT
157.648
157.718
1557050
APPLICATIONS/diagnosis/
UR-15-5p0.cnf
UNSAT
173.678
173.78
1581930
schup-l2s-guid-1-k56.cnf
UNSAT
180.534
180.614
1724080
APPLICATIONS/diagnosis/
UTI-15-10p0.cnf
UNSAT
184.894
184.957
1580838
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
190.066
190.173
1580526
goldb-heqc-i10mul.cnf
UNSAT
195.586
195.664
1723404
simon-s02b-dp11u10.cnf
UNSAT
198.558
198.642
1723820
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
225.094
225.291
1563342
APPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
UNSAT
263.166
263.283
1555438
APPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
UNSAT
280.8
280.963
1577562
APPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
UNSAT
308.903
309.001
1563186
goldb-heqc-alu4mul.cnf
UNSAT
328.8
328.937
1720988
manol-pipe-f9n.cnf
UNSAT
355.151
355.306
1723924
manol-pipe-f9b.cnf
UNSAT
357.151
357.644
1719948
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
UNSAT
398.893
399.001
1722244
industrial/fuhs/medium/
AProVE07-09.cnf
UNSAT
413.023
413.148
1716776
manol-pipe-c10nid_i.cnf
UNSAT
443.688
443.852
1720728
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
453.787
453.935
1562770
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
490.041
490.183
1716828
velev-vliw-uns-4.0-9C1.cnf
UNSAT
499.16
499.191
1723768
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
506.229
506.465
1716308
APPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
UNSAT
542.008
542.272
1577718
APPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
UNSAT
544.551
544.82
1563082
APPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
UNSAT
577.481
577.676
1577822
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
UNSAT
588.308
588.351
1717816
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
UNSAT
593.114
593.431
1722494
APPLICATIONS/diagnosis/
UTI-15-5p0.cnf
UNSAT
624.698
624.989
1579954
APPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
UNSAT
656.877
657.072
1563290
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
UNSAT
668.909
669.099
1718856
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
UNSAT
691.52
691.785
1577510
APPLICATIONS/c32sat/
post-c32s-col400-16.cnf
UNSAT
714.014
714.229
1563446
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
UNSAT
728.775
729.143
1563238
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
UNSAT
748.595
748.983
1719064
APPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
UNSAT
763.294
763.514
1562718
manol-pipe-c10nidw.cnf
UNSAT
783.793
784.109
1720052
APPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
UNSAT
837.274
837.706
1577458
APPLICATIONS/
c32sat/post-c32s-ss-8.cnf
UNSAT
903.506
903.973
1563550
goldb-heqc-dalumul.cnf
UNSAT
921.948
922.393
1720416
APPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
UNSAT
926.251
926.689
1556010
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
954.043
954.287
1718284
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
971.855
972.38
1716412
APPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
UNSAT
993.066
993.533
1563030
velev-pipe-o-uns-1.0-7.cnf
UNSAT
1016.4
1016.85
1723872
manol-pipe-f10ni.cnf
UNSAT
1028.35
1028.89
1724028
APPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
UNSAT
1085.68
1086.27
1553254
Solver found a solution (SATISFIABLE) (54 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
een-tip-sat-texas-tp-5e.cnf
SAT
0.264959
0.266413
1720884
APPLICATIONS/aprove09/
AProVE09-13.cnf
SAT
0.293954
0.294787
1560274
APPLICATIONS/aprove09/
AProVE09-22.cnf
SAT
0.341947
0.343282
1560430
APPLICATIONS/aprove09/
AProVE09-11.cnf
SAT
0.818874
0.821905
1560846
APPLICATIONS/aprove09/
AProVE09-25.cnf
SAT
1.17682
1.18812
1560118
APPLICATIONS/aprove09/
AProVE09-12.cnf
SAT
1.23881
1.24327
1560326
APPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
SAT
1.35379
1.35793
1562822
APPLICATIONS/aprove09/
AProVE09-03.cnf
SAT
1.62175
1.6214
1560638
APPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
SAT
1.66075
1.67324
1563134
APPLICATIONS/aprove09/
AProVE09-19.cnf
SAT
1.80672
1.81412
1560898
APPLICATIONS/aprove09/
AProVE09-01.cnf
SAT
1.9407
1.95469
1560378
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
SAT
2.87356
2.87846
1721694
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
SAT
3.05753
3.05985
1722094
APPLICATIONS/aprove09/
AProVE09-10.cnf
SAT
3.31849
3.32766
1560794
APPLICATIONS/aprove09/
AProVE09-24.cnf
SAT
3.35149
3.37084
1559910
APPLICATIONS/aprove09/
AProVE09-05.cnf
SAT
4.85126
4.87021
1560014
APPLICATIONS/aprove09/
AProVE09-08.cnf
SAT
5.9511
5.9576
1560690
APPLICATIONS/aprove09/
AProVE09-15.cnf
SAT
6.94294
6.96958
1560534
APPLICATIONS/crypto/
desgen/gss-13-s100.cnf
SAT
7.01293
7.02887
1559182
APPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
SAT
7.04293
7.05224
1562978
APPLICATIONS/aprove09/
AProVE09-21.cnf
SAT
7.23636
4.6329
1560066
APPLICATIONS/aprove09/
AProVE09-17.cnf
SAT
7.27789
7.29572
1559702
APPLICATIONS/aprove09/
AProVE09-07.cnf
SAT
8.28074
8.28713
1560586
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
SAT
9.34258
9.35731
1562614
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_22_SAT.cnf
SAT
11.0603
11.0669
1721294
APPLICATIONS/bioinfo/
q_query_3_l42_lambda.cnf
SAT
15.8126
15.8873
1562666
APPLICATIONS/diagnosis/
UR-10-5p1.cnf
SAT
19.3561
19.3768
1579434
APPLICATIONS/bioinfo/
q_query_3_L60_coli.sat.cnf
SAT
24.6163
24.637
1577666
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
28.3667
28.3998
1717400
industrial/grieu/
vmpc_24.cnf
SAT
28.8046
28.8411
1718492
APPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
SAT
31.5982
31.6109
1562926
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
31.7102
31.7502
1719324
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
SAT
32.4031
32.436
1715892
APPLICATIONS/crypto/
desgen/gss-15-s100.cnf
SAT
33.4549
33.483
1558454
APPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
SAT
38.1422
38.1645
1562874
industrial/grieu/
vmpc_25.cnf
SAT
42.8095
42.8388
1718336
simon-s03-w08-15.cnf
SAT
45.0002
45.049
1719740
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
45.5061
45.5226
1719376
schup-l2s-motst-2-k315.cnf
SAT
59.086
59.1381
1720000
industrial/grieu/
vmpc_26.cnf
SAT
84.4312
84.4651
1718700
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
95.6225
95.6848
1558402
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
96.0464
96.112
1557778
APPLICATIONS/diagnosis/
UTI-15-5p1.cnf
SAT
106.142
106.187
1582710
APPLICATIONS/aprove09/
AProVE09-20.cnf
SAT
139.989
140.04
1559754
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
187.794
187.94
1577614
APPLICATIONS/c32sat/
post-c32s-gcdm16-22.cnf
SAT
192.162
192.243
1563654
APPLICATIONS/diagnosis/
UTI-15-10p1.cnf
SAT
392.999
393.17
1577874
industrial/grieu/
vmpc_33.cnf
SAT
546.287
546.545
1718440
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
SAT
611.261
611.608
1559598
industrial/grieu/
vmpc_28.cnf
SAT
716.281
716.213
1718596
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
SAT
769.733
769.962
1715944
APPLICATIONS/crypto/
desgen/gss-17-s100.cnf
SAT
905.938
906.436
1557570
industrial/grieu/
vmpc_29.cnf
SAT
914.204
914.544
1718544
mizh-md5-48-5.cnf
SAT
1142.66
1143.16
1721092
Solver timed out (no solution given) (139 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
? (TO)
1200
1200.51
1556114
APPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
? (TO)
1200
1200.31
1556478
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
1200
1200.61
1718960
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
? (TO)
1200
1200.51
1721744
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
1200
1200.51
1556322
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
1200.01
1200.61
1717140
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
1200.01
1200.61
1716724
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
? (TO)
1200.01
1200.71
1553982
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
1200.01
1200.41
1716516
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (TO)
1200.01
1200.51
1715736
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
1200.01
1200.51
1718908
APPLICATIONS/diagnosis/
UCG-20-10p1.cnf
? (TO)
1200.01
1200.71
1581046
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
1200.01
1200.51
1717296
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
? (TO)
1200.01
1200.41
1721994
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
1200.02
1200.51
1719272
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
1200.02
1200.61
1717036
industrial/fuhs/hard/
AProVE07-08.cnf
? (TO)
1200.02
1200.41
1716932
industrial/grieu/
vmpc_34.cnf
? (TO)
1200.02
1200.41
1718648
mizh-sha0-36-3.cnf
? (TO)
1200.02
1200.71
1719792
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
1200.02
1200.51
1555854
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
1200.02
1200.71
1582398
APPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
? (TO)
1200.02
1200.61
1556686
APPLICATIONS/
bitverif/minxor/minxor128.cnf
? (TO)
1200.02
1200.51
1553462
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
1200.03
1200.61
1717192
mizh-sha0-35-3.cnf
? (TO)
1200.03
1200.71
1720676
APPLICATIONS/diagnosis/
ACG-20-10p0.cnf
? (TO)
1200.03
1200.51
1579330
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
? (TO)
1200.03
1200.41
1580058
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
1200.03
1200.61
1715840
APPLICATIONS/diagnosis/
ACG-20-5p1.cnf
? (TO)
1200.03
1200.71
1580734
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
? (TO)
1200.03
1200.61
1581462
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
1200.03
1200.41
1716204
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
1200.03
1200.61
1717244
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
1200.03
1200.61
1717712
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
1200.03
1200.61
1719220
velev-vliw-uns-4.0-9-i1.cnf
? (TO)
1200.03
1200.61
1719688
vange-col-abb313GPIA-9-c.cnf
? (TO)
1200.03
1200.51
1720312
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
? (TO)
1200.04
1200.81
1581566
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
1200.04
1200.51
1716048
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
1200.04
1204.41
1554138
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
? (TO)
1200.04
1200.81
1722994
APPLICATIONS/diagnosis/
ACG-15-10p1.cnf
? (TO)
1200.04
1200.71
1580318
APPLICATIONS/crypto/
desgen/gss-20-s100.cnf
? (TO)
1200.04
1200.61
1558194
APPLICATIONS/diagnosis/
UTI-20-5p0.cnf
? (TO)
1200.04
1200.61
1578758
industrial/narain/
clauses-8.cnf
? (TO)
1200.04
1200.41
1718752
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
? (TO)
1200.04
1200.41
1721344
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
? (TO)
1200.04
1200.71
1721494
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
? (TO)
1200.04
1200.51
1721794
APPLICATIONS/crypto/
desgen/gss-23-s100.cnf
? (TO)
1200.04
1200.51
1558974
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
? (TO)
1200.04
1200.71
1563706
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
? (TO)
1200.04
1200.61
1722744
mizh-sha0-36-2.cnf
? (TO)
1200.04
1200.41
1723976
velev-pipe-o-uns-1.1-6.cnf
? (TO)
1200.04
1200.61
1723560
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
? (TO)
1200.04
1200.51
1721144
APPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
? (TO)
1200.04
1200.61
1556062
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
? (TO)
1200.04
1200.41
1581878
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
1200.04
1200.61
1554658
mizh-sha0-36-4.cnf
? (TO)
1200.04
1200.41
1720208
industrial/fuhs/hard/
AProVE07-27.cnf
? (TO)
1200.04
1200.61
1717088
APPLICATIONS/diagnosis/
UR-15-10p0.cnf
? (TO)
1200.05
1200.61
1581982
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
1200.05
1200.41
1716568
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
? (TO)
1200.05
1200.61
1722344
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
? (TO)
1200.05
1200.61
1715580
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
1200.05
1200.61
1719012
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
1200.05
1200.51
1719168
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
? (TO)
1200.05
1200.41
1722594
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
1200.05
1200.61
1557934
APPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
? (TO)
1200.05
1200.61
1556582
APPLICATIONS/bitverif/
mulhs/mulhs032.cnf
? (TO)
1200.05
1200.41
1554710
APPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
? (TO)
1200.05
1200.42
1554398
APPLICATIONS/diagnosis/
UR-15-10p1.cnf
? (TO)
1200.05
1200.61
1579798
APPLICATIONS/crypto/
desgen/gss-34-s100.cnf
? (TO)
1200.05
1200.71
1558766
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
1200.06
1200.51
1716256
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
1200.06
1200.61
1716464
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
1200.06
1200.61
1718024
APPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
? (TO)
1200.06
1200.61
1556530
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
1200.06
1200.51
1716672
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
1200.06
1200.71
1556218
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
? (TO)
1200.06
1200.61
1721244
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
? (TO)
1200.06
1200.41
1722144
APPLICATIONS/diagnosis/
ACG-15-10p0.cnf
? (TO)
1200.06
1200.71
1578914
mizh-md5-47-3.cnf
? (TO)
1200.06
1200.41
1719480
APPLICATIONS/diagnosis/
UR-20-5p0.cnf
? (TO)
1200.06
1200.41
1580110
industrial/grieu/
vmpc_30.cnf
? (TO)
1200.06
1200.41
1718388
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
? (TO)
1200.06
1200.71
1722794
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
1200.06
1200.51
1553826
APPLICATIONS/crypto/
desgen/gss-26-s100.cnf
? (TO)
1200.06
1200.51
1558038
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
1200.06
1200.71
1716152
aloul-chnl11-13.cnf
? (TO)
1200.06
1200.51
1720364
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
1200.06
1200.61
1716100
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
? (TO)
1200.06
1200.51
1721394
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
1200.07
1200.81
1722394
goldb-heqc-x1mul.cnf
? (TO)
1200.07
1200.61
1719428
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
? (TO)
1200.07
1200.41
1723094
schup-l2s-bc56s-1-k391.cnf
? (TO)
1200.07
1200.71
1719896
APPLICATIONS/crypto/
desgen/gss-33-s100.cnf
? (TO)
1200.07
1200.51
1558818
APPLICATIONS/crypto/
desgen/gss-31-s100.cnf
? (TO)
1200.07
1200.62
1557466
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
1200.07
1200.42
1716984
APPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
? (TO)
1200.07
1200.81
1554502
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
1200.07
1200.41
1718076
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
1200.07
1200.61
1553358
APPLICATIONS/diagnosis/
UR-20-5p1.cnf
? (TO)
1200.07
1200.61
1580214
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
? (TO)
1200.07
1200.61
1722544
goldb-heqc-frg1mul.cnf
? (TO)
1200.07
1200.41
1719636
APPLICATIONS/crypto/
desgen/gss-25-s100.cnf
? (TO)
1200.07
1200.61
1559494
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
? (TO)
1200.07
1200.61
1721644
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
? (TO)
1200.07
1200.41
1721194
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
? (TO)
1200.07
1200.41
1721944
APPLICATIONS/crypto/
desgen/gss-28-s100.cnf
? (TO)
1200.08
1200.51
1559338
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
? (TO)
1200.08
1200.41
1722944
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
? (TO)
1200.08
1200.71
1722444
mizh-md5-47-4.cnf
? (TO)
1200.08
1200.51
1720520
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
1200.08
1200.71
1716620
APPLICATIONS/crypto/
desgen/gss-24-s100.cnf
? (TO)
1200.08
1200.61
1559286
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
1200.08
1200.61
1716360
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
1200.08
1200.81
1717348
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
1200.08
1200.71
1556998
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
1200.08
1200.51
1722844
velev-pipe-sat-1.0-b7.cnf
? (TO)
1200.08
1200.61
1723144
APPLICATIONS/diagnosis/
UTI-20-5p1.cnf
? (TO)
1200.09
1200.71
1581306
APPLICATIONS/crypto/
desgen/gss-32-s100.cnf
? (TO)
1200.09
1200.61
1557674
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
1200.09
1200.51
1715788
APPLICATIONS/aprove09/
AProVE09-06.cnf
? (TO)
1200.09
1200.71
1559650
APPLICATIONS/diagnosis/
ACG-20-10p1.cnf
? (TO)
1200.09
1200.71
1580006
velev-pipe-sat-1.0-b10.cnf
? (TO)
1200.09
1200.71
1723300
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
1200.09
1200.61
1721844
APPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
? (TO)
1200.09
1200.61
1556426
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
1200.09
1200.61
1716880
industrial/palacios/medium/
cube-11-h13-unsat.cnf
? (TO)
1200.09
1200.71
1717764
APPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
? (TO)
1200.09
1207.12
1555126
APPLICATIONS/bitverif/
smulo/smulo128.cnf
? (TO)
1200.09
1200.81
1554866
APPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
? (TO)
1200.1
1200.62
1555230
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
1200.1
1200.61
1718180
velev-pipe-uns-1.0-8.cnf
? (TO)
1200.1
1200.61
1724392
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
1200.1
1200.51
1719116
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (TO)
1200.1
1200.71
1582138
simon-s02b-k2f-gr-rcs-w8.cnf
? (TO)
1200.1
1200.71
1724184
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
1200.1
1200.71
1715996
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
1200.12
1200.61
1557986
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
1200.13
1200.51
1559234
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)
15.23
15.4185
1563394
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (39 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n2_i2_pp.cnf
UNSAT
0.004998
0.00565211
1736844
CRAFTED/parity-games/
instance_n2_i3_pp.cnf
UNSAT
0.006998
0.00680588
1736544
CRAFTED/parity-games/
instance_n3_i4_pp_ci_ce.cnf
UNSAT
0.028995
0.0324991
1736344
CRAFTED/modcircuits/
owp_4vars_5gates.cnf
UNSAT
0.371942
0.37061
1733844
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
UNSAT
0.452931
0.45372
1725503
CRAFTED/parity-games/
instance_n4_i5_pp.cnf
UNSAT
0.621905
0.622773
1736994
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
0.998848
0.999887
1725397
CRAFTED/parity-games/
instance_n5_i6_pp_ci_ce.cnf
UNSAT
1.74873
1.75312
1736444
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
UNSAT
4.26835
4.80681
1730326
CRAFTED/sgen/unsat/
sgen1-unsat-61-100.cnf
UNSAT
5.69513
5.69731
1731994
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
12.3991
12.404
1725291
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
UNSAT
20.8308
20.8466
1725450
CRAFTED/ramseycube/
Q32inK09.cnf
UNSAT
36.8864
36.8961
1733044
CRAFTED/ramseycube/
Q32inK10.cnf
UNSAT
46.257
46.2815
1732944
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
50.7513
50.777
1725556
CRAFTED/sgen/unsat/
sgen1-unsat-73-100.cnf
UNSAT
55.0336
55.0571
1732094
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
82.5395
82.5682
1725768
CRAFTED/ramseycube/
Q32inK11.cnf
UNSAT
88.5185
88.5769
1732794
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
91.5341
91.5866
1725821
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
146.961
147.019
1731227
CRAFTED/parity-games/
instance_n6_i7_pp_ci_ce.cnf
UNSAT
147.935
148.02
1736594
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
158.432
158.482
1725927
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
183.039
183.124
1730008
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
198.684
198.774
1729743
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
UNSAT
207.311
207.374
1726192
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
UNSAT
224.041
224.135
1726245
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
UNSAT
252.073
252.147
1730061
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
254.042
254.139
1729796
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
266.08
266.174
1727252
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
UNSAT
294.824
294.979
1729902
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
304.287
304.384
1729849
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
422.048
422.248
1731492
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
UNSAT
466.386
466.621
1727623
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
UNSAT
539.751
539.903
1731598
CRAFTED/modcircuits/
mod3_4vars_6gates.cnf
UNSAT
596.887
597.509
1733644
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
652.362
652.706
1725238
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
UNSAT
769.438
769.807
1727199
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
UNSAT
968.911
969.42
1729690
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
UNSAT
996.715
997.146
1731386
Solver found a solution (SATISFIABLE) (75 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/ramseycube/
Q3inK08.cnf
SAT
0.019996
0.0193791
1732994
CRAFTED/parity-games/
instance_n3_i3_pp_ci_ce.cnf
SAT
0.023995
0.02347
1736394
CRAFTED/parity-games/
instance_n3_i3_pp.cnf
SAT
0.023996
0.0240629
1737044
CRAFTED/sgi/
satsgi-n17himBHm20-p0-q146.cnf
SAT
0.024995
0.025753
1734194
CRAFTED/sgi/
satsgi-n18himBHm21-p0-q167.cnf
SAT
0.027995
0.0292169
1734344
CRAFTED/sgi/
satsgi-n19himBHm22-p0-q181.cnf
SAT
0.031994
0.033017
1734094
CRAFTED/sgi/
satsgi-n22himBHm24-p0-q209.cnf
SAT
0.043992
0.0465679
1734144
CRAFTED/sgi/
satsgi-n22himBHm25-p0-q229.cnf
SAT
0.046992
0.0475429
1734444
CRAFTED/sgi/
satsgi-n23himBHm25-p0-q219.cnf
SAT
0.050991
0.0507391
1734394
CRAFTED/sgi/
satsgi-n23himBHm26-p0-q248.cnf
SAT
0.052991
0.0533969
1734294
CRAFTED/sgi/
satsgi-n23himBHm27-p0-q251.cnf
SAT
0.053991
0.0551971
1734544
CRAFTED/sgi/
sgi-difficult4.cnf
SAT
0.05899
0.057554
1736144
CRAFTED/parity-games/
instance_n4_i4_pp.cnf
SAT
0.062989
0.0639079
1736494
CRAFTED/sgi/
satsgi-n25himBHm27-p0-q251.cnf
SAT
0.064989
0.065128
1734244
CRAFTED/sgi/
satsgi-n25himBHm29-p0-q290.cnf
SAT
0.069989
0.0710749
1734594
CRAFTED/parity-games/
instance_n4_i4_pp_ci_ce.cnf
SAT
0.081986
0.082256
1736744
CRAFTED/sgi/
satsgi-n28himBHm30-p0-q333.cnf
SAT
0.090985
0.090247
1734494
CRAFTED/ramseycube/
Q3inK09.cnf
SAT
0.101983
0.101804
1732644
CRAFTED/sgi/
sgi-difficult7.cnf
SAT
0.106983
0.108147
1736194
CRAFTED/parity-games/
instance_n5_i5_pp.cnf
SAT
0.425934
0.426873
1736644
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
0.483925
0.485327
1732844
CRAFTED/modcircuits/
mod5block_1var_7gates.cnf
SAT
1.03884
1.04144
1733244
CRAFTED/parity-games/
instance_n6_i6_pp.cnf
SAT
1.56876
1.57159
1736894
CRAFTED/ramseycube/
Q3inK11.cnf
SAT
1.76373
1.76594
1733094
CRAFTED/parity-games/
instance_n6_i6_pp_ci_ce.cnf
SAT
2.25066
2.25718
1737094
CRAFTED/
edgematching/all/em_7_4_9_all.cnf
SAT
2.86456
3.10586
1562094
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g1.cnf
SAT
4.72828
4.73606
1735044
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
4.78927
4.79075
1725344
CRAFTED/edgematching/
explicit/em_7_3_6_exp.cnf
SAT
5.28919
5.29565
1561730
CRAFTED/
edgematching/all/em_7_3_6_all.cnf
SAT
5.31819
5.32927
1561990
CRAFTED/sgi/
new-difficult-20-152-18-95.cnf
SAT
12.3431
12.352
1738092
CRAFTED/edgematching/
explicit/em_7_4_9_exp.cnf
SAT
12.5461
12.5558
1561522
CRAFTED/parity-games/
instance_n7_i7_pp.cnf
SAT
13.6209
13.6403
1736944
CRAFTED/parity-games/
instance_n5_i6_pp.cnf
SAT
18.2762
18.2867
1736794
CRAFTED/edgematching/
all/em_11_3_4_all.cnf
SAT
20.6999
20.7108
1562042
CRAFTED/edgematching/
fbcolors/em_7_4_9_fbc.cnf
SAT
21.1148
21.124
1562406
CRAFTED/edgematching/
explicit/em_8_4_5_exp.cnf
SAT
22.0017
22.0149
1561678
CRAFTED/edgematching/
all/em_12_2_4_all.cnf
SAT
26.7759
26.805
1561886
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes6.cnf
SAT
29.2975
29.311
1735294
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
35.1567
35.1882
1725662
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
36.4895
36.5031
1725609
CRAFTED/parity-games/
instance_n6_i7_pp.cnf
SAT
38.9381
38.9604
1736294
CRAFTED/rbsat/random/
forced/rbsat-v760c43649gyes10.cnf
SAT
40.6148
40.6447
1735194
CRAFTED/edgematching/
all/em_14_7_3_all.cnf
SAT
41.8046
41.8316
1561938
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
45.989
46.2273
1561782
CRAFTED/edgematching/
explicit/em_9_3_5_exp.cnf
SAT
51.4332
51.4609
1561418
CRAFTED/parity-games/
instance_n8_i8_pp.cnf
SAT
72.462
72.5166
1737774
CRAFTED/sgen/sat/
sgen1-sat-140-100.cnf
SAT
73.5518
73.5779
1732344
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
79.4529
79.5147
1725715
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
80.1598
80.2009
1726086
CRAFTED/edgematching/
explicit/em_7_4_8_exp.cnf
SAT
82.1555
82.2037
1561626
CRAFTED/edgematching/
compact/em_7_4_9_cmp.cnf
SAT
83.8213
83.8778
1560950
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes4.cnf
SAT
119.842
119.885
1735094
CRAFTED/modcircuits/
mod3block_3vars_9gates_restr.cnf
SAT
126.92
126.988
1733994
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g8.cnf
SAT
150.04
150.128
1734744
CRAFTED/
edgematching/all/em_7_4_8_all.cnf
SAT
172.954
173.055
1562146
CRAFTED/parity-games/
instance_n7_i8_pp.cnf
SAT
179.752
179.916
1737194
CRAFTED/edgematching/
explicit/em_12_2_4_exp.cnf
SAT
188.63
188.728
1561470
CRAFTED/ramseycube/
Q3inK12.cnf
SAT
197.913
198.01
1732894
CRAFTED/edgematching/
explicit/em_11_3_4_exp.cnf
SAT
202.421
202.536
1561366
CRAFTED/parity-games/
instance_n7_i7_pp_ci_ce.cnf
SAT
298.356
298.515
1736694
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
SAT
310.642
310.806
1728418
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes1.cnf
SAT
358.522
358.702
1735244
CRAFTED/sgi/
new-difficult-24-193-22-70.cnf
SAT
361.157
361.367
1738039
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
369.079
369.191
1726033
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g10.cnf
SAT
373.239
373.417
1734944
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
496.479
496.725
1726139
CRAFTED/sgi/
new-difficult-22-173-20-80.cnf
SAT
534.81
535.072
1738251
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
SAT
729.471
729.862
1737721
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes4.cnf
SAT
811.744
812.106
1735144
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g10.cnf
SAT
898.774
899.169
1734894
CRAFTED/parity-games/
instance_n9_i9_pp_ci_ce.cnf
SAT
1044.94
1045.29
1737880
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
SAT
1078.95
1079.23
1725980
CRAFTED/parity-games/
instance_n8_i9_pp.cnf
SAT
1117.62
1118.13
1737827
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
SAT
1182.28
1182.84
1730750
Solver timed out (no solution given) (167 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
? (TO)
1200
1200.61
1737986
CRAFTED/edgematching/
fbcolors/em_12_2_4_fbc.cnf
? (TO)
1200
1200.61
1562510
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
? (TO)
1200
1200.31
1731068
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
? (TO)
1200.01
1200.71
1730167
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2.cnf
? (TO)
1200.01
1200.71
1733144
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
1200.01
1200.41
1726722
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g5.cnf
? (TO)
1200.02
1200.61
1735644
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes2.cnf
? (TO)
1200.02
1200.61
1735844
CRAFTED/edgematching/
compact/em_7_4_8_cmp.cnf
? (TO)
1200.02
1200.61
1561262
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
? (TO)
1200.02
1200.51
1733894
CRAFTED/sgi/
new-difficult-28-302-26-75.cnf
? (TO)
1200.02
1200.41
1738357
CRAFTED/modcircuits/
mod4block_2vars_11gates_u2_autoenc.cnf
? (TO)
1200.02
1200.61
1733544
CRAFTED/parity-games/
instance_n7_i8_pp_ci_ce.cnf
? (TO)
1200.03
1200.61
1736244
CRAFTED/sgi/
new-difficult-21-168-19-90.cnf
? (TO)
1200.03
1200.41
1738145
CRAFTED/sgi/
new-difficult-26-243-24-70.cnf
? (TO)
1200.03
1200.61
1738198
CRAFTED/sgen/unsat/
sgen1-unsat-115-100.cnf
? (TO)
1200.03
1200.61
1737297
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
1200.03
1200.41
1735444
CRAFTED/rbsat/crafted/unforced/
rbsat-v2640c305320g4.cnf
? (TO)
1200.03
1200.61
1735544
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes9.cnf
? (TO)
1200.03
1200.41
1735394
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g4.cnf
? (TO)
1200.03
1200.71
1734644
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2_autoenc.cnf
? (TO)
1200.03
1200.62
1733944
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2.cnf
? (TO)
1200.03
1200.41
1733694
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
1200.03
1200.71
1727305
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
? (TO)
1200.03
1200.51
1727676
CRAFTED/ramseycube/
Q3inK13.cnf
? (TO)
1200.03
1206.21
1732744
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
? (TO)
1200.03
1200.61
1731015
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
1200.03
1200.61
1728524
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
1200.04
1200.61
1727093
CRAFTED/edgematching/
compact/em_14_7_3_cmp.cnf
? (TO)
1200.04
1200.41
1561210
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
1200.04
1200.31
1729213
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
1200.04
1200.41
1730220
CRAFTED/modcircuits/
mod4block_2vars_10gates_u2_autoenc.cnf
? (TO)
1200.04
1200.71
1733594
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2_restricted.cnf
? (TO)
1200.04
1200.71
1733294
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
? (TO)
1200.04
1200.61
1729160
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
1200.04
1200.41
1727994
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
1200.04
1200.31
1729425
CRAFTED/sgen/sat/
sgen1-sat-260-100.cnf
? (TO)
1200.04
1200.61
1732194
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
? (TO)
1200.04
1200.41
1726298
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
1200.04
1200.61
1726669
CRAFTED/sgen/sat/
sgen1-sat-250-100.cnf
? (TO)
1200.04
1200.61
1737403
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
1200.04
1200.51
1728206
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
1200.04
1200.51
1729637
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
1200.04
1200.41
1728312
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1728895
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1731121
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1726563
CRAFTED/sgen/unsat/
sgen1-unsat-139-100.cnf
? (TO)
1200.05
1200.61
1737509
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
? (TO)
1200.05
1200.71
1731651
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1727358
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
1200.05
1200.61
1730273
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
? (TO)
1200.05
1200.51
1728153
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
1200.05
1200.61
1727570
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
1200.05
1200.51
1726510
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
? (TO)
1200.05
1200.51
1728471
CRAFTED/edgematching/
fbcolors/em_14_7_3_fbc.cnf
? (TO)
1200.05
1200.41
1562302
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
1200.05
1200.61
1728683
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
1200.05
1200.51
1730485
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
1200.05
1200.61
1727888
CRAFTED/sgen/sat/
sgen1-sat-180-100.cnf
? (TO)
1200.05
1200.51
1732294
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
? (TO)
1200.06
1200.41
1738304
CRAFTED/edgematching/
fbcolors/em_9_3_5_fbc.cnf
? (TO)
1200.06
1200.61
1562250
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
? (TO)
1200.06
1200.71
1561002
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
? (TO)
1200.06
1200.71
1726404
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
1200.06
1200.51
1727517
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
? (TO)
1200.06
1200.61
1727835
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
1200.06
1200.51
1730432
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1730803
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1730591
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
? (TO)
1200.06
1200.71
1731280
CRAFTED/sgen/unsat/
sgen1-unsat-97-100.cnf
? (TO)
1200.06
1200.61
1731844
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
1200.06
1200.61
1733344
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
1200.06
1200.71
1734044
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g2.cnf
? (TO)
1200.06
1200.41
1734844
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g2.cnf
? (TO)
1200.06
1200.71
1734994
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes3.cnf
? (TO)
1200.06
1200.41
1735344
CRAFTED/edgematching/
fbcolors/em_11_3_4_fbc.cnf
? (TO)
1200.06
1200.61
1562562
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes9.cnf
? (TO)
1200.07
1200.61
1736044
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
1200.07
1200.41
1561158
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes1.cnf
? (TO)
1200.07
1200.71
1735994
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
? (TO)
1200.07
1200.61
1727941
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
1200.07
1200.71
1726881
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
1200.07
1200.61
1728047
CRAFTED/edgematching/
compact/em_9_3_5_cmp.cnf
? (TO)
1200.07
1200.41
1561106
CRAFTED/sgen/sat/
sgen1-sat-220-100.cnf
? (TO)
1200.07
1200.51
1732394
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g6.cnf
? (TO)
1200.07
1200.51
1734694
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
1200.07
1200.61
1726616
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
1200.07
1200.61
1730538
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
? (TO)
1200.07
1200.51
1562198
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2_restricted.cnf
? (TO)
1200.07
1200.62
1733744
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
1200.07
1200.61
1728259
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
1200.07
1200.61
1727411
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1729955
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
1200.07
1200.51
1727464
CRAFTED/edgematching/
compact/em_8_4_5_cmp.cnf
? (TO)
1200.07
1200.41
1561314
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1730697
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g2.cnf
? (TO)
1200.07
1200.71
1735694
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
1200.07
1200.61
1728736
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1731439
CRAFTED/modcircuits/
mod3block_2vars_9gates_u2_autoenc.cnf
? (TO)
1200.07
1200.61
1733794
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
1200.07
1200.61
1726934
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes8.cnf
? (TO)
1200.07
1200.61
1735944
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
1200.07
1200.61
1729319
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
1200.07
1200.61
1728630
CRAFTED/modcircuits/
mod5block_2vars_12gates.cnf
? (TO)
1200.08
1200.71
1733394
CRAFTED/rbsat/random/unforced/
rbsat-v1820c171155g3.cnf
? (TO)
1200.08
1200.81
1734794
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
1200.08
1200.61
1729478
CRAFTED/edgematching/
fbcolors/em_7_3_6_fbc.cnf
? (TO)
1200.08
1200.61
1562354
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
1200.08
1200.61
1735494
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
1200.08
1200.71
1726987
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
1200.08
1200.61
1729107
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1729531
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes1.cnf
? (TO)
1200.08
1200.61
1736094
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1731333
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
1200.08
1200.61
1728365
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
1200.08
1200.71
1730379
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
? (TO)
1200.08
1200.61
1725874
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1730644
CRAFTED/sgen/sat/
sgen1-sat-300-100.cnf
? (TO)
1200.08
1200.61
1732494
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes8.cnf
? (TO)
1200.08
1200.51
1735894
CRAFTED/rbsat/crafted/
forced/rbsat-v1820c171155gyes6.cnf
? (TO)
1200.08
1200.41
1735794
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
1200.08
1200.61
1728789
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2.cnf
? (TO)
1200.08
1200.41
1733194
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1727782
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
1200.08
1200.71
1726351
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
1200.08
1210.91
1726457
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
1200.08
1200.61
1727040
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g4.cnf
? (TO)
1200.08
1200.41
1735594
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes2.cnf
? (TO)
1200.09
1200.71
1735744
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
1200.09
1200.61
1730114
CRAFTED/sgen/sat/
sgen1-sat-270-100.cnf
? (TO)
1200.09
1200.51
1737562
CRAFTED/sgen/unsat/
sgen1-unsat-151-100.cnf
? (TO)
1200.09
1200.61
1737615
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
1200.09
1200.71
1731545
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1728100
CRAFTED/sgen/unsat/
sgen1-unsat-85-100.cnf
? (TO)
1200.09
1200.61
1731894
CRAFTED/sgen/unsat/
sgen1-unsat-121-100.cnf
? (TO)
1200.09
1200.51
1732144
CRAFTED/sgen/sat/
sgen1-sat-160-100.cnf
? (TO)
1200.09
1200.71
1732444
CRAFTED/parity-games/
instance_n8_i9_pp_ci_ce.cnf
? (TO)
1200.09
1200.71
1737933
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1726828
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
? (TO)
1200.09
1200.71
1729266
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1729001
CRAFTED/edgematching/
fbcolors/em_7_4_8_fbc.cnf
? (TO)
1200.1
1200.61
1562458
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
1200.1
1200.61
1729584
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
1200.1
1200.71
1727729
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
1200.1
1200.61
1728577
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2_autoenc.cnf
? (TO)
1200.1
1200.61
1733494
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
1200.1
1200.71
1561054
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
1200.1
1200.51
1730962
CRAFTED/sgen/sat/
sgen1-sat-280-100.cnf
? (TO)
1200.1
1200.61
1732244
CRAFTED/sgen/unsat/
sgen1-unsat-103-100.cnf
? (TO)
1200.1
1200.61
1737668
CRAFTED/sgen/sat/
sgen1-sat-290-100.cnf
? (TO)
1200.11
1200.41
1737350
CRAFTED/sgen/sat/
sgen1-sat-200-100.cnf
? (TO)
1200.11
1200.41
1732594
CRAFTED/sgen/sat/
sgen1-sat-240-100.cnf
? (TO)
1200.11
1200.61
1732544
CRAFTED/sgen/unsat/
sgen1-unsat-145-100.cnf
? (TO)
1200.11
1200.51
1732044
CRAFTED/sgen/unsat/
sgen1-unsat-109-100.cnf
? (TO)
1200.11
1200.61
1731794
CRAFTED/sgen/unsat/
sgen1-unsat-133-100.cnf
? (TO)
1200.11
1200.61
1731944
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
1200.11
1200.61
1731174
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
1200.11
1200.41
1729372
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
1200.11
1200.62
1729054
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
1200.11
1200.61
1728842
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
? (TO)
1200.12
1200.61
1730856
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
? (TO)
1200.12
1200.61
1728948
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
1200.12
1200.51
1730909
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
1200.12
1200.61
1727146
CRAFTED/sgen/sat/
sgen1-sat-230-100.cnf
? (TO)
1200.12
1200.71
1737456
CRAFTED/sgen/unsat/
sgen1-unsat-127-100.cnf
? (TO)
1200.12
1200.41
1737244
CRAFTED/modcircuits/
mod3block_2vars_10gates_u2_autoenc.cnf
? (TO)
1200.13
1200.51
1733444
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
1200.13
1200.71
1726775
Category "random instances" (RANDOM)
Solver found a solution (SATISFIABLE) (17 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S326477539-068.cnf
SAT
11.0903
11.0991
1519148
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1711406314-093.cnf
SAT
31.3272
31.3468
1519316
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1674394075-027.cnf
SAT
35.2286
35.262
1519088
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1826927554-087.cnf
SAT
48.6106
48.6305
1519208
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1684547485-073.cnf
SAT
86.6248
86.6514
1519220
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S2032263657-035.cnf
SAT
135.373
135.43
1519256
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1459690542-033.cnf
SAT
263.979
264.053
1519232
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S311671104-045.cnf
SAT
466.063
466.286
1518296
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1841979702-078.cnf
SAT
473.534
473.735
1519184
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S144043535-002.cnf
SAT
573.679
573.942
1519304
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1326039470-063.cnf
SAT
580.422
580.697
1518596
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1568932519-011.cnf
SAT
638.389
638.708
1515404
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S725789261-031.cnf
SAT
643.751
644.031
1518704
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1516934767-080.cnf
SAT
778.589
778.855
1519124
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1912687159-077.cnf
SAT
863.711
864.151
1519172
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1041106011-094.cnf
SAT
1065.92
1066.38
1519160
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S172053238-003.cnf
SAT
1076.27
1076.87
1518572
Solver timed out (no solution given) (553 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf
? (TO)
1200
1200.51
1513964
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1192890414-033.cnf
? (TO)
1200
1200.61
1513064
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf
? (TO)
1200
1200.41
1514240
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf
? (TO)
1200
1200.41
1514540
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S595075179-058.cnf
? (TO)
1200
1200.51
1514144
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S2124311399-085.cnf
? (TO)
1200
1200.41
1512896
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S45173584-020.cnf
? (TO)
1200
1200.51
1512572
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S193214747-044.cnf
? (TO)
1200
1200.61
1513160
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S762724712-048.cnf
? (TO)
1200.01
1200.71
1514060
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S249585100-059.cnf
? (TO)
1200.01
1200.31
1512608
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S821759333-092.cnf
? (TO)
1200.01
1200.61
1514096
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S779309989-069.cnf
? (TO)
1200.01
1200.71
1513796
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S579205610-033.cnf
? (TO)
1200.01
1200.61
1513976
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf
? (TO)
1200.01
1200.71
1514288
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf
? (TO)
1200.01
1200.12
1514456
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1119648091-064.cnf
? (TO)
1200.01
1200.41
1512956
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S155821307-034.cnf
? (TO)
1200.01
1200.61
1512824
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S139794312-098.cnf
? (TO)
1200.01
1200.51
1514396
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S377647456-019.cnf
? (TO)
1200.01
1200.61
1514756
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S688804305-073.cnf
? (TO)
1200.01
1200.61
1513988
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1284372491-036.cnf
? (TO)
1200.01
1200.71
1512524
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S23373420-028.cnf
? (TO)
1200.02
1200.71
1517984
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S486002104-037.cnf
? (TO)
1200.02
1200.61
1519136
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1014608490-038.cnf
? (TO)
1200.02
1200.61
1518332
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S882603971-022.cnf
? (TO)
1200.02
1200.41
1512788
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S956556686-037.cnf
? (TO)
1200.02
1200.61
1513436
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S91288590-071.cnf
? (TO)
1200.02
1199.91
1513508
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S500426663-025.cnf
? (TO)
1200.02
1200.51
1514024
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1281410666-045.cnf
? (TO)
1200.02
1200.61
1513028
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf
? (TO)
1200.02
1200.61
1513748
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S56507352-034.cnf
? (TO)
1200.02
1200.61
1514672
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S15767910-042.cnf
? (TO)
1200.02
1200.61
1514720
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S942507261-096.cnf
? (TO)
1200.02
1200.51
1513304
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1961115887-052.cnf
? (TO)
1200.02
1200.51
1513088
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf
? (TO)
1200.02
1200.61
1514480
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1211704640-033.cnf
? (TO)
1200.02
1200.61
1515092
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1788451776-008.cnf
? (TO)
1200.02
1200.41
1512908
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1185462553-011.cnf
? (TO)
1200.02
1200.41
1512716
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S704699380-099.cnf
? (TO)
1200.02
1200.41
1512536
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S914323646-060.cnf
? (TO)
1200.02
1200.61
1514612
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf
? (TO)
1200.02
1200.61
1514324
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf
? (TO)
1200.03
1200.41
1513700
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1748152762-086.cnf
? (TO)
1200.03
1200.41
1512656
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S2054922493-058.cnf
? (TO)
1200.03
1200.61
1512752
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1460100153-095.cnf
? (TO)
1200.03
1200.41
1518248
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S190880026-038.cnf
? (TO)
1200.03
1200.61
1517756
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S457856978-061.cnf
? (TO)
1200.03
1200.61
1517552
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S433356712-017.cnf
? (TO)
1200.03
1200.61
1518800
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1007745655-097.cnf
? (TO)
1200.03
1200.61
1517564
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S285229208-001.cnf
? (TO)
1200.03
1200.71
1517600
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1543261951-042.cnf
? (TO)
1200.03
1200.62
1513448
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S72273909-010.cnf
? (TO)
1200.03
1200.61
1516616
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1402156840-093.cnf
? (TO)
1200.03
1200.62
1516568
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1551099861-042.cnf
? (TO)
1200.03
1200.52
1516040
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S884764237-004.cnf
? (TO)
1200.03
1200.61
1515884
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S971118900-053.cnf
? (TO)
1200.03
1200.51
1515584
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S986324446-009.cnf
? (TO)
1200.03
1200.51
1515332
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1931398869-036.cnf
? (TO)
1200.03
1200.51
1515416
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1159550149-077.cnf
? (TO)
1200.03
1200.61
1515452
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1086008090-058.cnf
? (TO)
1200.03
1200.41
1515236
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S402241321-038.cnf
? (TO)
1200.03
1200.61
1515512
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1305875336-097.cnf
? (TO)
1200.03
1200.61
1514912
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S745855171-090.cnf
? (TO)
1200.03
1200.51
1514804
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S339800239-026.cnf
? (TO)
1200.03
1200.41
1514504
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1357790788-074.cnf
? (TO)
1200.03
1200.12
1515116
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S568017735-066.cnf
? (TO)
1200.03
1200.61
1514372
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S780904324-093.cnf
? (TO)
1200.03
1200.61
1518680
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1573578038-005.cnf
? (TO)
1200.03
1200.41
1512848
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S7007454-009.cnf
? (TO)
1200.03
1199.91
1513688
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S367138237-029.cnf
? (TO)
1200.03
1200.71
1517912
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S599916448-096.cnf
? (TO)
1200.03
1200.61
1516028
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S274764005-003.cnf
? (TO)
1200.03
1200.61
1514036
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1494961823-060.cnf
? (TO)
1200.03
1200.71
1518008
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S268463339-081.cnf
? (TO)
1200.03
1200.61
1513916
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S520696524-059.cnf
? (TO)
1200.03
1200.61
1513736
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S387386125-069.cnf
? (TO)
1200.03
1200.51
1517192
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S115851319-100.cnf
? (TO)
1200.03
1200.41
1512740
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1334593800-018.cnf
? (TO)
1200.03
1200.61
1512860
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1738391204-028.cnf
? (TO)
1200.03
1200.51
1512944
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S805234188-084.cnf
? (TO)
1200.03
1200.41
1512800
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S315403000-060.cnf
? (TO)
1200.03
1200.71
1512692
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S678706275-057.cnf
? (TO)
1200.03
1200.51
1512872
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S2096960818-049.cnf
? (TO)
1200.04
1200.41
1517024
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S327274323-044.cnf
? (TO)
1200.04
1200.62
1513556
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S74035269-088.cnf
? (TO)
1200.04
1200.61
1513604
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1420449214-092.cnf
? (TO)
1200.04
1200.62
1515080
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1629955917-055.cnf
? (TO)
1200.04
1200.71
1515008
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S2037556208-016.cnf
? (TO)
1200.04
1200.62
1516232
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1096716652-027.cnf
? (TO)
1200.04
1200.52
1516268
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1700363952-014.cnf
? (TO)
1200.04
1200.61
1517816
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1797123396-073.cnf
? (TO)
1200.04
1200.41
1512668
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2088224617-083.cnf
? (TO)
1200.04
1207.02
1512512
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1253795703-015.cnf
? (TO)
1200.04
1200.41
1512884
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S266028630-005.cnf
? (TO)
1200.04
1200.52
1513232
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S839302453-094.cnf
? (TO)
1200.04
1200.61
1513952
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S859578263-029.cnf
? (TO)
1200.04
1200.41
1513868
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf
? (TO)
1200.04
1200.61
1513784
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf
? (TO)
1200.04
1200.71
1513892
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf
? (TO)
1200.04
1200.51
1513856
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf
? (TO)
1200.04
1200.61
1514204
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf
? (TO)
1200.04
1200.71
1514636
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf
? (TO)
1200.04
1200.71
1514576
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S219795104-099.cnf
? (TO)
1200.04
1200.71
1514732
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf
? (TO)
1200.04
1200.61
1514684
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2119656249-086.cnf
? (TO)
1200.04
1200.41
1514768
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S845966893-046.cnf
? (TO)
1200.04
1200.62
1514948
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1376127278-008.cnf
? (TO)
1200.04
1200.61
1515272
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1481888618-011.cnf
? (TO)
1200.04
1200.61
1515296
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2007547542-039.cnf
? (TO)
1200.04
1200.42
1515440
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1153031014-012.cnf
? (TO)
1200.04
1200.61
1515656
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S179172230-011.cnf
? (TO)
1200.04
1200.41
1515680
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1017443264-065.cnf
? (TO)
1200.04
1200.71
1515692
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2125310989-062.cnf
? (TO)
1200.04
1200.62
1515908
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1171422074-087.cnf
? (TO)
1200.04
1200.12
1516064
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1858385213-060.cnf
? (TO)
1200.04
1200.41
1516292
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1854680784-082.cnf
? (TO)
1200.04
1200.41
1516928
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1775841359-070.cnf
? (TO)
1200.04
1200.41
1517396
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S332478069-041.cnf
? (TO)
1200.04
1200.61
1517324
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1404929091-050.cnf
? (TO)
1200.04
1200.51
1517408
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S853819067-006.cnf
? (TO)
1200.04
1200.71
1517480
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S2037268960-098.cnf
? (TO)
1200.04
1200.61
1517420
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S680239195-053.cnf
? (TO)
1200.04
1201.01
1517948
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S2043187304-036.cnf
? (TO)
1200.04
1200.81
1517852
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1338462531-082.cnf
? (TO)
1200.04
1200.31
1518896
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1555503917-029.cnf
? (TO)
1200.04
1200.41
1519028
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S722433227-030.cnf
? (TO)
1200.04
1200.61
1519280
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1036996799-006.cnf
? (TO)
1200.04
1200.41
1519112
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf
? (TO)
1200.05
1200.61
1514012
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1730125812-056.cnf
? (TO)
1200.05
1200.61
1518908
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1394630553-009.cnf
? (TO)
1200.05
1200.71
1516148
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1598052044-078.cnf
? (TO)
1200.05
1200.71
1517456
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S221596758-009.cnf
? (TO)
1200.05
1200.51
1514696
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S2032726331-082.cnf
? (TO)
1200.05
1200.41
1518536
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1766907733-036.cnf
? (TO)
1200.05
1200.71
1513124
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S247943532-069.cnf
? (TO)
1200.05
1200.41
1518128
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2058039218-006.cnf
? (TO)
1200.05
1200.51
1516184
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1293537826-039.cnf
? (TO)
1200.05
1200.71
1519268
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1002348653-090.cnf
? (TO)
1200.05
1200.61
1518884
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf
? (TO)
1200.05
1200.61
1513772
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S685953260-065.cnf
? (TO)
1200.05
1200.51
1513004
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1818639567-059.cnf
? (TO)
1200.05
1200.71
1513592
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S2034442711-054.cnf
? (TO)
1200.05
1200.51
1517588
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1266438269-016.cnf
? (TO)
1200.05
1200.71
1516076
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S122462268-047.cnf
? (TO)
1200.05
1200.61
1514900
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2106599808-035.cnf
? (TO)
1200.05
1200.61
1519076
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S486178562-011.cnf
? (TO)
1200.05
1200.61
1516904
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S926047226-039.cnf
? (TO)
1200.05
1200.41
1517612
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1500472284-060.cnf
? (TO)
1200.05
1200.51
1513040
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S638051453-097.cnf
? (TO)
1200.05
1200.41
1517468
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S136987316-008.cnf
? (TO)
1200.05
1200.41
1513712
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S418266958-049.cnf
? (TO)
1200.05
1200.61
1518512
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1879859331-044.cnf
? (TO)
1200.05
1200.51
1518380
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf
? (TO)
1200.05
1200.71
1513808
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1610649331-094.cnf
? (TO)
1200.05
1200.62
1516052
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1536609007-088.cnf
? (TO)
1200.05
1200.61
1518152
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S2142680239-019.cnf
? (TO)
1200.05
1200.41
1518752
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf
? (TO)
1200.05
1200.61
1514108
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1213077873-067.cnf
? (TO)
1200.05
1200.42
1516736
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S374947955-075.cnf
? (TO)
1200.05
1200.61
1517072
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1178729443-051.cnf
? (TO)
1200.05
1200.61
1513472
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S197260469-019.cnf
? (TO)
1200.05
1200.61
1515836
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S51132115-023.cnf
? (TO)
1200.05
1200.61
1514444
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1127319144-058.cnf
? (TO)
1200.05
1200.62
1513196
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S712437980-063.cnf
? (TO)
1200.05
1200.61
1514936
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1850025790-078.cnf
? (TO)
1200.05
1200.51
1515284
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1528023000-027.cnf
? (TO)
1200.05
1200.61
1516976
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S826724848-048.cnf
? (TO)
1200.05
1200.61
1514660
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1040507052-028.cnf
? (TO)
1200.05
1200.41
1512584
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S179568577-034.cnf
? (TO)
1200.05
1200.41
1517084
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf
? (TO)
1200.05
1200.61
1514600
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf
? (TO)
1200.05
1200.61
1514168
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf
? (TO)
1200.05
1200.51
1514552
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1313163883-027.cnf
? (TO)
1200.05
1200.61
1513076
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S900957093-043.cnf
? (TO)
1200.05
1200.31
1516784
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S420719158-080.cnf
? (TO)
1200.05
1200.61
1514624
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1723021362-073.cnf
? (TO)
1200.05
1200.41
1516436
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S322778960-054.cnf
? (TO)
1200.05
1207.02
1514492
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1645769281-097.cnf
? (TO)
1200.05
1200.41
1516484
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2056912842-027.cnf
? (TO)
1200.05
1200.61
1518104
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S342542912-045.cnf
? (TO)
1200.05
1200.62
1516628
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S906020180-093.cnf
? (TO)
1200.06
1200.81
1514384
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S305156909-031.cnf
? (TO)
1200.06
1200.61
1517996
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf
? (TO)
1200.06
1200.61
1514468
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1810287895-075.cnf
? (TO)
1200.06
1200.71
1517672
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S844931093-069.cnf
? (TO)
1200.06
1200.61
1518464
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf
? (TO)
1200.06
1200.71
1514348
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf
? (TO)
1200.06
1200.71
1514420
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1750991629-037.cnf
? (TO)
1200.06
1200.61
1517156
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S17277413-072.cnf
? (TO)
1200.06
1200.71
1514432
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S648763183-023.cnf
? (TO)
1200.06
1200.61
1514180
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S357555833-073.cnf
? (TO)
1200.06
1200.41
1515620
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf
? (TO)
1200.06
1200.61
1514516
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S393518083-009.cnf
? (TO)
1200.06
1200.61
1515488
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S367498571-066.cnf
? (TO)
1200.06
1200.61
1515020
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1531283922-009.cnf
? (TO)
1200.06
1200.61
1518584
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S257485978-084.cnf
? (TO)
1200.06
1200.61
1514828
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S404185236-001.cnf
? (TO)
1200.06
1200.71
1517936
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S572248576-042.cnf
? (TO)
1200.06
1200.61
1516952
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S441484366-048.cnf
? (TO)
1200.06
1200.41
1513316
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1251522734-073.cnf
? (TO)
1200.06
1200.51
1514864
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf
? (TO)
1200.06
1200.71
1514120
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S2025517367-061.cnf
? (TO)
1200.06
1200.61
1517888
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2015297474-031.cnf
? (TO)
1200.06
1200.41
1512500
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1183359164-025.cnf
? (TO)
1200.06
1200.41
1512680
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf
? (TO)
1200.06
1200.71
1514252
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1971658345-089.cnf
? (TO)
1200.06
1200.61
1514792
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S785082413-028.cnf
? (TO)
1200.06
1200.41
1514972
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1988754311-026.cnf
? (TO)
1200.06
1200.41
1516652
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2035161427-020.cnf
? (TO)
1200.06
1200.41
1519064
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1136894336-075.cnf
? (TO)
1200.06
1200.41
1513268
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S975048338-088.cnf
? (TO)
1200.06
1200.61
1517132
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S905029262-097.cnf
? (TO)
1200.06
1200.41
1516136
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S318878687-017.cnf
? (TO)
1200.06
1200.61
1513148
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1249224492-031.cnf
? (TO)
1200.06
1200.62
1513352
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1695726805-003.cnf
? (TO)
1200.06
1200.42
1513292
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S583379276-046.cnf
? (TO)
1200.06
1200.61
1517528
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1175850950-017.cnf
? (TO)
1200.06
1200.62
1517540
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1378953985-075.cnf
? (TO)
1200.06
1207.01
1513376
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1366769180-095.cnf
? (TO)
1200.06
1200.61
1516448
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803029538-050.cnf
? (TO)
1200.06
1200.71
1516676
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf
? (TO)
1200.06
1200.41
1513904
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1484713995-092.cnf
? (TO)
1200.06
1200.61
1516424
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S349436298-004.cnf
? (TO)
1200.06
1200.42
1518032
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S104085281-076.cnf
? (TO)
1200.06
1200.71
1517180
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S522321670-058.cnf
? (TO)
1200.06
1200.52
1513208
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1249441590-066.cnf
? (TO)
1200.06
1200.41
1517732
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1818347447-078.cnf
? (TO)
1200.06
1199.91
1515992
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S110290755-003.cnf
? (TO)
1200.06
1200.41
1518620
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1295462378-089.cnf
? (TO)
1200.06
1200.61
1513412
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1045096471-025.cnf
? (TO)
1200.06
1199.91
1518080
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S21800963-085.cnf
? (TO)
1200.06
1200.61
1513880
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2028777924-038.cnf
? (TO)
1200.06
1200.41
1515920
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1250067652-054.cnf
? (TO)
1200.06
1200.51
1517444
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf
? (TO)
1200.06
1200.51
1514072
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf
? (TO)
1200.06
1200.71
1513724
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S962875623-008.cnf
? (TO)
1200.06
1200.51
1512968
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S356738975-073.cnf
? (TO)
1200.06
1200.41
1517696
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1703611043-077.cnf
? (TO)
1200.06
1207.01
1515752
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S703461330-034.cnf
? (TO)
1200.06
1200.61
1515788
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1940784272-089.cnf
? (TO)
1200.06
1200.51
1518272
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2099753268-053.cnf
? (TO)
1200.06
1199.91
1515776
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf
? (TO)
1200.06
1200.61
1514312
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S432895007-058.cnf
? (TO)
1200.07
1200.61
1516472
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1985172968-100.cnf
? (TO)
1200.07
1200.71
1519100
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1564075794-028.cnf
? (TO)
1200.07
1200.61
1517492
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1049921489-034.cnf
? (TO)
1200.07
1200.71
1513340
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S907861678-077.cnf
? (TO)
1200.07
1200.51
1513424
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1639151107-094.cnf
? (TO)
1200.07
1200.41
1516208
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S2051339669-029.cnf
? (TO)
1200.07
1200.51
1513172
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S452919966-071.cnf
? (TO)
1200.07
1200.62
1513280
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1970456972-046.cnf
? (TO)
1200.07
1200.61
1513016
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1912214877-051.cnf
? (TO)
1200.07
1200.81
1512764
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1352224201-070.cnf
? (TO)
1200.07
1200.61
1513364
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S566590366-099.cnf
? (TO)
1200.07
1200.41
1513544
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S195213520-027.cnf
? (TO)
1200.07
1200.71
1513928
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf
? (TO)
1200.07
1200.51
1513760
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1085378176-050.cnf
? (TO)
1200.07
1200.62
1513676
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1353769076-009.cnf
? (TO)
1200.07
1200.61
1512632
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S501150091-001.cnf
? (TO)
1200.07
1200.62
1512488
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1746008863-010.cnf
? (TO)
1200.07
1200.61
1517708
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf
? (TO)
1200.07
1200.51
1514084
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf
? (TO)
1200.07
1200.51
1514156
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf
? (TO)
1200.07
1200.61
1513820
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S144924920-056.cnf
? (TO)
1200.07
1200.71
1512836
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf
? (TO)
1200.07
1200.61
1514336
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1322153318-039.cnf
? (TO)
1200.07
1200.41
1512548
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S661850551-087.cnf
? (TO)
1200.07
1200.41
1512920
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S559732886-091.cnf
? (TO)
1200.07
1200.62
1514960
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf
? (TO)
1200.07
1200.71
1514708
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf
? (TO)
1200.07
1200.51
1514648
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1375576340-029.cnf
? (TO)
1200.07
1200.41
1517240
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S310111511-029.cnf
? (TO)
1200.07
1200.71
1514264
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf
? (TO)
1200.07
1200.71
1514228
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S102181364-052.cnf
? (TO)
1200.07
1200.61
1514852
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S638042053-051.cnf
? (TO)
1200.07
1200.51
1515308
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S852794659-023.cnf
? (TO)
1200.07
1200.61
1515428
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1963731659-060.cnf
? (TO)
1200.07
1200.51
1515644
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S449511205-064.cnf
? (TO)
1200.07
1200.51
1518728
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf
? (TO)
1200.07
1200.61
1514192
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1707873242-085.cnf
? (TO)
1200.07
1200.61
1515536
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1503318847-091.cnf
? (TO)
1200.07
1200.61
1515632
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S2087271472-092.cnf
? (TO)
1200.07
1200.61
1518212
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1017667294-044.cnf
? (TO)
1200.07
1200.81
1513568
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1163324878-032.cnf
? (TO)
1200.07
1200.61
1515704
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1139247531-051.cnf
? (TO)
1200.07
1200.61
1518308
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1767425240-073.cnf
? (TO)
1200.07
1200.61
1518548
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S254828838-055.cnf
? (TO)
1200.07
1200.71
1515968
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S419666888-007.cnf
? (TO)
1200.07
1200.61
1518524
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S208461254-049.cnf
? (TO)
1200.07
1200.71
1518716
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S948914005-013.cnf
? (TO)
1200.07
1200.72
1513220
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S900737394-048.cnf
? (TO)
1200.07
1200.41
1518824
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1137823545-077.cnf
? (TO)
1200.07
1200.41
1518740
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1146593655-045.cnf
? (TO)
1200.07
1200.71
1516460
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S592525179-032.cnf
? (TO)
1200.07
1200.61
1513460
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S2060380282-019.cnf
? (TO)
1200.07
1200.41
1516556
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1602291491-023.cnf
? (TO)
1200.07
1200.62
1516820
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S287307030-088.cnf
? (TO)
1200.07
1200.71
1516688
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S645163129-012.cnf
? (TO)
1200.07
1200.61
1516724
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1568578307-064.cnf
? (TO)
1200.07
1200.61
1513136
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1778559297-006.cnf
? (TO)
1200.07
1200.71
1518356
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1553390498-064.cnf
? (TO)
1200.07
1200.71
1517228
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1154116462-097.cnf
? (TO)
1200.07
1200.61
1517120
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1353993612-015.cnf
? (TO)
1200.07
1207.02
1517348
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1849057034-020.cnf
? (TO)
1200.07
1200.62
1513520
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S2069223517-023.cnf
? (TO)
1200.07
1200.61
1518956
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1895787950-064.cnf
? (TO)
1200.08
1207.02
1516508
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2142489608-055.cnf
? (TO)
1200.08
1200.61
1516124
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S51205200-028.cnf
? (TO)
1200.08
1200.51
1516664
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2025169165-076.cnf
? (TO)
1200.08
1200.41
1518044
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1802626390-033.cnf
? (TO)
1200.08
1200.61
1513388
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1772254584-042.cnf
? (TO)
1200.08
1200.71
1515524
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1983754128-073.cnf
? (TO)
1200.08
1200.41
1517768
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S445910413-047.cnf
? (TO)
1200.08
1200.71
1516520
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1736708510-089.cnf
? (TO)
1200.08
1200.51
1516196
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1772751287-054.cnf
? (TO)
1200.08
1200.51
1515812
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S714125262-017.cnf
? (TO)
1200.08
1200.71
1518560
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1441840675-053.cnf
? (TO)
1200.08
1200.81
1512812
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1845944120-011.cnf
? (TO)
1200.08
1200.62
1513400
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S287522321-032.cnf
? (TO)
1200.08
1200.71
1517312
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S814638510-058.cnf
? (TO)
1200.08
1200.72
1513628
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S180439591-093.cnf
? (TO)
1200.08
1200.71
1518284
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S358640743-023.cnf
? (TO)
1200.08
1200.71
1515896
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1735544520-075.cnf
? (TO)
1200.08
1200.71
1516796
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1588298513-036.cnf
? (TO)
1200.08
1200.72
1513244
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S956671877-054.cnf
? (TO)
1200.08
1207.02
1518140
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1331813943-033.cnf
? (TO)
1200.08
1200.41
1516880
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1018145191-052.cnf
? (TO)
1200.08
1200.41
1512992
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1549575664-035.cnf
? (TO)
1200.08
1200.41
1513100
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S809967194-078.cnf
? (TO)
1200.08
1200.72
1518452
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1528563858-100.cnf
? (TO)
1200.08
1200.51
1518872
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S251246256-047.cnf
? (TO)
1200.08
1200.41
1512620
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf
? (TO)
1200.08
1200.41
1514360
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1694258328-099.cnf
? (TO)
1200.08
1201.22
1517780
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1350958473-082.cnf
? (TO)
1200.08
1206.82
1517360
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1879656894-046.cnf
? (TO)
1200.08
1200.51
1515716
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1628763900-004.cnf
? (TO)
1200.08
1200.71
1517576
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S84716411-095.cnf
? (TO)
1200.08
1200.41
1518812
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S108799362-035.cnf
? (TO)
1200.08
1200.41
1515764
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1611899384-022.cnf
? (TO)
1200.08
1200.61
1513052
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S2007898659-069.cnf
? (TO)
1200.08
1200.61
1517744
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2054549948-012.cnf
? (TO)
1200.08
1200.41
1512596
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1263695887-042.cnf
? (TO)
1200.08
1200.71
1518692
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1736471436-014.cnf
? (TO)
1200.08
1200.51
1512644
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1540921235-015.cnf
? (TO)
1200.08
1200.61
1516892
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1916972979-060.cnf
? (TO)
1200.08
1200.71
1514888
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S822708255-070.cnf
? (TO)
1200.08
1200.71
1514216
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S285713182-059.cnf
? (TO)
1200.08
1200.42
1513532
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S914952752-019.cnf
? (TO)
1200.08
1206.42
1514816
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1580204273-012.cnf
? (TO)
1200.08
1200.71
1517840
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1388268034-092.cnf
? (TO)
1200.08
1201.22
1512776
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1916548023-003.cnf
? (TO)
1200.08
1200.71
1518776
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1422278005-004.cnf
? (TO)
1200.08
1200.72
1515668
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1954748117-061.cnf
? (TO)
1200.08
1200.51
1512728
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1369720750-015.cnf
? (TO)
1200.08
1200.71
1517900
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf
? (TO)
1200.08
1200.61
1514132
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S393462637-097.cnf
? (TO)
1200.08
1200.51
1517300
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1206040031-030.cnf
? (TO)
1200.08
1200.51
1516304
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1332067449-041.cnf
? (TO)
1200.08
1200.71
1518764
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S398733532-072.cnf
? (TO)
1200.08
1200.62
1515248
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1492329924-074.cnf
? (TO)
1200.08
1200.61
1515344
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1767813611-042.cnf
? (TO)
1200.08
1200.41
1515260
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1394036608-091.cnf
? (TO)
1200.08
1200.61
1516940
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S515665970-021.cnf
? (TO)
1200.08
1200.62
1515128
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S547165541-056.cnf
? (TO)
1200.08
1200.61
1513652
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S957997002-040.cnf
? (TO)
1200.08
1200.61
1518860
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1804335510-002.cnf
? (TO)
1200.08
1200.71
1519196
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S326668183-079.cnf
? (TO)
1200.08
1200.51
1516316
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1724014998-099.cnf
? (TO)
1200.08
1200.41
1512704
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S928666993-098.cnf
? (TO)
1200.08
1200.61
1517804
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf
? (TO)
1200.08
1200.81
1514588
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S709270457-007.cnf
? (TO)
1200.08
1200.61
1516544
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S2104277852-078.cnf
? (TO)
1200.08
1200.41
1517216
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1698591437-083.cnf
? (TO)
1200.08
1200.41
1515032
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S45592023-054.cnf
? (TO)
1200.08
1200.61
1518368
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S125259973-020.cnf
? (TO)
1200.08
1200.71
1517276
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S449556655-088.cnf
? (TO)
1200.08
1200.71
1518932
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1640054673-078.cnf
? (TO)
1200.08
1200.72
1516580
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1718226278-096.cnf
? (TO)
1200.08
1207.02
1516352
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S617358728-082.cnf
? (TO)
1200.09
1200.71
1519004
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1614425450-034.cnf
? (TO)
1200.09
1200.61
1519052
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2139292994-055.cnf
? (TO)
1200.09
1200.72
1515392
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S644655157-049.cnf
? (TO)
1200.09
1200.41
1515608
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1924575376-025.cnf
? (TO)
1200.09
1200.41
1518944
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S502087726-095.cnf
? (TO)
1200.09
1200.71
1517876
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf
? (TO)
1200.09
1200.61
1514564
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S565763763-051.cnf
? (TO)
1200.09
1200.71
1518416
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S612955126-075.cnf
? (TO)
1200.09
1200.61
1514300
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1028159446-096.cnf
? (TO)
1200.09
1246.52
1517924
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2065372010-022.cnf
? (TO)
1200.09
1200.71
1515800
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S321371087-018.cnf
? (TO)
1200.09
1200.51
1518980
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S146188995-071.cnf
? (TO)
1200.09
1200.71
1518176
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1161147107-031.cnf
? (TO)
1200.09
1200.61
1518200
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1318210982-002.cnf
? (TO)
1200.09
1200.51
1515824
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S80067159-015.cnf
? (TO)
1200.09
1200.51
1515176
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1880984131-087.cnf
? (TO)
1200.09
1200.51
1518344
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S621134782-041.cnf
? (TO)
1200.09
1200.71
1518188
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1906521511-089.cnf
? (TO)
1200.09
1200.51
1517972
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf
? (TO)
1200.09
1200.71
1514048
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2141146009-040.cnf
? (TO)
1200.09
1200.61
1515872
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S743448446-027.cnf
? (TO)
1200.09
1200.61
1512932
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S886725553-011.cnf
? (TO)
1200.09
1200.41
1513112
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S178043354-076.cnf
? (TO)
1200.09
1200.61
1516220
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S2142794689-088.cnf
? (TO)
1200.09
1200.71
1515980
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S142096783-019.cnf
? (TO)
1200.09
1200.61
1518488
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2073320038-053.cnf
? (TO)
1200.09
1200.51
1516100
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S444219303-098.cnf
? (TO)
1200.09
1200.41
1517288
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S517464300-073.cnf
? (TO)
1200.09
1200.71
1517060
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S746386799-050.cnf
? (TO)
1200.09
1200.41
1516280
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1354285755-030.cnf
? (TO)
1200.09
1200.71
1516400
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2067258640-036.cnf
? (TO)
1200.09
1200.61
1518968
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1299934729-015.cnf
? (TO)
1200.09
1200.71
1516172
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1807135406-059.cnf
? (TO)
1200.09
1200.61
1517828
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1377066099-004.cnf
? (TO)
1200.09
1200.71
1517684
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S279212213-020.cnf
? (TO)
1200.09
1200.51
1513844
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf
? (TO)
1200.09
1200.61
1513832
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803323266-025.cnf
? (TO)
1200.09
1200.71
1516640
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S819692891-023.cnf
? (TO)
1200.09
1200.42
1516604
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S786890012-057.cnf
? (TO)
1200.09
1200.71
1518428
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S981523907-072.cnf
? (TO)
1200.09
1200.41
1518500
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf
? (TO)
1200.09
1200.61
1514000
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1803805764-016.cnf
? (TO)
1200.09
1200.71
1516748
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S839983432-073.cnf
? (TO)
1200.09
1200.41
1516592
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S211141966-058.cnf
? (TO)
1200.09
1200.71
1512980
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S799705985-049.cnf
? (TO)
1200.09
1200.51
1516772
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S2140929154-062.cnf
? (TO)
1200.09
1200.61
1513256
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1718100253-004.cnf
? (TO)
1200.09
1200.62
1516160
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S375588147-050.cnf
? (TO)
1200.09
1200.71
1513184
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1048138627-064.cnf
? (TO)
1200.09
1200.71
1516856
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1864473452-037.cnf
? (TO)
1200.09
1200.61
1513496
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1897376969-026.cnf
? (TO)
1200.09
1200.51
1516808
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1159067237-017.cnf
? (TO)
1200.09
1200.51
1517720
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1546885609-031.cnf
? (TO)
1200.09
1200.41
1519040
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S23858409-056.cnf
? (TO)
1200.09
1200.61
1518788
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S368632549-051.cnf
? (TO)
1200.09
1200.41
1519292
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S353643296-086.cnf
? (TO)
1200.09
1200.42
1518116
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S650356257-052.cnf
? (TO)
1200.09
1200.71
1514744
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S744068878-072.cnf
? (TO)
1200.09
1200.71
1515368
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2083487609-068.cnf
? (TO)
1200.09
1200.61
1514876
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1448866403-060.cnf
? (TO)
1200.09
1200.71
1519244
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1906075351-024.cnf
? (TO)
1200.09
1200.62
1513580
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S817309453-059.cnf
? (TO)
1200.09
1200.72
1518836
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1040456712-073.cnf
? (TO)
1200.09
1206.72
1515464
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S162003179-087.cnf
? (TO)
1200.09
1200.71
1514408
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf
? (TO)
1200.09
1200.71
1514528
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S121765931-081.cnf
? (TO)
1200.09
1200.61
1516964
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1362286908-061.cnf
? (TO)
1200.09
1200.41
1518260
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S289069074-070.cnf
? (TO)
1200.1
1200.71
1515860
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1850138369-006.cnf
? (TO)
1200.1
1200.51
1512560
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S820736259-091.cnf
? (TO)
1200.1
1200.61
1517108
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S2059720696-001.cnf
? (TO)
1200.1
1200.41
1513664
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S439075063-023.cnf
? (TO)
1200.1
1200.71
1513940
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1229813320-044.cnf
? (TO)
1200.1
1200.71
1518848
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S207294319-099.cnf
? (TO)
1200.1
1200.71
1515104
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S35186747-095.cnf
? (TO)
1200.1
1200.61
1515044
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S2083778933-085.cnf
? (TO)
1200.1
1200.71
1515188
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf
? (TO)
1200.1
1200.81
1514276
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S632066493-060.cnf
? (TO)
1200.1
1200.41
1514840
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1736056721-032.cnf
? (TO)
1200.1
1200.71
1514780
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1050568800-025.cnf
? (TO)
1200.1
1200.41
1515068
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S282405510-004.cnf
? (TO)
1200.1
1207.21
1515572
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S47926000-049.cnf
? (TO)
1200.1
1200.71
1515476
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1367181683-025.cnf
? (TO)
1200.1
1200.51
1519016
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S528193823-041.cnf
? (TO)
1200.1
1200.41
1515740
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1920888253-090.cnf
? (TO)
1200.1
1200.71
1515548
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S308012126-046.cnf
? (TO)
1200.1
1200.62
1515596
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1900558626-069.cnf
? (TO)
1200.1
1200.41
1515944
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S400162545-095.cnf
? (TO)
1200.1
1200.61
1516088
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1525918493-008.cnf
? (TO)
1200.1
1200.71
1516112
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1794178048-059.cnf
? (TO)
1200.1
1200.71
1516340
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S834811574-084.cnf
? (TO)
1200.1
1200.51
1516364
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S159251645-087.cnf
? (TO)
1200.1
1200.41
1516916
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1089910525-056.cnf
? (TO)
1200.1
1200.71
1516868
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S596342014-039.cnf
? (TO)
1200.1
1200.61
1516988
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S2061874746-039.cnf
? (TO)
1200.1
1200.51
1517096
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S531507935-068.cnf
? (TO)
1200.1
1200.41
1517036
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1457384322-029.cnf
? (TO)
1200.1
1200.51
1517516
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S729526068-046.cnf
? (TO)
1200.1
1200.51
1517660
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1606932551-072.cnf
? (TO)
1200.1
1200.41
1517432
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S999404609-010.cnf
? (TO)
1200.1
1201.11
1517792
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S95953046-044.cnf
? (TO)
1200.1
1200.41
1518020
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S253750560-086.cnf
? (TO)
1200.1
1200.51
1517960
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S602463346-055.cnf
? (TO)
1200.1
1200.61
1518068
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1624574519-076.cnf
? (TO)
1200.1
1200.71
1518320
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S227954525-082.cnf
? (TO)
1200.1
1200.61
1518224
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S889538696-070.cnf
? (TO)
1200.1
1200.61
1518392
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S554804223-012.cnf
? (TO)
1200.1
1200.52
1518920
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1339364096-048.cnf
? (TO)
1200.11
1200.71
1516700
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1524836866-036.cnf
? (TO)
1200.11
1200.41
1517624
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1039370030-037.cnf
? (TO)
1200.11
1200.61
1517204
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S658989873-070.cnf
? (TO)
1200.11
1200.41
1518092
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S149116968-021.cnf
? (TO)
1200.11
1200.51
1516832
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1800466054-025.cnf
? (TO)
1200.11
1200.51
1518236
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1731702106-010.cnf
? (TO)
1200.11
1200.61
1516760
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1563412474-059.cnf
? (TO)
1200.11
1200.51
1517336
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1826325374-100.cnf
? (TO)
1200.11
1200.61
1516712
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S754967851-033.cnf
? (TO)
1200.11
1200.61
1516328
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S512486692-050.cnf
? (TO)
1200.11
1200.61
1516376
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1828800850-025.cnf
? (TO)
1200.11
1200.71
1516244
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1796956909-029.cnf
? (TO)
1200.11
1200.61
1516016
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S857870897-089.cnf
? (TO)
1200.11
1200.71
1516004
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S816613570-013.cnf
? (TO)
1200.11
1200.21
1517168
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S184801254-020.cnf
? (TO)
1200.11
1200.21
1515848
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1559668863-058.cnf
? (TO)
1200.11
1200.61
1515728
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1733990810-090.cnf
? (TO)
1200.11
1200.41
1518992
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S131938947-014.cnf
? (TO)
1200.11
1200.51
1517252
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S984347600-003.cnf
? (TO)
1200.11
1200.71
1515500
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1771223975-021.cnf
? (TO)
1200.11
1200.61
1515356
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1112524719-021.cnf
? (TO)
1200.11
1200.51
1518644
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1481598919-023.cnf
? (TO)
1200.11
1200.51
1515212
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1331382449-070.cnf
? (TO)
1200.11
1200.61
1514996
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1339293988-069.cnf
? (TO)
1200.11
1200.71
1518632
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1070443005-075.cnf
? (TO)
1200.11
1200.61
1515200
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1221988902-087.cnf
? (TO)
1200.11
1200.51
1515056
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S260616787-042.cnf
? (TO)
1200.11
1200.72
1517864
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S915600698-006.cnf
? (TO)
1200.11
1200.71
1517636
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S787972994-025.cnf
? (TO)
1200.12
1200.81
1518656
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1876865608-086.cnf
? (TO)
1200.12
1200.61
1518440
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S291433416-025.cnf
? (TO)
1200.12
1200.71
1514984
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1514821049-021.cnf
? (TO)
1200.12
1200.71
1516256
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1258122549-031.cnf
? (TO)
1200.12
1200.81
1518056
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1758422766-080.cnf
? (TO)
1200.12
1200.51
1515932
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1482824652-097.cnf
? (TO)
1200.12
1200.71
1515956
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1666821205-020.cnf
? (TO)
1200.12
1200.41
1518668
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S688769362-007.cnf
? (TO)
1200.12
1200.71
1517144
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1077410718-040.cnf
? (TO)
1200.12
1200.41
1517504
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S748216286-061.cnf
? (TO)
1200.12
1200.61
1515560
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1723900160-044.cnf
? (TO)
1200.12
1200.71
1515224
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1892788676-021.cnf
? (TO)
1200.12
1200.41
1517648
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S418505498-026.cnf
? (TO)
1200.12
1200.61
1517264
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S870840347-014.cnf
? (TO)
1200.12
1200.72
1513640
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1992353905-004.cnf
? (TO)
1200.12
1200.62
1513328
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S492033085-065.cnf
? (TO)
1200.12
1200.71
1517384
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S541865505-057.cnf
? (TO)
1200.12
1200.72
1513616
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S824721511-001.cnf
? (TO)
1200.12
1200.72
1515380
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S28271012-055.cnf
? (TO)
1200.12
1200.51
1517048
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S565564805-059.cnf
? (TO)
1200.12
1200.51
1517000
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1977519792-030.cnf
? (TO)
1200.12
1200.71
1518164
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1949086545-083.cnf
? (TO)
1200.12
1200.41
1518476
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S918173205-035.cnf
? (TO)
1200.12
1200.51
1515152
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S697681291-080.cnf
? (TO)
1200.12
1200.51
1516844
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S884941173-092.cnf
? (TO)
1200.12
1200.61
1515320
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S267191961-079.cnf
? (TO)
1200.12
1200.41
1515164
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1429776379-099.cnf
? (TO)
1200.12
1200.51
1518404
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1136141672-041.cnf
? (TO)
1200.12
1200.61
1517012
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S400088537-049.cnf
? (TO)
1200.12
1200.71
1516496
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S578339356-013.cnf
? (TO)
1200.12
1200.41
1515140
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S284173264-081.cnf
? (TO)
1200.12
1200.71
1516412
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S603077945-019.cnf
? (TO)
1200.12
1200.41
1516388
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1223878722-065.cnf
? (TO)
1200.12
1200.51
1516532
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1410489780-030.cnf
? (TO)
1200.12
1200.51
1514924
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S432776913-077.cnf
? (TO)
1200.13
1200.71
1513484
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1864638535-048.cnf
? (TO)
1200.13
1200.71
1518608
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1035441377-058.cnf
? (TO)
1200.13
1200.51
1517372