SAT 2009 Competition: main competition (phase2): benchmarks results per solver
Result page for solver MiniSat
2.1 (Sat-race'08 Edition)
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (116 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.302953
0.303831
1773192
APPLICATIONS/bitverif/
minor/minor032.cnf
UNSAT
0.417936
0.418643
1773592
manol-pipe-g6bi.cnf
UNSAT
0.876865
0.877537
1775342
een-tip-uns-nusmv-t5.B.cnf
UNSAT
1.14182
1.14152
1775272
hoons-vbmc-lucky7.cnf
UNSAT
1.60676
1.60726
1773392
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
1.72674
1.72792
1773032
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
2.36864
2.3701
1773022
cmu-bmc-barrel6.cnf
UNSAT
2.72658
2.72819
1773332
APPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
UNSAT
2.75658
2.75757
1773722
manol-pipe-c9.cnf
UNSAT
2.97855
2.97849
1775462
APPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
UNSAT
4.32534
4.32694
1773952
APPLICATIONS/
bitverif/maxand/maxand064.cnf
UNSAT
4.50531
4.50722
1773812
APPLICATIONS/bitverif/
minor/minor064.cnf
UNSAT
6.32304
6.32304
1773582
APPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
UNSAT
7.29689
7.29986
1773642
APPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
UNSAT
8.37073
8.37292
1773612
APPLICATIONS/crypto/
md5gen/gus-md5-05.cnf
UNSAT
10.5074
10.5103
1773942
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
UNSAT
14.9167
14.9216
1775212
schup-l2s-abp4-1-k31.cnf
UNSAT
15.9196
15.9242
1773342
velev-engi-uns-1.0-4nd.cnf
UNSAT
16.0926
16.0988
1773442
APPLICATIONS/bitverif/
icbrt/icbrt1_32.cnf
UNSAT
16.0946
16.0986
1773772
APPLICATIONS/bitverif/
smulo/smulo016.cnf
UNSAT
17.2984
17.305
1773752
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
19.3051
19.3108
1772582
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
20.005
20.2148
1772932
cmu-bmc-longmult15.cnf
UNSAT
27.8578
27.8648
1773522
APPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
UNSAT
29.9125
29.921
1773932
manol-pipe-c10nidw_s.cnf
UNSAT
30.1424
30.1624
1775242
APPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
UNSAT
33.8968
33.9071
1774532
simon-s03-fifo8-300.cnf
UNSAT
34.6577
34.6757
1775422
goldb-heqc-term1mul.cnf
UNSAT
36.2085
36.2182
1775322
APPLICATIONS/
bitverif/minand/minand128.cnf
UNSAT
38.0992
38.1101
1773692
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
38.3222
38.3319
1772972
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
39.342
39.3519
1772962
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
UNSAT
41.1148
41.1283
1773672
APPLICATIONS/diagnosis/
ACG-10-5p0.cnf
UNSAT
42.1266
42.166
1774692
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
43.3614
43.3732
1773082
APPLICATIONS/diagnosis/
UCG-10-5p0.cnf
UNSAT
43.5524
43.5666
1774652
APPLICATIONS/diagnosis/
UR-10-5p0.cnf
UNSAT
48.3257
48.3399
1774722
velev-live-uns-2.0-ebuf.cnf
UNSAT
49.6315
49.65
1775332
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
50.2934
50.3064
1772592
manol-pipe-g10id.cnf
UNSAT
53.0919
53.1394
1775302
manol-pipe-c6bidw_i.cnf
UNSAT
65.2501
65.2761
1773472
manol-pipe-c6nidw_i.cnf
UNSAT
66.1369
66.1681
1775482
APPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
UNSAT
68.2226
68.2736
1774622
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
75.5175
75.536
1773012
APPLICATIONS/c32sat/
post-c32s-col400-16.cnf
UNSAT
78.827
78.8837
1774512
APPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
UNSAT
84.5491
84.578
1773972
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
95.1965
95.2666
1772952
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
107.13
107.162
1774792
APPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
UNSAT
112.165
112.224
1774562
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
UNSAT
120.626
120.654
1775132
APPLICATIONS/diagnosis/
UTI-10-10p0.cnf
UNSAT
136.032
136.069
1774862
manol-pipe-c7bidw_i.cnf
UNSAT
137.83
137.877
1775442
APPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
UNSAT
138.17
138.261
1774582
manol-pipe-g7nidw.cnf
UNSAT
148.429
148.474
1775452
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
UNSAT
154.136
154.171
1775092
manol-pipe-c7nidw.cnf
UNSAT
154.276
154.315
1775292
APPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
UNSAT
155.002
155.064
1773802
APPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
UNSAT
182.238
182.306
1774632
schup-l2s-guid-1-k56.cnf
UNSAT
187.732
187.794
1775412
manol-pipe-g10bidw.cnf
UNSAT
188.333
188.414
1775252
APPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
UNSAT
190.011
190.062
1774372
APPLICATIONS/diagnosis/
UR-15-5p0.cnf
UNSAT
208.114
208.219
1774882
APPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
UNSAT
209.314
209.366
1773602
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
246.122
246.186
1774492
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
251.999
252.073
1773062
APPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
UNSAT
261.052
261.12
1774442
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
269.152
269.232
1774382
manol-pipe-g10nid.cnf
UNSAT
285.838
285.944
1773452
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
302.555
302.634
1772942
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
306.51
306.609
1772812
APPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
UNSAT
308.085
308.172
1774432
APPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
UNSAT
349.821
349.928
1774462
goldb-heqc-alu4mul.cnf
UNSAT
369.075
369.173
1773562
goldb-heqc-i10mul.cnf
UNSAT
425.212
425.329
1775282
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
UNSAT
441.768
441.984
1774572
simon-s02b-dp11u10.cnf
UNSAT
466.196
466.369
1775362
APPLICATIONS/diagnosis/
UTI-15-10p0.cnf
UNSAT
469.382
469.56
1774812
manol-pipe-f9b.cnf
UNSAT
635.215
635.548
1773412
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
UNSAT
641.124
641.307
1773002
APPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
UNSAT
661.016
661.243
1773912
industrial/fuhs/medium/
AProVE07-09.cnf
UNSAT
665.826
666.013
1772802
APPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
UNSAT
675.014
675.206
1774612
manol-pipe-c10nid_i.cnf
UNSAT
713.979
714.153
1773542
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
739.962
740.161
1772712
manol-pipe-f9n.cnf
UNSAT
755.65
755.976
1775382
APPLICATIONS/
bitverif/minxor/minxor128.cnf
UNSAT
844.997
845.202
1773632
schup-l2s-bc56s-1-k391.cnf
UNSAT
856.068
856.315
1773402
manol-pipe-c10nidw.cnf
UNSAT
948.529
948.987
1773432
APPLICATIONS/diagnosis/
UTI-15-5p0.cnf
UNSAT
1096.66
1096.96
1774732
velev-pipe-o-uns-1.0-7.cnf
UNSAT
1098.04
1098.35
1775372
industrial/palacios/medium/
cube-11-h13-unsat.cnf
UNSAT
1496.45
1497.19
1772992
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
UNSAT
1508.81
1509.45
1774852
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
1528.86
1529.65
1772732
APPLICATIONS/diagnosis/
ACG-15-10p0.cnf
UNSAT
1561.96
1562.36
1774672
APPLICATIONS/diagnosis/
UR-15-10p0.cnf
UNSAT
1694.48
1695.34
1774892
APPLICATIONS/diagnosis/
UR-20-5p0.cnf
UNSAT
1769.76
1770.55
1774762
APPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
UNSAT
1873.16
1873.97
1773902
APPLICATIONS/
c32sat/post-c32s-ss-8.cnf
UNSAT
1949
1949.48
1774522
manol-pipe-f10ni.cnf
UNSAT
1963.69
1964.49
1775402
velev-pipe-o-uns-1.1-6.cnf
UNSAT
2155.86
2156.59
1775312
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
2398.41
2398.98
1773092
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
UNSAT
2594.72
2596.29
1772572
APPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
UNSAT
2718.68
2718.42
1774482
industrial/fuhs/hard/
AProVE07-08.cnf
UNSAT
2805.25
2806.02
1772832
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
UNSAT
3059.02
3060.58
1774472
goldb-heqc-dalumul.cnf
UNSAT
3123.47
3124.68
1773502
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
UNSAT
3151.09
3151.89
1774942
industrial/fuhs/hard/
AProVE07-27.cnf
UNSAT
3713.19
3714.22
1772862
APPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
UNSAT
3854.53
3855.55
1773702
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
UNSAT
3892.92
3894.06
1775042
APPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
UNSAT
4214.98
4216.46
1773792
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
UNSAT
4518.06
4519.84
1773962
APPLICATIONS/diagnosis/
ACG-20-10p0.cnf
UNSAT
4521.18
4522.5
1774682
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
UNSAT
6051.57
6054.01
1774552
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
UNSAT
6879.8
6882.65
1773622
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
UNSAT
8325.29
8328.22
1773202
Solver found a solution (SATISFIABLE) (78 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
een-tip-sat-texas-tp-5e.cnf
SAT
0.12298
0.123234
1773552
APPLICATIONS/aprove09/
AProVE09-13.cnf
SAT
0.153976
0.153922
1774242
APPLICATIONS/aprove09/
AProVE09-22.cnf
SAT
0.235963
0.236182
1774272
APPLICATIONS/aprove09/
AProVE09-11.cnf
SAT
0.45193
0.452751
1774332
APPLICATIONS/aprove09/
AProVE09-25.cnf
SAT
0.731888
0.732406
1774232
APPLICATIONS/aprove09/
AProVE09-12.cnf
SAT
0.744886
0.746092
1774252
APPLICATIONS/aprove09/
AProVE09-03.cnf
SAT
0.891863
0.892542
1774302
APPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
SAT
1.06584
1.06629
1774422
APPLICATIONS/aprove09/
AProVE09-01.cnf
SAT
1.10383
1.10496
1774262
APPLICATIONS/aprove09/
AProVE09-24.cnf
SAT
1.53077
1.53105
1774202
APPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
SAT
1.58376
1.58427
1774392
APPLICATIONS/aprove09/
AProVE09-05.cnf
SAT
1.99769
1.99879
1774212
APPLICATIONS/aprove09/
AProVE09-10.cnf
SAT
2.09268
2.09247
1774322
APPLICATIONS/aprove09/
AProVE09-21.cnf
SAT
3.09953
3.10056
1774222
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
SAT
3.2815
3.28331
1775012
APPLICATIONS/aprove09/
AProVE09-19.cnf
SAT
3.2905
3.29108
1774342
APPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
SAT
3.9304
3.93636
1774412
industrial/grieu/
vmpc_25.cnf
SAT
4.16037
4.16235
1773102
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
SAT
4.42033
4.42211
1775072
APPLICATIONS/crypto/
desgen/gss-15-s100.cnf
SAT
5.2352
5.23673
1774072
APPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
SAT
6.62699
6.62893
1774452
APPLICATIONS/aprove09/
AProVE09-15.cnf
SAT
7.2039
7.20693
1774282
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
SAT
8.84565
8.84675
1774352
APPLICATIONS/aprove09/
AProVE09-07.cnf
SAT
9.03562
9.03958
1774292
APPLICATIONS/aprove09/
AProVE09-08.cnf
SAT
10.9863
10.9898
1774312
APPLICATIONS/bioinfo/
q_query_3_l42_lambda.cnf
SAT
12.4471
12.4604
1774362
mizh-sha0-35-3.cnf
SAT
12.961
12.9642
1773532
industrial/grieu/
vmpc_28.cnf
SAT
14.8477
14.8516
1773152
APPLICATIONS/aprove09/
AProVE09-17.cnf
SAT
15.5656
15.5709
1774182
velev-pipe-sat-1.0-b7.cnf
SAT
15.6226
15.6359
1775232
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
16.2005
16.2808
1774012
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
SAT
19.0111
19.0209
1775122
industrial/grieu/
vmpc_24.cnf
SAT
20.1329
20.1381
1773132
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
SAT
21.6317
21.636
1775062
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_22_SAT.cnf
SAT
22.1136
22.1213
1774962
mizh-md5-47-3.cnf
SAT
23.3375
23.3503
1773322
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
24.1433
24.1714
1772922
APPLICATIONS/bioinfo/
q_query_3_L60_coli.sat.cnf
SAT
32.4751
32.496
1774602
APPLICATIONS/aprove09/
AProVE09-20.cnf
SAT
34.6207
34.6307
1774192
schup-l2s-motst-2-k315.cnf
SAT
34.7557
34.788
1773422
APPLICATIONS/diagnosis/
UR-10-5p1.cnf
SAT
37.5353
37.5442
1774702
APPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
SAT
37.7953
37.8369
1774402
APPLICATIONS/crypto/
desgen/gss-13-s100.cnf
SAT
39.206
39.2185
1774112
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
43.4914
43.5153
1773292
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
45.3341
45.3451
1774062
industrial/grieu/
vmpc_26.cnf
SAT
67.9117
67.9288
1773172
mizh-md5-47-4.cnf
SAT
71.9141
71.9353
1773512
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
92.387
92.4585
1773302
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
105.977
106.014
1774592
mizh-sha0-36-3.cnf
SAT
129.894
129.94
1773382
velev-pipe-sat-1.0-b10.cnf
SAT
130.2
130.244
1775262
simon-s03-w08-15.cnf
SAT
134.049
134.094
1773372
mizh-md5-48-5.cnf
SAT
169.352
169.402
1773572
APPLICATIONS/c32sat/
post-c32s-gcdm16-22.cnf
SAT
201.834
201.891
1774542
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
SAT
228.828
228.947
1772612
APPLICATIONS/diagnosis/
UTI-15-5p1.cnf
SAT
293.814
293.891
1774922
APPLICATIONS/crypto/
desgen/gss-17-s100.cnf
SAT
372.134
372.228
1773992
APPLICATIONS/diagnosis/
UTI-20-5p1.cnf
SAT
394.404
394.545
1774832
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
SAT
486.087
487.349
1772632
APPLICATIONS/diagnosis/
UTI-15-10p1.cnf
SAT
532.214
532.372
1774642
APPLICATIONS/crypto/
desgen/gss-20-s100.cnf
SAT
649.315
649.48
1774052
mizh-sha0-36-4.cnf
SAT
711.268
711.448
1773462
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
SAT
760.999
761.224
1774872
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
SAT
902.818
903.093
1774752
industrial/grieu/
vmpc_30.cnf
SAT
1063.61
1063.88
1773112
industrial/grieu/
vmpc_29.cnf
SAT
1236.21
1236.51
1773142
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
SAT
1399.66
1400.29
1772642
industrial/narain/
clauses-8.cnf
SAT
1450.29
1450.95
1773182
APPLICATIONS/diagnosis/
UR-20-5p1.cnf
SAT
2128.61
2129.23
1774772
APPLICATIONS/diagnosis/
ACG-20-5p1.cnf
SAT
2169.33
2170.49
1774802
APPLICATIONS/diagnosis/
ACG-15-10p1.cnf
SAT
2169.84
2170.9
1774782
mizh-sha0-36-2.cnf
SAT
2487.75
2488.67
1775392
APPLICATIONS/diagnosis/
UR-15-10p1.cnf
SAT
2571.25
2572.2
1774712
APPLICATIONS/aprove09/
AProVE09-06.cnf
SAT
2689.11
2689.83
1774172
industrial/palacios/medium/
cube-11-h14-sat.cnf
SAT
2801.37
2802.71
1772982
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
SAT
3379.47
3380.33
1774162
APPLICATIONS/diagnosis/
UCG-20-10p1.cnf
SAT
3683.98
3685.48
1774822
APPLICATIONS/diagnosis/
ACG-20-10p1.cnf
SAT
5946.44
5947.88
1774742
Solver timed out (no solution given) (97 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
? (TO)
10000
10002.9
1774972
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
? (TO)
10000
10003.6
1775172
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
10000
10002.6
1773072
APPLICATIONS/crypto/
desgen/gss-28-s100.cnf
? (TO)
10000
10003
1774142
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
10000
10003
1773042
APPLICATIONS/crypto/
desgen/gss-32-s100.cnf
? (TO)
10000
10002.9
1774002
APPLICATIONS/crypto/
desgen/gss-33-s100.cnf
? (TO)
10000
10003.5
1774092
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
? (TO)
10000
10003
1775052
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
? (TO)
10000.1
10003.8
1775022
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
10000.1
10003.3
1772842
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
10000.1
10002.8
1772742
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
10000.1
10004.8
1772752
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
10000.1
10005.1
1772782
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
10000.1
10002.9
1772902
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
10000.1
10003.5
1772822
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
10000.1
10003
1772852
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
10000.1
10003
1773682
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
10000.1
10002.8
1773732
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
10000.1
10002.7
1774032
APPLICATIONS/bitverif/
mulhs/mulhs032.cnf
? (TO)
10000.1
10002.5
1773742
APPLICATIONS/bitverif/
smulo/smulo128.cnf
? (TO)
10000.1
10004.5
1773762
APPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
? (TO)
10000.1
10004
1773832
APPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
? (TO)
10000.1
10002.8
1773842
APPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
? (TO)
10000.1
10003.4
1773852
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
10000.1
10002.6
1773872
APPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
? (TO)
10000.1
10003.5
1773882
APPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
? (TO)
10000.1
10003.8
1773892
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
10000.1
10003.7
1774022
APPLICATIONS/crypto/
desgen/gss-31-s100.cnf
? (TO)
10000.1
10004.9
1773982
APPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
? (TO)
10000.1
10003.3
1773922
APPLICATIONS/crypto/
desgen/gss-26-s100.cnf
? (TO)
10000.1
10002.7
1774042
APPLICATIONS/crypto/
desgen/gss-34-s100.cnf
? (TO)
10000.1
10002.6
1774082
APPLICATIONS/crypto/
desgen/gss-23-s100.cnf
? (TO)
10000.1
10003.6
1774102
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
10000.1
10002.8
1774122
APPLICATIONS/crypto/
desgen/gss-24-s100.cnf
? (TO)
10000.1
10003.7
1774132
APPLICATIONS/crypto/
desgen/gss-25-s100.cnf
? (TO)
10000.1
10002.5
1774152
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
? (TO)
10000.1
10003.1
1774952
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
? (TO)
10000.1
9999.14
1774932
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
? (TO)
10000.1
10003
1775002
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
? (TO)
10000.1
10003.6
1774982
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
? (TO)
10000.1
10003.4
1774992
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
? (TO)
10000.1
10002.9
1775082
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
10000.1
10002.5
1775112
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
? (TO)
10000.1
10003.7
1775102
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
? (TO)
10000.1
10002.6
1775152
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
? (TO)
10000.1
10002.5
1775142
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
10000.1
10003.1
1775182
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
? (TO)
10000.1
10004.1
1775192
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
? (TO)
10000.1
10002.7
1775202
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
? (TO)
10000.1
10003.3
1775222
simon-s02b-k2f-gr-rcs-w8.cnf
? (TO)
10000.1
10002.9
1775432
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
10000.1
10002.9
1772882
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
10000.1
10003.6
1772912
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
10000.1
10002.5
1773052
industrial/grieu/
vmpc_34.cnf
? (TO)
10000.1
10003
1773162
industrial/grieu/
vmpc_33.cnf
? (TO)
10000.1
10002.8
1773122
goldb-heqc-frg1mul.cnf
? (TO)
10000.1
10002.5
1773352
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
10000.1
10002.6
1773242
goldb-heqc-x1mul.cnf
? (TO)
10000.1
10003
1773312
aloul-chnl11-13.cnf
? (TO)
10000.1
10003.6
1773492
vange-col-abb313GPIA-9-c.cnf
? (TO)
10000.1
10002.9
1773482
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
? (TO)
10000.1
10002.5
1773662
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
10000.2
10002.9
1772892
APPLICATIONS/diagnosis/
UTI-20-5p0.cnf
? (TO)
10000.2
10003.1
1774662
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
? (TO)
10000.2
10003.2
1775162
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
10000.2
10004.6
1773272
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
10000.2
10004.2
1772702
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
10000.2
10003.2
1773822
APPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
? (TO)
10000.2
10005.2
1773712
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
10000.2
10002.6
1772672
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
10000.2
10004.7
1774912
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
10000.2
10002.8
1772772
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
10000.2
10002.8
1772652
APPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
? (TO)
10000.2
10004.5
1773782
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
10000.2
10003
1773222
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
10000.2
9999.2
1773232
velev-vliw-uns-4.0-9C1.cnf
? (TO)
10000.2
10004.4
1775352
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
10000.2
10003.9
1772872
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
10000.2
10003.9
1773262
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
10000.2
10004.1
1772662
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (TO)
10000.2
10003.5
1774902
velev-vliw-uns-4.0-9-i1.cnf
? (TO)
10000.2
10004.6
1773362
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
10000.2
10003.7
1772692
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
? (TO)
10000.2
10003.1
1775032
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
10000.3
10003.2
1772722
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
10000.3
10004.2
1773212
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
10000.3
10004.6
1772792
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
10000.3
10003
1772762
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
10000.3
10003
1773862
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
10000.3
10003.1
1773252
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
10000.3
10005.2
1773282
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (TO)
10000.3
10003.2
1772602
velev-pipe-uns-1.0-8.cnf
? (TO)
10000.3
10003.6
1775472
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
10000.3
10003.7
1773652
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
10000.3
10003
1772622
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
? (TO)
10000.3
10004.6
1774842
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
10000.3
10005.3
1772682
Solver exceeded the memory limit (no solution given) (1 run)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
? (MO)
15.9376
16.1737
1774502
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (50 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n2_i3_pp.cnf
UNSAT
0.000999
0.00506488
1784507
CRAFTED/parity-games/
instance_n2_i2_pp.cnf
UNSAT
0.000999
0.00500309
1784531
CRAFTED/parity-games/
instance_n3_i4_pp_ci_ce.cnf
UNSAT
0.011997
0.0117789
1784491
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
UNSAT
0.070988
0.0716741
1783543
CRAFTED/modcircuits/
owp_4vars_5gates.cnf
UNSAT
0.18897
0.188337
1784291
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
0.241962
0.241735
1783535
CRAFTED/parity-games/
instance_n4_i5_pp.cnf
UNSAT
0.283956
0.284337
1784543
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
UNSAT
0.533918
0.53464
1783539
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
UNSAT
1.87571
1.8764
1783907
CRAFTED/parity-games/
instance_n5_i6_pp_ci_ce.cnf
UNSAT
1.90071
1.90175
1784499
CRAFTED/sgen/unsat/
sgen1-unsat-61-100.cnf
UNSAT
10.0085
10.0124
1784147
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
19.0321
19.0366
1783527
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
47.4548
47.4668
1783547
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
68.5926
68.6199
1783575
CRAFTED/parity-games/
instance_n6_i7_pp_ci_ce.cnf
UNSAT
84.5391
84.5563
1784511
CRAFTED/sgen/unsat/
sgen1-unsat-73-100.cnf
UNSAT
89.3184
89.3476
1784155
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
95.5065
95.5664
1783675
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
UNSAT
98.783
98.8157
1783887
CRAFTED/ramseycube/
Q32inK09.cnf
UNSAT
112.609
112.638
1784227
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
133.717
133.751
1783883
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
134.984
135.027
1783567
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
135.54
135.591
1783867
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
142.205
142.251
1783563
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
UNSAT
160.353
160.4
1783875
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
169.348
169.41
1783871
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
UNSAT
183.48
183.543
1783879
CRAFTED/ramseycube/
Q32inK10.cnf
UNSAT
210.173
210.23
1784219
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
UNSAT
300.787
300.877
1783671
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
UNSAT
309.561
309.677
1783703
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
UNSAT
321.671
321.764
1783599
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
369.993
370.086
1783863
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
UNSAT
525.22
525.454
1783595
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
724.894
725.079
1783995
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
863.941
864.411
1783523
CRAFTED/modcircuits/
mod3_4vars_6gates.cnf
UNSAT
876.112
876.363
1784275
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
UNSAT
981.846
982.093
1784003
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
UNSAT
1054.38
1054.77
1783819
CRAFTED/sgen/unsat/
sgen1-unsat-85-100.cnf
UNSAT
1064.18
1064.41
1784139
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
1092.04
1092.3
1783975
CRAFTED/ramseycube/
Q32inK11.cnf
UNSAT
1106.84
1107.26
1784207
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
UNSAT
1623.24
1623.67
1783707
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
UNSAT
1941.07
1942.14
1783979
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
UNSAT
1969.55
1970.14
1783987
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
UNSAT
2087.47
2088.17
1783803
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
UNSAT
2161.6
2162.18
1783571
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g4.cnf
UNSAT
2321.63
2322.25
1784355
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
UNSAT
2566.43
2567.29
1783983
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
UNSAT
2842.47
2843.25
1784007
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
UNSAT
2917.63
2918.49
1783859
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
UNSAT
4463.72
4464.85
1783767
Solver found a solution (SATISFIABLE) (87 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n3_i3_pp_ci_ce.cnf
SAT
0.008997
0.00913897
1784495
CRAFTED/parity-games/
instance_n3_i3_pp.cnf
SAT
0.010998
0.011916
1784547
CRAFTED/sgi/
satsgi-n18himBHm21-p0-q167.cnf
SAT
0.015997
0.016457
1784331
CRAFTED/sgi/
satsgi-n19himBHm22-p0-q181.cnf
SAT
0.018996
0.0196759
1784311
CRAFTED/sgi/
satsgi-n17himBHm20-p0-q146.cnf
SAT
0.022995
0.0233579
1784319
CRAFTED/sgi/
satsgi-n22himBHm25-p0-q229.cnf
SAT
0.030994
0.0316469
1784339
CRAFTED/sgi/
satsgi-n22himBHm24-p0-q209.cnf
SAT
0.032994
0.0337841
1784315
CRAFTED/sgi/
satsgi-n23himBHm25-p0-q219.cnf
SAT
0.033994
0.033861
1784335
CRAFTED/sgi/
satsgi-n23himBHm26-p0-q248.cnf
SAT
0.035993
0.0360119
1784327
CRAFTED/parity-games/
instance_n4_i4_pp_ci_ce.cnf
SAT
0.036994
0.038006
1784523
CRAFTED/sgi/
satsgi-n23himBHm27-p0-q251.cnf
SAT
0.037993
0.038419
1784347
CRAFTED/sgi/
sgi-difficult4.cnf
SAT
0.040993
0.0409149
1784475
CRAFTED/parity-games/
instance_n4_i4_pp.cnf
SAT
0.041993
0.0413081
1784503
CRAFTED/sgi/
satsgi-n25himBHm27-p0-q251.cnf
SAT
0.043992
0.0440351
1784323
CRAFTED/sgi/
satsgi-n25himBHm29-p0-q290.cnf
SAT
0.048991
0.0490741
1784351
CRAFTED/ramseycube/
Q3inK08.cnf
SAT
0.050991
0.0511879
1784223
CRAFTED/sgi/
satsgi-n28himBHm30-p0-q333.cnf
SAT
0.065989
0.0659961
1784343
CRAFTED/sgi/
sgi-difficult7.cnf
SAT
0.091985
0.090558
1784479
CRAFTED/parity-games/
instance_n5_i6_pp.cnf
SAT
0.313952
0.314192
1784527
CRAFTED/parity-games/
instance_n5_i5_pp.cnf
SAT
0.327949
0.327145
1784515
CRAFTED/edgematching/
explicit/em_7_3_6_exp.cnf
SAT
0.78288
0.783988
1784067
CRAFTED/modcircuits/
mod5block_1var_7gates.cnf
SAT
1.14082
1.14102
1784243
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
SAT
1.59076
1.59141
1783895
CRAFTED/parity-games/
instance_n6_i6_pp.cnf
SAT
1.91771
1.91924
1784535
CRAFTED/ramseycube/
Q3inK09.cnf
SAT
2.34064
2.34276
1784199
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
2.40263
2.40338
1783559
CRAFTED/edgematching/
all/em_11_3_4_all.cnf
SAT
2.46163
2.46236
1784087
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
2.49062
2.49042
1783531
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
2.66559
2.66583
1783551
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
3.98339
3.98408
1783555
CRAFTED/edgematching/
explicit/em_7_4_9_exp.cnf
SAT
5.39518
5.39654
1784055
CRAFTED/modcircuits/
mod3block_3vars_9gates_restr.cnf
SAT
7.27689
7.2795
1784303
CRAFTED/
edgematching/all/em_7_4_9_all.cnf
SAT
7.29989
7.30199
1784091
CRAFTED/edgematching/
all/em_14_7_3_all.cnf
SAT
11.0273
11.0295
1784079
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
11.3453
11.3487
1784071
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
12.869
12.8753
1783587
CRAFTED/parity-games/
instance_n7_i7_pp.cnf
SAT
13.348
13.3509
1784539
CRAFTED/rbsat/random/
forced/rbsat-v760c43649gyes10.cnf
SAT
13.5939
13.5992
1784399
CRAFTED/parity-games/
instance_n6_i7_pp.cnf
SAT
17.1914
17.1942
1784487
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
SAT
19.418
19.431
1783763
CRAFTED/sgen/sat/
sgen1-sat-140-100.cnf
SAT
19.664
19.6707
1784175
CRAFTED/edgematching/
all/em_12_2_4_all.cnf
SAT
23.2375
23.2447
1784075
CRAFTED/edgematching/
explicit/em_8_4_5_exp.cnf
SAT
26.157
26.1639
1784063
CRAFTED/
edgematching/all/em_7_3_6_all.cnf
SAT
31.2492
31.2587
1784083
CRAFTED/parity-games/
instance_n6_i6_pp_ci_ce.cnf
SAT
36.4345
36.4431
1784551
CRAFTED/edgematching/
compact/em_7_4_9_cmp.cnf
SAT
36.6984
36.7118
1784011
CRAFTED/parity-games/
instance_n8_i9_pp.cnf
SAT
41.0988
41.1111
1784603
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g8.cnf
SAT
44.0623
44.0576
1784363
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
46.9849
46.9988
1783591
CRAFTED/
edgematching/all/em_7_4_8_all.cnf
SAT
49.1875
49.2049
1784095
CRAFTED/edgematching/
explicit/em_11_3_4_exp.cnf
SAT
53.0599
53.0829
1784043
CRAFTED/sgi/
new-difficult-20-152-18-95.cnf
SAT
54.6347
54.6553
1784623
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes1.cnf
SAT
57.4883
57.5067
1784403
CRAFTED/edgematching/
explicit/em_7_4_8_exp.cnf
SAT
62.8684
62.889
1784059
CRAFTED/parity-games/
instance_n8_i8_pp.cnf
SAT
63.6563
63.6812
1784599
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
SAT
70.7232
70.7555
1784595
CRAFTED/parity-games/
instance_n7_i8_pp.cnf
SAT
75.9685
75.987
1784555
CRAFTED/sgen/sat/
sgen1-sat-160-100.cnf
SAT
95.5935
95.6196
1784183
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes4.cnf
SAT
96.7713
96.8015
1784391
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
SAT
105.892
105.92
1783739
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
108.084
108.113
1784211
CRAFTED/edgematching/
fbcolors/em_7_4_9_fbc.cnf
SAT
110.066
110.094
1784115
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g1.cnf
SAT
136.726
136.763
1784387
CRAFTED/edgematching/
explicit/em_12_2_4_exp.cnf
SAT
138.534
138.583
1784051
CRAFTED/parity-games/
instance_n7_i7_pp_ci_ce.cnf
SAT
156.345
156.383
1784519
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g10.cnf
SAT
184.044
184.096
1784379
CRAFTED/edgematching/
explicit/em_9_3_5_exp.cnf
SAT
184.472
184.524
1784047
CRAFTED/sgi/
new-difficult-22-173-20-80.cnf
SAT
384.545
384.639
1784635
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes6.cnf
SAT
395.787
395.89
1784407
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
422.79
422.903
1783583
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
SAT
458.25
458.38
1783579
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
SAT
461.058
461.222
1783967
CRAFTED/modcircuits/
mod4block_2vars_11gates_u2_autoenc.cnf
SAT
1144.9
1145.24
1784267
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
SAT
1155.05
1155.3
1783603
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
SAT
1663.25
1663.7
1783799
CRAFTED/ramseycube/
Q3inK11.cnf
SAT
1867.36
1868.19
1784231
CRAFTED/sgen/sat/
sgen1-sat-180-100.cnf
SAT
1890.6
1891.64
1784171
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
SAT
1945.35
1945.93
1784615
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
SAT
1964.81
1964.6
1784099
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
SAT
2075.76
2076.43
1783743
CRAFTED/sgi/
new-difficult-24-193-22-70.cnf
SAT
2088.52
2089.53
1784619
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g10.cnf
SAT
2112.2
2112.74
1784375
CRAFTED/sgi/
new-difficult-21-168-19-90.cnf
SAT
2387.26
2387.94
1784627
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
SAT
3429.23
3430.14
1783947
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
SAT
4358.2
4359.33
1784015
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
SAT
4698.07
4699.64
1784307
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes9.cnf
SAT
4840.22
4841.47
1784415
Solver timed out (no solution given) (144 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
5000.02
5001.11
1783951
CRAFTED/sgen/unsat/
sgen1-unsat-115-100.cnf
? (TO)
5000.02
5001.91
1784563
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
5000.02
5001.51
1783747
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
5000.02
5001.81
1783835
CRAFTED/sgen/unsat/
sgen1-unsat-127-100.cnf
? (TO)
5000.03
5001.31
1784559
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
5000.03
5001.52
1783999
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
5000.03
5001.51
1783919
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
? (TO)
5000.03
4999.52
1783727
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
5000.03
5001.61
1783815
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2.cnf
? (TO)
5000.03
5001.52
1784239
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
5000.03
5001.92
1783667
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
? (TO)
5000.03
5001.31
1783959
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
5000.03
5001.81
1783843
CRAFTED/sgen/sat/
sgen1-sat-290-100.cnf
? (TO)
5000.03
5001.81
1784567
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
5000.03
5001.52
1783619
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
5000.04
4999.52
1783851
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes3.cnf
? (TO)
5000.04
5001.83
1784411
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
? (TO)
5000.04
5001.72
1784295
CRAFTED/sgen/sat/
sgen1-sat-200-100.cnf
? (TO)
5000.04
5001.31
1784195
CRAFTED/edgematching/
fbcolors/em_7_3_6_fbc.cnf
? (TO)
5000.04
5001.43
1784111
CRAFTED/sgen/unsat/
sgen1-unsat-145-100.cnf
? (TO)
5000.04
5001.71
1784151
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
5000.04
5001.81
1783971
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
5000.04
5001.31
1783955
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
? (TO)
5000.04
5001.73
1784639
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
5000.04
5001.31
1783795
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
5000.04
5001.91
1783711
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
5000.05
5001.32
1783643
CRAFTED/modcircuits/
mod3block_2vars_9gates_u2_autoenc.cnf
? (TO)
5000.05
5001.93
1784287
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
5000.05
5001.51
1783911
CRAFTED/sgen/sat/
sgen1-sat-270-100.cnf
? (TO)
5000.06
5001.61
1784583
CRAFTED/sgen/unsat/
sgen1-unsat-139-100.cnf
? (TO)
5000.06
5001.41
1784579
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2.cnf
? (TO)
5000.06
5001.74
1784235
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
? (TO)
5000.06
5002.42
1783715
CRAFTED/sgen/sat/
sgen1-sat-220-100.cnf
? (TO)
5000.06
5001.91
1784179
CRAFTED/sgen/unsat/
sgen1-unsat-97-100.cnf
? (TO)
5000.06
5001.91
1784135
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
5000.06
5001.91
1783839
CRAFTED/sgen/unsat/
sgen1-unsat-151-100.cnf
? (TO)
5000.06
5001.41
1784587
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes1.cnf
? (TO)
5000.06
5001.33
1784463
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
? (TO)
5000.07
5001.91
1783963
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
5000.07
5001.42
1783615
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
5000.07
5001.52
1783723
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
? (TO)
5000.07
5001.71
1783827
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
? (TO)
5000.07
5001.31
1783935
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
? (TO)
5000.07
5001.51
1783927
CRAFTED/sgen/sat/
sgen1-sat-240-100.cnf
? (TO)
5000.07
5001.31
1784191
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
5000.07
5001.42
1784251
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2.cnf
? (TO)
5000.07
5001.73
1784279
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g2.cnf
? (TO)
5000.07
5001.43
1784383
CRAFTED/sgen/sat/
sgen1-sat-250-100.cnf
? (TO)
5000.07
5001.91
1784571
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes1.cnf
? (TO)
5000.07
5001.43
1784471
CRAFTED/sgi/
new-difficult-26-243-24-70.cnf
? (TO)
5000.07
5001.34
1784631
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes4.cnf
? (TO)
5000.08
5001.93
1784395
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes8.cnf
? (TO)
5000.08
5001.43
1784455
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
5000.08
5002.21
1783807
CRAFTED/sgen/unsat/
sgen1-unsat-109-100.cnf
? (TO)
5000.08
5001.31
1784131
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
5000.08
5001.41
1783847
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2_restricted.cnf
? (TO)
5000.08
5001.83
1784247
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
5000.08
5001.81
1783735
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2_autoenc.cnf
? (TO)
5000.08
5001.92
1784263
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
5000.08
5001.92
1783659
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
5000.08
5001.41
1783623
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes2.cnf
? (TO)
5000.08
5001.53
1784451
CRAFTED/rbsat/random/unforced/
rbsat-v1820c171155g3.cnf
? (TO)
5000.09
5001.58
1784367
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
5000.09
5001.32
1783631
CRAFTED/ramseycube/
Q3inK13.cnf
? (TO)
5000.09
5002.56
1784203
CRAFTED/sgen/unsat/
sgen1-unsat-133-100.cnf
? (TO)
5000.09
5002.11
1784143
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2_autoenc.cnf
? (TO)
5000.09
5001.93
1784299
CRAFTED/sgen/sat/
sgen1-sat-260-100.cnf
? (TO)
5000.09
5011.01
1784163
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes9.cnf
? (TO)
5000.09
5001.36
1784467
CRAFTED/sgen/sat/
sgen1-sat-280-100.cnf
? (TO)
5000.09
5002.31
1784167
CRAFTED/sgen/sat/
sgen1-sat-300-100.cnf
? (TO)
5000.09
5001.91
1784187
CRAFTED/edgematching/
compact/em_7_4_8_cmp.cnf
? (TO)
5000.09
5001.52
1784035
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
5000.09
5001.81
1783791
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g4.cnf
? (TO)
5000.09
5001.56
1784431
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
5000.09
5001.45
1783939
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
5000.09
5001.48
1783651
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2_restricted.cnf
? (TO)
5000.09
5001.33
1784283
CRAFTED/ramseycube/
Q3inK12.cnf
? (TO)
5000.1
5002.23
1784215
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
5000.1
5001.71
1783915
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
? (TO)
5000.1
5001.41
1783991
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
5000.1
5001.41
1783943
CRAFTED/sgen/unsat/
sgen1-unsat-103-100.cnf
? (TO)
5000.1
5001.21
1784591
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
? (TO)
5000.1
5001.32
1783719
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
5000.1
5001.32
1783755
CRAFTED/edgematching/
fbcolors/em_7_4_8_fbc.cnf
? (TO)
5000.1
5001.32
1784119
CRAFTED/sgen/unsat/
sgen1-unsat-121-100.cnf
? (TO)
5000.1
5002.21
1784159
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes2.cnf
? (TO)
5000.1
5001.44
1784443
CRAFTED/sgi/
new-difficult-28-302-26-75.cnf
? (TO)
5000.1
5001.53
1784643
CRAFTED/parity-games/
instance_n7_i8_pp_ci_ce.cnf
? (TO)
5000.1
5001.44
1784483
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
5000.1
5001.32
1783635
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
5000.1
5001.42
1783811
CRAFTED/edgematching/
fbcolors/em_9_3_5_fbc.cnf
? (TO)
5000.11
5001.52
1784103
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
5000.11
5001.61
1783855
CRAFTED/modcircuits/
mod5block_2vars_12gates.cnf
? (TO)
5000.11
5001.34
1784255
CRAFTED/sgen/sat/
sgen1-sat-230-100.cnf
? (TO)
5000.11
5001.51
1784575
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
5000.11
5001.57
1784419
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
5000.11
5001.61
1783787
CRAFTED/modcircuits/
mod4block_2vars_10gates_u2_autoenc.cnf
? (TO)
5000.11
5001.43
1784271
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
5000.11
5001.51
1783923
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
? (TO)
5000.11
5001.41
1783611
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
5000.11
5001.45
1784423
CRAFTED/edgematching/
compact/em_8_4_5_cmp.cnf
? (TO)
5000.12
5001.43
1784039
CRAFTED/parity-games/
instance_n9_i9_pp_ci_ce.cnf
? (TO)
5000.12
5001.89
1784607
CRAFTED/edgematching/
fbcolors/em_11_3_4_fbc.cnf
? (TO)
5000.12
5001.38
1784127
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g2.cnf
? (TO)
5000.12
5002.65
1784439
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
5000.12
5001.52
1783663
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
5000.12
5001.52
1783607
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
5000.12
5001.72
1783639
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
5000.12
5001.62
1783647
CRAFTED/parity-games/
instance_n8_i9_pp_ci_ce.cnf
? (TO)
5000.12
5001.75
1784611
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
5000.13
5001.62
1783627
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
5000.13
5001.66
1783775
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
5000.13
5001.43
1783655
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
5000.13
5002.39
1783699
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
5000.13
5001.34
1783779
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
5000.13
5001.45
1784027
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
5000.13
5001.62
1783823
CRAFTED/edgematching/
compact/em_9_3_5_cmp.cnf
? (TO)
5000.13
5001.64
1784023
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g6.cnf
? (TO)
5000.14
5001.43
1784359
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
5000.14
5001.54
1784019
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
5000.14
5001.76
1783831
CRAFTED/modcircuits/
mod3block_2vars_10gates_u2_autoenc.cnf
? (TO)
5000.14
5001.63
1784259
CRAFTED/rbsat/crafted/unforced/
rbsat-v2640c305320g4.cnf
? (TO)
5000.15
5001.59
1784427
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
5000.15
5002.38
1783679
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
5000.15
5002
1783771
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
5000.15
5001.56
1783731
CRAFTED/rbsat/crafted/
forced/rbsat-v1820c171155gyes6.cnf
? (TO)
5000.17
5001.37
1784447
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g5.cnf
? (TO)
5000.18
5001.53
1784435
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
5000.18
5002.4
1783683
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
5000.18
5002.38
1783687
CRAFTED/edgematching/
fbcolors/em_12_2_4_fbc.cnf
? (TO)
5000.19
5001.86
1784123
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes8.cnf
? (TO)
5000.19
5001.63
1784459
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
5000.2
5002.21
1783691
CRAFTED/edgematching/
fbcolors/em_14_7_3_fbc.cnf
? (TO)
5000.2
5001.68
1784107
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
5000.21
5001.56
1783891
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
5000.21
5002.63
1783695
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g2.cnf
? (TO)
5000.22
5001.54
1784371
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
5000.22
5002.38
1783759
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
5000.22
5002.1
1783899
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
? (TO)
5000.23
5002.38
1783931
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
5000.24
5002.95
1783903
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
5000.24
5001.58
1783751
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
5000.25
5001.57
1783783
CRAFTED/edgematching/
compact/em_14_7_3_cmp.cnf
? (TO)
5000.28
5001.6
1784031