B | D | H | I | J | L | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | Benchmark | Solver | Status | CUP Time | Wall Clock | Result | |||||||||||||
2 | |||||||||||||||||||
3 | Evaluation Non-Incremental Unknown/NIA/psyco/059.smt2 | vampire_smt_4.1_parallel | complete | 1618.59 | 436.375 | unsat | |||||||||||||
4 | Evaluation Non-Incremental Unknown/NIA/psyco/059.smt2 | z3-4.4.1 | complete | 0.04 | 0.039 | sat | |||||||||||||
5 | |||||||||||||||||||
6 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | ABC_default | complete | 0.161 | 0.162 | unsat | |||||||||||||
7 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | ABC_glucose | complete | 0.543 | 0.543 | unsat | |||||||||||||
8 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | Boolector | complete | 0.104 | 0.104 | unsat | |||||||||||||
9 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | Boolector preprop | complete | 0.105 | 0.105 | unsat | |||||||||||||
10 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | CVC4-master-2016-05-27-cfef263-main | complete | 0.248 | 0.136 | unsat | |||||||||||||
11 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | MapleSTP | complete | 0.056 | 0.056 | unsat | |||||||||||||
12 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | MapleSTP-mt | complete | 0.131 | 0.083 | unsat | |||||||||||||
13 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | mathsat-5.3.11-linux-x86_64-Main | complete | 0.569 | 0.568 | unsat | |||||||||||||
14 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | Minkeyrink 2016 | complete | 0.013 | 0.013 | unsat | |||||||||||||
15 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | Q3B | complete | 0.076 | 0.076 | sat | |||||||||||||
16 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | stp-cms-exp-2016 | complete | 0.06 | 0.06 | unsat | |||||||||||||
17 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | stp-cms-mt-2016 | complete | 0.129 | 0.087 | unsat | |||||||||||||
18 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | stp-cms-st-2016 | complete | 0.057 | 0.056 | unsat | |||||||||||||
19 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | stp-minisat-st-2016 | complete | 0.082 | 0.082 | unsat | |||||||||||||
20 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | Yices-2.4.2 | complete | 0.009 | 0.013 | unsat | |||||||||||||
21 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_11985.smt2 | z3-4.4.1 | complete | 0.038 | 0.036 | unsat | |||||||||||||
22 | |||||||||||||||||||
23 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | ABC_default | complete | 0.159 | 0.158 | unsat | |||||||||||||
24 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | ABC_glucose | complete | 0.822 | 0.822 | unsat | |||||||||||||
25 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | Boolector | complete | 0.105 | 0.104 | unsat | |||||||||||||
26 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | Boolector preprop | complete | 0.105 | 0.104 | unsat | |||||||||||||
27 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | CVC4-master-2016-05-27-cfef263-main | complete | 0.245 | 0.134 | unsat | |||||||||||||
28 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | MapleSTP | complete | 0.056 | 0.056 | unsat | |||||||||||||
29 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | MapleSTP-mt | complete | 0.129 | 0.062 | unsat | |||||||||||||
30 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | mathsat-5.3.11-linux-x86_64-Main | complete | 0.57 | 0.568 | unsat | |||||||||||||
31 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | Minkeyrink 2016 | complete | 0.011 | 0.012 | unsat | |||||||||||||
32 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | Q3B | complete | 0.071 | 0.071 | sat | |||||||||||||
33 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | stp-cms-exp-2016 | complete | 0.06 | 0.06 | unsat | |||||||||||||
34 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | stp-cms-mt-2016 | complete | 0.137 | 0.064 | unsat | |||||||||||||
35 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | stp-cms-st-2016 | complete | 0.06 | 0.059 | unsat | |||||||||||||
36 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | stp-minisat-st-2016 | complete | 0.083 | 0.084 | unsat | |||||||||||||
37 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | Yices-2.4.2 | complete | 0.008 | 0.012 | unsat | |||||||||||||
38 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12124.smt2 | z3-4.4.1 | complete | 0.036 | 0.035 | unsat | |||||||||||||
39 | |||||||||||||||||||
40 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | ABC_default | complete | 0.425 | 0.425 | unsat | |||||||||||||
41 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | ABC_glucose | complete | 1.791 | 1.79 | unsat | |||||||||||||
42 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | Boolector | complete | 0.401 | 0.401 | unsat | |||||||||||||
43 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | Boolector preprop | complete | 0.404 | 0.404 | unsat | |||||||||||||
44 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | CVC4-master-2016-05-27-cfef263-main | complete | 1.308 | 0.68 | unsat | |||||||||||||
45 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | MapleSTP | complete | 0.144 | 0.144 | unsat | |||||||||||||
46 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | MapleSTP-mt | complete | 0.363 | 0.16 | unsat | |||||||||||||
47 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | mathsat-5.3.11-linux-x86_64-Main | complete | 2.392 | 2.393 | unsat | |||||||||||||
48 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | Minkeyrink 2016 | complete | 0.021 | 0.022 | unsat | |||||||||||||
49 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | Q3B | complete | 76.77 | 25.721 | sat | |||||||||||||
50 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | stp-cms-exp-2016 | complete | 0.157 | 0.157 | unsat | |||||||||||||
51 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | stp-cms-mt-2016 | complete | 0.349 | 0.158 | unsat | |||||||||||||
52 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | stp-cms-st-2016 | complete | 0.142 | 0.142 | unsat | |||||||||||||
53 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | stp-minisat-st-2016 | complete | 0.228 | 0.228 | unsat | |||||||||||||
54 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | Yices-2.4.2 | complete | 0.017 | 0.017 | unsat | |||||||||||||
55 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12711.smt2 | z3-4.4.1 | complete | 0.023 | 0.022 | unsat | |||||||||||||
56 | |||||||||||||||||||
57 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | ABC_default | complete | 0.424 | 0.424 | unsat | |||||||||||||
58 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | ABC_glucose | complete | 1.797 | 1.795 | unsat | |||||||||||||
59 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | Boolector | complete | 0.402 | 0.402 | unsat | |||||||||||||
60 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | Boolector preprop | complete | 0.4 | 0.4 | unsat | |||||||||||||
61 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | CVC4-master-2016-05-27-cfef263-main | complete | 1.308 | 0.68 | unsat | |||||||||||||
62 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | MapleSTP | complete | 0.144 | 0.144 | unsat | |||||||||||||
63 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | MapleSTP-mt | complete | 0.356 | 0.158 | unsat | |||||||||||||
64 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | mathsat-5.3.11-linux-x86_64-Main | complete | 2.408 | 2.404 | unsat | |||||||||||||
65 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | Minkeyrink 2016 | complete | 0.021 | 0.021 | unsat | |||||||||||||
66 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | Q3B | complete | 102.671 | 25.804 | sat | |||||||||||||
67 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | stp-cms-exp-2016 | complete | 0.158 | 0.158 | unsat | |||||||||||||
68 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | stp-cms-mt-2016 | complete | 0.347 | 0.155 | unsat | |||||||||||||
69 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | stp-cms-st-2016 | complete | 0.142 | 0.142 | unsat | |||||||||||||
70 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | stp-minisat-st-2016 | complete | 0.231 | 0.231 | unsat | |||||||||||||
71 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | Yices-2.4.2 | complete | 0.016 | 0.016 | unsat | |||||||||||||
72 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12712.smt2 | z3-4.4.1 | complete | 0.022 | 0.021 | unsat | |||||||||||||
73 | |||||||||||||||||||
74 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | ABC_default | complete | 1.142 | 1.142 | unsat | |||||||||||||
75 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | ABC_glucose | complete | 4.913 | 4.91 | unsat | |||||||||||||
76 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | Boolector | complete | 1.932 | 1.931 | unsat | |||||||||||||
77 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | Boolector preprop | complete | 1.939 | 1.938 | unsat | |||||||||||||
78 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | CVC4-master-2016-05-27-cfef263-main | complete | 9.14 | 2.391 | unsat | |||||||||||||
79 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | MapleSTP | complete | 0.495 | 0.494 | unsat | |||||||||||||
80 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | MapleSTP-mt | complete | 1.142 | 0.623 | unsat | |||||||||||||
81 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | mathsat-5.3.11-linux-x86_64-Main | complete | 4.313 | 4.31 | unsat | |||||||||||||
82 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | Minkeyrink 2016 | complete | 0.046 | 0.046 | unsat | |||||||||||||
83 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | Q3B | complete | 0.217 | 0.318 | sat | |||||||||||||
84 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | stp-cms-exp-2016 | complete | 0.575 | 0.575 | unsat | |||||||||||||
85 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | stp-cms-mt-2016 | complete | 1.364 | 0.555 | unsat | |||||||||||||
86 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | stp-cms-st-2016 | complete | 0.498 | 0.498 | unsat | |||||||||||||
87 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | stp-minisat-st-2016 | complete | 0.511 | 0.51 | unsat | |||||||||||||
88 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | Yices-2.4.2 | complete | 0.034 | 0.034 | unsat | |||||||||||||
89 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12857.smt2 | z3-4.4.1 | complete | 0.092 | 0.09 | unsat | |||||||||||||
90 | |||||||||||||||||||
91 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2 | ABC_default | complete | 1.185 | 1.184 | unsat | |||||||||||||
92 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2 | ABC_glucose | complete | 5.092 | 5.089 | unsat | |||||||||||||
93 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2 | Boolector | complete | 1.942 | 1.941 | unsat | |||||||||||||
94 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2 | Boolector preprop | complete | 1.945 | 1.944 | unsat | |||||||||||||
95 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2 | CVC4-master-2016-05-27-cfef263-main | complete | 4.654 | 2.394 | unsat | |||||||||||||
96 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2 | MapleSTP | complete | 0.487 | 0.487 | unsat | |||||||||||||
97 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2 | MapleSTP-mt | complete | 1.325 | 0.543 | unsat | |||||||||||||
98 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2 | mathsat-5.3.11-linux-x86_64-Main | complete | 4.306 | 4.302 | unsat | |||||||||||||
99 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2 | Minkeyrink 2016 | complete | 0.044 | 0.044 | unsat | |||||||||||||
100 | Evaluation Non-Incremental Unknown/QF_BV/Sage2/bench_12905.smt2 | Q3B | complete | 0.219 | 0.318 | sat |