SAT 2009 Competition: main competition (phase2): benchmarks results per solver
Result page for solver CircUs
2009-03-23
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (119 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.422934
0.422908
1773198
APPLICATIONS/bitverif/
minor/minor032.cnf
UNSAT
0.885864
0.887286
1773598
een-tip-uns-nusmv-t5.B.cnf
UNSAT
1.61275
1.61205
1775278
manol-pipe-g6bi.cnf
UNSAT
1.85172
1.85255
1775348
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
1.99769
1.99873
1773038
cmu-bmc-barrel6.cnf
UNSAT
2.06369
2.06521
1773338
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
2.07568
2.07835
1773028
hoons-vbmc-lucky7.cnf
UNSAT
3.04554
3.04672
1773398
APPLICATIONS/
bitverif/maxand/maxand064.cnf
UNSAT
5.00524
5.00709
1773818
APPLICATIONS/bitverif/
minor/minor064.cnf
UNSAT
5.71813
5.71954
1773588
APPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
UNSAT
7.79181
7.79506
1773728
APPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
UNSAT
8.5447
8.54675
1773958
APPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
UNSAT
9.26159
9.26757
1773618
manol-pipe-c9.cnf
UNSAT
12.7581
12.7615
1775468
APPLICATIONS/
bitverif/minand/minand128.cnf
UNSAT
15.7056
15.7167
1773698
APPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
UNSAT
16.2355
16.2387
1773648
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
UNSAT
17.1014
17.1071
1775218
APPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
UNSAT
17.3984
17.4027
1774628
APPLICATIONS/crypto/
md5gen/gus-md5-05.cnf
UNSAT
19.0091
19.0144
1773948
APPLICATIONS/bitverif/
smulo/smulo016.cnf
UNSAT
20.8768
20.8856
1773758
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
28.2607
28.2712
1772588
manol-pipe-g7nidw.cnf
UNSAT
31.9511
31.96
1775458
APPLICATIONS/bitverif/
icbrt/icbrt1_32.cnf
UNSAT
33.7639
33.7765
1773778
APPLICATIONS/diagnosis/
UCG-10-5p0.cnf
UNSAT
38.3342
38.3695
1774658
manol-pipe-c10nidw_s.cnf
UNSAT
41.1317
41.156
1775248
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
41.7317
41.7483
1773088
cmu-bmc-longmult15.cnf
UNSAT
41.9616
41.9858
1773528
simon-s03-fifo8-300.cnf
UNSAT
48.5776
48.6071
1775428
APPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
UNSAT
49.3755
49.3863
1773938
velev-engi-uns-1.0-4nd.cnf
UNSAT
51.3192
51.3345
1773448
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
UNSAT
51.3422
51.3606
1773678
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
51.6731
51.6903
1772938
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
51.7281
51.7462
1772598
velev-live-uns-2.0-ebuf.cnf
UNSAT
56.0825
56.106
1775338
APPLICATIONS/diagnosis/
UR-10-5p0.cnf
UNSAT
58.0132
58.048
1774728
schup-l2s-abp4-1-k31.cnf
UNSAT
60.7258
60.7483
1773348
APPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
UNSAT
79.8919
79.9187
1774538
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
81.0317
81.0531
1772968
APPLICATIONS/diagnosis/
ACG-10-5p0.cnf
UNSAT
81.2726
81.3171
1774698
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
114.608
114.691
1773018
APPLICATIONS/c32sat/
post-c32s-col400-16.cnf
UNSAT
127.345
127.391
1774518
APPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
UNSAT
155.451
155.437
1773978
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
157.02
157.08
1772978
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
157.754
157.816
1773068
manol-pipe-c6bidw_i.cnf
UNSAT
171.635
171.681
1773478
manol-pipe-c6nidw_i.cnf
UNSAT
179.445
179.499
1775488
APPLICATIONS/diagnosis/
UTI-10-10p0.cnf
UNSAT
181.136
181.239
1774868
APPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
UNSAT
214.765
214.826
1773608
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
215.943
216.03
1774798
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
251.014
251.096
1772958
simon-s02b-dp11u10.cnf
UNSAT
255.373
255.466
1775368
manol-pipe-g10id.cnf
UNSAT
282.766
282.871
1775308
aloul-chnl11-13.cnf
UNSAT
294.549
295.146
1773498
APPLICATIONS/diagnosis/
UR-15-5p0.cnf
UNSAT
296.307
296.388
1774888
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
UNSAT
300.729
300.859
1774578
APPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
UNSAT
319.626
319.719
1773808
schup-l2s-guid-1-k56.cnf
UNSAT
329.67
329.904
1775418
manol-pipe-c7bidw_i.cnf
UNSAT
375.39
375.587
1775448
APPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
UNSAT
409.19
409.299
1774438
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
412.206
412.374
1772948
APPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
UNSAT
426.732
426.884
1774378
APPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
UNSAT
443.384
443.49
1774448
APPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
UNSAT
450.803
450.966
1774468
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
UNSAT
473.293
473.433
1773008
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
511.647
511.8
1774388
manol-pipe-c7nidw.cnf
UNSAT
533.035
533.175
1775298
goldb-heqc-alu4mul.cnf
UNSAT
542.299
542.443
1773568
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
UNSAT
554.13
554.404
1775098
APPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
UNSAT
566.429
566.703
1774568
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
586.14
586.404
1774498
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
606.632
606.829
1772818
APPLICATIONS/
bitverif/minxor/minxor128.cnf
UNSAT
613.515
613.735
1773638
manol-pipe-g10bidw.cnf
UNSAT
636.43
636.597
1775258
APPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
UNSAT
640.573
640.843
1774638
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
UNSAT
662.951
663.138
1775138
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
705.125
705.437
1772718
APPLICATIONS/diagnosis/
UTI-15-10p0.cnf
UNSAT
729.258
729.559
1774818
APPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
UNSAT
736.283
736.617
1774588
manol-pipe-g10nid.cnf
UNSAT
772.88
773.193
1773458
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
836.095
836.334
1772738
industrial/palacios/medium/
cube-11-h13-unsat.cnf
UNSAT
836.588
836.804
1772998
goldb-heqc-term1mul.cnf
UNSAT
977.819
978.089
1775328
industrial/fuhs/medium/
AProVE07-09.cnf
UNSAT
1142.16
1142.49
1772808
velev-pipe-o-uns-1.1-6.cnf
UNSAT
1178.61
1179.05
1775318
APPLICATIONS/diagnosis/
UTI-15-5p0.cnf
UNSAT
1188.51
1188.8
1774738
goldb-heqc-i10mul.cnf
UNSAT
1247.91
1248.24
1775288
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
UNSAT
1361.36
1361.91
1774858
APPLICATIONS/
c32sat/post-c32s-ss-8.cnf
UNSAT
1474.07
1474.43
1774528
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
UNSAT
1552.06
1552.7
1774478
manol-pipe-f9b.cnf
UNSAT
1571.7
1584.23
1773418
APPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
UNSAT
1590.72
1591.31
1774488
manol-pipe-f9n.cnf
UNSAT
1716.73
1717.21
1775388
manol-pipe-f10ni.cnf
UNSAT
1718.85
1719.29
1775408
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
UNSAT
1803.89
1804.59
1773208
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
UNSAT
1832.98
1833.45
1772578
APPLICATIONS/diagnosis/
UR-15-10p0.cnf
UNSAT
1941.93
1942.81
1774898
APPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
UNSAT
2028.22
2028.74
1773918
industrial/fuhs/hard/
AProVE07-08.cnf
UNSAT
2070.7
2071.59
1772838
APPLICATIONS/diagnosis/
UR-20-5p0.cnf
UNSAT
2350.17
2351.05
1774768
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
2448.96
2450.24
1773098
APPLICATIONS/diagnosis/
ACG-15-10p0.cnf
UNSAT
2606.44
2607.38
1774678
industrial/fuhs/hard/
AProVE07-27.cnf
UNSAT
3538.45
3539.62
1772868
manol-pipe-c10nid_i.cnf
UNSAT
3703.43
3710.8
1773548
velev-vliw-uns-4.0-9C1.cnf
UNSAT
3713.98
3715.49
1775358
APPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
UNSAT
4253.78
4255.33
1773708
APPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
UNSAT
4262.44
4264.13
1774618
APPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
UNSAT
4296.86
4298.37
1773798
APPLICATIONS/diagnosis/
ACG-20-10p0.cnf
UNSAT
4527.96
4529.07
1774688
schup-l2s-bc56s-1-k391.cnf
UNSAT
4721.47
4723.66
1773408
manol-pipe-c10nidw.cnf
UNSAT
4782.37
4795.45
1773438
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
UNSAT
4867.84
4869.23
1773628
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
UNSAT
5143.44
5144.65
1773658
APPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
UNSAT
6058
6059.5
1773908
goldb-heqc-dalumul.cnf
UNSAT
6237.48
6240.28
1773508
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
UNSAT
6539.61
6541.37
1774848
velev-pipe-o-uns-1.0-7.cnf
UNSAT
7947.14
7949.66
1775378
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
UNSAT
8256.46
8258.71
1774558
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
UNSAT
9033.85
9036.81
1773248
APPLICATIONS/diagnosis/
UTI-20-5p0.cnf
UNSAT
9662.83
9666.99
1774668
Solver found a solution (SATISFIABLE) (77 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
een-tip-sat-texas-tp-5e.cnf
SAT
0.178972
0.18594
1773558
APPLICATIONS/aprove09/
AProVE09-13.cnf
SAT
0.25896
0.263898
1774248
APPLICATIONS/aprove09/
AProVE09-22.cnf
SAT
0.273957
0.280262
1774278
APPLICATIONS/aprove09/
AProVE09-11.cnf
SAT
0.567912
0.58146
1774338
APPLICATIONS/aprove09/
AProVE09-12.cnf
SAT
0.753884
0.775761
1774258
APPLICATIONS/aprove09/
AProVE09-08.cnf
SAT
1.14182
1.14578
1774318
APPLICATIONS/aprove09/
AProVE09-03.cnf
SAT
1.17382
1.20477
1774308
APPLICATIONS/aprove09/
AProVE09-01.cnf
SAT
1.59476
1.65081
1774268
APPLICATIONS/aprove09/
AProVE09-19.cnf
SAT
1.68274
1.7029
1774348
APPLICATIONS/aprove09/
AProVE09-25.cnf
SAT
1.87385
1.00584
1774238
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
SAT
2.37064
2.37429
1775078
APPLICATIONS/aprove09/
AProVE09-05.cnf
SAT
2.87756
2.88342
1774218
APPLICATIONS/aprove09/
AProVE09-10.cnf
SAT
3.47447
3.5154
1774328
APPLICATIONS/aprove09/
AProVE09-24.cnf
SAT
3.73543
3.77654
1774208
industrial/grieu/
vmpc_24.cnf
SAT
5.16821
5.16861
1773138
APPLICATIONS/aprove09/
AProVE09-21.cnf
SAT
5.8891
5.90952
1774228
APPLICATIONS/aprove09/
AProVE09-15.cnf
SAT
7.45887
7.52246
1774288
APPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
SAT
8.99763
9.02004
1774418
APPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
SAT
9.69453
9.71166
1774398
APPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
SAT
11.7952
11.8094
1774428
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_22_SAT.cnf
SAT
11.8122
11.818
1774968
APPLICATIONS/diagnosis/
UR-10-5p1.cnf
SAT
14.0659
14.1379
1774708
APPLICATIONS/aprove09/
AProVE09-07.cnf
SAT
14.8587
14.8667
1774298
APPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
SAT
22.5896
22.613
1774458
APPLICATIONS/aprove09/
AProVE09-17.cnf
SAT
28.6666
28.6991
1774188
APPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
SAT
32.848
32.8784
1774408
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
SAT
33.3609
33.3949
1774358
industrial/grieu/
vmpc_25.cnf
SAT
36.1785
36.1985
1773108
industrial/grieu/
vmpc_30.cnf
SAT
60.1259
60.1486
1773118
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
79.202
79.6638
1773298
APPLICATIONS/bioinfo/
q_query_3_l42_lambda.cnf
SAT
90.4603
90.5043
1774368
APPLICATIONS/crypto/
desgen/gss-13-s100.cnf
SAT
100.306
100.364
1774118
mizh-md5-47-3.cnf
SAT
109.367
109.831
1773328
schup-l2s-motst-2-k315.cnf
SAT
129.151
129.546
1773428
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
131.133
131.187
1774068
APPLICATIONS/bioinfo/
q_query_3_L60_coli.sat.cnf
SAT
144.326
144.53
1774608
simon-s03-w08-15.cnf
SAT
150.134
150.281
1773378
industrial/grieu/
vmpc_28.cnf
SAT
156.858
156.917
1773158
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
SAT
162.657
162.743
1775018
mizh-sha0-35-3.cnf
SAT
171.892
172.302
1773538
industrial/grieu/
vmpc_33.cnf
SAT
200.698
200.678
1773128
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
207.377
207.574
1772928
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
217.922
218.403
1773308
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
SAT
321.429
321.523
1775128
APPLICATIONS/crypto/
desgen/gss-15-s100.cnf
SAT
365.326
365.442
1774078
industrial/grieu/
vmpc_26.cnf
SAT
370.916
371.053
1773178
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
461.203
461.52
1774598
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
SAT
467.025
467.187
1775068
APPLICATIONS/c32sat/
post-c32s-gcdm16-22.cnf
SAT
488.837
489.066
1774548
mizh-sha0-36-2.cnf
SAT
515.225
515.397
1775398
APPLICATIONS/aprove09/
AProVE09-20.cnf
SAT
596.252
596.416
1774198
velev-pipe-sat-1.0-b10.cnf
SAT
665.484
665.882
1775268
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
SAT
694.328
694.699
1772638
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
717.608
717.82
1774018
industrial/grieu/
vmpc_29.cnf
SAT
850.009
850.24
1773148
APPLICATIONS/diagnosis/
UTI-15-5p1.cnf
SAT
910.604
910.998
1774928
APPLICATIONS/aprove09/
AProVE09-06.cnf
SAT
1057.54
1057.86
1774178
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
SAT
1102.37
1102.92
1772648
APPLICATIONS/crypto/
desgen/gss-17-s100.cnf
SAT
1108.05
1107.95
1773998
APPLICATIONS/diagnosis/
UTI-15-10p1.cnf
SAT
1239.15
1239.94
1774648
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
SAT
1291.11
1291.83
1774878
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
SAT
1429.16
1429.85
1772628
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
SAT
1538.5
1539.3
1774758
mizh-md5-47-4.cnf
SAT
1542.45
1543.37
1773518
velev-pipe-sat-1.0-b7.cnf
SAT
1551.58
1552.29
1775238
APPLICATIONS/diagnosis/
ACG-20-5p1.cnf
SAT
1712.72
1713.65
1774808
APPLICATIONS/diagnosis/
UR-15-10p1.cnf
SAT
2078.49
2079.52
1774718
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
SAT
2892.1
2893.83
1772608
industrial/palacios/medium/
cube-11-h14-sat.cnf
SAT
3389.95
3392.02
1772988
mizh-md5-48-5.cnf
SAT
4092.08
4093.44
1773578
APPLICATIONS/diagnosis/
ACG-15-10p1.cnf
SAT
4191.89
4193.81
1774788
APPLICATIONS/diagnosis/
UCG-20-10p1.cnf
SAT
4406.06
4407.53
1774828
industrial/narain/
clauses-8.cnf
SAT
4703.59
4704.67
1773188
APPLICATIONS/diagnosis/
ACG-20-10p1.cnf
SAT
6007.66
6010.5
1774748
APPLICATIONS/diagnosis/
UTI-20-5p1.cnf
SAT
6085.6
6088.49
1774838
APPLICATIONS/diagnosis/
UR-20-5p1.cnf
SAT
6155.26
6158.19
1774778
mizh-sha0-36-4.cnf
SAT
7344.08
7346.68
1773468
Solver timed out (no solution given) (18 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
? (TO)
10000
10003
1775148
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
10000.1
10004.1
1772688
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
10000.1
10003.4
1772708
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
10000.1
10004.3
1772798
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
10000.1
10004
1773078
industrial/grieu/
vmpc_34.cnf
? (TO)
10000.1
10003.5
1773168
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
10000.1
10004.1
1773258
velev-vliw-uns-4.0-9-i1.cnf
? (TO)
10000.1
10003.3
1773368
mizh-sha0-36-3.cnf
? (TO)
10000.1
10003.3
1773388
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
? (TO)
10000.1
10003.4
1775168
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
10000.1
10004.3
1772898
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
10000.1
10004.8
1773228
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
10000.1
10004.2
1773278
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
10000.2
10015.4
1772858
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
10000.2
10005.2
1773268
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
10000.2
10003.3
1772908
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
? (TO)
10000.2
10002.6
1774988
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
10000.2
10017.5
1772618
Solver exceeded the memory limit (no solution given) (2 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
? (MO)
14.5308
28.8576
1774508
velev-pipe-uns-1.0-8.cnf
? (MO)
7499.48
7501.39
1775478
Solver didn't output a solution line and terminated with an unexpected exit code (76 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (exit code)
9998.77
10002.3
1773688
APPLICATIONS/crypto/
desgen/gss-24-s100.cnf
? (exit code)
9998.81
10001.3
1774138
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
? (exit code)
9998.81
10001.4
1774168
APPLICATIONS/crypto/
desgen/gss-23-s100.cnf
? (exit code)
9998.82
10001.5
1774108
APPLICATIONS/crypto/
desgen/gss-28-s100.cnf
? (exit code)
9998.83
10001.5
1774148
APPLICATIONS/crypto/
desgen/gss-26-s100.cnf
? (exit code)
9998.83
10001.5
1774048
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
? (exit code)
9998.83
10001.5
1774948
APPLICATIONS/crypto/
desgen/gss-25-s100.cnf
? (exit code)
9999.01
10002.2
1774158
APPLICATIONS/crypto/
desgen/gss-32-s100.cnf
? (exit code)
9999.02
10002.4
1774008
APPLICATIONS/crypto/
desgen/gss-20-s100.cnf
? (exit code)
9999.03
10002.5
1774058
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (exit code)
9999.06
10003.5
1772788
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (exit code)
9999.17
10002.5
1775118
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (exit code)
9999.18
10003.3
1773048
vange-col-abb313GPIA-9-c.cnf
? (exit code)
9999.19
10017.4
1773488
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (exit code)
9999.21
10016.5
1772758
industrial/fuhs/hard/
AProVE07-01.cnf
? (exit code)
9999.27
10002.2
1772828
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (exit code)
9999.31
10003.5
1772918
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (exit code)
9999.31
10003.3
1774918
goldb-heqc-frg1mul.cnf
? (exit code)
9999.33
10002.5
1773358
industrial/fuhs/hard/
AProVE07-25.cnf
? (exit code)
9999.34
10019.5
1772848
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (exit code)
9999.38
10015.6
1772728
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (exit code)
9999.41
10003.4
1772748
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (exit code)
9999.47
10015.5
1772778
goldb-heqc-x1mul.cnf
? (exit code)
9999.49
10004.5
1773318
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (exit code)
9999.49
10002.8
1773058
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
? (exit code)
9999.56
10002.6
1775108
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (exit code)
9999.56
9998.52
1774128
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (exit code)
9999.56
10002.4
1774038
APPLICATIONS/crypto/
desgen/gss-33-s100.cnf
? (exit code)
9999.58
10002.6
1774098
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
? (exit code)
9999.58
10002.4
1775008
APPLICATIONS/crypto/
desgen/gss-34-s100.cnf
? (exit code)
9999.58
10002.4
1774088
APPLICATIONS/crypto/
desgen/gss-31-s100.cnf
? (exit code)
9999.58
10002
1773988
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
? (exit code)
9999.58
10002.2
1773668
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
? (exit code)
9999.59
10002.5
1775028
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (exit code)
9999.59
10002.5
1775188
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
? (exit code)
9999.6
10002.5
1775178
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
? (exit code)
9999.61
10002.6
1774938
APPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
? (exit code)
9999.61
10004.4
1773718
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (exit code)
9999.61
10002.5
1773868
APPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
? (exit code)
9999.64
10003.5
1773838
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (exit code)
9999.65
10003.7
1772878
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (exit code)
9999.74
10004.6
1772668
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (exit code)
9999.75
10004.3
1772658
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
? (exit code)
9999.75
10003.4
1775158
APPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
? (exit code)
9999.77
10003.2
1773788
simon-s02b-k2f-gr-rcs-w8.cnf
? (exit code)
9999.78
10003.5
1775438
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (exit code)
9999.78
10003.4
1773738
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
? (exit code)
9999.78
10003.3
1775058
APPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
? (exit code)
9999.78
10003.5
1773848
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (exit code)
9999.79
10004.7
1773878
APPLICATIONS/bitverif/
smulo/smulo128.cnf
? (exit code)
9999.79
10003.7
1773768
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
? (exit code)
9999.79
10003.3
1774958
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
? (exit code)
9999.8
10003.1
1775088
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (exit code)
9999.83
10002.3
1773968
APPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
? (exit code)
9999.83
10002.4
1773928
APPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
? (exit code)
9999.83
10002.5
1773888
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (exit code)
9999.83
10002.5
1775048
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
? (exit code)
9999.83
10002.6
1775208
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (exit code)
9999.83
10002.4
1774028
APPLICATIONS/bitverif/
mulhs/mulhs032.cnf
? (exit code)
9999.84
10002.5
1773748
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (exit code)
9999.84
10004.7
1774908
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
? (exit code)
9999.84
10002.5
1775198
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
? (exit code)
9999.85
10002.3
1775228
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (exit code)
9999.86
10002.4
1773828
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
? (exit code)
9999.86
10002.3
1774998
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
? (exit code)
9999.87
10002.3
1775038
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (exit code)
9999.95
10003.1
1773288
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (exit code)
9999.96
10004.4
1773238
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (exit code)
9999.99
10003.5
1772678
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (exit code)
10000
10004.6
1772888
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
? (exit code)
10000
10003.6
1774978
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (exit code)
10000
10003.1
1772768
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (exit code)
10000
10003.5
1773218
APPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
? (exit code)
10000
10003.5
1773898
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (exit code)
10000.1
10003.3
1772698
APPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
? (exit code)
10000.1
10003.1
1773858