SAT 2009 Competition: main competition (phase2): benchmarks results per solver
Result page for solver ManySAT 1.1
aimd 1/2009-03-20
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (122 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.329949
0.329095
1773196
APPLICATIONS/bitverif/
minor/minor032.cnf
UNSAT
1.72774
0.955495
1773596
manol-pipe-g6bi.cnf
UNSAT
1.91971
1.27931
1775346
een-tip-uns-nusmv-t5.B.cnf
UNSAT
2.76158
2.20965
1775276
manol-pipe-c9.cnf
UNSAT
5.30619
2.87009
1775466
hoons-vbmc-lucky7.cnf
UNSAT
5.62914
2.9562
1773396
cmu-bmc-barrel6.cnf
UNSAT
5.87611
3.00418
1773336
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
9.69753
9.70289
1773036
APPLICATIONS/
bitverif/maxand/maxand064.cnf
UNSAT
10.8094
5.80384
1773816
APPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
UNSAT
11.2543
5.7052
1773726
manol-pipe-g7nidw.cnf
UNSAT
11.8872
6.93291
1775456
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
13.5649
13.5786
1773026
APPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
UNSAT
13.5979
7.71014
1773956
APPLICATIONS/bitverif/
minor/minor064.cnf
UNSAT
14.0299
7.4163
1773586
APPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
UNSAT
21.5027
10.9911
1773616
APPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
UNSAT
22.0676
11.3145
1773646
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
23.4464
15.8511
1772936
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
25.6701
17.1485
1772966
APPLICATIONS/bitverif/
icbrt/icbrt1_32.cnf
UNSAT
26.066
13.2444
1773776
APPLICATIONS/crypto/
md5gen/gus-md5-05.cnf
UNSAT
26.478
14.1975
1773946
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
26.8559
20.813
1772976
APPLICATIONS/bitverif/
smulo/smulo016.cnf
UNSAT
35.3256
17.7464
1773756
velev-engi-uns-1.0-4nd.cnf
UNSAT
35.7576
18.2652
1773446
cmu-bmc-longmult15.cnf
UNSAT
36.0895
18.1872
1773526
schup-l2s-abp4-1-k31.cnf
UNSAT
37.2193
18.9063
1773346
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
40.1349
23.1261
1772586
simon-s03-fifo8-300.cnf
UNSAT
44.6462
24.9374
1775426
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
47.1908
23.6707
1773086
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
47.2718
33.3713
1773016
APPLICATIONS/
bitverif/minand/minand128.cnf
UNSAT
48.2217
26.9601
1773696
manol-pipe-g10id.cnf
UNSAT
49.1545
26.7151
1775306
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
49.8964
34.2639
1772956
manol-pipe-c10nidw_s.cnf
UNSAT
52.79
32.2755
1775246
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
UNSAT
55.0266
27.6056
1773676
velev-live-uns-2.0-ebuf.cnf
UNSAT
55.9345
29.0426
1775336
APPLICATIONS/diagnosis/
UR-10-5p0.cnf
UNSAT
61.9616
33.5059
1774726
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
UNSAT
66.8578
33.7615
1775216
APPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
UNSAT
74.0667
38.0441
1773936
APPLICATIONS/diagnosis/
UCG-10-5p0.cnf
UNSAT
75.2186
40.1435
1774656
APPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
UNSAT
84.1062
66.4972
1774536
APPLICATIONS/diagnosis/
UTI-10-10p0.cnf
UNSAT
86.6888
46.1982
1774866
APPLICATIONS/diagnosis/
ACG-10-5p0.cnf
UNSAT
89.2724
47.4228
1774696
manol-pipe-c6nidw_i.cnf
UNSAT
93.4718
48.1687
1775486
manol-pipe-c6bidw_i.cnf
UNSAT
96.3873
49.6214
1773476
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
111.46
67.5792
1772946
APPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
UNSAT
118.991
117.955
1774626
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
131.57
69.6269
1772596
goldb-heqc-term1mul.cnf
UNSAT
133.276
67.2456
1775326
simon-s02b-dp11u10.cnf
UNSAT
148.25
74.6242
1775366
manol-pipe-g10bidw.cnf
UNSAT
151.52
79.043
1775256
manol-pipe-g10nid.cnf
UNSAT
153.436
79.9214
1773456
APPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
UNSAT
161.483
82.0301
1773606
manol-pipe-c7bidw_i.cnf
UNSAT
170.41
87.1189
1775446
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
207.289
103.866
1773066
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
212.41
110.501
1774796
APPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
UNSAT
212.601
107.465
1773976
manol-pipe-c7nidw.cnf
UNSAT
219.296
112.212
1775296
velev-pipe-o-uns-1.1-6.cnf
UNSAT
270.876
136.904
1775316
manol-pipe-f9b.cnf
UNSAT
306.253
155.906
1773416
manol-pipe-f9n.cnf
UNSAT
318.421
162.153
1775386
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
327.663
169.167
1774496
schup-l2s-guid-1-k56.cnf
UNSAT
337.451
170.685
1775416
APPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
UNSAT
352.172
186.663
1774566
APPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
UNSAT
358.519
194.068
1774636
goldb-heqc-i10mul.cnf
UNSAT
358.615
180.239
1775286
APPLICATIONS/c32sat/
post-c32s-col400-16.cnf
UNSAT
384.539
195.965
1774516
APPLICATIONS/diagnosis/
UR-15-5p0.cnf
UNSAT
388.643
198.989
1774886
goldb-heqc-alu4mul.cnf
UNSAT
417.051
209.111
1773566
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
UNSAT
461.756
232.946
1773206
APPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
UNSAT
488.149
245.246
1774466
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
496.519
249.714
1772816
APPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
UNSAT
505.92
254.167
1774376
APPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
UNSAT
522.596
262.622
1774446
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
529.794
266.182
1774386
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
UNSAT
538.907
271.163
1773006
APPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
UNSAT
546.553
274.579
1773806
APPLICATIONS/diagnosis/
UTI-15-10p0.cnf
UNSAT
564.126
286.942
1774816
manol-pipe-f10ni.cnf
UNSAT
586.043
299.282
1775406
APPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
UNSAT
599.404
302.309
1774436
industrial/fuhs/medium/
AProVE07-09.cnf
UNSAT
675.151
339.581
1772806
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
680.759
344.328
1772716
APPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
UNSAT
779.26
402.35
1774586
APPLICATIONS/
bitverif/minxor/minxor128.cnf
UNSAT
804.042
405.704
1773636
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
UNSAT
843.071
423.608
1775096
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
UNSAT
904.595
453.76
1775136
manol-pipe-c10nid_i.cnf
UNSAT
923.683
466.359
1773546
industrial/palacios/medium/
cube-11-h13-unsat.cnf
UNSAT
1010.98
519.722
1772996
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
UNSAT
1022.84
535.576
1774476
velev-pipe-o-uns-1.0-7.cnf
UNSAT
1080.92
544.465
1775376
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
UNSAT
1093.41
579.414
1774576
APPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
UNSAT
1096.41
571.613
1774486
APPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
UNSAT
1125.93
617.832
1774616
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
UNSAT
1154.07
583.073
1774856
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
1156.19
579.83
1773096
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
1175.97
595.355
1772736
APPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
UNSAT
1301.19
652.472
1773796
APPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
UNSAT
1353.45
678.375
1773836
APPLICATIONS/
c32sat/post-c32s-ss-8.cnf
UNSAT
1353.88
679.736
1774526
APPLICATIONS/diagnosis/
UTI-15-5p0.cnf
UNSAT
1455.18
733.247
1774736
schup-l2s-bc56s-1-k391.cnf
UNSAT
1602.72
812.202
1773406
manol-pipe-c10nidw.cnf
UNSAT
1812.45
914.275
1773436
industrial/fuhs/hard/
AProVE07-08.cnf
UNSAT
1941.32
972.465
1772836
APPLICATIONS/diagnosis/
ACG-15-10p0.cnf
UNSAT
2011.84
1013.81
1774676
industrial/fuhs/hard/
AProVE07-27.cnf
UNSAT
2091.09
1047.99
1772866
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
UNSAT
2169.55
1091.67
1772576
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
UNSAT
2353.77
1187.55
1773626
APPLICATIONS/diagnosis/
UR-15-10p0.cnf
UNSAT
2487.1
1251.23
1774896
APPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
UNSAT
2510.31
1258.78
1773916
velev-pipe-uns-1.0-8.cnf
UNSAT
2550.86
1284.64
1775476
velev-vliw-uns-4.0-9C1.cnf
UNSAT
2593.64
1309.44
1775356
APPLICATIONS/diagnosis/
UR-20-5p0.cnf
UNSAT
2762.44
1390
1774766
goldb-heqc-dalumul.cnf
UNSAT
2770.04
1389.12
1773506
APPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
UNSAT
3155.73
1582.27
1773706
APPLICATIONS/diagnosis/
UTI-20-5p0.cnf
UNSAT
3163.25
1591.11
1774666
aloul-chnl11-13.cnf
UNSAT
3375.29
1691.3
1773496
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
UNSAT
3395.64
1710.52
1773246
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
UNSAT
3725.6
1912.07
1774556
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
UNSAT
4896.84
2459.63
1773286
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
UNSAT
5342.43
2684.19
1774846
APPLICATIONS/diagnosis/
ACG-20-10p0.cnf
UNSAT
5929.15
2979.72
1774686
APPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
UNSAT
5974.62
2994.68
1773906
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
UNSAT
7308.62
3662.22
1773076
Solver found a solution (SATISFIABLE) (71 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
een-tip-sat-texas-tp-5e.cnf
SAT
0.307952
0.326979
1773556
APPLICATIONS/aprove09/
AProVE09-13.cnf
SAT
0.38894
0.374821
1774246
APPLICATIONS/aprove09/
AProVE09-22.cnf
SAT
0.710891
0.565677
1774276
APPLICATIONS/aprove09/
AProVE09-08.cnf
SAT
0.827874
0.594511
1774316
APPLICATIONS/aprove09/
AProVE09-11.cnf
SAT
1.17882
1.0197
1774336
APPLICATIONS/aprove09/
AProVE09-05.cnf
SAT
1.48277
1.0499
1774216
APPLICATIONS/aprove09/
AProVE09-25.cnf
SAT
1.92871
1.62806
1774236
APPLICATIONS/aprove09/
AProVE09-03.cnf
SAT
1.9757
1.91802
1774306
APPLICATIONS/aprove09/
AProVE09-01.cnf
SAT
2.32665
2.27464
1774266
APPLICATIONS/aprove09/
AProVE09-12.cnf
SAT
2.6186
2.05045
1774256
APPLICATIONS/aprove09/
AProVE09-19.cnf
SAT
2.85556
2.01891
1774346
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
SAT
3.42248
3.22278
1775076
industrial/grieu/
vmpc_25.cnf
SAT
5.13522
2.72188
1773106
APPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
SAT
5.53016
3.28731
1774396
APPLICATIONS/aprove09/
AProVE09-10.cnf
SAT
5.87311
4.9861
1774326
APPLICATIONS/aprove09/
AProVE09-07.cnf
SAT
6.30804
3.72836
1774296
APPLICATIONS/aprove09/
AProVE09-21.cnf
SAT
7.72782
4.45036
1774226
APPLICATIONS/aprove09/
AProVE09-24.cnf
SAT
9.50255
7.09837
1774206
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
SAT
13.6459
7.66774
1775016
APPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
SAT
14.4528
8.49132
1774426
APPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
SAT
14.9687
8.05834
1774456
APPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
SAT
19.0431
11.0667
1774416
APPLICATIONS/aprove09/
AProVE09-17.cnf
SAT
19.3971
11.1486
1774186
APPLICATIONS/aprove09/
AProVE09-15.cnf
SAT
23.1175
13.321
1774286
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
SAT
28.7016
14.9565
1774356
industrial/grieu/
vmpc_24.cnf
SAT
30.3464
15.3471
1773136
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_22_SAT.cnf
SAT
31.3082
21.2355
1774966
APPLICATIONS/crypto/
desgen/gss-13-s100.cnf
SAT
34.1668
17.9834
1774116
industrial/grieu/
vmpc_28.cnf
SAT
34.4528
17.4736
1773156
industrial/grieu/
vmpc_34.cnf
SAT
35.3466
18.0887
1773166
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
35.7436
31.9003
1772926
APPLICATIONS/diagnosis/
UR-10-5p1.cnf
SAT
38.5851
21.9587
1774706
APPLICATIONS/aprove09/
AProVE09-06.cnf
SAT
95.9214
51.398
1774176
APPLICATIONS/bioinfo/
q_query_3_L60_coli.sat.cnf
SAT
122.527
68.0258
1774606
APPLICATIONS/bioinfo/
q_query_3_l42_lambda.cnf
SAT
125.309
64.2733
1774366
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
126.357
64.2082
1774066
APPLICATIONS/aprove09/
AProVE09-20.cnf
SAT
128.524
66.0972
1774196
APPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
SAT
144.728
73.7979
1774406
schup-l2s-motst-2-k315.cnf
SAT
151.307
84.7229
1773426
industrial/grieu/
vmpc_26.cnf
SAT
165.211
82.9775
1773176
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
SAT
188.562
98.4921
1772636
industrial/grieu/
vmpc_29.cnf
SAT
201.683
101.261
1773146
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
SAT
223.081
116.793
1775066
mizh-md5-48-5.cnf
SAT
227.498
115.156
1773576
simon-s03-w08-15.cnf
SAT
239.363
124.249
1773376
APPLICATIONS/crypto/
desgen/gss-15-s100.cnf
SAT
256.359
129.352
1774076
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
266.211
141.44
1774596
APPLICATIONS/c32sat/
post-c32s-gcdm16-22.cnf
SAT
334.525
170.192
1774546
mizh-sha0-35-3.cnf
SAT
481.129
241.889
1773536
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
484.59
243.719
1774016
industrial/grieu/
vmpc_30.cnf
SAT
502.956
252.305
1773116
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
SAT
784.073
398.831
1774876
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
SAT
836.774
424.283
1772646
APPLICATIONS/crypto/
desgen/gss-17-s100.cnf
SAT
992.333
498.113
1773996
APPLICATIONS/diagnosis/
UTI-15-10p1.cnf
SAT
1060.94
536.498
1774646
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
SAT
1230.26
622.76
1772606
APPLICATIONS/diagnosis/
UTI-15-5p1.cnf
SAT
1241.84
626.737
1774926
mizh-md5-47-4.cnf
SAT
1420.32
712.981
1773516
mizh-md5-47-3.cnf
SAT
1605.08
805.472
1773326
APPLICATIONS/diagnosis/
ACG-20-5p1.cnf
SAT
2068.6
1044.23
1774806
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
SAT
2181.09
1098.09
1774756
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
SAT
2435.37
1221.18
1774166
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
SAT
2569.03
1293.49
1772616
industrial/palacios/medium/
cube-11-h14-sat.cnf
SAT
2750.36
1393.25
1772986
APPLICATIONS/diagnosis/
ACG-15-10p1.cnf
SAT
3129.18
1574.04
1774786
APPLICATIONS/diagnosis/
UTI-20-5p1.cnf
SAT
3255.82
1637.62
1774836
APPLICATIONS/diagnosis/
UR-15-10p1.cnf
SAT
3391.2
1704.95
1774716
mizh-sha0-36-4.cnf
SAT
3558.93
1784.21
1773466
APPLICATIONS/diagnosis/
UR-20-5p1.cnf
SAT
4878.16
2450.6
1774776
APPLICATIONS/diagnosis/
UCG-20-10p1.cnf
SAT
8733.67
4385.27
1774826
APPLICATIONS/diagnosis/
ACG-20-10p1.cnf
SAT
9972.05
5005.59
1774746
Solver timed out (no solution given) (80 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
10000
5015.22
1772746
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
10000
5014.72
1772776
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
? (TO)
10000
5014.42
1774986
goldb-heqc-x1mul.cnf
? (TO)
10000
5011.32
1773316
simon-s02b-k2f-gr-rcs-w8.cnf
? (TO)
10000
5012.32
1775436
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
10000
5017.22
1774916
vange-col-abb313GPIA-9-c.cnf
? (TO)
10000
5013.52
1773486
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
? (TO)
10000
5011.42
1775196
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
10000
5018.12
1772726
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
10000
5195.12
1772896
APPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
? (TO)
10000
5011.12
1773846
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
10000
5011.42
1775186
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
? (TO)
10000
5013.92
1775036
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
10000
5011.12
1773056
APPLICATIONS/crypto/
desgen/gss-32-s100.cnf
? (TO)
10000
5011.52
1774006
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
10000
5012.02
1774026
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
? (TO)
10000
5011.32
1774956
APPLICATIONS/crypto/
desgen/gss-23-s100.cnf
? (TO)
10000
5011.42
1774106
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
10000
5012.72
1772826
APPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
? (TO)
10000.1
5022.32
1773786
APPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
? (TO)
10000.1
5012.02
1773896
APPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
? (TO)
10000.1
5011.72
1773926
APPLICATIONS/crypto/
desgen/gss-20-s100.cnf
? (TO)
10000.1
5011.52
1774056
APPLICATIONS/crypto/
desgen/gss-33-s100.cnf
? (TO)
10000.1
5011.62
1774096
APPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
? (TO)
10000.1
5011.92
1773886
APPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
? (TO)
10000.1
5012.32
1773856
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
10000.1
5016.12
1772676
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
10000.1
5016.32
1772696
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
10000.1
5020.82
1772906
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
10000.1
5015.52
1772766
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
10000.1
5015.72
1773826
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
10000.1
5016.52
1772756
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
10000.1
5011.32
1772856
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
10000.1
5011.02
1772846
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
10000.1
5022.72
1772876
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
10000.1
5014.02
1772886
industrial/grieu/
vmpc_33.cnf
? (TO)
10000.1
5011.22
1773126
mizh-sha0-36-3.cnf
? (TO)
10000.1
5009.62
1773386
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
10000.1
5016.32
1773866
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
10000.1
5010.92
1773686
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
? (TO)
10000.1
5012.42
1773666
APPLICATIONS/bitverif/
mulhs/mulhs032.cnf
? (TO)
10000.1
5011.12
1773746
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
10000.1
5011.32
1773736
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
? (TO)
10000.1
5012.02
1775026
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
10000.1
5011.12
1775046
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
? (TO)
10000.1
5012.82
1775056
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
? (TO)
10000.1
5011.62
1775086
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
? (TO)
10000.1
5016.82
1775166
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
10000.1
5011.32
1775116
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
? (TO)
10000.1
5012.92
1775156
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
? (TO)
10000.1
5012.32
1775176
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
10000.1
5012.02
1773876
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
? (TO)
10000.1
5011.62
1775206
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
? (TO)
10000.1
5011.82
1775226
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
10000.1
5012.22
1773966
mizh-sha0-36-2.cnf
? (TO)
10000.1
5011.62
1775396
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
10000.1
5012.12
1774036
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
10000.1
5011.62
1774126
APPLICATIONS/crypto/
desgen/gss-28-s100.cnf
? (TO)
10000.1
5012.02
1774146
APPLICATIONS/crypto/
desgen/gss-25-s100.cnf
? (TO)
10000.1
5011.72
1774156
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (TO)
10000.1
5017.82
1774906
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
? (TO)
10000.1
5013.52
1774996
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
10000.1
5018.52
1773656
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
? (TO)
10000.1
5013.82
1774976
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
? (TO)
10000.1
5012.82
1775006
APPLICATIONS/bitverif/
smulo/smulo128.cnf
? (TO)
10000.1
5013.72
1773766
APPLICATIONS/crypto/
desgen/gss-34-s100.cnf
? (TO)
10000.2
5012.22
1774086
APPLICATIONS/crypto/
desgen/gss-31-s100.cnf
? (TO)
10000.2
5012.02
1773986
APPLICATIONS/crypto/
desgen/gss-24-s100.cnf
? (TO)
10000.2
5011.72
1774136
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
10000.2
5023.22
1772916
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
10000.2
5013.62
1772786
APPLICATIONS/crypto/
desgen/gss-26-s100.cnf
? (TO)
10000.2
5011.72
1774046
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
? (TO)
10000.2
5013.62
1775106
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
10000.2
5017.03
1772656
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
? (TO)
10000.2
5011.92
1775146
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
? (TO)
10000.2
5009.62
1774936
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
10000.2
5010.92
1773046
goldb-heqc-frg1mul.cnf
? (TO)
10000.2
5011.32
1773356
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
? (TO)
10000.2
5011.53
1774946
APPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
? (TO)
10000.2
5017.82
1773716
Solver exceeded the memory limit (no solution given) (19 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
? (MO)
14.62
17.7158
1774506
velev-pipe-sat-1.0-b10.cnf
? (MO)
14.67
14.8133
1775266
velev-pipe-sat-1.0-b7.cnf
? (MO)
15.23
15.3711
1775236
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
? (MO)
16.67
16.815
1773296
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (MO)
17.35
17.8134
1773216
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
? (MO)
17.55
17.6173
1773306
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (MO)
577.25
297.919
1773266
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (MO)
1067.01
542.121
1773276
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (MO)
2561.04
1310.02
1773236
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (MO)
2725.34
1381.82
1773226
velev-vliw-uns-4.0-9-i1.cnf
? (MO)
3672
1858.92
1773366
industrial/narain/
clauses-8.cnf
? (MO)
4113.71
2072.12
1773186
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (MO)
4779.49
2404.52
1773256
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (MO)
7204.87
3615.82
1772626
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (MO)
8694.35
4360.52
1772686
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (MO)
8913.87
4475.02
1772796
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (MO)
9406.09
4718.22
1772706
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
? (MO)
9507.77
4770.32
1775126
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (MO)
9656.76
4844.72
1772666