SAT 2009 Competition: main competition (phase2): benchmarks results per solver
Result page for solver SAT07 reference solver: picosat
535
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (95 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/bitverif/
minor/minor032.cnf
UNSAT
1.84872
1.84859
1825090
manol-pipe-g6bi.cnf
UNSAT
1.92771
1.92823
1825577
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
2.25266
2.25351
1824888
cmu-bmc-barrel6.cnf
UNSAT
3.2845
3.28541
1825038
manol-pipe-c9.cnf
UNSAT
6.583
6.58583
1825601
een-tip-uns-nusmv-t5.B.cnf
UNSAT
7.31589
7.31709
1825563
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
7.58285
7.5847
1824856
hoons-vbmc-lucky7.cnf
UNSAT
8.17176
8.17367
1825050
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
20.2539
20.2623
1824854
manol-pipe-g7nidw.cnf
UNSAT
22.5876
22.5947
1825599
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
UNSAT
24.5163
24.5253
1825444
APPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
UNSAT
26.202
26.2156
1825326
APPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
UNSAT
32.583
32.5945
1825094
APPLICATIONS/bitverif/
minor/minor064.cnf
UNSAT
38.9111
38.9252
1825088
APPLICATIONS/
bitverif/maxand/maxand064.cnf
UNSAT
41.3287
41.3398
1825134
APPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
UNSAT
49.5075
49.5242
1825116
APPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
UNSAT
52.571
52.5893
1825100
APPLICATIONS/bitverif/
icbrt/icbrt1_32.cnf
UNSAT
57.2953
57.3119
1825126
APPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
UNSAT
59.505
59.5367
1825162
APPLICATIONS/diagnosis/
UCG-10-5p0.cnf
UNSAT
61.8356
61.8611
1825332
cmu-bmc-longmult15.cnf
UNSAT
67.6007
67.6189
1825076
schup-l2s-abp4-1-k31.cnf
UNSAT
69.2275
69.2495
1825040
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
75.4885
75.5221
1824766
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
82.0025
82.0459
1824836
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
82.8594
82.8911
1824866
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
85.0501
85.0846
1824844
APPLICATIONS/diagnosis/
UR-10-5p0.cnf
UNSAT
99.0829
99.1404
1825346
APPLICATIONS/diagnosis/
UTI-10-10p0.cnf
UNSAT
102.783
102.828
1825374
APPLICATIONS/diagnosis/
ACG-10-5p0.cnf
UNSAT
110.287
110.317
1825340
velev-engi-uns-1.0-4nd.cnf
UNSAT
115.228
115.268
1825060
manol-pipe-g10id.cnf
UNSAT
131.82
131.89
1825569
APPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
UNSAT
132.249
132.308
1825308
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
UNSAT
140.449
140.483
1825106
APPLICATIONS/bitverif/
smulo/smulo016.cnf
UNSAT
152.29
152.332
1825122
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
171.301
171.363
1824842
goldb-heqc-term1mul.cnf
UNSAT
179.242
179.303
1825573
APPLICATIONS/crypto/
md5gen/gus-md5-05.cnf
UNSAT
183.161
183.218
1825160
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
200.324
200.392
1824768
APPLICATIONS/
bitverif/minand/minand128.cnf
UNSAT
211.563
211.638
1825110
manol-pipe-c10nidw_s.cnf
UNSAT
217.933
218.005
1825557
simon-s03-fifo8-300.cnf
UNSAT
247.257
247.489
1825593
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
313.233
313.335
1824840
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
318.51
318.592
1824862
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
365.629
365.738
1824852
manol-pipe-c6bidw_i.cnf
UNSAT
446.287
446.446
1825066
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
459.847
460.112
1825360
velev-live-uns-2.0-ebuf.cnf
UNSAT
477.916
478.118
1825575
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
UNSAT
493.363
493.495
1825420
APPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
UNSAT
511.427
511.612
1825158
APPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
UNSAT
558.515
558.69
1825314
APPLICATIONS/c32sat/
post-c32s-col400-16.cnf
UNSAT
599.344
599.569
1825304
manol-pipe-g10nid.cnf
UNSAT
614.979
615.136
1825062
APPLICATIONS/diagnosis/
UTI-15-10p0.cnf
UNSAT
636.567
636.88
1825364
APPLICATIONS/diagnosis/
UR-15-5p0.cnf
UNSAT
637.607
637.791
1825378
goldb-heqc-alu4mul.cnf
UNSAT
649.914
650.148
1825084
APPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
UNSAT
655.852
656.071
1825328
manol-pipe-g10bidw.cnf
UNSAT
662.089
662.268
1825559
APPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
UNSAT
683.708
684.015
1825318
goldb-heqc-i10mul.cnf
UNSAT
706.189
706.4
1825565
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
UNSAT
721.908
722.245
1825316
schup-l2s-guid-1-k56.cnf
UNSAT
737.409
737.665
1825591
manol-pipe-c6nidw_i.cnf
UNSAT
738.383
738.634
1825605
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
UNSAT
797.564
797.761
1825428
APPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
UNSAT
810.864
811.21
1825324
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
810.998
811.309
1824838
simon-s02b-dp11u10.cnf
UNSAT
836.745
836.951
1825581
APPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
UNSAT
1063.69
1063.98
1825092
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
1287.02
1287.5
1824812
APPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
UNSAT
1431.01
1431.4
1825166
APPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
UNSAT
1861.82
1862.44
1825294
APPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
UNSAT
1871.33
1871.86
1825290
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
1940.73
1941.21
1825278
manol-pipe-f9b.cnf
UNSAT
2041.36
2042.41
1825054
APPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
UNSAT
2071.07
2071.81
1825276
APPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
UNSAT
2232.01
2232.56
1825288
manol-pipe-c7bidw_i.cnf
UNSAT
2299.6
2300.17
1825597
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
2312.99
2313.69
1825300
manol-pipe-f9n.cnf
UNSAT
2504.39
2505.13
1825585
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
UNSAT
2659.29
2660.08
1825372
APPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
UNSAT
2872.92
2873.69
1825132
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
3062.71
3064.12
1824792
APPLICATIONS/diagnosis/
UTI-15-5p0.cnf
UNSAT
3153.49
3155.03
1825348
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
3262.7
3263.94
1824868
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
3421.77
3423.16
1824796
manol-pipe-c7nidw.cnf
UNSAT
3627.88
3629.26
1825567
APPLICATIONS/diagnosis/
ACG-15-10p0.cnf
UNSAT
4174.92
4176.21
1825336
APPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
UNSAT
4335.75
4337.21
1825298
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
UNSAT
4658.07
4659.42
1824850
industrial/fuhs/medium/
AProVE07-09.cnf
UNSAT
5436.05
5437.52
1824810
APPLICATIONS/diagnosis/
UR-15-10p0.cnf
UNSAT
5450.63
5452.18
1825380
schup-l2s-bc56s-1-k391.cnf
UNSAT
5550.58
5552.14
1825052
APPLICATIONS/diagnosis/
UTI-20-5p0.cnf
UNSAT
6431.62
6433.27
1825334
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
UNSAT
7840.54
7843.68
1825370
APPLICATIONS/diagnosis/
UR-20-5p0.cnf
UNSAT
7948.85
7952.38
1825354
APPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
UNSAT
9189.74
9192.86
1825130
Solver found a solution (SATISFIABLE) (76 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/aprove09/
AProVE09-13.cnf
SAT
0.281956
0.284673
1825220
APPLICATIONS/aprove09/
AProVE09-22.cnf
SAT
0.354945
0.358986
1825226
een-tip-sat-texas-tp-5e.cnf
SAT
0.897863
0.903565
1825082
APPLICATIONS/aprove09/
AProVE09-11.cnf
SAT
0.91486
0.919167
1825238
APPLICATIONS/aprove09/
AProVE09-12.cnf
SAT
1.43978
1.44926
1825222
APPLICATIONS/aprove09/
AProVE09-25.cnf
SAT
1.90971
1.92382
1825218
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
SAT
1.91571
1.91645
1825416
APPLICATIONS/aprove09/
AProVE09-03.cnf
SAT
3.98639
4.01234
1825232
APPLICATIONS/aprove09/
AProVE09-05.cnf
SAT
4.08038
4.08544
1825214
APPLICATIONS/aprove09/
AProVE09-10.cnf
SAT
4.38733
4.4265
1825236
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
SAT
4.43433
4.43692
1825404
APPLICATIONS/aprove09/
AProVE09-24.cnf
SAT
5.51716
5.54227
1825212
APPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
SAT
6.39703
6.41023
1825292
APPLICATIONS/aprove09/
AProVE09-01.cnf
SAT
6.64299
6.67246
1825224
APPLICATIONS/aprove09/
AProVE09-19.cnf
SAT
7.82881
7.84208
1825240
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_22_SAT.cnf
SAT
8.66768
8.67138
1825394
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
SAT
9.75552
9.77136
1825272
APPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
SAT
11.4773
11.488
1825280
industrial/grieu/
vmpc_25.cnf
SAT
11.6182
11.6207
1824870
APPLICATIONS/aprove09/
AProVE09-21.cnf
SAT
12.1831
12.1999
1825216
APPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
SAT
15.2787
15.2936
1825286
APPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
SAT
16.9484
16.9617
1825284
APPLICATIONS/aprove09/
AProVE09-07.cnf
SAT
24.8822
24.8939
1825230
APPLICATIONS/aprove09/
AProVE09-17.cnf
SAT
25.8131
25.8368
1825208
APPLICATIONS/aprove09/
AProVE09-08.cnf
SAT
29.9015
29.9125
1825234
APPLICATIONS/aprove09/
AProVE09-15.cnf
SAT
38.3122
38.3698
1825228
APPLICATIONS/diagnosis/
UR-10-5p1.cnf
SAT
48.5416
48.6074
1825342
APPLICATIONS/bioinfo/
q_query_3_l42_lambda.cnf
SAT
52.2191
52.2494
1825274
APPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
SAT
66.2959
66.323
1825282
industrial/grieu/
vmpc_24.cnf
SAT
68.8785
68.9161
1824876
APPLICATIONS/crypto/
desgen/gss-13-s100.cnf
SAT
81.9565
81.9905
1825194
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
82.2215
82.2615
1825174
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
SAT
92.7009
92.7419
1825414
industrial/grieu/
vmpc_26.cnf
SAT
101.83
101.857
1824884
APPLICATIONS/bioinfo/
q_query_3_L60_coli.sat.cnf
SAT
121.414
121.527
1825322
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
147.1
147.208
1824834
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
167.465
167.523
1825184
APPLICATIONS/aprove09/
AProVE09-20.cnf
SAT
230.506
230.585
1825210
velev-pipe-sat-1.0-b7.cnf
SAT
239.332
239.535
1825555
industrial/grieu/
vmpc_28.cnf
SAT
277.102
277.199
1824880
simon-s03-w08-15.cnf
SAT
323.752
323.874
1825046
mizh-sha0-35-3.cnf
SAT
326.77
326.899
1825078
velev-pipe-sat-1.0-b10.cnf
SAT
361.831
361.991
1825561
mizh-sha0-36-2.cnf
SAT
375.115
375.235
1825587
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
SAT
391.912
391.878
1825426
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
433.739
434.01
1825320
APPLICATIONS/crypto/
desgen/gss-17-s100.cnf
SAT
439.052
439.182
1825170
industrial/grieu/
vmpc_30.cnf
SAT
458.996
459.156
1824872
APPLICATIONS/crypto/
desgen/gss-15-s100.cnf
SAT
561.996
562.219
1825186
APPLICATIONS/crypto/
desgen/gss-20-s100.cnf
SAT
608.764
609
1825182
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
SAT
640.812
641.134
1824778
mizh-md5-47-4.cnf
SAT
695.575
695.784
1825074
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
SAT
695.576
695.839
1824776
APPLICATIONS/diagnosis/
UTI-15-5p1.cnf
SAT
799.456
799.772
1825386
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
941.901
942.488
1824908
schup-l2s-motst-2-k315.cnf
SAT
976.784
977.192
1825056
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
1058.44
1058.36
1824910
APPLICATIONS/diagnosis/
UTI-20-5p1.cnf
SAT
1062.81
1063.2
1825368
APPLICATIONS/diagnosis/
UTI-15-10p1.cnf
SAT
1250.81
1251.15
1825330
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
SAT
1420
1420.67
1825376
APPLICATIONS/c32sat/
post-c32s-gcdm16-22.cnf
SAT
1708.22
1708.73
1825310
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
SAT
1841.43
1842.01
1824772
vange-col-abb313GPIA-9-c.cnf
SAT
2095.62
2096.24
1825068
APPLICATIONS/diagnosis/
ACG-20-5p1.cnf
SAT
2322.95
2324.16
1825362
mizh-md5-47-3.cnf
SAT
2761.8
2762.5
1825036
mizh-sha0-36-3.cnf
SAT
3107.53
3108.55
1825048
mizh-sha0-36-4.cnf
SAT
3239.3
3240.22
1825064
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
SAT
3772.32
3773.61
1824770
APPLICATIONS/aprove09/
AProVE09-06.cnf
SAT
3914.98
3916.09
1825206
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
SAT
3938.1
3939.97
1825352
APPLICATIONS/diagnosis/
ACG-15-10p1.cnf
SAT
4856.16
4857.82
1825358
industrial/narain/
clauses-8.cnf
SAT
5307.79
5310.24
1824886
mizh-md5-48-5.cnf
SAT
5935.21
5936.95
1825086
industrial/palacios/medium/
cube-11-h14-sat.cnf
SAT
7477.71
7479.65
1824846
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
SAT
7671.17
7673.17
1825204
APPLICATIONS/diagnosis/
UR-15-10p1.cnf
SAT
8574.56
8578.32
1825344
Solver timed out (no solution given) (120 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/palacios/medium/
cube-11-h13-unsat.cnf
? (TO)
10000
10004.3
1824848
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
10000
10002.3
1825164
APPLICATIONS/bitverif/
mulhs/mulhs032.cnf
? (TO)
10000
10003.7
1825120
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
? (TO)
10000
10003.1
1825392
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
? (TO)
10000
10003
1825430
APPLICATIONS/crypto/
desgen/gss-23-s100.cnf
? (TO)
10000
10002.6
1825192
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
10000
10002.3
1824858
APPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
? (TO)
10000
10002.6
1825112
APPLICATIONS/crypto/
desgen/gss-28-s100.cnf
? (TO)
10000
10003.7
1825200
simon-s02b-k2f-gr-rcs-w8.cnf
? (TO)
10000
10004.2
1825595
APPLICATIONS/crypto/
desgen/gss-33-s100.cnf
? (TO)
10000
10002.9
1825190
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
10000
10002.4
1825438
APPLICATIONS/crypto/
desgen/gss-24-s100.cnf
? (TO)
10000
10003
1825198
APPLICATIONS/crypto/
desgen/gss-25-s100.cnf
? (TO)
10000
10003.4
1825202
goldb-heqc-x1mul.cnf
? (TO)
10000
10003.5
1825034
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
? (TO)
10000
10000.4
1825104
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
10000
10002.6
1824864
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
? (TO)
10000
10002.7
1825388
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
? (TO)
10000
10002.9
1825408
industrial/fuhs/hard/
AProVE07-08.cnf
? (TO)
10000
10003.5
1824816
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
10000
10002.5
1824820
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
10000
10004.7
1824818
aloul-chnl11-13.cnf
? (TO)
10000
10002.5
1825070
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
? (TO)
10000
10002.9
1825396
goldb-heqc-dalumul.cnf
? (TO)
10000
10002.6
1825072
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
10000
10003.6
1824828
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
10000
10003.5
1824860
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
? (TO)
10000
10002.5
1825440
industrial/grieu/
vmpc_29.cnf
? (TO)
10000
10004.8
1824878
manol-pipe-c10nid_i.cnf
? (TO)
10000.1
10004.4
1825080
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
10000.1
10002.6
1824830
APPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
? (TO)
10000.1
10005.1
1825128
APPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
? (TO)
10000.1
10003.3
1825114
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
10000.1
10002.7
1825118
APPLICATIONS/bitverif/
smulo/smulo128.cnf
? (TO)
10000.1
10002.9
1825124
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
10000.1
10004.2
1825136
APPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
? (TO)
10000.1
10002.7
1825138
APPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
? (TO)
10000.1
10003.6
1825140
APPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
? (TO)
10000.1
10004.2
1825142
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
10000.1
10004.4
1825144
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
10000.1
10004.4
1825146
APPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
? (TO)
10000.1
10003
1825148
APPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
? (TO)
10000.1
10002.8
1825150
APPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
? (TO)
10000.1
10003.3
1825152
APPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
? (TO)
10000.1
10004.2
1825154
APPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
? (TO)
10000.1
10002.7
1825156
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
10000.1
10002.6
1824808
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
10000.1
10002.4
1824814
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
10000.1
10003.4
1824832
APPLICATIONS/crypto/
desgen/gss-31-s100.cnf
? (TO)
10000.1
10003.5
1825168
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
10000.1
10003.5
1825178
APPLICATIONS/crypto/
desgen/gss-32-s100.cnf
? (TO)
10000.1
10002.5
1825172
industrial/grieu/
vmpc_34.cnf
? (TO)
10000.1
10003.6
1824882
APPLICATIONS/crypto/
desgen/gss-26-s100.cnf
? (TO)
10000.1
9998.81
1825180
APPLICATIONS/crypto/
desgen/gss-34-s100.cnf
? (TO)
10000.1
10004.5
1825188
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
10000.1
10004.8
1825196
APPLICATIONS/
c32sat/post-c32s-ss-8.cnf
? (TO)
10000.1
10002.5
1825306
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
? (TO)
10000.1
10002.7
1825296
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
? (TO)
10000.1
10003
1825312
APPLICATIONS/diagnosis/
ACG-20-10p1.cnf
? (TO)
10000.1
10004.2
1825350
APPLICATIONS/diagnosis/
UR-20-5p1.cnf
? (TO)
10000.1
10002.5
1825356
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
? (TO)
10000.1
10004.5
1825384
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
? (TO)
10000.1
10002.4
1825390
APPLICATIONS/diagnosis/
UCG-20-10p1.cnf
? (TO)
10000.1
10005.2
1825366
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
? (TO)
10000.1
10002.8
1825382
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
? (TO)
10000.1
10003
1825398
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
? (TO)
10000.1
10002.9
1825400
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
? (TO)
10000.1
10002.7
1825402
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
? (TO)
10000.1
10002.6
1825406
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
10000.1
10004.5
1825176
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
? (TO)
10000.1
10002.9
1824764
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
10000.1
10003
1824898
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
10000.1
10002.9
1824890
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
10000.1
10005.1
1824900
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
10000.1
10004.2
1824780
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
10000.1
10002.4
1824906
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
10000.1
10002.6
1824788
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
10000.1
10003
1824790
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
10000.1
10002.5
1824798
velev-vliw-uns-4.0-9-i1.cnf
? (TO)
10000.1
10002.8
1825044
goldb-heqc-frg1mul.cnf
? (TO)
10000.1
10004.4
1825042
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
10000.1
10003.2
1824804
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
10000.1
10002.5
1824806
manol-pipe-c10nidw.cnf
? (TO)
10000.1
10002.5
1825058
industrial/grieu/
vmpc_33.cnf
? (TO)
10000.1
10002.8
1824874
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
10000.1
10004.6
1824892
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
10000.1
10004.4
1824784
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
10000.1
10004
1824786
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
10000.1
10003.7
1825096
APPLICATIONS/
bitverif/minxor/minxor128.cnf
? (TO)
10000.1
10002.7
1825098
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
10000.1
10003.3
1825102
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
10000.1
10002.9
1825108
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
10000.1
10005.2
1824794
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
10000.1
10004.2
1824800
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
10000.1
10003.6
1824802
industrial/fuhs/hard/
AProVE07-27.cnf
? (TO)
10000.1
10002.9
1824822
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
10000.1
10002.5
1824826
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
10000.1
10004.3
1824824
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
? (TO)
10000.1
10003.8
1825434
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
? (TO)
10000.1
10003.4
1825436
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
? (TO)
10000.1
10003.3
1825442
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
? (TO)
10000.1
10003.3
1825446
velev-pipe-o-uns-1.1-6.cnf
? (TO)
10000.1
10002.7
1825571
manol-pipe-f10ni.cnf
? (TO)
10000.1
10004.7
1825589
velev-vliw-uns-4.0-9C1.cnf
? (TO)
10000.1
10002.8
1825579
velev-pipe-o-uns-1.0-7.cnf
? (TO)
10000.1
10002.7
1825583
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
10000.1
10003.6
1825410
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
? (TO)
10000.1
10003.9
1825412
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
? (TO)
10000.1
10003.6
1825418
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
? (TO)
10000.1
10003
1825422
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
10000.1
10002.7
1825424
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
? (TO)
10000.1
10002.5
1825432
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
10000.2
10002.6
1824894
velev-pipe-uns-1.0-8.cnf
? (TO)
10000.2
10002.6
1825603
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
10000.2
10004.4
1824774
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
10000.2
10004.2
1824896
APPLICATIONS/diagnosis/
ACG-20-10p0.cnf
? (TO)
10000.2
10002.7
1825338
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
10000.2
10003.1
1824902
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
10000.2
10003.7
1824782
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
10000.2
10004.1
1824904
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)
5950.17
5951.77
1825302