| Benchmark | Answer | Time | Correct? |
|---|
| CIRC/MULTIPLIER_10.msat.smt | unknown |
- | - |
| CIRC/MULTIPLIER_14.msat.smt | unknown |
- | - |
| CIRC/MULTIPLIER_16.msat.smt | unknown |
- | - |
| CIRC/MULTIPLIER_5.msat.smt | unsat |
0.4 |
yes |
| CIRC/MULTIPLIER_8.msat.smt | unsat |
256.6 |
yes |
| CIRC/MULTIPLIER_PRIME_10.msat.smt | sat |
0.0 |
yes |
| CIRC/MULTIPLIER_PRIME_15.msat.smt | sat |
0.0 |
yes |
| CIRC/MULTIPLIER_PRIME_3.msat.smt | sat |
0.0 |
yes |
| CIRC/MULTIPLIER_PRIME_5.msat.smt | sat |
0.0 |
yes |
| CIRC/MULTIPLIER_PRIME_8.msat.smt | sat |
0.0 |
yes |
| CIRC/SIMPLEBITADDER_COMPOSE_10.msat.smt | unknown |
- | - |
| CIRC/SIMPLEBITADDER_COMPOSE_15.msat.smt | unknown |
- | - |
| CIRC/SIMPLEBITADDER_COMPOSE_3.msat.smt | unsat |
0.0 |
yes |
| CIRC/SIMPLEBITADDER_COMPOSE_32.msat.smt | unknown |
- | - |
| CIRC/SIMPLEBITADDER_COMPOSE_5.msat.smt | unsat |
0.5 |
yes |
| CIRC/SIMPLEBITADDER_COMPOSE_8.msat.smt | unsat |
353.4 |
yes |
| RTCL/b04_tf_15/ckt_PROP0_tf_15.smt | sat |
1.2 |
yes |
| RTCL/b04_tf_20/ckt_PROP0_tf_20.smt | sat |
5.7 |
yes |
| RTCL/b13_tf_100/b13_tf_100.smt | unsat |
0.2 |
yes |
| check/int_incompleteness2.smt | unsat |
0.0 |
yes |
| check/int_incompleteness3.smt | unsat |
0.0 |
yes |
| mathsat/FISCHER10-10-fair.smt | unsat |
16.4 |
yes |
| mathsat/FISCHER10-12-fair.smt | unsat |
233.5 |
yes |
| mathsat/FISCHER10-15-fair.smt | unknown |
- | - |
| mathsat/FISCHER10-4-fair.smt | unsat |
0.3 |
yes |
| mathsat/FISCHER10-5-fair.smt | unsat |
0.5 |
yes |
| mathsat/FISCHER10-8-fair.smt | unsat |
4.1 |
yes |
| mathsat/FISCHER10-9-fair.smt | unsat |
6.5 |
yes |
| mathsat/FISCHER11-10-fair.smt | unsat |
25.3 |
yes |
| mathsat/FISCHER11-12-fair.smt | unsat |
228.7 |
yes |
| mathsat/FISCHER11-13-fair.smt | unknown |
- | - |
| mathsat/FISCHER11-14-fair.smt | unknown |
- | - |
| mathsat/FISCHER11-15-fair.smt | unknown |
- | - |
| mathsat/FISCHER11-16-fair.smt | unknown |
- | - |
| mathsat/FISCHER11-5-fair.smt | unsat |
0.7 |
yes |
| mathsat/FISCHER2-2-fair.smt | unsat |
0.0 |
yes |
| mathsat/FISCHER2-5-fair.smt | unsat |
0.0 |
yes |
| mathsat/FISCHER6-10-fair.smt | unsat |
9.9 |
yes |
| mathsat/FISCHER6-11-fair.smt | sat |
21.5 |
yes |
| mathsat/FISCHER6-5-fair.smt | unsat |
0.2 |
yes |
| mathsat/FISCHER7-10-fair.smt | unsat |
11.5 |
yes |
| mathsat/FISCHER7-12-fair.smt | sat |
76.9 |
yes |
| mathsat/FISCHER7-5-fair.smt | unsat |
0.3 |
yes |
| mathsat/FISCHER8-10-fair.smt | unsat |
13.8 |
yes |
| mathsat/FISCHER8-13-fair.smt | sat |
440.8 |
yes |
| mathsat/FISCHER8-5-fair.smt | unsat |
0.3 |
yes |
| mathsat/FISCHER9-10-fair.smt | unsat |
22.4 |
yes |
| mathsat/FISCHER9-14-fair.smt | unknown |
- | - |
| mathsat/FISCHER9-5-fair.smt | unsat |
0.4 |
yes |
| wisa/wisa1.smt | sat |
2.3 |
yes |
| wisa/wisa2.smt | unsat |
7.8 |
yes |
| wisa/wisa3.smt | sat |
4.0 |
yes |
| wisa/wisa4.smt | sat |
126.9 |
yes |
| wisa/wisa5.smt | unknown |
- | - |