SAT 2009 Competition: main competition (phase2): benchmarks results per solver
Result page for solver MXC
2009-03-10
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (111 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.292954
0.293904
1773197
APPLICATIONS/bitverif/
minor/minor032.cnf
UNSAT
0.463928
0.465343
1773597
hoons-vbmc-lucky7.cnf
UNSAT
1.14083
1.14175
1773397
manol-pipe-g6bi.cnf
UNSAT
1.39979
1.40071
1775347
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
1.53477
1.53632
1773037
een-tip-uns-nusmv-t5.B.cnf
UNSAT
1.57676
1.57805
1775277
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
2.30165
2.30268
1773027
cmu-bmc-barrel6.cnf
UNSAT
3.19151
3.19259
1773337
APPLICATIONS/
bitverif/maxand/maxand064.cnf
UNSAT
3.97939
3.98087
1773817
manol-pipe-c9.cnf
UNSAT
4.15637
4.15838
1775467
APPLICATIONS/bitverif/
minor/minor064.cnf
UNSAT
5.11422
5.1164
1773587
APPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
UNSAT
5.86511
5.86738
1773727
APPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
UNSAT
11.4333
11.4368
1773647
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
13.6769
13.6807
1773087
manol-pipe-g7nidw.cnf
UNSAT
16.7035
16.7086
1775457
APPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
UNSAT
17.1874
17.1918
1773617
velev-engi-uns-1.0-4nd.cnf
UNSAT
19.767
19.7725
1773447
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
UNSAT
21.2768
21.2834
1773677
schup-l2s-abp4-1-k31.cnf
UNSAT
21.9357
21.9425
1773347
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
UNSAT
22.7665
22.774
1775217
APPLICATIONS/bitverif/
icbrt/icbrt1_32.cnf
UNSAT
26.9649
26.9717
1773777
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
30.2664
30.2765
1772937
APPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
UNSAT
31.5522
31.5595
1773957
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
31.6002
31.613
1772587
simon-s03-fifo8-300.cnf
UNSAT
33.9758
33.9944
1775427
cmu-bmc-longmult15.cnf
UNSAT
38.8351
38.8465
1773527
APPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
UNSAT
46.5959
46.6372
1774537
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
48.0027
48.0276
1772967
APPLICATIONS/diagnosis/
UR-10-5p0.cnf
UNSAT
49.0425
49.063
1774727
APPLICATIONS/diagnosis/
UCG-10-5p0.cnf
UNSAT
50.7923
50.8334
1774657
APPLICATIONS/bitverif/
smulo/smulo016.cnf
UNSAT
58.3771
58.3927
1773757
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
59.46
59.4739
1772977
APPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
UNSAT
62.1895
62.2144
1774627
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
63.0084
63.4132
1772597
APPLICATIONS/crypto/
md5gen/gus-md5-05.cnf
UNSAT
68.6526
68.6832
1773947
APPLICATIONS/c32sat/
post-c32s-col400-16.cnf
UNSAT
73.4118
73.4316
1774517
manol-pipe-c10nidw_s.cnf
UNSAT
85.383
85.4256
1775247
manol-pipe-g10id.cnf
UNSAT
86.4979
86.5797
1775307
APPLICATIONS/
bitverif/minand/minand128.cnf
UNSAT
89.8373
89.8593
1773697
APPLICATIONS/diagnosis/
ACG-10-5p0.cnf
UNSAT
91.2241
91.2632
1774697
velev-live-uns-2.0-ebuf.cnf
UNSAT
95.3245
95.3587
1775337
manol-pipe-c6nidw_i.cnf
UNSAT
95.4475
95.4849
1775487
manol-pipe-c6bidw_i.cnf
UNSAT
101.821
101.846
1773477
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
102.915
102.94
1773067
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
117.747
117.804
1773017
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
130.693
130.741
1772957
APPLICATIONS/diagnosis/
UTI-10-10p0.cnf
UNSAT
149.887
149.957
1774867
manol-pipe-c7bidw_i.cnf
UNSAT
175.464
175.513
1775447
APPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
UNSAT
180.612
180.687
1773937
manol-pipe-g10nid.cnf
UNSAT
182.672
182.726
1773457
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
184.989
185.067
1774797
APPLICATIONS/diagnosis/
UR-15-5p0.cnf
UNSAT
191.222
191.323
1774887
APPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
UNSAT
197.7
197.779
1774637
manol-pipe-c7nidw.cnf
UNSAT
221.111
221.215
1775297
schup-l2s-guid-1-k56.cnf
UNSAT
231.188
231.273
1775417
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
241.989
242.075
1772947
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
UNSAT
274.72
274.906
1775097
APPLICATIONS/diagnosis/
UTI-15-10p0.cnf
UNSAT
281.419
281.489
1774817
APPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
UNSAT
313.762
313.845
1774437
goldb-heqc-alu4mul.cnf
UNSAT
323.443
323.523
1773567
APPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
UNSAT
340.499
340.59
1773977
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
348.851
348.953
1774387
manol-pipe-g10bidw.cnf
UNSAT
354.706
354.82
1775257
APPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
UNSAT
356.485
356.589
1774447
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
UNSAT
374.872
374.964
1775137
APPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
UNSAT
392.795
392.933
1774467
APPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
UNSAT
396.961
397.096
1774377
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
413.163
413.281
1773097
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
419.289
419.41
1774497
APPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
UNSAT
441.305
441.44
1774587
APPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
UNSAT
453.675
453.898
1774567
goldb-heqc-i10mul.cnf
UNSAT
521.826
521.962
1775287
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
536.737
536.893
1772817
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
539.576
539.718
1772717
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
UNSAT
561.486
561.736
1774577
manol-pipe-f9n.cnf
UNSAT
566.738
566.887
1775387
manol-pipe-f9b.cnf
UNSAT
574.371
574.516
1773417
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
595.718
595.953
1772737
APPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
UNSAT
663.296
663.463
1773607
simon-s02b-dp11u10.cnf
UNSAT
775.996
776.267
1775367
APPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
UNSAT
863.298
863.545
1773807
industrial/fuhs/medium/
AProVE07-09.cnf
UNSAT
933.413
933.661
1772807
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
UNSAT
1005.29
1005.55
1773007
APPLICATIONS/diagnosis/
UTI-15-5p0.cnf
UNSAT
1013.21
1013.65
1774737
manol-pipe-c10nid_i.cnf
UNSAT
1142.96
1143.31
1773547
goldb-heqc-term1mul.cnf
UNSAT
1210.4
1210.72
1775327
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
UNSAT
1529.52
1529.9
1774857
manol-pipe-c10nidw.cnf
UNSAT
1550.23
1550.63
1773437
manol-pipe-f10ni.cnf
UNSAT
1830.33
1831.11
1775407
velev-pipe-o-uns-1.0-7.cnf
UNSAT
1861.53
1862.03
1775377
APPLICATIONS/diagnosis/
UR-15-10p0.cnf
UNSAT
1990.02
1990.86
1774897
industrial/palacios/medium/
cube-11-h13-unsat.cnf
UNSAT
2039.53
2040.1
1772997
schup-l2s-bc56s-1-k391.cnf
UNSAT
2145.77
2146.78
1773407
APPLICATIONS/diagnosis/
ACG-15-10p0.cnf
UNSAT
2191.32
2191.94
1774677
industrial/fuhs/hard/
AProVE07-27.cnf
UNSAT
2277.01
2277.81
1772867
APPLICATIONS/
bitverif/minxor/minxor128.cnf
UNSAT
2306.27
2307.02
1773637
goldb-heqc-dalumul.cnf
UNSAT
2501.65
2502.25
1773507
APPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
UNSAT
2569.93
2570.88
1773917
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
UNSAT
2586.96
2587.71
1773077
APPLICATIONS/
c32sat/post-c32s-ss-8.cnf
UNSAT
3073.71
3075.02
1774527
APPLICATIONS/diagnosis/
UR-20-5p0.cnf
UNSAT
3084.86
3086.18
1774767
industrial/fuhs/hard/
AProVE07-08.cnf
UNSAT
3443.16
3443.99
1772837
APPLICATIONS/diagnosis/
UTI-20-5p0.cnf
UNSAT
3733.66
3735.33
1774667
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
UNSAT
3998.86
3999.91
1772577
APPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
UNSAT
4171.85
4173.19
1773797
APPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
UNSAT
4388.29
4389.35
1773707
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
UNSAT
5307.27
5308.55
1774947
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
UNSAT
5542.4
5543.84
1775047
APPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
UNSAT
6008.8
6012.21
1773907
APPLICATIONS/diagnosis/
ACG-20-10p0.cnf
UNSAT
7048.1
7051.05
1774687
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
UNSAT
7132.76
7132.78
1774847
Solver found a solution (SATISFIABLE) (79 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
een-tip-sat-texas-tp-5e.cnf
SAT
0.12998
0.130604
1773557
APPLICATIONS/aprove09/
AProVE09-13.cnf
SAT
0.184971
0.18661
1774247
APPLICATIONS/aprove09/
AProVE09-22.cnf
SAT
0.301953
0.301769
1774277
APPLICATIONS/aprove09/
AProVE09-11.cnf
SAT
0.708891
0.709263
1774337
APPLICATIONS/aprove09/
AProVE09-12.cnf
SAT
0.810876
0.809795
1774257
APPLICATIONS/aprove09/
AProVE09-25.cnf
SAT
0.828873
0.829434
1774237
APPLICATIONS/aprove09/
AProVE09-03.cnf
SAT
1.11483
1.11527
1774307
APPLICATIONS/aprove09/
AProVE09-19.cnf
SAT
1.17582
1.17687
1774347
APPLICATIONS/aprove09/
AProVE09-01.cnf
SAT
1.36679
1.3662
1774267
APPLICATIONS/crypto/
desgen/gss-13-s100.cnf
SAT
2.37564
2.37824
1774117
APPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
SAT
2.97855
2.97923
1774397
APPLICATIONS/aprove09/
AProVE09-10.cnf
SAT
3.2785
3.28047
1774327
APPLICATIONS/aprove09/
AProVE09-21.cnf
SAT
3.36949
3.37089
1774227
APPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
SAT
4.11537
4.11662
1774427
APPLICATIONS/aprove09/
AProVE09-24.cnf
SAT
4.21836
4.22561
1774207
APPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
SAT
4.63829
4.6413
1774457
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
SAT
6.68198
6.68537
1775077
APPLICATIONS/aprove09/
AProVE09-05.cnf
SAT
6.92595
6.93006
1774217
APPLICATIONS/aprove09/
AProVE09-15.cnf
SAT
8.61869
8.62127
1774287
APPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
SAT
11.6392
11.6408
1774417
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
SAT
12.4211
12.423
1774357
APPLICATIONS/aprove09/
AProVE09-17.cnf
SAT
14.2128
14.2213
1774187
APPLICATIONS/aprove09/
AProVE09-07.cnf
SAT
15.4417
15.4474
1774297
industrial/grieu/
vmpc_28.cnf
SAT
21.9087
21.9147
1773157
industrial/grieu/
vmpc_24.cnf
SAT
28.2087
28.2158
1773137
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
29.7015
29.7104
1774067
mizh-sha0-35-3.cnf
SAT
29.9414
29.9479
1773537
APPLICATIONS/aprove09/
AProVE09-08.cnf
SAT
31.7972
31.8099
1774317
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
SAT
31.8502
31.8591
1775127
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_22_SAT.cnf
SAT
32.859
32.8755
1774967
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
SAT
32.985
32.9949
1775067
APPLICATIONS/bioinfo/
q_query_3_l42_lambda.cnf
SAT
36.0175
36.0291
1774367
APPLICATIONS/bioinfo/
q_query_3_L60_coli.sat.cnf
SAT
41.5277
41.5754
1774607
APPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
SAT
42.0326
42.043
1774407
APPLICATIONS/diagnosis/
UR-10-5p1.cnf
SAT
47.2878
47.3383
1774707
schup-l2s-motst-2-k315.cnf
SAT
47.7617
47.7875
1773427
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
48.4056
48.4399
1772927
APPLICATIONS/aprove09/
AProVE09-20.cnf
SAT
58.1682
58.1899
1774197
industrial/grieu/
vmpc_25.cnf
SAT
92.237
92.2606
1773107
APPLICATIONS/crypto/
desgen/gss-15-s100.cnf
SAT
102.611
102.639
1774077
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
108.378
108.416
1773297
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
122.011
122.047
1774017
simon-s03-w08-15.cnf
SAT
127.81
127.861
1773377
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
SAT
130.461
130.496
1772637
APPLICATIONS/diagnosis/
UTI-15-5p1.cnf
SAT
131.972
132.076
1774927
industrial/grieu/
vmpc_26.cnf
SAT
176.197
176.257
1773177
mizh-md5-47-3.cnf
SAT
186.083
186.13
1773327
mizh-sha0-36-3.cnf
SAT
223.28
223.343
1773387
APPLICATIONS/crypto/
desgen/gss-17-s100.cnf
SAT
247.97
248.031
1773997
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
SAT
248.279
248.402
1772647
mizh-md5-48-5.cnf
SAT
260.583
260.668
1773577
mizh-md5-47-4.cnf
SAT
262.001
262.085
1773517
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
277.523
277.653
1774597
velev-pipe-sat-1.0-b7.cnf
SAT
281.107
281.22
1775237
APPLICATIONS/c32sat/
post-c32s-gcdm16-22.cnf
SAT
314.996
315.077
1774547
mizh-sha0-36-4.cnf
SAT
357.401
357.503
1773467
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
389.078
389.279
1773307
APPLICATIONS/diagnosis/
UTI-15-10p1.cnf
SAT
441.91
442.097
1774647
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
SAT
493.788
493.961
1775017
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
SAT
839.868
840.252
1772617
industrial/grieu/
vmpc_33.cnf
SAT
863.686
863.916
1773127
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
SAT
1198.2
1198.51
1774877
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
SAT
1372.27
1372.61
1774167
APPLICATIONS/aprove09/
AProVE09-06.cnf
SAT
1906.08
1906.76
1774177
mizh-sha0-36-2.cnf
SAT
2104.64
2105.26
1775397
APPLICATIONS/diagnosis/
UTI-20-5p1.cnf
SAT
2121.78
2122.62
1774837
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
SAT
2743.1
2744.43
1774757
APPLICATIONS/diagnosis/
ACG-15-10p1.cnf
SAT
2904.6
2906
1774787
industrial/grieu/
vmpc_30.cnf
SAT
2965.86
2966.72
1773117
industrial/grieu/
vmpc_29.cnf
SAT
3048.06
3048.8
1773147
APPLICATIONS/diagnosis/
ACG-20-5p1.cnf
SAT
3631.76
3633.33
1774807
APPLICATIONS/crypto/
desgen/gss-20-s100.cnf
SAT
3944.66
3945.64
1774057
APPLICATIONS/diagnosis/
UCG-20-10p1.cnf
SAT
3949.75
3950.92
1774827
APPLICATIONS/diagnosis/
UR-20-5p1.cnf
SAT
4445.82
4446.9
1774777
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
SAT
4522.8
4524.05
1772627
industrial/palacios/medium/
cube-11-h14-sat.cnf
SAT
4810.75
4812.12
1772987
industrial/narain/
clauses-8.cnf
SAT
6677.65
6680.6
1773187
APPLICATIONS/diagnosis/
UR-15-10p1.cnf
SAT
7070.14
7073.56
1774717
APPLICATIONS/diagnosis/
ACG-20-10p1.cnf
SAT
8438.41
8441.45
1774747
Solver didn't decide (UNKNOWN) (1 run)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
?
2.43263
2.44559
1774507
Solver timed out (no solution given) (100 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
? (TO)
10000
10003
1773887
aloul-chnl11-13.cnf
? (TO)
10000
10002.9
1773497
goldb-heqc-frg1mul.cnf
? (TO)
10000
10002.7
1773357
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
10000
10004.6
1774127
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
10000
10004.3
1772827
APPLICATIONS/crypto/
desgen/gss-28-s100.cnf
? (TO)
10000
10002.7
1774147
APPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
? (TO)
10000.1
10005
1774487
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
10000.1
10004
1775187
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
? (TO)
10000.1
10004.1
1774957
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
? (TO)
10000.1
10003.2
1775157
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
? (TO)
10000.1
10003.1
1775177
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
? (TO)
10000.1
10003.2
1775167
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
? (TO)
10000.1
10003.2
1775207
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
10000.1
10003.8
1772697
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
? (TO)
10000.1
10003.3
1774937
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
? (TO)
10000.1
10003.6
1775227
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
10000.1
10002.7
1772877
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
10000.1
10002.7
1772887
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
10000.1
10003.7
1772657
simon-s02b-k2f-gr-rcs-w8.cnf
? (TO)
10000.1
10003.2
1775437
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
10000.1
10002.6
1772917
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
10000.1
10003.7
1773057
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
? (TO)
10000.1
10003.4
1775197
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
? (TO)
10000.1
10003.3
1775087
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
10000.1
10002.6
1773047
industrial/grieu/
vmpc_34.cnf
? (TO)
10000.1
10002.6
1773167
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
? (TO)
10000.1
10003.5
1775057
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
10000.1
10003.6
1773207
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
? (TO)
10000.1
10003.7
1775037
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
? (TO)
10000.1
10004.5
1775027
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
10000.1
10002.8
1772857
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
? (TO)
10000.1
10008.6
1775007
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
? (TO)
10000.1
10003.2
1774997
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
? (TO)
10000.1
10003.6
1774987
goldb-heqc-x1mul.cnf
? (TO)
10000.1
10002.9
1773317
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
10000.1
10004.8
1772727
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
? (TO)
10000.1
10002.5
1773667
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
10000.1
10002.8
1772747
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
10000.1
10003.8
1773737
APPLICATIONS/bitverif/
mulhs/mulhs032.cnf
? (TO)
10000.1
10002.9
1773747
APPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
? (TO)
10000.1
10002.6
1773837
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
10000.1
10003
1773687
velev-pipe-o-uns-1.1-6.cnf
? (TO)
10000.1
10015.6
1775317
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
? (TO)
10000.1
10018.9
1775147
APPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
? (TO)
10000.1
10002.9
1773847
APPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
? (TO)
10000.1
10003.4
1773857
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
? (TO)
10000.1
10004.1
1774977
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
10000.1
10003.7
1773877
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
10000.1
10003.6
1772677
APPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
? (TO)
10000.1
10003.6
1773897
APPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
? (TO)
10000.1
10002.8
1773927
APPLICATIONS/crypto/
desgen/gss-31-s100.cnf
? (TO)
10000.1
10003.7
1773987
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
10000.1
10016.5
1775117
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
10000.1
10002.8
1773967
APPLICATIONS/crypto/
desgen/gss-34-s100.cnf
? (TO)
10000.1
10002.6
1774087
APPLICATIONS/crypto/
desgen/gss-32-s100.cnf
? (TO)
10000.1
10002.9
1774007
APPLICATIONS/crypto/
desgen/gss-26-s100.cnf
? (TO)
10000.1
10002.8
1774047
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
10000.1
10003.7
1774027
APPLICATIONS/crypto/
desgen/gss-33-s100.cnf
? (TO)
10000.1
10004
1774097
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
10000.1
10002.7
1774037
APPLICATIONS/crypto/
desgen/gss-23-s100.cnf
? (TO)
10000.1
10003.2
1774107
APPLICATIONS/crypto/
desgen/gss-24-s100.cnf
? (TO)
10000.1
10002.7
1774137
APPLICATIONS/crypto/
desgen/gss-25-s100.cnf
? (TO)
10000.1
10005.4
1774157
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
10000.1
10003
1772847
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
10000.1
10003.7
1772787
vange-col-abb313GPIA-9-c.cnf
? (TO)
10000.2
10003
1773487
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (TO)
10000.2
10004.8
1772607
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
10000.2
10006
1772687
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
10000.2
10002.7
1772757
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
10000.2
10003
1772777
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
10000.2
10004.6
1772797
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
10000.2
10002.6
1772897
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
10000.2
10000.2
1772907
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
10000.2
10003.9
1773247
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
10000.2
10004.5
1773627
APPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
? (TO)
10000.2
10002.7
1773717
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
? (TO)
10000.2
10005.3
1774557
APPLICATIONS/bitverif/
smulo/smulo128.cnf
? (TO)
10000.2
10004.2
1773767
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
10000.2
10004.2
1773827
APPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
? (TO)
10000.2
10003.2
1773787
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
? (TO)
10000.2
10002.9
1774477
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (TO)
10000.2
10004.3
1774907
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
? (TO)
10000.2
10004.3
1775107
APPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
? (TO)
10000.3
10011.8
1774617
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
10000.3
10002.9
1773287
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
10000.3
10003.3
1773277
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
10000.3
10004.6
1773267
velev-pipe-sat-1.0-b10.cnf
? (TO)
10000.3
10014.6
1775267
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
10000.3
10002.9
1773237
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
10000.3
10004.5
1773217
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
10000.3
10003.2
1773657
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
10000.3
10004.6
1773227
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
10000.3
10003.5
1773867
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
10000.3
10003.9
1773257
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
10000.3
10003.1
1772767
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
10000.3
10004.9
1772707
velev-pipe-uns-1.0-8.cnf
? (TO)
10000.3
10004.9
1775477
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
10000.3
10005.1
1774917
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
10000.3
10005.3
1772667
velev-vliw-uns-4.0-9C1.cnf
? (TO)
10000.4
10004.2
1775357
Solver exceeded the memory limit (no solution given) (1 run)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
velev-vliw-uns-4.0-9-i1.cnf
? (MO)
7672.65
7675.58
1773367
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (55 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n2_i3_pp.cnf
UNSAT
0
0.00506096
1784509
CRAFTED/parity-games/
instance_n2_i2_pp.cnf
UNSAT
0.000999
0.00501494
1784533
CRAFTED/parity-games/
instance_n3_i4_pp_ci_ce.cnf
UNSAT
0.012997
0.0131021
1784493
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
UNSAT
0.069988
0.070544
1783545
CRAFTED/modcircuits/
owp_4vars_5gates.cnf
UNSAT
0.18497
0.185277
1784293
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
0.252961
0.25342
1783537
CRAFTED/parity-games/
instance_n4_i5_pp.cnf
UNSAT
0.356945
0.357115
1784545
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
UNSAT
0.487925
0.488596
1783541
CRAFTED/sgen/unsat/
sgen1-unsat-61-100.cnf
UNSAT
1.10683
1.10782
1784149
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
UNSAT
1.92971
1.93082
1783909
CRAFTED/parity-games/
instance_n5_i6_pp_ci_ce.cnf
UNSAT
2.6146
2.61553
1784501
CRAFTED/sgen/unsat/
sgen1-unsat-73-100.cnf
UNSAT
17.2464
17.2523
1784157
CRAFTED/ramseycube/
Q32inK09.cnf
UNSAT
17.5723
17.5779
1784229
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
21.5167
21.5234
1783529
CRAFTED/ramseycube/
Q32inK10.cnf
UNSAT
31.6922
31.7035
1784221
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
UNSAT
57.0943
57.1216
1783601
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
59.276
59.2941
1783577
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
93.1298
93.1602
1783549
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
102.324
102.35
1783677
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
103.567
103.596
1783977
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
UNSAT
104.836
104.883
1783597
CRAFTED/parity-games/
instance_n6_i7_pp_ci_ce.cnf
UNSAT
138.772
138.809
1784513
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
UNSAT
139.038
139.071
1783889
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
UNSAT
170.182
170.232
1783877
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
181.169
181.216
1783869
CRAFTED/modcircuits/
mod3_4vars_6gates.cnf
UNSAT
192.799
192.872
1784277
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
193.379
193.36
1783565
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
208.173
208.226
1783997
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
UNSAT
209.615
209.666
1783881
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
213.242
213.32
1783569
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
232.377
232.44
1783885
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
UNSAT
255.553
255.634
1783989
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
256.24
256.309
1783873
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
UNSAT
284.559
284.647
1783673
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
UNSAT
287.49
287.567
1784005
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
UNSAT
442.829
443.024
1783573
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
505.737
505.859
1783865
CRAFTED/sgen/unsat/
sgen1-unsat-85-100.cnf
UNSAT
531.764
531.928
1784141
CRAFTED/ramseycube/
Q32inK11.cnf
UNSAT
592.077
592.007
1784209
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
UNSAT
773.277
773.507
1783613
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g4.cnf
UNSAT
836.602
836.916
1784357
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
UNSAT
1212.8
1213.12
1783821
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
UNSAT
1215.01
1215.3
1783981
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
1225.18
1225.7
1783525
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
UNSAT
1240.77
1241.07
1784009
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
UNSAT
1268.47
1268.83
1783705
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
UNSAT
1582.55
1583.09
1783829
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
UNSAT
1762.75
1763.21
1783937
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
UNSAT
1785.31
1785.79
1783965
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
UNSAT
2128.27
2128.92
1783805
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
UNSAT
2237.2
2237.78
1783929
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
UNSAT
2868.83
2869.69
1783709
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
UNSAT
3348.09
3349.21
1783625
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
UNSAT
4162.63
4164.01
1783861
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
UNSAT
4440.42
4441.61
1783769
Solver found a solution (SATISFIABLE) (91 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n3_i3_pp_ci_ce.cnf
SAT
0.008998
0.00994805
1784497
CRAFTED/parity-games/
instance_n3_i3_pp.cnf
SAT
0.012997
0.0132381
1784549
CRAFTED/sgi/
satsgi-n17himBHm20-p0-q146.cnf
SAT
0.028994
0.0318319
1784321
CRAFTED/sgi/
satsgi-n18himBHm21-p0-q167.cnf
SAT
0.034993
0.034799
1784333
CRAFTED/sgi/
satsgi-n19himBHm22-p0-q181.cnf
SAT
0.040992
0.0422119
1784313
CRAFTED/parity-games/
instance_n4_i4_pp.cnf
SAT
0.047992
0.0470361
1784505
CRAFTED/ramseycube/
Q3inK08.cnf
SAT
0.051991
0.0523651
1784225
CRAFTED/parity-games/
instance_n4_i4_pp_ci_ce.cnf
SAT
0.06099
0.060147
1784525
CRAFTED/sgi/
satsgi-n22himBHm25-p0-q229.cnf
SAT
0.074987
0.0752959
1784341
CRAFTED/sgi/
satsgi-n22himBHm24-p0-q209.cnf
SAT
0.074987
0.0751771
1784317
CRAFTED/sgi/
satsgi-n23himBHm25-p0-q219.cnf
SAT
0.083986
0.0848531
1784337
CRAFTED/sgi/
satsgi-n23himBHm26-p0-q248.cnf
SAT
0.090985
0.0915371
1784329
CRAFTED/sgi/
satsgi-n23himBHm27-p0-q251.cnf
SAT
0.098984
0.099368
1784349
CRAFTED/sgi/
sgi-difficult4.cnf
SAT
0.099984
0.099611
1784477
CRAFTED/sgi/
satsgi-n25himBHm27-p0-q251.cnf
SAT
0.118981
0.118638
1784325
CRAFTED/sgi/
satsgi-n25himBHm29-p0-q290.cnf
SAT
0.138978
0.140092
1784353
CRAFTED/sgi/
satsgi-n28himBHm30-p0-q333.cnf
SAT
0.195969
0.196769
1784345
CRAFTED/sgi/
sgi-difficult7.cnf
SAT
0.280956
0.281487
1784481
CRAFTED/parity-games/
instance_n5_i5_pp.cnf
SAT
0.363944
0.362963
1784517
CRAFTED/modcircuits/
mod5block_1var_7gates.cnf
SAT
1.34879
1.34963
1784245
CRAFTED/parity-games/
instance_n6_i6_pp_ci_ce.cnf
SAT
1.60676
1.60691
1784553
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
SAT
1.71074
1.71198
1783897
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
2.76158
2.76459
1783553
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
2.85156
2.85365
1783533
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
3.17252
3.17408
1783561
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
4.31534
4.31669
1783557
CRAFTED/parity-games/
instance_n6_i7_pp.cnf
SAT
5.9471
5.94829
1784489
CRAFTED/modcircuits/
mod3block_3vars_9gates_restr.cnf
SAT
6.05808
6.06087
1784305
CRAFTED/ramseycube/
Q3inK09.cnf
SAT
6.12507
6.1254
1784201
CRAFTED/parity-games/
instance_n6_i6_pp.cnf
SAT
6.31604
6.31791
1784537
CRAFTED/
edgematching/all/em_7_4_9_all.cnf
SAT
7.15191
7.15422
1784093
CRAFTED/edgematching/
all/em_12_2_4_all.cnf
SAT
7.71083
7.71589
1784077
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes4.cnf
SAT
8.62369
8.62679
1784393
CRAFTED/parity-games/
instance_n5_i6_pp.cnf
SAT
8.64968
8.6515
1784529
CRAFTED/
edgematching/all/em_7_3_6_all.cnf
SAT
11.9262
11.9294
1784085
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
SAT
13.217
13.2222
1783745
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
13.475
13.4774
1783585
CRAFTED/edgematching/
all/em_14_7_3_all.cnf
SAT
15.2347
15.248
1784081
CRAFTED/parity-games/
instance_n7_i7_pp.cnf
SAT
15.2447
15.249
1784541
CRAFTED/sgi/
new-difficult-20-152-18-95.cnf
SAT
16.5165
16.522
1784625
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g8.cnf
SAT
19.0981
19.0956
1784365
CRAFTED/parity-games/
instance_n7_i8_pp.cnf
SAT
22.3446
22.35
1784557
CRAFTED/edgematching/
all/em_11_3_4_all.cnf
SAT
25.3042
25.319
1784089
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
26.7199
26.728
1783593
CRAFTED/edgematching/
explicit/em_7_4_9_exp.cnf
SAT
30.0574
30.0666
1784057
CRAFTED/edgematching/
fbcolors/em_7_4_9_fbc.cnf
SAT
38.0342
38.0436
1784117
CRAFTED/sgen/sat/
sgen1-sat-140-100.cnf
SAT
38.5861
38.5976
1784177
CRAFTED/rbsat/random/
forced/rbsat-v760c43649gyes10.cnf
SAT
39.522
39.5332
1784401
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
42.1056
42.12
1783589
CRAFTED/edgematching/
explicit/em_11_3_4_exp.cnf
SAT
42.7725
42.7881
1784045
CRAFTED/edgematching/
compact/em_7_4_9_cmp.cnf
SAT
44.5502
44.5627
1784013
CRAFTED/edgematching/
explicit/em_7_3_6_exp.cnf
SAT
46.4109
46.4261
1784069
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
SAT
49.6494
49.6627
1783765
CRAFTED/parity-games/
instance_n7_i7_pp_ci_ce.cnf
SAT
53.2569
53.2752
1784521
CRAFTED/sgen/sat/
sgen1-sat-200-100.cnf
SAT
57.7442
57.7655
1784197
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
SAT
67.1428
67.1613
1783969
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
71.0932
71.1109
1784073
CRAFTED/edgematching/
explicit/em_8_4_5_exp.cnf
SAT
90.1493
90.1734
1784065
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
SAT
104.394
104.424
1783581
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
134.802
134.831
1784213
CRAFTED/edgematching/
explicit/em_12_2_4_exp.cnf
SAT
141.623
141.67
1784053
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g10.cnf
SAT
168.645
168.687
1784381
CRAFTED/edgematching/
explicit/em_7_4_8_exp.cnf
SAT
188.58
188.644
1784061
CRAFTED/sgen/sat/
sgen1-sat-160-100.cnf
SAT
202.791
207.187
1784185
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes6.cnf
SAT
211.906
211.957
1784409
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g1.cnf
SAT
242.642
242.729
1784389
CRAFTED/sgi/
new-difficult-22-173-20-80.cnf
SAT
265.738
265.809
1784637
CRAFTED/
edgematching/all/em_7_4_8_all.cnf
SAT
271.952
272.047
1784097
CRAFTED/sgen/sat/
sgen1-sat-180-100.cnf
SAT
341.088
341.188
1784173
CRAFTED/edgematching/
fbcolors/em_7_3_6_fbc.cnf
SAT
395.497
395.597
1784113
CRAFTED/edgematching/
explicit/em_9_3_5_exp.cnf
SAT
498.609
498.757
1784049
CRAFTED/modcircuits/
mod4block_2vars_10gates_u2_autoenc.cnf
SAT
531.142
531.277
1784273
CRAFTED/parity-games/
instance_n8_i8_pp.cnf
SAT
616.594
616.813
1784601
CRAFTED/sgi/
new-difficult-24-193-22-70.cnf
SAT
618.89
619.064
1784621
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
SAT
744.74
744.903
1783741
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
SAT
788.902
789.223
1784617
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
SAT
871.674
872.091
1783605
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes9.cnf
SAT
986.954
987.3
1784417
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes1.cnf
SAT
1048.75
1049.04
1784405
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
SAT
1134.87
1135.15
1784101
CRAFTED/parity-games/
instance_n8_i9_pp.cnf
SAT
1302.07
1302.54
1784605
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g10.cnf
SAT
1719.93
1720.34
1784377
CRAFTED/modcircuits/
mod4block_2vars_11gates_u2_autoenc.cnf
SAT
2017.39
2017.84
1784269
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
SAT
2127.73
2128.52
1783801
CRAFTED/ramseycube/
Q3inK11.cnf
SAT
2134.02
2134.57
1784233
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
SAT
2161.01
2161.58
1784309
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes4.cnf
SAT
2443.09
2443.96
1784397
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
SAT
2650.85
2651.55
1784017
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
SAT
3441.79
3442.81
1783949
CRAFTED/sgen/sat/
sgen1-sat-220-100.cnf
SAT
3514.22
3525.79
1784181
CRAFTED/sgi/
new-difficult-21-168-19-90.cnf
SAT
4237.86
4238.91
1784629
Solver timed out (no solution given) (135 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/sgen/unsat/
sgen1-unsat-133-100.cnf
? (TO)
5000.02
5001.81
1784145
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
5000.02
5001.51
1783917
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
5000.02
5001.81
1783797
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
? (TO)
5000.02
5001.51
1783993
CRAFTED/sgen/unsat/
sgen1-unsat-103-100.cnf
? (TO)
5000.03
5001.31
1784593
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
5000.03
5001.51
1784001
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
? (TO)
5000.03
5001.91
1783985
CRAFTED/sgen/unsat/
sgen1-unsat-139-100.cnf
? (TO)
5000.03
5002.21
1784581
CRAFTED/sgen/sat/
sgen1-sat-250-100.cnf
? (TO)
5000.03
5001.72
1784573
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
5000.03
5001.91
1783737
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
5000.03
5001.32
1783665
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
5000.03
5001.91
1783629
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
5000.03
5002.01
1783749
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2_restricted.cnf
? (TO)
5000.03
5001.82
1784249
CRAFTED/sgen/sat/
sgen1-sat-280-100.cnf
? (TO)
5000.03
5001.81
1784169
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
5000.03
5001.41
1783813
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
5000.03
5001.51
1783849
CRAFTED/sgi/
new-difficult-26-243-24-70.cnf
? (TO)
5000.03
5001.32
1784633
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes2.cnf
? (TO)
5000.04
5001.93
1784453
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
5000.04
5001.94
1783733
CRAFTED/modcircuits/
mod5block_2vars_12gates.cnf
? (TO)
5000.04
5001.33
1784257
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
5000.04
5001.81
1783837
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
5000.04
5001.91
1783841
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
5000.04
5001.41
1783713
CRAFTED/edgematching/
fbcolors/em_7_4_8_fbc.cnf
? (TO)
5000.04
5001.32
1784121
CRAFTED/sgen/unsat/
sgen1-unsat-97-100.cnf
? (TO)
5000.04
5001.81
1784137
CRAFTED/sgen/sat/
sgen1-sat-290-100.cnf
? (TO)
5000.04
5001.81
1784569
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes1.cnf
? (TO)
5000.04
5001.32
1784465
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes8.cnf
? (TO)
5000.04
5001.83
1784457
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
5000.04
5001.83
1784425
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
5000.04
5002.31
1783973
CRAFTED/sgen/unsat/
sgen1-unsat-109-100.cnf
? (TO)
5000.04
5001.41
1784133
CRAFTED/sgen/unsat/
sgen1-unsat-145-100.cnf
? (TO)
5000.05
5002.31
1784153
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
5000.05
5001.41
1783857
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
5000.05
5001.51
1783925
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g4.cnf
? (TO)
5000.06
5001.45
1784433
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
5000.06
5001.95
1784421
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
5000.06
5002.01
1783793
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
5000.06
5001.42
1783825
CRAFTED/modcircuits/
mod3block_2vars_10gates_u2_autoenc.cnf
? (TO)
5000.06
5001.73
1784261
CRAFTED/sgen/sat/
sgen1-sat-230-100.cnf
? (TO)
5000.06
5001.51
1784577
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
5000.06
5001.41
1783649
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
5000.06
5001.82
1783641
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes1.cnf
? (TO)
5000.06
5001.23
1784473
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
5000.06
5001.42
1783661
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
5000.06
5001.41
1783669
CRAFTED/sgen/unsat/
sgen1-unsat-121-100.cnf
? (TO)
5000.06
5001.81
1784161
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
5000.06
5001.75
1783833
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes2.cnf
? (TO)
5000.07
5001.43
1784445
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g2.cnf
? (TO)
5000.07
5001.44
1784441
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
5000.07
5001.31
1783757
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
5000.07
5001.91
1783621
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2.cnf
? (TO)
5000.07
4999.44
1784237
CRAFTED/edgematching/
compact/em_7_4_8_cmp.cnf
? (TO)
5000.07
5001.42
1784037
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
? (TO)
5000.07
5001.91
1783729
CRAFTED/modcircuits/
mod3block_2vars_9gates_u2_autoenc.cnf
? (TO)
5000.07
5001.52
1784289
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
5000.07
5001.41
1783957
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2.cnf
? (TO)
5000.07
5002.25
1784281
CRAFTED/sgen/sat/
sgen1-sat-260-100.cnf
? (TO)
5000.07
5001.72
1784165
CRAFTED/sgi/
new-difficult-28-302-26-75.cnf
? (TO)
5000.08
5001.42
1784645
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
5000.08
5001.31
1783645
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
? (TO)
5000.08
5002.11
1783717
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
5000.08
5001.41
1783725
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
5000.08
5001.81
1783853
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
5000.08
5001.31
1783817
CRAFTED/edgematching/
compact/em_8_4_5_cmp.cnf
? (TO)
5000.08
5001.43
1784041
CRAFTED/sgen/sat/
sgen1-sat-240-100.cnf
? (TO)
5000.08
5001.91
1784193
CRAFTED/rbsat/random/unforced/
rbsat-v1820c171155g3.cnf
? (TO)
5000.08
5001.54
1784369
CRAFTED/rbsat/crafted/
forced/rbsat-v1820c171155gyes6.cnf
? (TO)
5000.08
5001.74
1784449
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2.cnf
? (TO)
5000.09
5001.42
1784241
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
5000.09
5001.65
1783941
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
5000.09
5001.31
1783953
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
? (TO)
5000.09
5001.66
1784597
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
5000.09
5001.41
1783845
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
5000.09
5001.67
1783689
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
5000.09
5001.41
1784253
CRAFTED/sgen/unsat/
sgen1-unsat-151-100.cnf
? (TO)
5000.09
5001.51
1784589
CRAFTED/parity-games/
instance_n7_i8_pp_ci_ce.cnf
? (TO)
5000.09
5001.44
1784485
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
5000.09
5001.88
1783685
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
? (TO)
5000.09
5001.42
1784641
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
5000.09
5001.72
1783637
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2_restricted.cnf
? (TO)
5000.09
5001.52
1784285
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
? (TO)
5000.09
5001.31
1783721
CRAFTED/sgen/sat/
sgen1-sat-300-100.cnf
? (TO)
5000.09
5008.11
1784189
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2_autoenc.cnf
? (TO)
5000.1
5001.32
1784301
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
5000.1
5001.33
1783777
CRAFTED/sgen/unsat/
sgen1-unsat-127-100.cnf
? (TO)
5000.1
5001.31
1784561
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
5000.1
5001.43
1783781
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
5000.1
5000.13
1783657
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g2.cnf
? (TO)
5000.1
5001.43
1784385
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
5000.1
5002.11
1783617
CRAFTED/ramseycube/
Q3inK12.cnf
? (TO)
5000.1
5001.63
1784217
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
5000.1
5001.41
1783921
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
5000.11
5001.41
1783945
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
5000.11
5002
1784021
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
5000.11
5001.98
1783905
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
5000.11
5001.79
1783893
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
5000.11
5001.72
1783913
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
5000.11
5001.31
1783809
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
5000.11
5001.62
1783789
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2_autoenc.cnf
? (TO)
5000.11
5001.22
1784265
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
5000.11
5001.49
1783773
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
? (TO)
5000.11
5001.31
1784297
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes3.cnf
? (TO)
5000.11
5001.33
1784413
CRAFTED/sgen/unsat/
sgen1-unsat-115-100.cnf
? (TO)
5000.11
5001.91
1784565
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
5000.11
5002.21
1783609
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
5000.11
5001.41
1783633
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
? (TO)
5000.11
5001.51
1783961
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g2.cnf
? (TO)
5000.12
5001.97
1784373
CRAFTED/sgen/sat/
sgen1-sat-270-100.cnf
? (TO)
5000.12
5001.41
1784585
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g6.cnf
? (TO)
5000.12
5001.87
1784361
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes9.cnf
? (TO)
5000.12
5001.43
1784469
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g5.cnf
? (TO)
5000.12
5002.17
1784437
CRAFTED/parity-games/
instance_n8_i9_pp_ci_ce.cnf
? (TO)
5000.12
4999.47
1784613
CRAFTED/edgematching/
fbcolors/em_11_3_4_fbc.cnf
? (TO)
5000.13
5002.01
1784129
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
5000.13
5002.09
1783693
CRAFTED/rbsat/crafted/unforced/
rbsat-v2640c305320g4.cnf
? (TO)
5000.13
5002.17
1784429
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
5000.13
5002.45
1783653
CRAFTED/parity-games/
instance_n9_i9_pp_ci_ce.cnf
? (TO)
5000.14
5001.6
1784609
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
5000.14
5001.53
1783901
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
5000.14
5001.57
1784029
CRAFTED/edgematching/
compact/em_9_3_5_cmp.cnf
? (TO)
5000.14
5001.94
1784025
CRAFTED/ramseycube/
Q3inK13.cnf
? (TO)
5000.15
5001.25
1784205
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
5000.16
5001.9
1783697
CRAFTED/edgematching/
fbcolors/em_9_3_5_fbc.cnf
? (TO)
5000.16
5001.56
1784105
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
5000.16
5001.27
1783681
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
5000.17
5001.29
1783701
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes8.cnf
? (TO)
5000.18
5001.58
1784461
CRAFTED/edgematching/
fbcolors/em_12_2_4_fbc.cnf
? (TO)
5000.2
5001.47
1784125
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
5000.23
5002.44
1783785
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
5000.25
5001.58
1783753
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
5000.26
5002.06
1783761
CRAFTED/edgematching/
compact/em_14_7_3_cmp.cnf
? (TO)
5000.26
5001.94
1784033
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
? (TO)
5000.29
5002.22
1783933
CRAFTED/edgematching/
fbcolors/em_14_7_3_fbc.cnf
? (TO)
5000.32
5001.93
1784109