SAT 2009 Competition: main competition (phase2): benchmarks results per solver
Result page for solver MiniSAT 09z
2009-03-22
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (115 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.280956
0.282034
1837157
APPLICATIONS/bitverif/
minor/minor032.cnf
UNSAT
0.84687
0.846645
1837237
manol-pipe-g6bi.cnf
UNSAT
1.04184
1.04512
1837587
hoons-vbmc-lucky7.cnf
UNSAT
1.42378
1.42874
1837197
een-tip-uns-nusmv-t5.B.cnf
UNSAT
2.01769
2.01548
1837573
manol-pipe-c9.cnf
UNSAT
2.99554
2.99674
1837611
APPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
UNSAT
3.21851
3.22203
1837263
cmu-bmc-barrel6.cnf
UNSAT
4.94725
4.95477
1837185
APPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
UNSAT
8.05977
8.07575
1837309
APPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
UNSAT
10.0625
10.0748
1837247
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
10.2614
10.2666
1837125
APPLICATIONS/bitverif/
minor/minor064.cnf
UNSAT
11.5372
11.5621
1837235
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
13.482
13.4886
1837123
APPLICATIONS/
bitverif/maxand/maxand064.cnf
UNSAT
14.6188
14.6241
1837281
APPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
UNSAT
15.8696
15.8751
1837241
APPLICATIONS/crypto/
md5gen/gus-md5-05.cnf
UNSAT
15.9706
15.9814
1837307
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
16.5735
16.5968
1837105
APPLICATIONS/bitverif/
icbrt/icbrt1_32.cnf
UNSAT
18.9581
18.9631
1837273
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
20.5399
20.5658
1837113
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
24.3393
24.3683
1837111
schup-l2s-abp4-1-k31.cnf
UNSAT
26.322
26.3389
1837187
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
28.1477
28.1548
1837035
velev-engi-uns-1.0-4nd.cnf
UNSAT
28.6696
28.6794
1837207
manol-pipe-g10id.cnf
UNSAT
28.9006
28.9279
1837579
cmu-bmc-longmult15.cnf
UNSAT
29.0516
29.0651
1837223
APPLICATIONS/bitverif/
smulo/smulo016.cnf
UNSAT
29.7255
29.7357
1837269
simon-s03-fifo8-300.cnf
UNSAT
30.3854
30.3996
1837603
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
UNSAT
34.1978
34.2124
1837253
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
UNSAT
37.0694
37.0841
1837561
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
44.8232
44.8427
1837135
APPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
UNSAT
46.4209
46.4594
1837305
APPLICATIONS/diagnosis/
UR-10-5p0.cnf
UNSAT
50.0374
50.0659
1837463
manol-pipe-c6bidw_i.cnf
UNSAT
52.2291
52.2496
1837213
APPLICATIONS/diagnosis/
UCG-10-5p0.cnf
UNSAT
54.1688
54.2019
1837449
goldb-heqc-term1mul.cnf
UNSAT
54.5807
54.604
1837583
APPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
UNSAT
57.4963
57.5623
1837425
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
61.1367
61.1927
1837109
manol-pipe-c6nidw_i.cnf
UNSAT
69.2035
69.2435
1837615
APPLICATIONS/
bitverif/minand/minand128.cnf
UNSAT
69.4254
70.2609
1837257
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
74.4997
74.5462
1837121
velev-live-uns-2.0-ebuf.cnf
UNSAT
76.9223
76.9667
1837585
APPLICATIONS/diagnosis/
ACG-10-5p0.cnf
UNSAT
83.2633
83.3146
1837457
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
91.925
91.9923
1837037
manol-pipe-g7nidw.cnf
UNSAT
94.0967
94.1373
1837609
APPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
UNSAT
95.9184
96.0048
1837313
APPLICATIONS/diagnosis/
UTI-10-10p0.cnf
UNSAT
115.442
115.485
1837491
APPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
UNSAT
131.538
132.091
1837443
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
132.749
132.824
1837107
manol-pipe-c7bidw_i.cnf
UNSAT
137.698
137.759
1837607
APPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
UNSAT
141.433
141.523
1837431
manol-pipe-c7nidw.cnf
UNSAT
164.569
164.673
1837577
APPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
UNSAT
168.463
168.531
1837435
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
175.074
175.133
1837477
schup-l2s-guid-1-k56.cnf
UNSAT
187.163
187.233
1837601
APPLICATIONS/c32sat/
post-c32s-col400-16.cnf
UNSAT
223.386
223.53
1837421
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
236.498
236.643
1837417
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
238.323
238.421
1837131
manol-pipe-c10nidw_s.cnf
UNSAT
272.52
272.707
1837567
APPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
UNSAT
275.994
276.078
1837279
manol-pipe-g10nid.cnf
UNSAT
288.674
298.079
1837209
manol-pipe-f9n.cnf
UNSAT
292.127
292.111
1837595
APPLICATIONS/diagnosis/
UR-15-5p0.cnf
UNSAT
297.755
297.877
1837495
manol-pipe-f9b.cnf
UNSAT
317.262
317.409
1837201
goldb-heqc-i10mul.cnf
UNSAT
368.257
368.453
1837575
APPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
UNSAT
386.64
386.754
1837239
APPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
UNSAT
394.14
394.256
1837445
APPLICATIONS/diagnosis/
UTI-15-10p0.cnf
UNSAT
436.759
436.945
1837481
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
UNSAT
471.155
471.405
1837119
goldb-heqc-alu4mul.cnf
UNSAT
497.991
498.229
1837231
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
UNSAT
503.43
503.705
1837537
manol-pipe-f10ni.cnf
UNSAT
595.268
595.478
1837599
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
UNSAT
601.88
602.198
1837433
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
607.889
608.064
1837081
manol-pipe-c10nid_i.cnf
UNSAT
657.298
657.467
1837227
APPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
UNSAT
665.211
665.455
1837411
manol-pipe-g10bidw.cnf
UNSAT
673.978
674.213
1837569
APPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
UNSAT
680.248
680.588
1837393
APPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
UNSAT
698.747
699.016
1837407
APPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
UNSAT
704.489
704.672
1837405
APPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
UNSAT
715.925
716.187
1837301
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
746.972
747.183
1837395
APPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
UNSAT
770.582
770.921
1837441
industrial/fuhs/medium/
AProVE07-09.cnf
UNSAT
877.775
878.186
1837079
APPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
UNSAT
882.692
883.113
1837415
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
UNSAT
927.325
927.605
1837413
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
UNSAT
998.167
998.473
1837545
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
UNSAT
1028.61
1029.16
1837489
simon-s02b-dp11u10.cnf
UNSAT
1086.59
1087.09
1837591
manol-pipe-c10nidw.cnf
UNSAT
1087.3
1089.63
1837205
industrial/palacios/medium/
cube-11-h13-unsat.cnf
UNSAT
1107.19
1107.46
1837117
APPLICATIONS/diagnosis/
UTI-15-5p0.cnf
UNSAT
1119.25
1119.58
1837465
APPLICATIONS/
bitverif/minxor/minxor128.cnf
UNSAT
1125.63
1125.94
1837245
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
1156.59
1157.05
1837065
APPLICATIONS/
c32sat/post-c32s-ss-8.cnf
UNSAT
1208.61
1208.95
1837423
APPLICATIONS/diagnosis/
UTI-20-5p0.cnf
UNSAT
1432.19
1433.32
1837451
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
1470.02
1470.8
1837137
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
1489.2
1490.13
1837061
schup-l2s-bc56s-1-k391.cnf
UNSAT
1511.85
1512.3
1837199
APPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
UNSAT
1589.22
1589.66
1837277
velev-pipe-o-uns-1.0-7.cnf
UNSAT
1872.38
1873
1837593
APPLICATIONS/diagnosis/
ACG-15-10p0.cnf
UNSAT
2005.26
2005.87
1837453
APPLICATIONS/diagnosis/
UR-15-10p0.cnf
UNSAT
2334.72
2335.55
1837497
industrial/fuhs/hard/
AProVE07-08.cnf
UNSAT
2528.75
2529.48
1837085
APPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
UNSAT
2581.55
2582.46
1837299
APPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
UNSAT
2953.46
2954.27
1837259
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
UNSAT
3119.02
3121.11
1837429
APPLICATIONS/diagnosis/
UR-20-5p0.cnf
UNSAT
3312.72
3314.28
1837471
APPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
UNSAT
3489.15
3490.09
1837285
velev-pipe-o-uns-1.1-6.cnf
UNSAT
3538.61
3539.48
1837581
simon-s02b-k2f-gr-rcs-w8.cnf
UNSAT
5063.68
5065.18
1837605
goldb-heqc-dalumul.cnf
UNSAT
6118.1
6120.16
1837219
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
UNSAT
6333.66
6336.53
1837033
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
UNSAT
8576.02
8579.41
1837487
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
UNSAT
9321.24
9323.72
1837159
APPLICATIONS/diagnosis/
ACG-20-10p0.cnf
UNSAT
9855.55
9860.68
1837455
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.307952
0.306848
1837229
APPLICATIONS/aprove09/
AProVE09-13.cnf
SAT
0.307953
0.307551
1837367
APPLICATIONS/aprove09/
AProVE09-22.cnf
SAT
0.389939
0.392836
1837373
APPLICATIONS/aprove09/
AProVE09-11.cnf
SAT
0.759884
0.761728
1837385
APPLICATIONS/aprove09/
AProVE09-12.cnf
SAT
1.20382
1.21312
1837369
APPLICATIONS/aprove09/
AProVE09-25.cnf
SAT
1.2838
1.29121
1837365
APPLICATIONS/aprove09/
AProVE09-03.cnf
SAT
1.70774
1.70923
1837379
APPLICATIONS/aprove09/
AProVE09-05.cnf
SAT
1.83572
1.84155
1837361
industrial/grieu/
vmpc_25.cnf
SAT
1.83772
1.84168
1837139
APPLICATIONS/aprove09/
AProVE09-01.cnf
SAT
2.05269
2.05641
1837371
APPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
SAT
2.19867
2.20201
1837403
APPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
SAT
2.34764
2.35274
1837397
APPLICATIONS/aprove09/
AProVE09-24.cnf
SAT
2.54461
2.55651
1837359
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
SAT
2.74758
2.75072
1837533
APPLICATIONS/aprove09/
AProVE09-21.cnf
SAT
2.94155
2.94701
1837363
APPLICATIONS/aprove09/
AProVE09-10.cnf
SAT
3.2465
3.25919
1837383
APPLICATIONS/crypto/
desgen/gss-13-s100.cnf
SAT
3.2545
3.26749
1837341
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
SAT
6.39803
6.40245
1837389
APPLICATIONS/aprove09/
AProVE09-19.cnf
SAT
6.87295
6.87936
1837387
industrial/grieu/
vmpc_24.cnf
SAT
7.46386
7.4717
1837145
APPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
SAT
8.20375
8.21752
1837409
APPLICATIONS/aprove09/
AProVE09-15.cnf
SAT
10.5044
10.5253
1837375
APPLICATIONS/aprove09/
AProVE09-07.cnf
SAT
10.5084
10.5143
1837377
APPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
SAT
11.6942
11.7062
1837401
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
SAT
11.9552
11.9647
1837531
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
12.4761
12.49
1837331
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_22_SAT.cnf
SAT
13.7969
13.8095
1837511
APPLICATIONS/aprove09/
AProVE09-08.cnf
SAT
20.1129
20.125
1837381
APPLICATIONS/aprove09/
AProVE09-17.cnf
SAT
21.5037
21.5179
1837355
APPLICATIONS/diagnosis/
UR-10-5p1.cnf
SAT
23.7294
34.9385
1837459
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
25.3032
25.3201
1837103
APPLICATIONS/bioinfo/
q_query_3_L60_coli.sat.cnf
SAT
41.3977
41.4248
1837439
industrial/grieu/
vmpc_28.cnf
SAT
50.2074
50.2235
1837149
industrial/grieu/
vmpc_26.cnf
SAT
54.9826
55.0122
1837153
APPLICATIONS/aprove09/
AProVE09-20.cnf
SAT
76.3864
76.4279
1837357
APPLICATIONS/bioinfo/
q_query_3_l42_lambda.cnf
SAT
85.279
85.314
1837391
APPLICATIONS/crypto/
desgen/gss-15-s100.cnf
SAT
97.6661
97.7019
1837333
APPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
SAT
121.038
121.086
1837399
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
139.496
139.557
1837437
simon-s03-w08-15.cnf
SAT
142.842
142.923
1837193
schup-l2s-motst-2-k315.cnf
SAT
151.179
165.744
1837203
velev-pipe-sat-1.0-b7.cnf
SAT
183.088
183.171
1837565
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
227.844
228.189
1837177
APPLICATIONS/c32sat/
post-c32s-gcdm16-22.cnf
SAT
249.371
249.511
1837427
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
250.525
250.799
1837179
APPLICATIONS/diagnosis/
UTI-15-5p1.cnf
SAT
286.83
286.965
1837503
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
297.721
297.816
1837321
mizh-sha0-35-3.cnf
SAT
391.005
391.183
1837225
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
SAT
425.544
425.694
1837493
APPLICATIONS/crypto/
desgen/gss-17-s100.cnf
SAT
429.152
429.362
1837317
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
SAT
452.748
452.907
1837047
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
SAT
473.735
473.987
1837045
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
SAT
493.085
493.232
1837351
mizh-sha0-36-2.cnf
SAT
564.314
564.475
1837597
APPLICATIONS/diagnosis/
UTI-15-10p1.cnf
SAT
577.703
578.093
1837447
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
SAT
718.038
718.378
1837041
mizh-md5-47-4.cnf
SAT
724.553
724.909
1837221
mizh-md5-47-3.cnf
SAT
738.601
738.84
1837183
mizh-md5-48-5.cnf
SAT
1001.5
1003.71
1837233
APPLICATIONS/aprove09/
AProVE09-06.cnf
SAT
1403.23
1403.78
1837353
industrial/grieu/
vmpc_30.cnf
SAT
1648.39
1649.02
1837141
industrial/grieu/
vmpc_33.cnf
SAT
1983.34
1983.88
1837143
APPLICATIONS/diagnosis/
ACG-15-10p1.cnf
SAT
2015.13
2015.76
1837475
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
SAT
2120.88
2121.46
1837521
APPLICATIONS/diagnosis/
ACG-20-5p1.cnf
SAT
2301.18
2302.25
1837479
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
SAT
2430.63
2431.37
1837039
industrial/palacios/medium/
cube-11-h14-sat.cnf
SAT
2491.88
2493.18
1837115
velev-pipe-sat-1.0-b10.cnf
SAT
2536.14
2538.04
1837571
mizh-sha0-36-4.cnf
SAT
2554.56
2555.23
1837211
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
SAT
2696.18
2697.1
1837469
mizh-sha0-36-3.cnf
SAT
3298.17
3299.44
1837195
APPLICATIONS/diagnosis/
UCG-20-10p1.cnf
SAT
4369.7
4370.92
1837483
APPLICATIONS/diagnosis/
UR-20-5p1.cnf
SAT
4445.68
4447.35
1837473
APPLICATIONS/diagnosis/
UR-15-10p1.cnf
SAT
4525.11
4526.66
1837461
industrial/grieu/
vmpc_29.cnf
SAT
5368.03
5369.55
1837147
APPLICATIONS/diagnosis/
UTI-20-5p1.cnf
SAT
6316.17
6317.74
1837485
APPLICATIONS/crypto/
desgen/gss-20-s100.cnf
SAT
6405.83
6407.79
1837329
APPLICATIONS/diagnosis/
ACG-20-10p1.cnf
SAT
6497.93
6500.06
1837467
Solver timed out (no solution given) (98 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
? (TO)
10000
10002.8
1837287
APPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
? (TO)
10000
10004.7
1837289
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
10000
10002.8
1837073
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
10000
10002.6
1837059
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
10000
10002.7
1837127
APPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
? (TO)
10000
10003.1
1837297
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
10000
10003
1837049
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
10000
10004.1
1837133
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
10000
10004.4
1837323
APPLICATIONS/crypto/
desgen/gss-31-s100.cnf
? (TO)
10000
10004.5
1837315
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
10000
9998.71
1837129
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
10000
10004.7
1837325
APPLICATIONS/crypto/
desgen/gss-33-s100.cnf
? (TO)
10000
10003.1
1837337
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
10000
10002.6
1837043
APPLICATIONS/crypto/
desgen/gss-23-s100.cnf
? (TO)
10000
10005.1
1837339
APPLICATIONS/crypto/
desgen/gss-24-s100.cnf
? (TO)
10000
10003
1837345
industrial/narain/
clauses-8.cnf
? (TO)
10000
10002.5
1837155
APPLICATIONS/crypto/
desgen/gss-25-s100.cnf
? (TO)
10000
10005.4
1837349
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
10000
10002.4
1837165
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
10000
10003.2
1837053
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
10000
10002.9
1837501
velev-vliw-uns-4.0-9-i1.cnf
? (TO)
10000
10004.2
1837191
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (TO)
10000
10003.9
1837499
vange-col-abb313GPIA-9-c.cnf
? (TO)
10000
10002.9
1837215
aloul-chnl11-13.cnf
? (TO)
10000
10003.1
1837217
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
? (TO)
10000
10004.5
1837523
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
10000
10003.6
1837087
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
? (TO)
10000
10004.4
1837529
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
10000
10003.5
1837089
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
10000
10003.7
1837055
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
? (TO)
10000
10004.7
1837251
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
10000
10004.7
1837541
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
? (TO)
10000
10003.4
1837543
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
? (TO)
10000
10003
1837547
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
? (TO)
10000
10004.6
1837549
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
10000
10002.9
1837255
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
10000
10002.8
1837555
APPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
? (TO)
10000
10003
1837261
APPLICATIONS/bitverif/
smulo/smulo128.cnf
? (TO)
10000
10004.4
1837271
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
? (TO)
10000
10004.4
1837563
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
10000
10003.1
1837311
velev-pipe-uns-1.0-8.cnf
? (TO)
10000
10004.1
1837613
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
10000
10003.4
1837057
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
10000
10002.8
1837095
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
10000
10004.2
1837071
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
? (TO)
10000
10003.7
1837513
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
? (TO)
10000.1
10003.1
1837557
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
? (TO)
10000.1
10002.7
1837559
velev-vliw-uns-4.0-9C1.cnf
? (TO)
10000.1
10004.6
1837589
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
? (TO)
10000.1
10002.6
1837505
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
? (TO)
10000.1
10005.1
1837507
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
? (TO)
10000.1
10003.7
1837509
APPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
? (TO)
10000.1
10005.3
1837275
goldb-heqc-x1mul.cnf
? (TO)
10000.1
10004.4
1837181
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
10000.1
10004.5
1837161
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
10000.1
10002.8
1837051
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
10000.1
10003.3
1837167
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
10000.1
10002.9
1837169
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
10000.1
10003.1
1837063
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
10000.1
10002.8
1837067
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
10000.1
10005.2
1837069
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
10000.1
10005
1837075
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
10000.1
10002.8
1837077
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
10000.1
10003
1837163
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
10000.1
10004.5
1837083
industrial/fuhs/hard/
AProVE07-27.cnf
? (TO)
10000.1
10003.1
1837091
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
10000.1
10002.8
1837093
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
10000.1
10004.7
1837097
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
10000.1
10003.2
1837099
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
10000.1
10003.4
1837101
industrial/grieu/
vmpc_34.cnf
? (TO)
10000.1
10003.6
1837151
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
10000.1
10003.4
1837173
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
10000.1
10005.2
1837175
APPLICATIONS/bitverif/
mulhs/mulhs032.cnf
? (TO)
10000.1
10003.2
1837267
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
10000.1
10004.7
1837265
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
10000.1
10004.4
1837243
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
10000.1
10003.9
1837249
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
10000.1
10005.4
1837171
APPLICATIONS/crypto/
desgen/gss-26-s100.cnf
? (TO)
10000.1
10004.9
1837327
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
10000.1
10003.1
1837283
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
10000.1
10003.6
1837291
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
10000.1
10003
1837293
APPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
? (TO)
10000.1
10004.2
1837295
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
10000.1
10005.1
1837343
APPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
? (TO)
10000.1
10003.3
1837303
APPLICATIONS/crypto/
desgen/gss-32-s100.cnf
? (TO)
10000.1
10003.2
1837319
APPLICATIONS/crypto/
desgen/gss-34-s100.cnf
? (TO)
10000.1
10003.7
1837335
APPLICATIONS/crypto/
desgen/gss-28-s100.cnf
? (TO)
10000.1
10004.5
1837347
goldb-heqc-frg1mul.cnf
? (TO)
10000.1
10003
1837189
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
10000.1
10002.7
1837527
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
? (TO)
10000.1
10002.3
1837515
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
? (TO)
10000.1
10003.4
1837517
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
? (TO)
10000.1
10002.8
1837519
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
? (TO)
10000.1
10005.8
1837525
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
? (TO)
10000.1
10002.8
1837551
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
? (TO)
10000.1
10003
1837535
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
? (TO)
10000.1
10002.8
1837539
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
? (TO)
10000.1
10004.4
1837553
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)
11.08
11.2125
1837419