SAT 2009 Competition: main competition (phase2): benchmarks results per solver
Result page for solver minisat_cumr
p-2009-03-18
(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.277957
0.281744
1837156
APPLICATIONS/bitverif/
minor/minor032.cnf
UNSAT
0.691894
0.695593
1837236
manol-pipe-g6bi.cnf
UNSAT
1.2928
1.30278
1837586
een-tip-uns-nusmv-t5.B.cnf
UNSAT
2.06269
2.06787
1837572
hoons-vbmc-lucky7.cnf
UNSAT
2.45662
2.46909
1837196
manol-pipe-c9.cnf
UNSAT
3.99839
4.00679
1837610
cmu-bmc-barrel6.cnf
UNSAT
5.34419
5.35928
1837184
APPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
UNSAT
5.36018
5.36384
1837308
APPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
UNSAT
7.69483
7.70921
1837262
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
9.68053
9.68706
1837124
APPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
UNSAT
12.914
12.9177
1837246
APPLICATIONS/
bitverif/maxand/maxand064.cnf
UNSAT
13.193
13.2072
1837280
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
13.4999
13.517
1837122
APPLICATIONS/crypto/
md5gen/gus-md5-05.cnf
UNSAT
14.1358
14.1489
1837306
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
15.9516
15.9626
1837104
APPLICATIONS/bitverif/
minor/minor064.cnf
UNSAT
18.5812
18.6004
1837234
APPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
UNSAT
20.2529
20.2669
1837240
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
21.4417
21.4508
1837110
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
22.1366
22.1584
1837112
APPLICATIONS/bitverif/
icbrt/icbrt1_32.cnf
UNSAT
23.9634
23.9725
1837272
APPLICATIONS/bitverif/
smulo/smulo016.cnf
UNSAT
25.3381
25.3782
1837268
manol-pipe-g7nidw.cnf
UNSAT
27.0189
27.0191
1837608
schup-l2s-abp4-1-k31.cnf
UNSAT
29.7485
29.7828
1837186
velev-live-uns-2.0-ebuf.cnf
UNSAT
30.9123
30.9318
1837584
manol-pipe-c10nidw_s.cnf
UNSAT
31.8912
31.9322
1837566
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
35.8106
37.1512
1837034
APPLICATIONS/diagnosis/
UCG-10-5p0.cnf
UNSAT
36.9694
37.0067
1837448
simon-s03-fifo8-300.cnf
UNSAT
39.0211
39.0793
1837602
APPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
UNSAT
39.352
39.381
1837304
APPLICATIONS/diagnosis/
ACG-10-5p0.cnf
UNSAT
40.3869
43.8429
1837456
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
42.2036
42.2641
1837134
cmu-bmc-longmult15.cnf
UNSAT
44.9022
44.9257
1837222
APPLICATIONS/diagnosis/
UR-10-5p0.cnf
UNSAT
46.8559
46.8991
1837462
velev-engi-uns-1.0-4nd.cnf
UNSAT
48.1417
48.1795
1837206
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
48.3556
48.4079
1837108
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
58.2921
58.3299
1837120
manol-pipe-c6nidw_i.cnf
UNSAT
67.3138
67.379
1837614
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
UNSAT
69.1175
69.1435
1837252
manol-pipe-c6bidw_i.cnf
UNSAT
70.9642
70.9951
1837212
APPLICATIONS/
bitverif/minand/minand128.cnf
UNSAT
76.0584
77.7575
1837256
APPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
UNSAT
78.92
79.3999
1837424
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
88.5325
88.6455
1837036
velev-pipe-o-uns-1.1-6.cnf
UNSAT
95.1215
95.1984
1837580
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
108.69
108.739
1837476
APPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
UNSAT
128.374
128.465
1837312
APPLICATIONS/c32sat/
post-c32s-col400-16.cnf
UNSAT
129.954
130.05
1837420
APPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
UNSAT
132.67
132.742
1837442
manol-pipe-c7bidw_i.cnf
UNSAT
137.761
137.855
1837606
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
146.283
146.381
1837106
manol-pipe-c7nidw.cnf
UNSAT
163.885
164.075
1837576
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
UNSAT
171.418
171.509
1837560
manol-pipe-g10nid.cnf
UNSAT
179.759
179.831
1837208
APPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
UNSAT
183.629
184.263
1837278
simon-s02b-dp11u10.cnf
UNSAT
197.895
198.074
1837590
APPLICATIONS/diagnosis/
UR-15-5p0.cnf
UNSAT
199.586
199.725
1837494
APPLICATIONS/diagnosis/
UTI-10-10p0.cnf
UNSAT
268.106
268.211
1837490
schup-l2s-guid-1-k56.cnf
UNSAT
276.524
276.639
1837600
manol-pipe-g10id.cnf
UNSAT
280.08
280.254
1837578
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
335.337
335.602
1837130
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
366.544
366.745
1837416
industrial/palacios/medium/
cube-11-h13-unsat.cnf
UNSAT
422.294
422.487
1837116
APPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
UNSAT
470.191
470.439
1837238
APPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
UNSAT
507.616
507.879
1837404
APPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
UNSAT
523.573
523.95
1837406
APPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
UNSAT
541.215
541.513
1837392
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
551.53
551.802
1837394
APPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
UNSAT
558.674
558.91
1837410
APPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
UNSAT
584.532
584.747
1837444
APPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
UNSAT
586.216
586.464
1837430
goldb-heqc-alu4mul.cnf
UNSAT
595.774
596.11
1837230
manol-pipe-f9n.cnf
UNSAT
610.475
610.867
1837594
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
637.491
637.745
1837080
APPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
UNSAT
637.581
637.897
1837434
manol-pipe-c10nid_i.cnf
UNSAT
670.068
671.024
1837226
manol-pipe-f9b.cnf
UNSAT
696.746
706.784
1837200
APPLICATIONS/diagnosis/
UTI-15-10p0.cnf
UNSAT
702.688
702.873
1837480
velev-pipe-uns-1.0-8.cnf
UNSAT
708.476
708.594
1837612
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
UNSAT
728.782
729.177
1837432
APPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
UNSAT
762.716
763.096
1837440
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
UNSAT
849.467
858.804
1837158
velev-pipe-o-uns-1.0-7.cnf
UNSAT
866.964
867.384
1837592
manol-pipe-c10nidw.cnf
UNSAT
971.796
972.422
1837204
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
UNSAT
1107.29
1107.78
1837118
schup-l2s-bc56s-1-k391.cnf
UNSAT
1321.46
1321.98
1837198
APPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
UNSAT
1325.84
1326.29
1837300
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
1384.48
1385.23
1837060
APPLICATIONS/
c32sat/post-c32s-ss-8.cnf
UNSAT
1443.33
1444.63
1837422
goldb-heqc-i10mul.cnf
UNSAT
1674.58
1675.52
1837574
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
UNSAT
2088.07
2088.81
1837536
industrial/fuhs/medium/
AProVE07-09.cnf
UNSAT
2158.85
2159.58
1837078
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
UNSAT
2340.09
2341.05
1837488
velev-vliw-uns-4.0-9C1.cnf
UNSAT
2362.21
2362.86
1837588
APPLICATIONS/
bitverif/minxor/minxor128.cnf
UNSAT
2362.88
2364.04
1837244
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
2450.71
2451.51
1837064
APPLICATIONS/diagnosis/
ACG-15-10p0.cnf
UNSAT
2748.83
2750.74
1837452
APPLICATIONS/diagnosis/
UTI-15-5p0.cnf
UNSAT
2879.18
2880.18
1837464
manol-pipe-f10ni.cnf
UNSAT
2885.98
2887.73
1837598
APPLICATIONS/diagnosis/
UR-15-10p0.cnf
UNSAT
3020.9
3022.01
1837496
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
UNSAT
3071.62
3072.95
1837166
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
UNSAT
3206.19
3207.25
1837544
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
3219.35
3221.24
1837136
APPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
UNSAT
3554.03
3555.93
1837298
industrial/fuhs/hard/
AProVE07-27.cnf
UNSAT
3789.3
3790.49
1837090
goldb-heqc-term1mul.cnf
UNSAT
3791.08
3792.42
1837582
APPLICATIONS/diagnosis/
UR-20-5p0.cnf
UNSAT
3932.65
3934.5
1837470
goldb-heqc-dalumul.cnf
UNSAT
4090.84
4092.85
1837218
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
UNSAT
4266.64
4268.8
1837412
APPLICATIONS/diagnosis/
UTI-20-5p0.cnf
UNSAT
5374.4
5377.22
1837450
APPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
UNSAT
5403.97
5405.71
1837414
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
UNSAT
5583.51
5585.1
1837032
APPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
UNSAT
6362.33
6364.61
1837258
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
UNSAT
7003.43
7005.82
1837174
APPLICATIONS/diagnosis/
ACG-20-10p0.cnf
UNSAT
7523.61
7525.79
1837454
industrial/fuhs/hard/
AProVE07-08.cnf
UNSAT
7968.95
7972.47
1837084
APPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
UNSAT
8323.76
8327.07
1837276
Solver found a solution (SATISFIABLE) (75 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/aprove09/
AProVE09-13.cnf
SAT
0.307952
0.310998
1837366
een-tip-sat-texas-tp-5e.cnf
SAT
0.32195
0.32427
1837228
APPLICATIONS/aprove09/
AProVE09-22.cnf
SAT
0.413936
0.413496
1837372
APPLICATIONS/aprove09/
AProVE09-11.cnf
SAT
0.835872
0.843592
1837384
APPLICATIONS/aprove09/
AProVE09-25.cnf
SAT
1.16482
1.17242
1837364
APPLICATIONS/aprove09/
AProVE09-12.cnf
SAT
1.36279
1.37116
1837368
APPLICATIONS/aprove09/
AProVE09-03.cnf
SAT
1.73273
1.74001
1837378
APPLICATIONS/aprove09/
AProVE09-19.cnf
SAT
1.92171
1.92956
1837386
APPLICATIONS/aprove09/
AProVE09-01.cnf
SAT
2.06969
2.07723
1837370
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
SAT
2.22366
2.23088
1837520
APPLICATIONS/aprove09/
AProVE09-05.cnf
SAT
2.48262
2.4911
1837360
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
SAT
2.78058
2.78185
1837532
APPLICATIONS/aprove09/
AProVE09-21.cnf
SAT
3.22951
3.24016
1837362
APPLICATIONS/aprove09/
AProVE09-10.cnf
SAT
4.12937
4.21632
1837382
APPLICATIONS/aprove09/
AProVE09-24.cnf
SAT
5.13222
5.14264
1837358
APPLICATIONS/crypto/
desgen/gss-13-s100.cnf
SAT
5.37918
5.64139
1837340
APPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
SAT
6.18006
6.19468
1837396
APPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
SAT
8.05477
8.06287
1837402
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
SAT
11.8212
11.8322
1837530
APPLICATIONS/aprove09/
AProVE09-15.cnf
SAT
13.302
13.3345
1837374
APPLICATIONS/diagnosis/
UR-10-5p1.cnf
SAT
15.3757
19.8922
1837458
APPLICATIONS/aprove09/
AProVE09-17.cnf
SAT
15.9786
16.0047
1837354
APPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
SAT
18.2202
18.238
1837408
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
21.0248
21.0422
1837330
APPLICATIONS/aprove09/
AProVE09-08.cnf
SAT
22.9085
22.9272
1837380
APPLICATIONS/aprove09/
AProVE09-07.cnf
SAT
25.1762
25.2113
1837376
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_22_SAT.cnf
SAT
28.2057
28.2211
1837510
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
29.2666
29.4035
1837102
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
SAT
52.687
52.7205
1837542
APPLICATIONS/bioinfo/
q_query_3_L60_coli.sat.cnf
SAT
54.5977
54.6535
1837438
APPLICATIONS/aprove09/
AProVE09-06.cnf
SAT
55.0786
55.1368
1837352
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
SAT
68.0067
68.0907
1837388
schup-l2s-motst-2-k315.cnf
SAT
77.6762
77.7746
1837202
industrial/grieu/
vmpc_24.cnf
SAT
78.4281
78.4626
1837144
APPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
SAT
80.6527
80.6927
1837400
APPLICATIONS/bioinfo/
q_query_3_l42_lambda.cnf
SAT
84.7341
84.8096
1837390
APPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
SAT
112.925
113.029
1837398
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
SAT
128.27
128.341
1837350
simon-s03-w08-15.cnf
SAT
154.027
154.122
1837192
APPLICATIONS/crypto/
desgen/gss-15-s100.cnf
SAT
179.193
179.273
1837332
APPLICATIONS/aprove09/
AProVE09-20.cnf
SAT
202.027
202.13
1837356
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
208.749
208.874
1837436
industrial/grieu/
vmpc_26.cnf
SAT
209.398
209.527
1837152
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
244.191
244.464
1837178
velev-pipe-sat-1.0-b10.cnf
SAT
251.21
251.286
1837570
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
264.731
267.477
1837176
APPLICATIONS/c32sat/
post-c32s-gcdm16-22.cnf
SAT
282.33
282.47
1837426
mizh-md5-47-3.cnf
SAT
328.912
329.16
1837182
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
SAT
345.22
346.295
1837044
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
353.992
354.15
1837320
APPLICATIONS/diagnosis/
UTI-15-5p1.cnf
SAT
354.48
354.688
1837502
industrial/grieu/
vmpc_25.cnf
SAT
362.987
363.238
1837138
APPLICATIONS/diagnosis/
UTI-15-10p1.cnf
SAT
493.54
493.758
1837446
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
SAT
533.116
537.774
1837046
mizh-sha0-35-3.cnf
SAT
720.485
720.947
1837224
APPLICATIONS/crypto/
desgen/gss-17-s100.cnf
SAT
724.424
724.352
1837316
velev-pipe-sat-1.0-b7.cnf
SAT
875.437
875.774
1837564
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
SAT
991.935
992.309
1837468
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
SAT
1181.5
1182.09
1837492
mizh-md5-47-4.cnf
SAT
1328.95
1329.63
1837220
mizh-sha0-36-2.cnf
SAT
1352.74
1353.28
1837596
APPLICATIONS/diagnosis/
ACG-15-10p1.cnf
SAT
1725.3
1725.83
1837474
industrial/grieu/
vmpc_28.cnf
SAT
1902.56
1903.36
1837148
mizh-sha0-36-4.cnf
SAT
2080.89
2081.55
1837210
industrial/palacios/medium/
cube-11-h14-sat.cnf
SAT
2143.16
2144.32
1837114
APPLICATIONS/diagnosis/
ACG-20-5p1.cnf
SAT
2233.39
2234.56
1837478
mizh-sha0-36-3.cnf
SAT
2236.06
2237.07
1837194
industrial/grieu/
vmpc_29.cnf
SAT
2806.64
2807.62
1837146
industrial/narain/
clauses-8.cnf
SAT
3493.28
3495.23
1837154
APPLICATIONS/diagnosis/
UCG-20-10p1.cnf
SAT
3850.45
3852.64
1837482
APPLICATIONS/diagnosis/
UR-15-10p1.cnf
SAT
5307.86
5313.92
1837460
industrial/grieu/
vmpc_30.cnf
SAT
5430.69
5433.04
1837140
APPLICATIONS/diagnosis/
UTI-20-5p1.cnf
SAT
5500.67
5503.55
1837484
mizh-md5-48-5.cnf
SAT
5870.2
5872.13
1837232
APPLICATIONS/diagnosis/
UR-20-5p1.cnf
SAT
9804.42
9807.4
1837472
Solver timed out (no solution given) (85 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
10000
10005.1
1837132
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
10000
10003.7
1837164
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
10000
10003.7
1837086
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
10000
10002.7
1837088
vange-col-abb313GPIA-9-c.cnf
? (TO)
10000
10003.3
1837214
APPLICATIONS/crypto/
desgen/gss-34-s100.cnf
? (TO)
10000
10002.8
1837334
aloul-chnl11-13.cnf
? (TO)
10000
10005.2
1837216
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
10000
10004.2
1837242
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
10000
10004.6
1837248
goldb-heqc-x1mul.cnf
? (TO)
10000
10003.1
1837180
APPLICATIONS/crypto/
desgen/gss-28-s100.cnf
? (TO)
10000
10003.8
1837346
APPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
? (TO)
10000
10004.4
1837260
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
? (TO)
10000
10004.9
1837428
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
? (TO)
10000
10004.6
1837516
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
10000
10004.4
1837264
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
10000
10003.2
1837094
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
10000
10004.9
1837324
APPLICATIONS/crypto/
desgen/gss-26-s100.cnf
? (TO)
10000
10003.8
1837326
APPLICATIONS/bitverif/
smulo/smulo128.cnf
? (TO)
10000
10003
1837270
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
? (TO)
10000
10004.1
1837518
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
10000
10004.6
1837052
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
? (TO)
10000
10003
1837524
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
10000
10004.3
1837526
industrial/grieu/
vmpc_34.cnf
? (TO)
10000
10003.1
1837150
APPLICATIONS/crypto/
desgen/gss-32-s100.cnf
? (TO)
10000
10002.9
1837318
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
? (TO)
10000
10004
1837534
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
? (TO)
10000
10004.3
1837538
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
10000
10003
1837100
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
10000
10004.5
1837282
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
10000
10003.1
1837074
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
? (TO)
10000
10002.4
1837548
APPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
? (TO)
10000
10003.1
1837286
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
10000
10002.9
1837554
industrial/grieu/
vmpc_33.cnf
? (TO)
10000
10003
1837142
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
? (TO)
10000
10002.9
1837558
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
10000
10002.9
1837062
APPLICATIONS/diagnosis/
ACG-20-10p1.cnf
? (TO)
10000
10005.2
1837466
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
? (TO)
10000
10004.2
1837504
velev-vliw-uns-4.0-9-i1.cnf
? (TO)
10000
10005.3
1837190
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
? (TO)
10000.1
10003.2
1837552
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
10000.1
10003
1837540
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
? (TO)
10000.1
10003.2
1837562
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
? (TO)
10000.1
10003
1837546
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
? (TO)
10000.1
10003.3
1837550
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
? (TO)
10000.1
10003.1
1837556
manol-pipe-g10bidw.cnf
? (TO)
10000.1
10007.8
1837568
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
? (TO)
10000.1
10003.1
1837506
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
10000.1
10004.6
1837162
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
10000.1
10004.3
1837048
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
10000.1
10003
1837056
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
10000.1
10002.6
1837066
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
10000.1
10002.8
1837068
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
10000.1
10002.6
1837082
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
10000.1
10003.1
1837092
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
10000.1
10004.4
1837096
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
10000.1
10004.2
1837098
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
10000.1
10005.3
1837128
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
10000.1
10004.3
1837126
goldb-heqc-frg1mul.cnf
? (TO)
10000.1
10003.6
1837188
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
10000.1
10002.8
1837254
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
? (TO)
10000.1
10003.7
1837250
APPLICATIONS/bitverif/
mulhs/mulhs032.cnf
? (TO)
10000.1
10002.9
1837266
APPLICATIONS/crypto/
desgen/gss-31-s100.cnf
? (TO)
10000.1
10003.1
1837314
APPLICATIONS/crypto/
desgen/gss-20-s100.cnf
? (TO)
10000.1
10003.2
1837328
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
10000.1
10002.6
1837310
APPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
? (TO)
10000.1
10003.4
1837284
APPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
? (TO)
10000.1
10005.2
1837288
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
10000.1
10003
1837292
APPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
? (TO)
10000.1
10003
1837294
APPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
? (TO)
10000.1
10003.2
1837296
APPLICATIONS/crypto/
desgen/gss-25-s100.cnf
? (TO)
10000.1
10005.3
1837348
APPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
? (TO)
10000.1
10003.1
1837302
APPLICATIONS/crypto/
desgen/gss-24-s100.cnf
? (TO)
10000.1
9998.91
1837344
APPLICATIONS/crypto/
desgen/gss-23-s100.cnf
? (TO)
10000.1
10004.9
1837338
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
10000.1
10002.9
1837322
APPLICATIONS/crypto/
desgen/gss-33-s100.cnf
? (TO)
10000.1
10002.7
1837336
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
10000.1
10004.5
1837342
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
10000.1
10005.5
1837168
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
? (TO)
10000.1
10003.2
1837508
simon-s02b-k2f-gr-rcs-w8.cnf
? (TO)
10000.1
10003
1837604
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
? (TO)
10000.1
10002.9
1837512
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
10000.1
10004.4
1837500
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
? (TO)
10000.1
10005
1837514
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
? (TO)
10000.1
10002.8
1837522
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
? (TO)
10000.1
10002.9
1837528
Solver exceeded the memory limit (no solution given) (17 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
? (MO)
10.52
869.375
1837418
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (MO)
4615.3
4617.31
1837040
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (MO)
4679.27
4681.41
1837042
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (MO)
5263.74
5265.21
1837076
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (MO)
5356.66
5358.71
1837058
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (MO)
5513.36
5515.81
1837038
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (MO)
5803.19
5805.01
1837054
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (MO)
5899.9
5901.52
1837050
APPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
? (MO)
6109.41
6111.52
1837274
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (MO)
6740.5
6742.51
1837172
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (MO)
6748.01
6750.31
1837160
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (MO)
6770.66
6772.31
1837070
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (MO)
7269.53
7272.61
1837170
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (MO)
7583.35
7586.21
1837498
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (MO)
8039.38
8042.02
1837072
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (MO)
9090.56
9093.21
1837290
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
? (MO)
9866.08
9870.61
1837486