BDHIJLNOPQRSTUVWXYZ
1
BenchmarkSolverStatusCUP TimeWall ClockResult
2
3
Evaluation Non-Incremental Unknown/NIA/psyco/059.smt2
vampire_smt_4.1_parallel
complete1618.59436.375unsat
4
Evaluation Non-Incremental Unknown/NIA/psyco/059.smt2z3-4.4.1complete0.040.039sat
5
6
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2ABC_defaultcomplete0.1610.162unsat
7
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2ABC_glucosecomplete0.5430.543unsat
8
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2Boolectorcomplete0.1040.104unsat
9
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2Boolector prepropcomplete0.1050.105unsat
10
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2
CVC4-master-2016-05-27-cfef263-main
complete0.2480.136unsat
11
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2MapleSTPcomplete0.0560.056unsat
12
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2MapleSTP-mtcomplete0.1310.083unsat
13
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2
mathsat-5.3.11-linux-x86_64-Main
complete0.5690.568unsat
14
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2Minkeyrink 2016complete0.0130.013unsat
15
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2Q3Bcomplete0.0760.076sat
16
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2stp-cms-exp-2016complete0.060.06unsat
17
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2stp-cms-mt-2016complete0.1290.087unsat
18
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2stp-cms-st-2016complete0.0570.056unsat
19
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2stp-minisat-st-2016complete0.0820.082unsat
20
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2Yices-2.4.2complete0.0090.013unsat
21
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2z3-4.4.1complete0.0380.036unsat
22
23
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2ABC_defaultcomplete0.1590.158unsat
24
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2ABC_glucosecomplete0.8220.822unsat
25
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2Boolectorcomplete0.1050.104unsat
26
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2Boolector prepropcomplete0.1050.104unsat
27
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2
CVC4-master-2016-05-27-cfef263-main
complete0.2450.134unsat
28
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2MapleSTPcomplete0.0560.056unsat
29
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2MapleSTP-mtcomplete0.1290.062unsat
30
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2
mathsat-5.3.11-linux-x86_64-Main
complete0.570.568unsat
31
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2Minkeyrink 2016complete0.0110.012unsat
32
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2Q3Bcomplete0.0710.071sat
33
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2stp-cms-exp-2016complete0.060.06unsat
34
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2stp-cms-mt-2016complete0.1370.064unsat
35
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2stp-cms-st-2016complete0.060.059unsat
36
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2stp-minisat-st-2016complete0.0830.084unsat
37
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2Yices-2.4.2complete0.0080.012unsat
38
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2z3-4.4.1complete0.0360.035unsat
39
40
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2ABC_defaultcomplete0.4250.425unsat
41
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2ABC_glucosecomplete1.7911.79unsat
42
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2Boolectorcomplete0.4010.401unsat
43
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2Boolector prepropcomplete0.4040.404unsat
44
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2
CVC4-master-2016-05-27-cfef263-main
complete1.3080.68unsat
45
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2MapleSTPcomplete0.1440.144unsat
46
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2MapleSTP-mtcomplete0.3630.16unsat
47
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2
mathsat-5.3.11-linux-x86_64-Main
complete2.3922.393unsat
48
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2Minkeyrink 2016complete0.0210.022unsat
49
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2Q3Bcomplete76.7725.721sat
50
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2stp-cms-exp-2016complete0.1570.157unsat
51
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2stp-cms-mt-2016complete0.3490.158unsat
52
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2stp-cms-st-2016complete0.1420.142unsat
53
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2stp-minisat-st-2016complete0.2280.228unsat
54
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2Yices-2.4.2complete0.0170.017unsat
55
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2z3-4.4.1complete0.0230.022unsat
56
57
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2ABC_defaultcomplete0.4240.424unsat
58
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2ABC_glucosecomplete1.7971.795unsat
59
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2Boolectorcomplete0.4020.402unsat
60
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2Boolector prepropcomplete0.40.4unsat
61
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2
CVC4-master-2016-05-27-cfef263-main
complete1.3080.68unsat
62
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2MapleSTPcomplete0.1440.144unsat
63
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2MapleSTP-mtcomplete0.3560.158unsat
64
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2
mathsat-5.3.11-linux-x86_64-Main
complete2.4082.404unsat
65
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2Minkeyrink 2016complete0.0210.021unsat
66
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2Q3Bcomplete102.67125.804sat
67
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2stp-cms-exp-2016complete0.1580.158unsat
68
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2stp-cms-mt-2016complete0.3470.155unsat
69
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2stp-cms-st-2016complete0.1420.142unsat
70
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2stp-minisat-st-2016complete0.2310.231unsat
71
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2Yices-2.4.2complete0.0160.016unsat
72
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2z3-4.4.1complete0.0220.021unsat
73
74
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2ABC_defaultcomplete1.1421.142unsat
75
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2ABC_glucosecomplete4.9134.91unsat
76
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2Boolectorcomplete1.9321.931unsat
77
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2Boolector prepropcomplete1.9391.938unsat
78
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2
CVC4-master-2016-05-27-cfef263-main
complete9.142.391unsat
79
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2MapleSTPcomplete0.4950.494unsat
80
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2MapleSTP-mtcomplete1.1420.623unsat
81
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2
mathsat-5.3.11-linux-x86_64-Main
complete4.3134.31unsat
82
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2Minkeyrink 2016complete0.0460.046unsat
83
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2Q3Bcomplete0.2170.318sat
84
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2stp-cms-exp-2016complete0.5750.575unsat
85
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2stp-cms-mt-2016complete1.3640.555unsat
86
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2stp-cms-st-2016complete0.4980.498unsat
87
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2stp-minisat-st-2016complete0.5110.51unsat
88
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2Yices-2.4.2complete0.0340.034unsat
89
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2z3-4.4.1complete0.0920.09unsat
90
91
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2ABC_defaultcomplete1.1851.184unsat
92
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2ABC_glucosecomplete5.0925.089unsat
93
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2Boolectorcomplete1.9421.941unsat
94
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2Boolector prepropcomplete1.9451.944unsat
95
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2
CVC4-master-2016-05-27-cfef263-main
complete4.6542.394unsat
96
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2MapleSTPcomplete0.4870.487unsat
97
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2MapleSTP-mtcomplete1.3250.543unsat
98
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2
mathsat-5.3.11-linux-x86_64-Main
complete4.3064.302unsat
99
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2Minkeyrink 2016complete0.0440.044unsat
100
Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2Q3Bcomplete0.2190.318sat