SAT 2009 Competition: main competition (phase 1): benchmarks results per solver
Result page for solver picosat
913
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (76 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.217966
0.218254
1718807
cmu-bmc-barrel6.cnf
UNSAT
1.82672
1.82562
1719535
manol-pipe-g6bi.cnf
UNSAT
1.86571
1.86612
1723719
APPLICATIONS/bitverif/
minor/minor032.cnf
UNSAT
2.57461
2.5775
1553205
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
3.13152
3.13263
1717975
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
4.41933
4.42124
1717923
een-tip-uns-nusmv-t5.B.cnf
UNSAT
5.47317
5.47514
1723355
APPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
UNSAT
7.44087
7.44321
1556845
APPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
UNSAT
8.07877
8.08094
1554557
manol-pipe-c9.cnf
UNSAT
8.31973
8.32495
1724343
hoons-vbmc-lucky7.cnf
UNSAT
10.6554
10.6597
1719847
APPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
UNSAT
11.0133
11.0166
1553309
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
13.282
13.2856
1718235
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
UNSAT
14.0469
14.0502
1723047
APPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
UNSAT
15.5606
15.5726
1577773
APPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
UNSAT
16.9724
16.9792
1553777
manol-pipe-g7nidw.cnf
UNSAT
17.6003
17.6055
1724291
APPLICATIONS/bitverif/
icbrt/icbrt1_32.cnf
UNSAT
20.01
20.0154
1555025
manol-pipe-c10nidw_s.cnf
UNSAT
21.7277
21.745
1723199
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
UNSAT
27.0069
27.0192
1554089
APPLICATIONS/crypto/
md5gen/gus-md5-05.cnf
UNSAT
27.3398
27.35
1556793
velev-engi-uns-1.0-4nd.cnf
UNSAT
31.8752
31.8855
1720107
cmu-bmc-longmult15.cnf
UNSAT
35.8336
35.8409
1720627
APPLICATIONS/
bitverif/maxand/maxand064.cnf
UNSAT
39.567
39.5861
1555597
APPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
UNSAT
50.8593
50.8863
1563605
schup-l2s-abp4-1-k31.cnf
UNSAT
60.1189
60.1418
1719587
APPLICATIONS/diagnosis/
UCG-10-5p0.cnf
UNSAT
65.828
65.8668
1578189
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
67.7617
67.7889
1715635
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
70.4603
70.4846
1718131
APPLICATIONS/bitverif/
minor/minor064.cnf
UNSAT
70.5713
70.5931
1553153
APPLICATIONS/diagnosis/
UR-10-5p0.cnf
UNSAT
77.5032
77.5242
1579853
velev-live-uns-2.0-ebuf.cnf
UNSAT
80.5678
80.6066
1723667
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
81.7076
81.732
1717455
APPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
UNSAT
84.8851
84.9105
1556741
manol-pipe-g10id.cnf
UNSAT
95.4685
95.5363
1723511
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
98.3071
98.3504
1717611
APPLICATIONS/diagnosis/
ACG-10-5p0.cnf
UNSAT
108.186
108.22
1579385
APPLICATIONS/diagnosis/
UTI-10-10p0.cnf
UNSAT
115.121
115.18
1581725
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
124.914
124.949
1717663
simon-s03-fifo8-300.cnf
UNSAT
179.561
179.677
1724135
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
181.146
181.227
1715687
APPLICATIONS/bitverif/
smulo/smulo016.cnf
UNSAT
185.616
185.682
1554817
APPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
UNSAT
189.322
189.416
1557053
goldb-heqc-term1mul.cnf
UNSAT
197.328
197.398
1723615
APPLICATIONS/
bitverif/minand/minand128.cnf
UNSAT
197.922
197.971
1554193
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
UNSAT
237.329
237.386
1722247
APPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
UNSAT
271.552
271.626
1553257
velev-pipe-o-uns-1.0-7.cnf
UNSAT
272.186
272.309
1723875
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
369.592
369.705
1717871
APPLICATIONS/diagnosis/
UR-15-5p0.cnf
UNSAT
371.073
371.322
1581933
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
374.878
374.99
1718287
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
377.697
377.832
1717559
manol-pipe-g10nid.cnf
UNSAT
381.545
381.719
1720159
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
389.143
389.254
1580529
manol-pipe-c6bidw_i.cnf
UNSAT
423.495
423.619
1720263
manol-pipe-g10bidw.cnf
UNSAT
453.185
453.299
1723251
manol-pipe-c6nidw_i.cnf
UNSAT
453.204
453.322
1724447
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
UNSAT
472.71
472.864
1722497
goldb-heqc-i10mul.cnf
UNSAT
550.207
550.359
1723407
goldb-heqc-alu4mul.cnf
UNSAT
553.536
553.757
1720991
schup-l2s-guid-1-k56.cnf
UNSAT
557.095
557.247
1724083
APPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
UNSAT
558.661
558.834
1577565
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
634.035
634.179
1717507
APPLICATIONS/diagnosis/
UTI-15-10p0.cnf
UNSAT
656.43
656.645
1580841
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
673.365
673.576
1563345
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
705.209
705.404
1716831
APPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
UNSAT
734.488
734.708
1563189
APPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
UNSAT
748.434
748.699
1562721
APPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
UNSAT
770.737
771.068
1563085
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
777.777
777.998
1562773
APPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
UNSAT
779.244
779.494
1563033
APPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
UNSAT
886.327
886.663
1577461
APPLICATIONS/c32sat/
post-c32s-col400-16.cnf
UNSAT
972.88
973.129
1563449
manol-pipe-f9n.cnf
UNSAT
1000.83
1001.19
1723927
APPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
UNSAT
1045.01
1045.34
1556585
APPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
UNSAT
1052.95
1053.23
1555441
Solver found a solution (SATISFIABLE) (63 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
een-tip-sat-texas-tp-5e.cnf
SAT
0.211967
0.221564
1720887
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
SAT
0.221966
0.22331
1722097
APPLICATIONS/aprove09/
AProVE09-13.cnf
SAT
0.266958
0.268755
1560277
APPLICATIONS/aprove09/
AProVE09-22.cnf
SAT
0.350945
0.356194
1560433
APPLICATIONS/aprove09/
AProVE09-01.cnf
SAT
1.44378
1.48007
1560381
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_22_SAT.cnf
SAT
2.04869
2.05139
1721297
APPLICATIONS/aprove09/
AProVE09-25.cnf
SAT
2.16867
2.18714
1560121
APPLICATIONS/aprove09/
AProVE09-03.cnf
SAT
2.50162
2.52796
1560641
APPLICATIONS/aprove09/
AProVE09-24.cnf
SAT
2.55561
2.58673
1559913
APPLICATIONS/aprove09/
AProVE09-12.cnf
SAT
2.6096
2.62527
1560329
APPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
SAT
3.40848
3.42108
1562981
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
SAT
3.50547
3.51979
1562617
APPLICATIONS/aprove09/
AProVE09-21.cnf
SAT
3.67444
3.81369
1560069
APPLICATIONS/aprove09/
AProVE09-11.cnf
SAT
4.07768
2.10634
1560849
APPLICATIONS/aprove09/
AProVE09-19.cnf
SAT
4.31634
4.34086
1560901
APPLICATIONS/aprove09/
AProVE09-10.cnf
SAT
4.38533
4.41948
1560797
APPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
SAT
4.55231
4.57603
1562825
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
SAT
6.46202
6.46686
1721997
APPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
SAT
7.14191
7.15701
1563137
APPLICATIONS/aprove09/
AProVE09-05.cnf
SAT
13.4829
13.4946
1560017
velev-pipe-sat-1.0-b10.cnf
SAT
17.1494
17.2203
1723303
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
SAT
17.4243
17.4277
1721697
APPLICATIONS/aprove09/
AProVE09-17.cnf
SAT
17.9773
17.9986
1559705
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
19.72
19.8111
1719379
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
19.736
19.8474
1719327
APPLICATIONS/aprove09/
AProVE09-07.cnf
SAT
23.2275
23.2417
1560589
APPLICATIONS/aprove09/
AProVE09-08.cnf
SAT
28.5637
28.5747
1560693
mizh-md5-47-4.cnf
SAT
30.1174
30.155
1720523
APPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
SAT
30.5084
30.5289
1562929
APPLICATIONS/aprove09/
AProVE09-15.cnf
SAT
31.9311
31.9922
1560537
industrial/grieu/
vmpc_24.cnf
SAT
52.1471
52.1656
1718495
APPLICATIONS/diagnosis/
UR-10-5p1.cnf
SAT
52.673
52.7594
1579437
APPLICATIONS/crypto/
desgen/gss-13-s100.cnf
SAT
64.6232
64.6549
1559185
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
69.2945
69.4057
1717403
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
70.7982
70.8368
1558405
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
SAT
73.6848
73.7994
1715895
APPLICATIONS/aprove09/
AProVE09-20.cnf
SAT
80.1068
80.1539
1559757
APPLICATIONS/bioinfo/
q_query_3_l42_lambda.cnf
SAT
93.8807
93.9261
1562669
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
SAT
116.704
120.088
1563397
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
SAT
126.498
126.545
1722447
APPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
SAT
126.516
126.566
1562877
velev-pipe-sat-1.0-b7.cnf
SAT
127.869
127.992
1723147
industrial/grieu/
vmpc_25.cnf
SAT
137.951
137.984
1718339
vange-col-abb313GPIA-9-c.cnf
SAT
147.931
148.013
1720315
APPLICATIONS/bioinfo/
q_query_3_L60_coli.sat.cnf
SAT
151.524
151.671
1577669
mizh-md5-47-3.cnf
SAT
173.591
173.667
1719483
simon-s03-w08-15.cnf
SAT
202.904
203.049
1719743
industrial/grieu/
vmpc_26.cnf
SAT
253.526
253.587
1718703
APPLICATIONS/crypto/
desgen/gss-15-s100.cnf
SAT
275.389
275.475
1558457
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
345.478
345.621
1557781
mizh-sha0-35-3.cnf
SAT
407.979
408.12
1720679
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
428.88
429.045
1577617
APPLICATIONS/crypto/
desgen/gss-17-s100.cnf
SAT
450.749
450.937
1557573
industrial/grieu/
vmpc_28.cnf
SAT
514.552
514.687
1718599
APPLICATIONS/diagnosis/
UTI-15-5p1.cnf
SAT
633.473
633.822
1582713
APPLICATIONS/c32sat/
post-c32s-gcdm16-22.cnf
SAT
643.123
643.362
1563657
schup-l2s-motst-2-k315.cnf
SAT
757.459
757.758
1720003
APPLICATIONS/diagnosis/
UTI-15-10p1.cnf
SAT
827.67
828.101
1577877
mizh-md5-48-5.cnf
SAT
839.706
840.066
1721095
industrial/grieu/
vmpc_30.cnf
SAT
975.559
976.057
1718391
APPLICATIONS/diagnosis/
UTI-20-5p1.cnf
SAT
1049.08
1049.65
1581309
industrial/grieu/
vmpc_33.cnf
SAT
1053.83
1054.15
1718443
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
SAT
1148.78
1149.44
1715947
Solver timed out (no solution given) (153 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
1200.01
1200.41
1718079
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
1200.01
1200.31
1554661
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
1200.02
1200.31
1559237
APPLICATIONS/crypto/
desgen/gss-31-s100.cnf
? (TO)
1200.02
1200.31
1557469
industrial/grieu/
vmpc_34.cnf
? (TO)
1200.02
1200.32
1718651
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
1200.02
1200.61
1718183
APPLICATIONS/crypto/
desgen/gss-25-s100.cnf
? (TO)
1200.02
1200.31
1559497
APPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
? (TO)
1200.03
1200.42
1556689
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
? (TO)
1200.03
1200.33
1721647
APPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
? (TO)
1200.03
1200.41
1554401
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
1200.03
1200.51
1557989
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
1200.03
1200.33
1719275
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
? (TO)
1200.03
1200.42
1722947
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
1200.03
1200.43
1715999
aloul-chnl11-13.cnf
? (TO)
1200.03
1200.41
1720367
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
? (TO)
1200.04
1200.42
1721147
velev-pipe-uns-1.0-8.cnf
? (TO)
1200.04
1200.43
1724395
APPLICATIONS/crypto/
desgen/gss-34-s100.cnf
? (TO)
1200.04
1200.41
1558769
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
1200.04
1201.02
1717143
APPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
? (TO)
1200.04
1200.41
1556533
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
1200.05
1200.41
1716883
APPLICATIONS/diagnosis/
ACG-15-10p0.cnf
? (TO)
1200.05
1200.53
1578917
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
? (TO)
1200.05
1200.62
1721947
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
? (TO)
1200.05
1200.43
1581569
APPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
? (TO)
1200.05
1200.41
1556013
APPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
? (TO)
1200.05
1200.64
1577721
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
1200.05
1200.51
1557937
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
? (TO)
1200.05
1200.42
1722997
APPLICATIONS/diagnosis/
ACG-20-5p1.cnf
? (TO)
1200.05
1200.63
1580737
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
? (TO)
1200.05
1200.53
1580061
APPLICATIONS/diagnosis/
UR-20-5p1.cnf
? (TO)
1200.06
1200.65
1580217
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
? (TO)
1200.06
1200.42
1716415
APPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
? (TO)
1200.06
1200.54
1555129
APPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
? (TO)
1200.06
1200.52
1556117
industrial/fuhs/hard/
AProVE07-27.cnf
? (TO)
1200.06
1200.91
1717091
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
1200.06
1200.62
1717351
APPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
? (TO)
1200.06
1200.42
1556481
manol-pipe-c10nidw.cnf
? (TO)
1200.06
1200.53
1720055
manol-pipe-f10ni.cnf
? (TO)
1200.06
1199.93
1724031
APPLICATIONS/crypto/
desgen/gss-20-s100.cnf
? (TO)
1200.06
1200.41
1558197
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
1200.06
1200.52
1719067
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
? (TO)
1200.06
1200.65
1721497
industrial/grieu/
vmpc_29.cnf
? (TO)
1200.07
1200.52
1718547
goldb-heqc-x1mul.cnf
? (TO)
1200.07
1200.41
1719431
APPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
? (TO)
1200.07
1200.52
1556429
APPLICATIONS/aprove09/
AProVE09-06.cnf
? (TO)
1200.07
1200.52
1559653
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
? (TO)
1200.07
1200.43
1717819
APPLICATIONS/crypto/
desgen/gss-24-s100.cnf
? (TO)
1200.07
1200.41
1559289
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
1200.07
1200.41
1722397
APPLICATIONS/
c32sat/post-c32s-ss-8.cnf
? (TO)
1200.07
1200.52
1563553
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
1200.07
1200.93
1716363
APPLICATIONS/crypto/
desgen/gss-23-s100.cnf
? (TO)
1200.07
1200.41
1558977
APPLICATIONS/crypto/
desgen/gss-33-s100.cnf
? (TO)
1200.07
1200.51
1558821
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
? (TO)
1200.07
1200.43
1715583
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
1200.08
1200.43
1717715
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
? (TO)
1200.08
1200.62
1716311
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
1200.08
1200.52
1717039
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
? (TO)
1200.08
1200.43
1721747
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
1200.08
1200.52
1722847
velev-pipe-o-uns-1.1-6.cnf
? (TO)
1200.08
1200.52
1723563
simon-s02b-dp11u10.cnf
? (TO)
1200.08
1200.51
1723823
APPLICATIONS/crypto/
desgen/gss-32-s100.cnf
? (TO)
1200.08
1200.41
1557677
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
1200.08
1200.53
1556325
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
1200.08
1200.76
1556221
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (TO)
1200.08
1200.76
1582141
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
? (TO)
1200.08
1200.73
1581881
APPLICATIONS/diagnosis/
ACG-20-10p1.cnf
? (TO)
1200.08
1200.75
1580009
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
? (TO)
1200.08
1200.51
1559601
simon-s02b-k2f-gr-rcs-w8.cnf
? (TO)
1200.08
1200.41
1724187
industrial/fuhs/medium/
AProVE07-09.cnf
? (TO)
1200.09
1200.41
1716779
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
1200.09
1200.53
1716519
APPLICATIONS/diagnosis/
ACG-15-10p1.cnf
? (TO)
1200.09
1200.53
1580321
manol-pipe-c7nidw.cnf
? (TO)
1200.09
1200.62
1723459
manol-pipe-c7bidw_i.cnf
? (TO)
1200.09
1200.52
1724239
manol-pipe-f9b.cnf
? (TO)
1200.09
1200.43
1719951
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
1200.09
1200.65
1718963
industrial/palacios/medium/
cube-11-h13-unsat.cnf
? (TO)
1200.09
1200.42
1717767
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
1200.09
1200.42
1557001
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
? (TO)
1200.09
1200.42
1722147
industrial/fuhs/hard/
AProVE07-08.cnf
? (TO)
1200.09
1200.51
1716935
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
? (TO)
1200.09
1200.52
1722547
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
? (TO)
1200.09
1200.41
1721197
goldb-heqc-frg1mul.cnf
? (TO)
1200.09
1200.41
1719639
APPLICATIONS/diagnosis/
ACG-20-10p0.cnf
? (TO)
1200.09
1200.55
1579333
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
1200.09
1200.61
1718027
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
? (TO)
1200.09
1200.83
1577513
goldb-heqc-dalumul.cnf
? (TO)
1200.1
1200.41
1720419
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
? (TO)
1200.1
1200.53
1722347
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
1200.1
1200.41
1554141
APPLICATIONS/crypto/
desgen/gss-28-s100.cnf
? (TO)
1200.1
1200.41
1559341
APPLICATIONS/crypto/
desgen/gss-26-s100.cnf
? (TO)
1200.1
1200.41
1558041
APPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
? (TO)
1200.1
1200.51
1556065
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
1200.1
1200.46
1716727
APPLICATIONS/diagnosis/
UR-15-10p0.cnf
? (TO)
1200.1
1200.45
1581985
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
? (TO)
1200.1
1200.41
1553985
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
? (TO)
1200.1
1200.42
1721347
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
? (TO)
1200.1
1199.98
1722747
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
1200.1
1200.51
1718859
APPLICATIONS/diagnosis/
UR-20-5p0.cnf
? (TO)
1200.1
1200.85
1580113
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
1200.11
1200.53
1717247
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
1200.11
1200.41
1721847
APPLICATIONS/diagnosis/
UCG-20-10p1.cnf
? (TO)
1200.11
1200.65
1581049
APPLICATIONS/bitverif/
mulhs/mulhs032.cnf
? (TO)
1200.11
1200.42
1554713
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
? (TO)
1200.11
1200.52
1721247
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
1200.11
1200.47
1718911
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
1200.11
1200.44
1716207
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (TO)
1200.11
1200.68
1715739
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
1200.11
1200.51
1716987
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
? (TO)
1200.11
1200.44
1722797
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
1200.11
1200.42
1717299
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
1200.11
1200.42
1716675
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
1200.11
1200.59
1716259
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
1200.12
1200.43
1716467
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
1200.12
1200.48
1719015
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
1200.12
1200.64
1719119
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
? (TO)
1200.12
1200.42
1722597
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
? (TO)
1200.12
1200.42
1723097
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
1200.12
1200.52
1717195
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
1200.12
1200.64
1555857
APPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
? (TO)
1200.12
1200.42
1555233
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
1200.12
1200.43
1716103
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
? (TO)
1200.12
1200.7
1563241
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
1200.13
1200.48
1716571
APPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
? (TO)
1200.13
1200.54
1554505
mizh-sha0-36-2.cnf
? (TO)
1200.13
1200.44
1723979
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
1200.13
1200.49
1716155
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
1200.13
1200.48
1715791
APPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
? (TO)
1200.13
1200.83
1577825
schup-l2s-bc56s-1-k391.cnf
? (TO)
1200.13
1200.54
1719899
manol-pipe-c10nid_i.cnf
? (TO)
1200.13
1200.53
1720731
mizh-sha0-36-3.cnf
? (TO)
1200.13
1200.54
1719795
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
? (TO)
1200.13
1200.57
1721797
APPLICATIONS/
bitverif/minxor/minxor128.cnf
? (TO)
1200.13
1200.45
1553465
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
1200.14
1200.54
1553829
APPLICATIONS/diagnosis/
UR-15-10p1.cnf
? (TO)
1200.14
1200.55
1579801
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
1200.14
1200.69
1553361
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
1200.14
1200.78
1716623
mizh-sha0-36-4.cnf
? (TO)
1200.14
1200.44
1720211
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
1200.14
1200.59
1715843
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
1200.14
1200.66
1582401
industrial/narain/
clauses-8.cnf
? (TO)
1200.15
1200.66
1718755
APPLICATIONS/diagnosis/
UTI-20-5p0.cnf
? (TO)
1200.16
1200.86
1578761
velev-vliw-uns-4.0-9C1.cnf
? (TO)
1200.16
1200.76
1723771
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
1200.16
1200.48
1719171
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
? (TO)
1200.16
1200.46
1581465
APPLICATIONS/diagnosis/
UTI-15-5p0.cnf
? (TO)
1200.16
1200.87
1579957
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
1200.16
1200.77
1716051
APPLICATIONS/bitverif/
smulo/smulo128.cnf
? (TO)
1200.17
1200.48
1554869
velev-vliw-uns-4.0-9-i1.cnf
? (TO)
1200.17
1200.89
1719691
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
? (TO)
1200.17
1200.51
1721397
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
? (TO)
1200.18
1200.82
1563709
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
1200.18
1200.78
1719223
APPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
? (TO)
1200.18
1200.8
1563293
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (32 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n2_i2_pp.cnf
UNSAT
0.000999
0.00500603
1736847
CRAFTED/parity-games/
instance_n2_i3_pp.cnf
UNSAT
0.000999
0.00512699
1736547
CRAFTED/parity-games/
instance_n3_i4_pp_ci_ce.cnf
UNSAT
0.033994
0.0345011
1736347
CRAFTED/modcircuits/
owp_4vars_5gates.cnf
UNSAT
0.06099
0.0619999
1733847
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
0.162974
0.163937
1725400
CRAFTED/parity-games/
instance_n4_i5_pp.cnf
UNSAT
0.477926
0.478903
1736997
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
UNSAT
0.786879
0.78781
1725453
CRAFTED/sgen/unsat/
sgen1-unsat-61-100.cnf
UNSAT
1.85672
1.85761
1731997
CRAFTED/parity-games/
instance_n5_i6_pp_ci_ce.cnf
UNSAT
2.89756
2.89922
1736447
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
UNSAT
6.45802
6.46088
1725506
CRAFTED/sgen/unsat/
sgen1-unsat-73-100.cnf
UNSAT
13.6609
13.6636
1732097
CRAFTED/ramseycube/
Q32inK09.cnf
UNSAT
16.8174
16.8219
1733047
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
24.7772
24.7836
1725294
CRAFTED/ramseycube/
Q32inK10.cnf
UNSAT
42.2366
42.2512
1732947
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
UNSAT
46.7579
46.7677
1726248
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
UNSAT
51.3162
51.3316
1726195
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
90.7482
90.7696
1725559
CRAFTED/ramseycube/
Q32inK11.cnf
UNSAT
97.1572
97.1993
1732797
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
105.368
105.395
1731230
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
155.037
155.081
1725824
CRAFTED/sgen/unsat/
sgen1-unsat-85-100.cnf
UNSAT
164.821
164.861
1731897
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
166.242
166.3
1725930
CRAFTED/parity-games/
instance_n6_i7_pp_ci_ce.cnf
UNSAT
251.834
251.899
1736597
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
269.691
269.764
1725771
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
458.648
458.748
1730011
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
UNSAT
512.503
512.638
1731389
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
UNSAT
513.591
513.741
1725877
CRAFTED/modcircuits/
mod3_4vars_6gates.cnf
UNSAT
516.201
516.364
1733647
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
569.162
569.314
1731495
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
581.67
582.073
1727255
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
UNSAT
804.88
805.672
1726407
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
UNSAT
979.471
979.826
1731071
Solver found a solution (SATISFIABLE) (80 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/ramseycube/
Q3inK08.cnf
SAT
0.003998
0.00516502
1732997
CRAFTED/sgi/
satsgi-n17himBHm20-p0-q146.cnf
SAT
0.003999
0.00514309
1734197
CRAFTED/sgi/
satsgi-n19himBHm22-p0-q181.cnf
SAT
0.004999
0.006028
1734097
CRAFTED/sgi/
satsgi-n18himBHm21-p0-q167.cnf
SAT
0.004999
0.00531809
1734347
CRAFTED/sgi/
satsgi-n22himBHm24-p0-q209.cnf
SAT
0.006998
0.00799503
1734147
CRAFTED/sgi/
satsgi-n23himBHm27-p0-q251.cnf
SAT
0.008997
0.0103069
1734547
CRAFTED/parity-games/
instance_n3_i3_pp.cnf
SAT
0.008997
0.009624
1737047
CRAFTED/sgi/
satsgi-n23himBHm25-p0-q219.cnf
SAT
0.008998
0.00938605
1734397
CRAFTED/sgi/
satsgi-n23himBHm26-p0-q248.cnf
SAT
0.008998
0.00993503
1734297
CRAFTED/sgi/
satsgi-n22himBHm25-p0-q229.cnf
SAT
0.009997
0.00896507
1734447
CRAFTED/sgi/
sgi-difficult4.cnf
SAT
0.009997
0.0103799
1736147
CRAFTED/sgi/
satsgi-n25himBHm27-p0-q251.cnf
SAT
0.010997
0.0106161
1734247
CRAFTED/sgi/
satsgi-n25himBHm29-p0-q290.cnf
SAT
0.011998
0.0126161
1734597
CRAFTED/sgi/
satsgi-n28himBHm30-p0-q333.cnf
SAT
0.013997
0.014431
1734497
CRAFTED/sgi/
sgi-difficult7.cnf
SAT
0.017997
0.018634
1736197
CRAFTED/parity-games/
instance_n3_i3_pp_ci_ce.cnf
SAT
0.018997
0.019842
1736397
CRAFTED/parity-games/
instance_n4_i4_pp.cnf
SAT
0.024995
0.0250319
1736497
CRAFTED/edgematching/
compact/em_7_4_8_cmp.cnf
SAT
0.026995
0.025996
1561265
CRAFTED/edgematching/
explicit/em_7_4_8_exp.cnf
SAT
0.032994
0.034781
1561629
CRAFTED/ramseycube/
Q3inK09.cnf
SAT
0.032994
0.0338919
1732647
CRAFTED/edgematching/
fbcolors/em_7_4_8_fbc.cnf
SAT
0.042992
0.0435671
1562461
CRAFTED/parity-games/
instance_n4_i4_pp_ci_ce.cnf
SAT
0.043992
0.044331
1736747
CRAFTED/
edgematching/all/em_7_4_8_all.cnf
SAT
0.049991
0.051504
1562149
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
0.188971
0.189823
1732847
CRAFTED/parity-games/
instance_n5_i5_pp.cnf
SAT
0.207967
0.210892
1736647
CRAFTED/
edgematching/all/em_7_3_6_all.cnf
SAT
0.524919
0.525989
1561993
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
0.832872
0.836113
1725347
CRAFTED/ramseycube/
Q3inK11.cnf
SAT
0.84587
0.845787
1733097
CRAFTED/parity-games/
instance_n6_i6_pp.cnf
SAT
1.3348
1.33869
1736897
CRAFTED/parity-games/
instance_n6_i6_pp_ci_ce.cnf
SAT
1.58376
1.58616
1737097
CRAFTED/parity-games/
instance_n5_i6_pp.cnf
SAT
3.01754
3.01903
1736797
CRAFTED/ramseycube/
Q3inK12.cnf
SAT
3.15152
3.1513
1732897
CRAFTED/modcircuits/
mod5block_1var_7gates.cnf
SAT
4.02239
4.02236
1733247
CRAFTED/edgematching/
explicit/em_7_3_6_exp.cnf
SAT
5.29519
5.29736
1561733
CRAFTED/parity-games/
instance_n7_i7_pp.cnf
SAT
9.23359
9.24284
1736947
CRAFTED/
edgematching/all/em_7_4_9_all.cnf
SAT
9.35558
9.36404
1562097
CRAFTED/edgematching/
compact/em_7_4_9_cmp.cnf
SAT
11.3113
11.3151
1560953
CRAFTED/edgematching/
explicit/em_12_2_4_exp.cnf
SAT
17.2254
17.2342
1561473
CRAFTED/parity-games/
instance_n8_i8_pp.cnf
SAT
18.1902
18.2028
1737777
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
22.7195
22.7253
1725665
CRAFTED/edgematching/
explicit/em_7_4_9_exp.cnf
SAT
22.9775
22.986
1561525
CRAFTED/edgematching/
all/em_14_7_3_all.cnf
SAT
25.5861
25.6134
1561941
CRAFTED/edgematching/
fbcolors/em_7_4_9_fbc.cnf
SAT
33.7829
33.7937
1562409
CRAFTED/modcircuits/
mod3block_3vars_9gates_restr.cnf
SAT
41.1747
41.1985
1733997
CRAFTED/edgematching/
all/em_11_3_4_all.cnf
SAT
43.9143
43.9412
1562045
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
46.9769
46.9928
1726089
CRAFTED/parity-games/
instance_n6_i7_pp.cnf
SAT
47.8327
47.8499
1736297
CRAFTED/edgematching/
explicit/em_9_3_5_exp.cnf
SAT
48.0287
48.0482
1561421
CRAFTED/sgen/sat/
sgen1-sat-160-100.cnf
SAT
53.4869
53.501
1732447
CRAFTED/edgematching/
all/em_12_2_4_all.cnf
SAT
56.6204
56.6387
1561889
CRAFTED/sgi/
new-difficult-21-168-19-90.cnf
SAT
57.3833
57.4046
1738148
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g1.cnf
SAT
57.4073
57.4246
1735047
CRAFTED/sgen/sat/
sgen1-sat-140-100.cnf
SAT
60.8707
60.8929
1732347
CRAFTED/sgi/
new-difficult-22-173-20-80.cnf
SAT
65.757
65.782
1738254
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
SAT
94.6106
94.6452
1737724
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
94.9926
95.0156
1561785
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
96.2834
96.3093
1725718
CRAFTED/edgematching/
explicit/em_8_4_5_exp.cnf
SAT
96.6333
96.6631
1561681
CRAFTED/parity-games/
instance_n7_i8_pp.cnf
SAT
105.681
105.727
1737197
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
132.06
132.107
1726036
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
136.665
136.702
1725612
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g8.cnf
SAT
142.116
142.157
1734747
CRAFTED/rbsat/random/
forced/rbsat-v760c43649gyes10.cnf
SAT
157.375
157.426
1735197
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g10.cnf
SAT
175.358
175.407
1734897
CRAFTED/sgi/
new-difficult-20-152-18-95.cnf
SAT
199.439
199.495
1738095
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g10.cnf
SAT
261.099
261.193
1734947
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes6.cnf
SAT
280.994
281.136
1735297
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
SAT
292.303
292.386
1728421
CRAFTED/sgi/
new-difficult-24-193-22-70.cnf
SAT
357.621
357.724
1738042
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
358.58
358.686
1726142
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
SAT
405.202
405.316
1725983
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes1.cnf
SAT
469.097
469.265
1735247
CRAFTED/parity-games/
instance_n7_i7_pp_ci_ce.cnf
SAT
550.636
550.832
1736697
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes4.cnf
SAT
584.549
584.751
1735097
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
SAT
593.057
593.228
1731124
CRAFTED/edgematching/
explicit/em_11_3_4_exp.cnf
SAT
641.71
641.941
1561369
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes9.cnf
SAT
722.608
722.798
1735397
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
SAT
834.641
834.836
1730859
CRAFTED/sgen/sat/
sgen1-sat-200-100.cnf
SAT
977.594
977.937
1732597
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes1.cnf
SAT
1134.25
1134.67
1735997
Solver timed out (no solution given) (169 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/rbsat/crafted/unforced/
rbsat-v2640c305320g4.cnf
? (TO)
1200.01
1200.41
1735547
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
1200.01
1200.31
1727997
CRAFTED/sgen/unsat/
sgen1-unsat-145-100.cnf
? (TO)
1200.01
1200.41
1732047
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
? (TO)
1200.01
1200.31
1729852
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g2.cnf
? (TO)
1200.01
1200.31
1734997
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g2.cnf
? (TO)
1200.01
1200.41
1734847
CRAFTED/sgen/sat/
sgen1-sat-280-100.cnf
? (TO)
1200.01
1200.41
1732247
CRAFTED/sgen/unsat/
sgen1-unsat-103-100.cnf
? (TO)
1200.02
1200.31
1737671
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
? (TO)
1200.02
1200.31
1561005
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
1200.02
1200.41
1727467
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
1200.02
1200.31
1726672
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
1200.02
1200.31
1728739
CRAFTED/sgen/unsat/
sgen1-unsat-115-100.cnf
? (TO)
1200.02
1200.41
1737300
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes9.cnf
? (TO)
1200.02
1200.41
1736047
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
1200.02
1200.31
1735497
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
? (TO)
1200.02
1200.31
1727838
CRAFTED/sgen/unsat/
sgen1-unsat-127-100.cnf
? (TO)
1200.03
1199.91
1737247
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
1200.03
1200.51
1730541
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
1200.03
1200.41
1727414
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
1200.03
1199.91
1728792
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
1200.03
1200.71
1727308
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
1200.03
1200.51
1729640
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
? (TO)
1200.03
1200.71
1726301
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
1200.03
1200.41
1731177
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
1200.04
1200.91
1726460
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
? (TO)
1200.04
1200.41
1729163
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
? (TO)
1200.04
1200.61
1727202
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
1200.04
1200.31
1727732
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
? (TO)
1200.04
1200.61
1727785
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
1200.05
1200.61
1730435
CRAFTED/sgi/
new-difficult-26-243-24-70.cnf
? (TO)
1200.05
1200.51
1738201
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
1200.05
1200.41
1735447
CRAFTED/sgen/unsat/
sgen1-unsat-97-100.cnf
? (TO)
1200.05
1200.41
1731847
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
? (TO)
1200.05
1200.33
1730329
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1729534
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1728156
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1726566
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
1200.05
1200.51
1726354
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
? (TO)
1200.05
1200.51
1733897
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes8.cnf
? (TO)
1200.05
1200.51
1735897
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1729375
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes1.cnf
? (TO)
1200.05
1200.41
1736097
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes4.cnf
? (TO)
1200.05
1200.51
1735147
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1731283
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
? (TO)
1200.05
1200.41
1729958
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
1200.06
1200.51
1729587
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
1200.06
1200.51
1730382
CRAFTED/sgen/unsat/
sgen1-unsat-109-100.cnf
? (TO)
1200.06
1200.41
1731797
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1730488
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1731018
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g5.cnf
? (TO)
1200.06
1200.41
1735647
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
? (TO)
1200.06
1200.51
1738307
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1726884
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g2.cnf
? (TO)
1200.06
1200.41
1735697
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes3.cnf
? (TO)
1200.06
1200.41
1735347
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1727891
CRAFTED/sgen/sat/
sgen1-sat-290-100.cnf
? (TO)
1200.06
1200.41
1737353
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1728209
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g4.cnf
? (TO)
1200.06
1200.41
1734647
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g6.cnf
? (TO)
1200.06
1200.41
1734697
CRAFTED/modcircuits/
mod3block_2vars_9gates_u2_autoenc.cnf
? (TO)
1200.06
1200.41
1733797
CRAFTED/modcircuits/
mod3block_2vars_10gates_u2_autoenc.cnf
? (TO)
1200.06
1200.42
1733447
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2.cnf
? (TO)
1200.06
1200.54
1733147
CRAFTED/sgen/sat/
sgen1-sat-250-100.cnf
? (TO)
1200.06
1200.41
1737406
CRAFTED/sgen/sat/
sgen1-sat-240-100.cnf
? (TO)
1200.06
1200.41
1732547
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
1200.06
1200.41
1729216
CRAFTED/sgen/sat/
sgen1-sat-260-100.cnf
? (TO)
1200.06
1200.41
1732197
CRAFTED/sgen/sat/
sgen1-sat-220-100.cnf
? (TO)
1200.06
1200.41
1732397
CRAFTED/sgen/unsat/
sgen1-unsat-121-100.cnf
? (TO)
1200.06
1200.41
1732147
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1728951
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
? (TO)
1200.07
1200.52
1562201
CRAFTED/sgen/sat/
sgen1-sat-180-100.cnf
? (TO)
1200.07
1200.41
1732297
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1730064
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1729693
CRAFTED/rbsat/random/unforced/
rbsat-v1820c171155g3.cnf
? (TO)
1200.07
1200.51
1734797
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1729905
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
1200.07
1200.43
1726937
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
? (TO)
1200.07
1200.51
1727944
CRAFTED/edgematching/
fbcolors/em_7_3_6_fbc.cnf
? (TO)
1200.07
1200.41
1562357
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
1200.07
1200.51
1727573
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
? (TO)
1200.07
1200.51
1729269
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
1200.07
1200.41
1729004
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
1200.07
1200.51
1729428
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes2.cnf
? (TO)
1200.08
1200.41
1735847
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1725241
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1726725
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
1200.08
1200.51
1728050
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
? (TO)
1200.08
1200.51
1727679
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1728103
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1728474
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
? (TO)
1200.08
1200.41
1728898
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
1200.08
1200.51
1729057
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
1200.08
1200.43
1729322
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
? (TO)
1200.08
1200.51
1729799
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
? (TO)
1200.08
1200.67
1730647
CRAFTED/ramseycube/
Q3inK13.cnf
? (TO)
1200.08
1200.44
1732747
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2.cnf
? (TO)
1200.08
1200.51
1733197
CRAFTED/modcircuits/
mod5block_2vars_12gates.cnf
? (TO)
1200.08
1200.45
1733397
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2_autoenc.cnf
? (TO)
1200.08
1200.41
1733497
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2_autoenc.cnf
? (TO)
1200.08
1200.52
1733947
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
1200.08
1200.42
1734047
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g4.cnf
? (TO)
1200.08
1200.41
1735597
CRAFTED/sgen/sat/
sgen1-sat-230-100.cnf
? (TO)
1200.08
1200.41
1737459
CRAFTED/sgen/unsat/
sgen1-unsat-139-100.cnf
? (TO)
1200.08
1200.41
1737512
CRAFTED/sgen/unsat/
sgen1-unsat-151-100.cnf
? (TO)
1200.08
1200.41
1737618
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
1200.09
1200.61
1730965
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
? (TO)
1200.09
1200.51
1731654
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1730806
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
? (TO)
1200.09
1200.45
1737989
CRAFTED/sgen/sat/
sgen1-sat-270-100.cnf
? (TO)
1200.09
1200.41
1737565
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2_restricted.cnf
? (TO)
1200.09
1200.51
1733747
CRAFTED/sgen/sat/
sgen1-sat-300-100.cnf
? (TO)
1200.09
1200.41
1732497
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
1200.09
1200.62
1726778
CRAFTED/rbsat/crafted/
forced/rbsat-v1820c171155gyes6.cnf
? (TO)
1200.09
1200.41
1735797
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1727043
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1727626
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1729110
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1731336
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
1200.09
1200.42
1730276
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1731442
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1729746
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1729481
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
1200.09
1200.43
1730753
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
1200.09
1200.41
1730912
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes2.cnf
? (TO)
1200.1
1200.41
1735747
CRAFTED/sgen/unsat/
sgen1-unsat-133-100.cnf
? (TO)
1200.1
1200.51
1731947
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
1200.1
1200.43
1730117
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
1200.1
1200.51
1728845
CRAFTED/edgematching/
fbcolors/em_11_3_4_fbc.cnf
? (TO)
1200.1
1200.56
1562565
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2_restricted.cnf
? (TO)
1200.1
1200.52
1733297
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
1200.1
1200.42
1733347
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
1200.1
1200.41
1728580
CRAFTED/parity-games/
instance_n8_i9_pp.cnf
? (TO)
1200.1
1200.54
1737830
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
1200.1
1200.41
1728633
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
1200.1
1200.41
1728315
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
1200.1
1200.81
1727520
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
1200.1
1200.71
1727361
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
1200.1
1200.41
1727096
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
? (TO)
1200.1
1200.51
1730594
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
1200.1
1200.51
1726619
CRAFTED/edgematching/
compact/em_8_4_5_cmp.cnf
? (TO)
1200.1
1200.52
1561317
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes8.cnf
? (TO)
1200.1
1200.51
1735947
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
1200.1
1200.51
1726513
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
? (TO)
1200.1
1200.51
1730700
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
1200.11
1200.41
1727149
CRAFTED/modcircuits/
mod4block_2vars_11gates_u2_autoenc.cnf
? (TO)
1200.11
1200.42
1733547
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
1200.11
1200.51
1731548
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
1200.11
1200.56
1728686
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
1200.11
1200.51
1726831
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
? (TO)
1200.11
1200.53
1730170
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
? (TO)
1200.11
1200.51
1731601
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
1200.11
1200.45
1561057
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
1200.11
1200.43
1726990
CRAFTED/sgi/
new-difficult-28-302-26-75.cnf
? (TO)
1200.11
1200.51
1738360
CRAFTED/modcircuits/
mod4block_2vars_10gates_u2_autoenc.cnf
? (TO)
1200.11
1200.52
1733597
CRAFTED/parity-games/
instance_n8_i9_pp_ci_ce.cnf
? (TO)
1200.11
1200.54
1737936
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
1200.11
1200.44
1561161
CRAFTED/edgematching/
compact/em_9_3_5_cmp.cnf
? (TO)
1200.12
1200.42
1561109
CRAFTED/edgematching/
fbcolors/em_9_3_5_fbc.cnf
? (TO)
1200.12
1200.43
1562253
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
1200.12
1200.44
1728527
CRAFTED/parity-games/
instance_n7_i8_pp_ci_ce.cnf
? (TO)
1200.13
1200.42
1736247
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
1200.15
1200.77
1728368
CRAFTED/parity-games/
instance_n9_i9_pp_ci_ce.cnf
? (TO)
1200.15
1200.45
1737883
CRAFTED/edgematching/
fbcolors/em_12_2_4_fbc.cnf
? (TO)
1200.15
1200.58
1562513
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
1200.16
1200.6
1728262
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2.cnf
? (TO)
1200.16
1200.56
1733697
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
1200.18
1200.59
1730223
CRAFTED/edgematching/
compact/em_14_7_3_cmp.cnf
? (TO)
1200.27
1200.6
1561213
CRAFTED/edgematching/
fbcolors/em_14_7_3_fbc.cnf
? (TO)
1200.32
1200.63
1562305
Category "random instances" (RANDOM)
Solver proved unsatisfiability (UNSATISFIABLE) (22 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1369720750-015.cnf
UNSAT
124.779
124.815
1517902
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1028159446-096.cnf
UNSAT
130.677
130.711
1517926
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S253750560-086.cnf
UNSAT
135.196
135.349
1517962
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S23373420-028.cnf
UNSAT
142.775
142.821
1517986
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S680239195-053.cnf
UNSAT
161.04
161.469
1517950
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S404185236-001.cnf
UNSAT
182.967
183.037
1517938
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S2043187304-036.cnf
UNSAT
187.185
187.272
1517854
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S305156909-031.cnf
UNSAT
195.844
195.895
1517998
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S367138237-029.cnf
UNSAT
218.392
218.461
1517914
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1906521511-089.cnf
UNSAT
232.44
232.512
1517974
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S2025517367-061.cnf
UNSAT
349.083
349.21
1517890
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1700363952-014.cnf
UNSAT
408.243
408.397
1517818
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1039370030-037.cnf
UNSAT
480.376
480.552
1517206
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S502087726-095.cnf
UNSAT
534.337
534.502
1517878
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1983754128-073.cnf
UNSAT
683.006
683.204
1517770
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S928666993-098.cnf
UNSAT
725.876
726.067
1517806
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S999404609-010.cnf
UNSAT
780.605
780.803
1517794
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1807135406-059.cnf
UNSAT
854.355
854.793
1517830
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S104085281-076.cnf
UNSAT
953.703
953.95
1517182
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S387386125-069.cnf
UNSAT
1005.5
1005.82
1517194
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S260616787-042.cnf
UNSAT
1038.93
1039.32
1517866
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1694258328-099.cnf
UNSAT
1146.5
1146.86
1517782
Solver found a solution (SATISFIABLE) (57 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1711406314-093.cnf
SAT
2.20166
2.20206
1519318
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S2032263657-035.cnf
SAT
2.80557
2.80541
1519258
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1459690542-033.cnf
SAT
3.2935
3.29434
1519234
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1826927554-087.cnf
SAT
7.66583
7.66887
1519210
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1040456712-073.cnf
SAT
13.6929
13.6966
1515466
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S368632549-051.cnf
SAT
13.7509
13.7555
1519294
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1674394075-027.cnf
SAT
17.8903
17.8968
1519090
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1546885609-031.cnf
SAT
23.7364
23.7448
1519042
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1684547485-073.cnf
SAT
33.5549
33.5645
1519222
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S144043535-002.cnf
SAT
37.4373
37.4498
1519306
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1940784272-089.cnf
SAT
38.6821
38.6938
1518274
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1733990810-090.cnf
SAT
40.8458
40.86
1518994
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S326477539-068.cnf
SAT
46.7089
46.7266
1519150
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S722433227-030.cnf
SAT
50.2194
50.2357
1519282
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1880984131-087.cnf
SAT
57.8182
57.8384
1518346
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1516934767-080.cnf
SAT
63.1674
63.1842
1519126
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S486002104-037.cnf
SAT
68.6696
68.6864
1519138
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1912687159-077.cnf
SAT
78.2791
78.3032
1519174
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1036996799-006.cnf
SAT
81.5796
81.6013
1519114
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1002348653-090.cnf
SAT
84.3272
84.3504
1518886
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1362286908-061.cnf
SAT
116.513
116.543
1518262
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1293537826-039.cnf
SAT
120.299
120.284
1519270
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1460100153-095.cnf
SAT
124.113
124.147
1518250
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S311671104-045.cnf
SAT
172.984
173.035
1518298
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S172053238-003.cnf
SAT
175.326
175.391
1518574
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S981523907-072.cnf
SAT
187.993
188.046
1518502
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2007547542-039.cnf
SAT
190.959
191.031
1515442
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1041106011-094.cnf
SAT
198.166
198.217
1519162
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S714125262-017.cnf
SAT
221.054
221.109
1518562
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S208461254-049.cnf
SAT
221.932
221.996
1518718
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1841979702-078.cnf
SAT
247.61
247.701
1519186
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1767425240-073.cnf
SAT
279.707
279.812
1518550
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1448866403-060.cnf
SAT
298.297
298.392
1519246
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1707873242-085.cnf
SAT
319.75
319.862
1515538
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1985172968-100.cnf
SAT
381.524
381.625
1519102
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1326039470-063.cnf
SAT
389.699
389.805
1518598
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S47926000-049.cnf
SAT
402.64
402.739
1515478
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1924575376-025.cnf
SAT
413.87
414.014
1518946
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S2032726331-082.cnf
SAT
432.359
432.519
1518538
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S321371087-018.cnf
SAT
460.718
460.873
1518982
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1531283922-009.cnf
SAT
492.169
492.33
1518586
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1804335510-002.cnf
SAT
517.258
517.404
1519198
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1772254584-042.cnf
SAT
520.97
521.114
1515526
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S744068878-072.cnf
SAT
535.21
535.352
1515370
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S725789261-031.cnf
SAT
627.337
627.503
1518706
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1159550149-077.cnf
SAT
640.518
640.705
1515454
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S852794659-023.cnf
SAT
645.339
645.565
1515430
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S554804223-012.cnf
SAT
655.6
655.772
1518922
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1139247531-051.cnf
SAT
659.468
659.666
1518310
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1568932519-011.cnf
SAT
724.665
724.922
1515406
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2139292994-055.cnf
SAT
871.357
871.675
1515394
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1112524719-021.cnf
SAT
905.541
905.891
1518646
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S957997002-040.cnf
SAT
914.143
914.378
1518862
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1931398869-036.cnf
SAT
921.453
921.696
1515418
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1206040031-030.cnf
SAT
927.968
928.317
1516306
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1828800850-025.cnf
SAT
930.749
930.992
1516246
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1014608490-038.cnf
SAT
1157.13
1157.52
1518334
Solver timed out (no solution given) (491 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S125259973-020.cnf
? (TO)
1200.01
1200.31
1517278
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S402241321-038.cnf
? (TO)
1200.01
1200.31
1515514
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S178043354-076.cnf
? (TO)
1200.01
1200.41
1516222
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1070443005-075.cnf
? (TO)
1200.01
1200.41
1515202
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1698591437-083.cnf
? (TO)
1200.01
1200.41
1515034
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S814638510-058.cnf
? (TO)
1200.01
1200.31
1513630
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1007745655-097.cnf
? (TO)
1200.01
1200.31
1517566
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S180439591-093.cnf
? (TO)
1200.01
1200.31
1518286
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S349436298-004.cnf
? (TO)
1200.01
1200.31
1518034
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1354285755-030.cnf
? (TO)
1200.01
1200.31
1516402
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S780904324-093.cnf
? (TO)
1200.01
1200.41
1518682
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S2142680239-019.cnf
? (TO)
1200.01
1200.31
1518754
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S445910413-047.cnf
? (TO)
1200.01
1200.31
1516522
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1045096471-025.cnf
? (TO)
1200.01
1200.41
1518082
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S102181364-052.cnf
? (TO)
1200.02
1200.41
1514854
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S122462268-047.cnf
? (TO)
1200.02
1200.41
1514902
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1305875336-097.cnf
? (TO)
1200.02
1200.31
1514914
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1788451776-008.cnf
? (TO)
1200.02
1200.41
1512910
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S914952752-019.cnf
? (TO)
1200.02
1200.51
1514818
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S779309989-069.cnf
? (TO)
1200.02
1200.31
1513798
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1568578307-064.cnf
? (TO)
1200.02
1200.41
1513138
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S211141966-058.cnf
? (TO)
1200.02
1200.41
1512982
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1845944120-011.cnf
? (TO)
1200.02
1200.41
1513402
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S95953046-044.cnf
? (TO)
1200.02
1200.41
1518022
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1977519792-030.cnf
? (TO)
1200.02
1200.41
1518166
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1580204273-012.cnf
? (TO)
1200.02
1200.51
1517842
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S356738975-073.cnf
? (TO)
1200.02
1200.31
1517698
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1563412474-059.cnf
? (TO)
1200.02
1200.51
1517338
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S942507261-096.cnf
? (TO)
1200.02
1200.61
1513306
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1250067652-054.cnf
? (TO)
1200.02
1200.31
1517446
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S35186747-095.cnf
? (TO)
1200.02
1200.51
1515046
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1096716652-027.cnf
? (TO)
1200.02
1200.41
1516270
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S596342014-039.cnf
? (TO)
1200.02
1200.31
1516990
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1332067449-041.cnf
? (TO)
1200.02
1200.31
1518766
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1731702106-010.cnf
? (TO)
1200.02
1200.31
1516762
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1223878722-065.cnf
? (TO)
1200.02
1200.31
1516534
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1718226278-096.cnf
? (TO)
1200.02
1200.51
1516354
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803323266-025.cnf
? (TO)
1200.02
1200.41
1516642
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S617358728-082.cnf
? (TO)
1200.02
1200.31
1519006
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S709270457-007.cnf
? (TO)
1200.02
1200.31
1516546
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S834811574-084.cnf
? (TO)
1200.02
1200.41
1516366
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S2142794689-088.cnf
? (TO)
1200.02
1200.31
1515982
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S418266958-049.cnf
? (TO)
1200.02
1200.31
1518514
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1185462553-011.cnf
? (TO)
1200.02
1200.41
1512718
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1211704640-033.cnf
? (TO)
1200.02
1200.31
1515094
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S357555833-073.cnf
? (TO)
1200.03
1200.41
1515622
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S816613570-013.cnf
? (TO)
1200.03
1200.41
1517170
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S74035269-088.cnf
? (TO)
1200.03
1200.41
1513606
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S249585100-059.cnf
? (TO)
1200.03
1200.31
1512610
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1339364096-048.cnf
? (TO)
1200.03
1200.61
1516702
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2028777924-038.cnf
? (TO)
1200.03
1200.41
1515922
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S131938947-014.cnf
? (TO)
1200.03
1200.41
1517254
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S84716411-095.cnf
? (TO)
1200.03
1200.41
1518814
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf
? (TO)
1200.03
1200.42
1514050
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1163324878-032.cnf
? (TO)
1200.03
1200.41
1515706
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf
? (TO)
1200.03
1200.42
1514158
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S853819067-006.cnf
? (TO)
1200.03
1200.41
1517482
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S517464300-073.cnf
? (TO)
1200.03
1200.41
1517062
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S905029262-097.cnf
? (TO)
1200.03
1200.41
1516138
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1388268034-092.cnf
? (TO)
1200.03
1200.42
1512778
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S612955126-075.cnf
? (TO)
1200.03
1200.31
1514302
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S785082413-028.cnf
? (TO)
1200.03
1200.41
1514974
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S568017735-066.cnf
? (TO)
1200.03
1200.61
1514374
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S419666888-007.cnf
? (TO)
1200.04
1200.51
1518526
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S926047226-039.cnf
? (TO)
1200.04
1200.41
1517614
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1645769281-097.cnf
? (TO)
1200.04
1200.41
1516486
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S900957093-043.cnf
? (TO)
1200.04
1200.41
1516786
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1146593655-045.cnf
? (TO)
1200.04
1200.41
1516462
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2065372010-022.cnf
? (TO)
1200.04
1200.31
1515802
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1339293988-069.cnf
? (TO)
1200.04
1200.31
1518634
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1284372491-036.cnf
? (TO)
1200.04
1200.42
1512526
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S155821307-034.cnf
? (TO)
1200.04
1200.42
1512826
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1826325374-100.cnf
? (TO)
1200.04
1200.41
1516714
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1746008863-010.cnf
? (TO)
1200.04
1200.41
1517710
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1876865608-086.cnf
? (TO)
1200.04
1200.31
1518442
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1723900160-044.cnf
? (TO)
1200.04
1200.41
1515226
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S884941173-092.cnf
? (TO)
1200.04
1200.41
1515322
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S805234188-084.cnf
? (TO)
1200.04
1200.42
1512802
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S139794312-098.cnf
? (TO)
1200.04
1200.41
1514398
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S136987316-008.cnf
? (TO)
1200.04
1200.41
1513714
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S845966893-046.cnf
? (TO)
1200.04
1200.41
1514950
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S332478069-041.cnf
? (TO)
1200.05
1200.41
1517326
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S449556655-088.cnf
? (TO)
1200.05
1200.41
1518934
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1420449214-092.cnf
? (TO)
1200.05
1200.41
1515082
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S520696524-059.cnf
? (TO)
1200.05
1200.41
1513738
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2035161427-020.cnf
? (TO)
1200.05
1200.51
1519066
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1555503917-029.cnf
? (TO)
1200.05
1200.41
1519030
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S444219303-098.cnf
? (TO)
1200.05
1200.51
1517290
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S91288590-071.cnf
? (TO)
1200.05
1200.41
1513510
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S907861678-077.cnf
? (TO)
1200.05
1200.41
1513426
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1077410718-040.cnf
? (TO)
1200.05
1200.51
1517506
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1357790788-074.cnf
? (TO)
1200.05
1200.41
1515118
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1221988902-087.cnf
? (TO)
1200.05
1200.51
1515058
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S2104277852-078.cnf
? (TO)
1200.05
1200.41
1517218
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1154116462-097.cnf
? (TO)
1200.05
1200.51
1517122
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S975048338-088.cnf
? (TO)
1200.05
1200.41
1517134
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S28271012-055.cnf
? (TO)
1200.05
1200.51
1517050
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2058039218-006.cnf
? (TO)
1200.05
1207.01
1516186
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S971118900-053.cnf
? (TO)
1200.05
1200.41
1515586
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1049921489-034.cnf
? (TO)
1200.05
1200.41
1513342
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S159251645-087.cnf
? (TO)
1200.05
1200.41
1516918
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S645163129-012.cnf
? (TO)
1200.05
1200.41
1516726
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1119648091-064.cnf
? (TO)
1200.05
1200.31
1512958
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S282405510-004.cnf
? (TO)
1200.05
1200.51
1515574
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S72273909-010.cnf
? (TO)
1200.05
1200.41
1516618
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803029538-050.cnf
? (TO)
1200.05
1200.41
1516678
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1017667294-044.cnf
? (TO)
1200.05
1200.51
1513570
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1778559297-006.cnf
? (TO)
1200.05
1199.91
1518358
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1281410666-045.cnf
? (TO)
1200.05
1200.51
1513030
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1367181683-025.cnf
? (TO)
1200.05
1200.41
1519018
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1963731659-060.cnf
? (TO)
1200.05
1200.41
1515646
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1492329924-074.cnf
? (TO)
1200.05
1200.41
1515346
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1767813611-042.cnf
? (TO)
1200.05
1199.91
1515262
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1366769180-095.cnf
? (TO)
1200.05
1200.41
1516450
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1695726805-003.cnf
? (TO)
1200.05
1200.41
1513294
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S400162545-095.cnf
? (TO)
1200.05
1200.41
1516090
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1796956909-029.cnf
? (TO)
1200.05
1200.41
1516018
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1551099861-042.cnf
? (TO)
1200.05
1200.51
1516042
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S986324446-009.cnf
? (TO)
1200.05
1200.41
1515334
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf
? (TO)
1200.05
1200.32
1514110
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1772751287-054.cnf
? (TO)
1200.05
1200.51
1515814
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1494961823-060.cnf
? (TO)
1200.05
1200.41
1518010
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S432776913-077.cnf
? (TO)
1200.05
1200.51
1513486
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1318210982-002.cnf
? (TO)
1200.05
1200.51
1515826
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S327274323-044.cnf
? (TO)
1200.06
1200.41
1513558
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S441484366-048.cnf
? (TO)
1200.06
1200.51
1513318
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1864473452-037.cnf
? (TO)
1200.06
1200.51
1513498
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1352224201-070.cnf
? (TO)
1200.06
1200.41
1513366
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf
? (TO)
1200.06
1200.35
1514242
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S367498571-066.cnf
? (TO)
1200.06
1200.41
1515022
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S559732886-091.cnf
? (TO)
1200.06
1200.51
1514962
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S2083778933-085.cnf
? (TO)
1200.06
1200.51
1515190
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S578339356-013.cnf
? (TO)
1200.06
1200.51
1515142
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S918173205-035.cnf
? (TO)
1200.06
1200.51
1515154
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1718100253-004.cnf
? (TO)
1200.06
1200.41
1516162
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S326668183-079.cnf
? (TO)
1200.06
1200.41
1516318
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2056912842-027.cnf
? (TO)
1200.06
1200.51
1518106
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S658989873-070.cnf
? (TO)
1200.06
1200.71
1518094
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1800466054-025.cnf
? (TO)
1200.06
1199.91
1518238
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1748152762-086.cnf
? (TO)
1200.06
1200.51
1512658
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2088224617-083.cnf
? (TO)
1200.06
1200.42
1512514
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S704699380-099.cnf
? (TO)
1200.06
1200.42
1512538
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S661850551-087.cnf
? (TO)
1200.06
1200.51
1512922
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1334593800-018.cnf
? (TO)
1200.06
1200.51
1512862
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1500472284-060.cnf
? (TO)
1200.06
1200.51
1513042
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1192890414-033.cnf
? (TO)
1200.06
1200.41
1513066
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S193214747-044.cnf
? (TO)
1200.06
1200.51
1513162
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1549575664-035.cnf
? (TO)
1200.06
1200.41
1513102
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1766907733-036.cnf
? (TO)
1200.06
1200.51
1513126
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1543261951-042.cnf
? (TO)
1200.06
1200.41
1513450
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S547165541-056.cnf
? (TO)
1200.06
1200.51
1513654
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf
? (TO)
1200.06
1200.51
1513750
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S859578263-029.cnf
? (TO)
1200.06
1200.43
1513870
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf
? (TO)
1200.06
1200.51
1514290
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf
? (TO)
1200.06
1200.52
1514338
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S906020180-093.cnf
? (TO)
1200.06
1200.41
1514386
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1971658345-089.cnf
? (TO)
1200.06
1200.41
1514794
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1251522734-073.cnf
? (TO)
1200.06
1200.41
1514866
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S650356257-052.cnf
? (TO)
1200.06
1200.44
1514746
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S291433416-025.cnf
? (TO)
1200.06
1200.41
1514986
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S80067159-015.cnf
? (TO)
1200.06
1200.41
1515178
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S712437980-063.cnf
? (TO)
1200.06
1200.51
1514938
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S398733532-072.cnf
? (TO)
1200.06
1200.51
1515250
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S984347600-003.cnf
? (TO)
1200.06
1200.51
1515502
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S528193823-041.cnf
? (TO)
1200.06
1200.51
1515742
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S644655157-049.cnf
? (TO)
1200.06
1200.51
1515610
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1017443264-065.cnf
? (TO)
1200.06
1200.51
1515694
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2099753268-053.cnf
? (TO)
1200.06
1200.41
1515778
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S308012126-046.cnf
? (TO)
1200.06
1200.41
1515598
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1503318847-091.cnf
? (TO)
1200.06
1200.41
1515634
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1879656894-046.cnf
? (TO)
1200.06
1200.41
1515718
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1559668863-058.cnf
? (TO)
1200.06
1200.51
1515730
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1900558626-069.cnf
? (TO)
1200.06
1200.41
1515946
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1818347447-078.cnf
? (TO)
1200.06
1200.41
1515994
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S432895007-058.cnf
? (TO)
1200.06
1200.51
1516474
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S400088537-049.cnf
? (TO)
1200.06
1200.51
1516498
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S839983432-073.cnf
? (TO)
1200.06
1200.51
1516594
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S819692891-023.cnf
? (TO)
1200.06
1200.51
1516606
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S2060380282-019.cnf
? (TO)
1200.06
1200.51
1516558
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1803805764-016.cnf
? (TO)
1200.06
1200.41
1516750
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1048138627-064.cnf
? (TO)
1200.06
1200.51
1516858
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1854680784-082.cnf
? (TO)
1200.06
1200.51
1516930
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1394036608-091.cnf
? (TO)
1200.06
1199.91
1516942
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1136141672-041.cnf
? (TO)
1200.06
1200.51
1517014
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1750991629-037.cnf
? (TO)
1200.06
1200.51
1517158
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1528023000-027.cnf
? (TO)
1200.06
1200.51
1516978
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S688769362-007.cnf
? (TO)
1200.06
1200.51
1517146
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S287522321-032.cnf
? (TO)
1200.06
1200.51
1517314
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S638051453-097.cnf
? (TO)
1200.06
1200.51
1517470
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1606932551-072.cnf
? (TO)
1200.06
1200.51
1517434
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1377066099-004.cnf
? (TO)
1200.06
1200.51
1517686
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1892788676-021.cnf
? (TO)
1200.06
1200.51
1517650
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S45592023-054.cnf
? (TO)
1200.06
1200.41
1518370
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S787972994-025.cnf
? (TO)
1200.06
1200.51
1518658
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1263695887-042.cnf
? (TO)
1200.06
1200.41
1518694
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2067258640-036.cnf
? (TO)
1200.06
1200.51
1518970
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1338462531-082.cnf
? (TO)
1200.06
1200.51
1518898
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf
? (TO)
1200.07
1200.41
1514362
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S418505498-026.cnf
? (TO)
1200.07
1200.41
1517266
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S179568577-034.cnf
? (TO)
1200.07
1200.51
1517086
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1018145191-052.cnf
? (TO)
1200.07
1200.51
1512994
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S374947955-075.cnf
? (TO)
1200.07
1200.51
1517074
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1525918493-008.cnf
? (TO)
1200.07
1207.01
1516114
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1553390498-064.cnf
? (TO)
1200.07
1200.61
1517230
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S2140929154-062.cnf
? (TO)
1200.07
1200.51
1513258
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S900737394-048.cnf
? (TO)
1200.07
1200.51
1518826
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1802626390-033.cnf
? (TO)
1200.07
1200.51
1513390
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S318878687-017.cnf
? (TO)
1200.07
1200.41
1513150
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf
? (TO)
1200.07
1200.55
1514230
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1738391204-028.cnf
? (TO)
1200.07
1200.51
1512946
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S190880026-038.cnf
? (TO)
1200.07
1200.51
1517758
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S729526068-046.cnf
? (TO)
1200.07
1200.41
1517662
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1736056721-032.cnf
? (TO)
1200.07
1200.51
1514782
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S257485978-084.cnf
? (TO)
1200.07
1200.41
1514830
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S632066493-060.cnf
? (TO)
1200.07
1200.41
1514842
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1258122549-031.cnf
? (TO)
1200.07
1200.41
1518058
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1724014998-099.cnf
? (TO)
1200.07
1200.41
1512706
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf
? (TO)
1200.07
1200.52
1514074
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S7007454-009.cnf
? (TO)
1200.07
1200.51
1513690
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1850138369-006.cnf
? (TO)
1200.07
1200.52
1512562
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S144924920-056.cnf
? (TO)
1200.07
1200.52
1512838
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1818639567-059.cnf
? (TO)
1200.07
1200.51
1513594
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S748216286-061.cnf
? (TO)
1200.07
1200.41
1515562
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf
? (TO)
1200.07
1200.41
1513774
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1564075794-028.cnf
? (TO)
1200.07
1200.41
1517494
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1253795703-015.cnf
? (TO)
1200.07
1200.42
1512886
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1920888253-090.cnf
? (TO)
1200.07
1200.41
1515550
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf
? (TO)
1200.07
1200.36
1514518
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S565763763-051.cnf
? (TO)
1200.07
1200.41
1518418
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S915600698-006.cnf
? (TO)
1200.07
1200.41
1517638
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf
? (TO)
1200.07
1199.91
1514314
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf
? (TO)
1200.07
1200.41
1514326
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1573578038-005.cnf
? (TO)
1200.07
1200.52
1512850
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S821759333-092.cnf
? (TO)
1200.07
1200.52
1514098
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S393462637-097.cnf
? (TO)
1200.07
1200.51
1517302
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S703461330-034.cnf
? (TO)
1200.07
1200.51
1515790
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S184801254-020.cnf
? (TO)
1200.07
1200.41
1515850
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S439075063-023.cnf
? (TO)
1200.07
1200.43
1513942
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1171422074-087.cnf
? (TO)
1200.07
1200.41
1516066
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1353769076-009.cnf
? (TO)
1200.07
1199.91
1512634
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S754967851-033.cnf
? (TO)
1200.07
1200.51
1516330
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2015297474-031.cnf
? (TO)
1200.07
1200.52
1512502
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1912214877-051.cnf
? (TO)
1200.07
1200.52
1512766
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S603077945-019.cnf
? (TO)
1200.07
1200.51
1516390
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1050568800-025.cnf
? (TO)
1200.07
1200.41
1515070
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S342542912-045.cnf
? (TO)
1200.07
1200.51
1516630
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf
? (TO)
1200.07
1200.41
1513726
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1484713995-092.cnf
? (TO)
1200.07
1200.41
1516426
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S2087271472-092.cnf
? (TO)
1200.07
1200.51
1518214
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1588298513-036.cnf
? (TO)
1200.07
1200.41
1513246
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1249224492-031.cnf
? (TO)
1200.07
1200.71
1513354
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1089910525-056.cnf
? (TO)
1200.07
1200.51
1516870
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1213077873-067.cnf
? (TO)
1200.07
1200.41
1516738
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1249441590-066.cnf
? (TO)
1200.07
1200.41
1517734
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S531507935-068.cnf
? (TO)
1200.08
1200.41
1517038
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1402156840-093.cnf
? (TO)
1200.08
1200.41
1516570
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1229813320-044.cnf
? (TO)
1200.08
1200.41
1518850
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1723021362-073.cnf
? (TO)
1200.08
1200.41
1516438
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1295462378-089.cnf
? (TO)
1200.08
1200.51
1513414
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S393518083-009.cnf
? (TO)
1200.08
1200.41
1515490
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S870840347-014.cnf
? (TO)
1200.08
1200.41
1513642
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S486178562-011.cnf
? (TO)
1200.08
1200.41
1516906
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S254828838-055.cnf
? (TO)
1200.08
1200.51
1515970
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S358640743-023.cnf
? (TO)
1200.08
1207.01
1515898
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S889538696-070.cnf
? (TO)
1200.08
1200.51
1518394
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1375576340-029.cnf
? (TO)
1200.08
1200.41
1517242
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S857870897-089.cnf
? (TO)
1200.08
1200.41
1516006
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1703611043-077.cnf
? (TO)
1200.08
1200.51
1515754
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S786890012-057.cnf
? (TO)
1200.08
1200.51
1518430
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S266028630-005.cnf
? (TO)
1200.08
1200.51
1513234
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1457384322-029.cnf
? (TO)
1200.08
1200.41
1517518
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1992353905-004.cnf
? (TO)
1200.08
1200.41
1513330
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S420719158-080.cnf
? (TO)
1200.08
1200.47
1514626
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S108799362-035.cnf
? (TO)
1200.08
1200.51
1515766
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1629955917-055.cnf
? (TO)
1200.08
1200.41
1515010
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf
? (TO)
1200.08
1200.52
1514134
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S284173264-081.cnf
? (TO)
1200.08
1200.51
1516414
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S500426663-025.cnf
? (TO)
1200.08
1200.53
1514026
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1127319144-058.cnf
? (TO)
1200.08
1207.01
1513198
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S602463346-055.cnf
? (TO)
1200.08
1200.51
1518070
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S962875623-008.cnf
? (TO)
1200.08
1200.51
1512970
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1988754311-026.cnf
? (TO)
1200.08
1200.51
1516654
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S449511205-064.cnf
? (TO)
1200.08
1200.41
1518730
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1035441377-058.cnf
? (TO)
1200.08
1200.41
1517374
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1085378176-050.cnf
? (TO)
1200.08
1200.51
1513678
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1313163883-027.cnf
? (TO)
1200.08
1200.41
1513078
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S110290755-003.cnf
? (TO)
1200.08
1200.51
1518622
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf
? (TO)
1200.08
1200.41
1513786
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S844931093-069.cnf
? (TO)
1200.08
1200.41
1518466
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1895787950-064.cnf
? (TO)
1200.08
1200.41
1516510
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S824721511-001.cnf
? (TO)
1200.08
1200.51
1515382
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S2007898659-069.cnf
? (TO)
1200.08
1200.41
1517746
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1624574519-076.cnf
? (TO)
1200.08
1200.41
1518322
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1514821049-021.cnf
? (TO)
1200.08
1200.51
1516258
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1410489780-030.cnf
? (TO)
1200.08
1200.51
1514926
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S592525179-032.cnf
? (TO)
1200.08
1200.51
1513462
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S572248576-042.cnf
? (TO)
1200.09
1200.51
1516954
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S948914005-013.cnf
? (TO)
1200.09
1200.51
1513222
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1540921235-015.cnf
? (TO)
1200.09
1200.51
1516894
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S287307030-088.cnf
? (TO)
1200.09
1200.51
1516690
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S2096960818-049.cnf
? (TO)
1200.09
1200.41
1517026
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1178729443-051.cnf
? (TO)
1200.09
1200.41
1513474
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S121765931-081.cnf
? (TO)
1200.09
1200.41
1516966
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1394630553-009.cnf
? (TO)
1200.09
1200.41
1516150
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1331813943-033.cnf
? (TO)
1200.09
1200.41
1516882
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S820736259-091.cnf
? (TO)
1200.09
1200.41
1517110
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S621134782-041.cnf
? (TO)
1200.09
1200.41
1518190
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1266438269-016.cnf
? (TO)
1200.09
1200.41
1516078
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1378953985-075.cnf
? (TO)
1200.09
1200.41
1513378
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf
? (TO)
1200.09
1200.52
1514122
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1639151107-094.cnf
? (TO)
1200.09
1200.41
1516210
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1350958473-082.cnf
? (TO)
1200.09
1200.41
1517362
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1353993612-015.cnf
? (TO)
1200.09
1200.41
1517350
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf
? (TO)
1200.09
1200.51
1513762
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1954748117-061.cnf
? (TO)
1200.09
1200.42
1512730
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1136894336-075.cnf
? (TO)
1200.09
1200.51
1513270
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S599916448-096.cnf
? (TO)
1200.09
1200.61
1516030
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S762724712-048.cnf
? (TO)
1200.09
1200.52
1514062
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1961115887-052.cnf
? (TO)
1200.09
1200.41
1513090
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2073320038-053.cnf
? (TO)
1200.09
1200.41
1516102
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1810287895-075.cnf
? (TO)
1200.09
1200.41
1517674
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf
? (TO)
1200.09
1200.42
1514086
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1611899384-022.cnf
? (TO)
1200.09
1200.41
1513054
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1970456972-046.cnf
? (TO)
1200.09
1200.51
1513018
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2025169165-076.cnf
? (TO)
1200.09
1200.51
1518046
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1299934729-015.cnf
? (TO)
1200.09
1200.41
1516174
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S746386799-050.cnf
? (TO)
1200.09
1200.51
1516282
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1159067237-017.cnf
? (TO)
1200.09
1200.41
1517722
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S817309453-059.cnf
? (TO)
1200.09
1200.41
1518838
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S2037556208-016.cnf
? (TO)
1200.09
1200.51
1516234
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1879859331-044.cnf
? (TO)
1200.09
1200.41
1518382
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2119656249-086.cnf
? (TO)
1200.09
1200.41
1514770
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S247943532-069.cnf
? (TO)
1200.09
1200.41
1518130
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1331382449-070.cnf
? (TO)
1200.09
1200.41
1514998
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1794178048-059.cnf
? (TO)
1200.09
1200.51
1516342
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1524836866-036.cnf
? (TO)
1200.09
1200.51
1517626
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1481888618-011.cnf
? (TO)
1200.09
1200.41
1515298
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S207294319-099.cnf
? (TO)
1200.09
1200.41
1515106
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1602291491-023.cnf
? (TO)
1200.09
1200.41
1516822
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1404929091-050.cnf
? (TO)
1200.09
1200.51
1517410
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1161147107-031.cnf
? (TO)
1200.09
1200.41
1518202
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1858385213-060.cnf
? (TO)
1200.09
1200.41
1516294
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S512486692-050.cnf
? (TO)
1200.09
1200.41
1516378
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1906075351-024.cnf
? (TO)
1200.09
1200.51
1513582
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S839302453-094.cnf
? (TO)
1200.09
1200.53
1513954
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S251246256-047.cnf
? (TO)
1200.09
1200.41
1512622
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1429776379-099.cnf
? (TO)
1200.09
1200.41
1518406
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1536609007-088.cnf
? (TO)
1200.09
1200.41
1518154
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1614425450-034.cnf
? (TO)
1200.09
1200.51
1519054
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S315403000-060.cnf
? (TO)
1200.09
1200.41
1512694
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S2037268960-098.cnf
? (TO)
1200.09
1200.41
1517422
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S457856978-061.cnf
? (TO)
1200.09
1200.41
1517554
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1916548023-003.cnf
? (TO)
1200.09
1200.41
1518778
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S179172230-011.cnf
? (TO)
1200.09
1200.51
1515682
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S492033085-065.cnf
? (TO)
1200.09
1200.51
1517386
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2141146009-040.cnf
? (TO)
1200.09
1200.71
1515874
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S583379276-046.cnf
? (TO)
1200.09
1200.41
1517530
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S285229208-001.cnf
? (TO)
1200.09
1200.41
1517602
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1598052044-078.cnf
? (TO)
1200.09
1200.41
1517458
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S51205200-028.cnf
? (TO)
1200.09
1200.41
1516666
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S289069074-070.cnf
? (TO)
1200.09
1200.41
1515862
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1758422766-080.cnf
? (TO)
1200.09
1200.41
1515934
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S2059720696-001.cnf
? (TO)
1200.09
1200.71
1513666
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S2054922493-058.cnf
? (TO)
1200.09
1200.82
1512754
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S197260469-019.cnf
? (TO)
1200.09
1200.51
1515838
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S697681291-080.cnf
? (TO)
1200.09
1200.41
1516846
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2125310989-062.cnf
? (TO)
1200.09
1200.51
1515910
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1610649331-094.cnf
? (TO)
1200.09
1200.51
1516054
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1628763900-004.cnf
? (TO)
1200.09
1200.41
1517578
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S23858409-056.cnf
? (TO)
1200.09
1200.51
1518790
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S267191961-079.cnf
? (TO)
1200.1
1200.41
1515166
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S522321670-058.cnf
? (TO)
1200.1
1200.41
1513210
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S886725553-011.cnf
? (TO)
1200.1
1200.41
1513114
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S743448446-027.cnf
? (TO)
1200.1
1200.41
1512934
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S15767910-042.cnf
? (TO)
1200.1
1200.54
1514722
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S146188995-071.cnf
? (TO)
1200.1
1200.41
1518178
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2083487609-068.cnf
? (TO)
1200.1
1200.41
1514878
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1916972979-060.cnf
? (TO)
1200.1
1200.51
1514890
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S56507352-034.cnf
? (TO)
1200.1
1200.44
1514674
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S882603971-022.cnf
? (TO)
1200.1
1201.22
1512790
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1850025790-078.cnf
? (TO)
1200.1
1200.51
1515286
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2054549948-012.cnf
? (TO)
1200.1
1200.52
1512598
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1736471436-014.cnf
? (TO)
1200.1
1200.41
1512646
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1376127278-008.cnf
? (TO)
1200.1
1207.21
1515274
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1771223975-021.cnf
? (TO)
1200.1
1200.51
1515358
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S678706275-057.cnf
? (TO)
1200.1
1200.42
1512874
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1137823545-077.cnf
? (TO)
1200.1
1200.41
1518742
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S45173584-020.cnf
? (TO)
1200.1
1200.72
1512574
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2106599808-035.cnf
? (TO)
1200.1
1200.41
1519078
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2142489608-055.cnf
? (TO)
1200.1
1200.51
1516126
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1730125812-056.cnf
? (TO)
1200.1
1200.51
1518910
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S2069223517-023.cnf
? (TO)
1200.1
1200.41
1518958
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S142096783-019.cnf
? (TO)
1200.1
1206.41
1518490
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1640054673-078.cnf
? (TO)
1200.1
1200.41
1516582
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S566590366-099.cnf
? (TO)
1200.1
1200.51
1513546
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1735544520-075.cnf
? (TO)
1200.1
1200.41
1516798
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S149116968-021.cnf
? (TO)
1200.1
1200.41
1516834
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S799705985-049.cnf
? (TO)
1200.1
1200.41
1516774
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1849057034-020.cnf
? (TO)
1200.1
1200.41
1513522
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1897376969-026.cnf
? (TO)
1200.1
1200.41
1516810
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1666821205-020.cnf
? (TO)
1200.1
1200.61
1518670
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1528563858-100.cnf
? (TO)
1200.1
1200.51
1518874
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S565564805-059.cnf
? (TO)
1200.1
1200.41
1517002
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S2061874746-039.cnf
? (TO)
1200.1
1200.51
1517098
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S638042053-051.cnf
? (TO)
1200.1
1200.41
1515310
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S515665970-021.cnf
? (TO)
1200.1
1200.41
1515130
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1775841359-070.cnf
? (TO)
1200.1
1200.41
1517398
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1175850950-017.cnf
? (TO)
1200.1
1200.41
1517542
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf
? (TO)
1200.1
1200.45
1514170
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S433356712-017.cnf
? (TO)
1200.1
1200.41
1518802
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S685953260-065.cnf
? (TO)
1200.1
1200.51
1513006
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S375588147-050.cnf
? (TO)
1200.1
1200.41
1513186
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S452919966-071.cnf
? (TO)
1200.1
1200.41
1513282
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf
? (TO)
1200.1
1200.43
1513822
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S227954525-082.cnf
? (TO)
1200.1
1200.41
1518226
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S274764005-003.cnf
? (TO)
1200.1
1200.53
1514038
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S884764237-004.cnf
? (TO)
1200.11
1200.61
1515886
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf
? (TO)
1200.11
1200.53
1513810
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1864638535-048.cnf
? (TO)
1200.11
1200.51
1518610
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1481598919-023.cnf
? (TO)
1200.11
1200.41
1515214
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1040507052-028.cnf
? (TO)
1200.11
1200.42
1512586
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S809967194-078.cnf
? (TO)
1200.11
1200.51
1518454
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S822708255-070.cnf
? (TO)
1200.11
1200.45
1514218
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1183359164-025.cnf
? (TO)
1200.11
1200.51
1512682
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1422278005-004.cnf
? (TO)
1200.11
1200.51
1515670
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1153031014-012.cnf
? (TO)
1200.11
1200.51
1515658
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S2124311399-085.cnf
? (TO)
1200.11
1200.41
1512898
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1949086545-083.cnf
? (TO)
1200.11
1200.51
1518478
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1086008090-058.cnf
? (TO)
1200.11
1200.41
1515238
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf
? (TO)
1200.11
1200.41
1513702
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S745855171-090.cnf
? (TO)
1200.11
1200.51
1514806
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S595075179-058.cnf
? (TO)
1200.11
1200.42
1514146
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf
? (TO)
1200.11
1200.55
1514194
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S21800963-085.cnf
? (TO)
1200.11
1200.43
1513882
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf
? (TO)
1200.11
1200.46
1514482
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S956556686-037.cnf
? (TO)
1200.11
1200.41
1513438
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S353643296-086.cnf
? (TO)
1200.11
1200.41
1518118
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S2051339669-029.cnf
? (TO)
1200.11
1200.71
1513174
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S17277413-072.cnf
? (TO)
1200.11
1200.57
1514434
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf
? (TO)
1200.11
1200.51
1514350
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf
? (TO)
1200.11
1200.53
1513894
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf
? (TO)
1200.11
1200.43
1514014
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf
? (TO)
1200.11
1200.47
1514530
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf
? (TO)
1200.11
1200.46
1514458
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S285713182-059.cnf
? (TO)
1200.11
1200.51
1513534
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S956671877-054.cnf
? (TO)
1200.11
1200.51
1518142
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S501150091-001.cnf
? (TO)
1200.11
1207.22
1512490
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1322153318-039.cnf
? (TO)
1200.11
1200.52
1512550
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S2034442711-054.cnf
? (TO)
1200.11
1200.41
1517590
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1736708510-089.cnf
? (TO)
1200.11
1200.41
1516198
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S115851319-100.cnf
? (TO)
1200.11
1200.52
1512742
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1797123396-073.cnf
? (TO)
1200.11
1200.52
1512670
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1482824652-097.cnf
? (TO)
1200.11
1200.61
1515958
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S541865505-057.cnf
? (TO)
1200.11
1200.51
1513618
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S219795104-099.cnf
? (TO)
1200.12
1200.44
1514734
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S51132115-023.cnf
? (TO)
1200.12
1200.56
1514446
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S688804305-073.cnf
? (TO)
1200.12
1200.53
1513990
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S268463339-081.cnf
? (TO)
1200.12
1200.43
1513918
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf
? (TO)
1200.12
1200.43
1513834
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S826724848-048.cnf
? (TO)
1200.12
1200.45
1514662
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1441840675-053.cnf
? (TO)
1200.12
1200.52
1512814
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf
? (TO)
1200.12
1200.54
1514710
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf
? (TO)
1200.12
1200.43
1513966
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S279212213-020.cnf
? (TO)
1200.12
1200.53
1513846
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf
? (TO)
1200.12
1200.57
1514590
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S579205610-033.cnf
? (TO)
1200.12
1200.53
1513978
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf
? (TO)
1200.12
1200.47
1514602
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S162003179-087.cnf
? (TO)
1200.12
1200.56
1514410
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf
? (TO)
1200.12
1200.46
1514422
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf
? (TO)
1200.12
1200.53
1513906
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf
? (TO)
1200.12
1200.43
1514002
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S377647456-019.cnf
? (TO)
1200.13
1200.44
1514758
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S648763183-023.cnf
? (TO)
1200.13
1200.45
1514182
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf
? (TO)
1200.13
1200.44
1514686
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf
? (TO)
1200.13
1200.43
1513858
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S221596758-009.cnf
? (TO)
1200.13
1200.44
1514698
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf
? (TO)
1200.13
1200.57
1514566
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S195213520-027.cnf
? (TO)
1200.13
1200.43
1513930
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf
? (TO)
1200.14
1200.44
1514650
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf
? (TO)
1200.14
1200.55
1514206
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf
? (TO)
1200.14
1200.56
1514278
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S310111511-029.cnf
? (TO)
1200.14
1200.55
1514266
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S322778960-054.cnf
? (TO)
1200.14
1200.56
1514494
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf
? (TO)
1200.14
1200.45
1514254
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S339800239-026.cnf
? (TO)
1200.15
1200.56
1514506
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf
? (TO)
1200.15
1200.46
1514578
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf
? (TO)
1200.15
1200.47
1514554
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf
? (TO)
1200.15
1200.46
1514470
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S914323646-060.cnf
? (TO)
1200.15
1200.47
1514614
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf
? (TO)
1200.16
1200.46
1514542
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf
? (TO)
1200.17
1200.57
1514638