| Benchmark | Answer | Time | Correct? |
|---|
| Averest/parallel_prefix_sum/ParallelPrefixSum_live_bgmc000.smt |
sat |
0.3 |
yes |
| Averest/parallel_prefix_sum/ParallelPrefixSum_live_bgmc002.smt |
sat |
0.7 |
yes |
| Averest/parallel_prefix_sum/ParallelPrefixSum_live_blmc000.smt |
sat |
1.5 |
yes |
| Averest/parallel_prefix_sum/ParallelPrefixSum_live_blmc002.smt |
unsat |
0.8 |
yes |
| Averest/parallel_prefix_sum/ParallelPrefixSum_safe_bgmc003.smt |
unsat |
0.3 |
yes |
| Averest/parallel_prefix_sum/ParallelPrefixSum_safe_bgmc004.smt |
unsat |
0.4 |
yes |
| Averest/parallel_prefix_sum/ParallelPrefixSum_safe_bgmc005.smt |
unsat |
0.6 |
yes |
| Averest/parallel_prefix_sum/ParallelPrefixSum_safe_bgmc006.smt |
sat |
2.2 |
yes |
| Averest/parallel_prefix_sum/ParallelPrefixSum_safe_blmc001.smt |
sat |
4.5 |
yes |
| Averest/parallel_prefix_sum/ParallelPrefixSum_safe_blmc003.smt |
sat |
20.2 |
yes |
| Averest/parallel_prefix_sum/ParallelPrefixSum_safe_blmc005.smt |
sat |
21.1 |
yes |
| Averest/parallel_prefix_sum/ParallelPrefixSum_safe_blmc007.smt |
unknown |
1.6 |
yes |
| Averest/parallel_prefix_sum/ParallelPrefixSum_safe_blmc008.smt |
unknown |
1.3 |
yes |
| CIRC/multiplier/MULTIPLIER_11.msat.smt |
timeout |
1208.0 |
yes |
| CIRC/multiplier/MULTIPLIER_12.msat.smt |
timeout |
1208.0 |
yes |
| CIRC/multiplier/MULTIPLIER_13.msat.smt |
timeout |
1208.2 |
yes |
| CIRC/multiplier/MULTIPLIER_15.msat.smt |
timeout |
1208.0 |
yes |
| CIRC/multiplier/MULTIPLIER_3.msat.smt |
unsat |
0.1 |
yes |
| CIRC/multiplier/MULTIPLIER_32.msat.smt |
unsat |
0.1 |
yes |
| CIRC/multiplier/MULTIPLIER_6.msat.smt |
unsat |
2.3 |
yes |
| CIRC/multiplier/MULTIPLIER_64.msat.smt |
unsat |
0.1 |
no (unsound)
|
| CIRC/multiplier/MULTIPLIER_8.msat.smt |
unsat |
208.5 |
yes |
| CIRC/multiplier_prime/MULTIPLIER_PRIME_10.msat.smt |
sat |
0.1 |
yes |
| CIRC/multiplier_prime/MULTIPLIER_PRIME_11.msat.smt |
sat |
0.1 |
yes |
| CIRC/multiplier_prime/MULTIPLIER_PRIME_12.msat.smt |
sat |
0.1 |
yes |
| CIRC/multiplier_prime/MULTIPLIER_PRIME_14.msat.smt |
sat |
0.1 |
yes |
| CIRC/multiplier_prime/MULTIPLIER_PRIME_15.msat.smt |
sat |
0.1 |
yes |
| CIRC/multiplier_prime/MULTIPLIER_PRIME_16.msat.smt |
sat |
0.1 |
yes |
| CIRC/multiplier_prime/MULTIPLIER_PRIME_2.msat.smt |
sat |
0.0 |
yes |
| CIRC/multiplier_prime/MULTIPLIER_PRIME_3.msat.smt |
sat |
0.0 |
yes |
| CIRC/multiplier_prime/MULTIPLIER_PRIME_32.msat.smt |
unsat |
0.1 |
no (unsound)
|
| CIRC/multiplier_prime/MULTIPLIER_PRIME_5.msat.smt |
sat |
0.0 |
yes |
| CIRC/multiplier_prime/MULTIPLIER_PRIME_64.msat.smt |
unsat |
0.1 |
no (unsound)
|
| CIRC/multiplier_prime/MULTIPLIER_PRIME_9.msat.smt |
sat |
0.1 |
yes |
| CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_11.msat.smt |
timeout |
1207.8 |
yes |
| CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_12.msat.smt |
timeout |
1208.1 |
yes |
| CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_13.msat.smt |
timeout |
1207.9 |
yes |
| CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_14.msat.smt |
timeout |
1208.0 |
yes |
| CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_15.msat.smt |
timeout |
1207.9 |
yes |
| CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_16.msat.smt |
timeout |
1208.1 |
yes |
| CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_3.msat.smt |
unsat |
0.1 |
yes |
| CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_32.msat.smt |
timeout |
1208.1 |
yes |
| CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_64.msat.smt |
unsat |
0.3 |
yes |
| RTCL/b04_tf_20/ckt_PROP0_tf_20.smt |
sat |
0.8 |
yes |
| RTCL/b13_tf_10/ckt_PROP3_tf_10.smt |
unsat |
0.1 |
yes |
| RTCL/b13_tf_10/ckt_PROP8_tf_10.smt |
unsat |
0.3 |
yes |
| RTCL/b13_tf_100/b13_tf_100.smt |
unsat |
0.4 |
yes |
| RTCL/b13_tf_12_PROP4/ckt_PROP4_tf_12.smt |
unknown |
0.6 |
yes |
| RTCL/b13_tf_15/ckt_PROP1_tf_15.smt |
unknown |
0.7 |
yes |
| RTCL/b13_tf_15/ckt_PROP5_tf_15.smt |
unsat |
0.0 |
yes |
| RTCL/b13_tf_15/ckt_PROP8_tf_15.smt |
unsat |
0.2 |
yes |
| RTCL/b13_tf_20/ckt_PROP2_tf_20.smt |
unknown |
4.5 |
yes |
| RTCL/b13_tf_20/ckt_PROP8_tf_20.smt |
unsat |
0.3 |
yes |
| RTCL/b13_tf_30/ckt_PROP5_tf_30.smt |
unsat |
0.1 |
yes |
| RTCL/b13_tf_9_PROP14/ckt_PROP14_tf_9.smt |
unknown |
0.1 |
yes |
| RTCL/b13_tf_9_PROP7/ckt_PROP7_tf_9.smt |
unknown |
0.1 |
yes |
| check/bignum_lia1.smt |
unsat |
0.0 |
yes |
| check/bignum_lia2.smt |
sat |
0.0 |
yes |
| check/int_incompleteness1.smt |
unsat |
0.0 |
yes |
| check/int_incompleteness2.smt |
unsat |
0.0 |
yes |
| check/int_incompleteness3.smt |
unsat |
0.0 |
yes |
| mathsat/FISCHER1-5-fair.smt |
unsat |
0.1 |
yes |
| mathsat/FISCHER10-1-fair.smt |
sat |
0.2 |
yes |
| mathsat/FISCHER10-10-fair.smt |
unsat |
51.9 |
yes |
| mathsat/FISCHER10-13-fair.smt |
timeout |
1208.2 |
yes |
| mathsat/FISCHER10-15-fair.smt |
timeout |
1207.5 |
yes |
| mathsat/FISCHER10-2-fair.smt |
unsat |
0.5 |
yes |
| mathsat/FISCHER10-9-fair.smt |
unsat |
23.7 |
yes |
| mathsat/FISCHER11-11-fair.smt |
unsat |
144.9 |
yes |
| mathsat/FISCHER11-12-fair.smt |
unsat |
522.6 |
yes |
| mathsat/FISCHER11-14-fair.smt |
timeout |
1207.8 |
yes |
| mathsat/FISCHER11-16-fair.smt |
timeout |
1207.6 |
yes |
| mathsat/FISCHER11-2-fair.smt |
unsat |
0.6 |
yes |
| mathsat/FISCHER11-3-fair.smt |
unsat |
1.4 |
yes |
| mathsat/FISCHER11-6-fair.smt |
unsat |
4.8 |
yes |
| mathsat/FISCHER11-9-fair.smt |
unsat |
34.9 |
yes |
| mathsat/FISCHER2-1-fair.smt |
sat |
0.1 |
yes |
| mathsat/FISCHER2-7-fair.smt |
sat |
0.2 |
yes |
| mathsat/FISCHER3-1-fair.smt |
sat |
0.1 |
yes |
| mathsat/FISCHER3-3-fair.smt |
unsat |
0.1 |
yes |
| mathsat/FISCHER3-6-fair.smt |
unsat |
0.4 |
yes |
| mathsat/FISCHER3-8-fair.smt |
sat |
1.0 |
yes |
| mathsat/FISCHER4-9-fair.smt |
sat |
3.3 |
yes |
| mathsat/FISCHER5-1-fair.smt |
sat |
0.1 |
yes |
| mathsat/FISCHER6-11-fair.smt |
sat |
38.9 |
yes |
| mathsat/FISCHER6-5-fair.smt |
unsat |
0.9 |
yes |
| mathsat/FISCHER7-1-fair.smt |
sat |
0.1 |
yes |
| mathsat/FISCHER7-11-fair.smt |
unsat |
67.8 |
yes |
| mathsat/FISCHER7-12-fair.smt |
sat |
140.6 |
yes |
| mathsat/FISCHER7-4-fair.smt |
unsat |
0.7 |
yes |
| mathsat/FISCHER7-6-fair.smt |
unsat |
1.9 |
yes |
| mathsat/FISCHER7-7-fair.smt |
unsat |
3.4 |
yes |
| mathsat/FISCHER8-1-fair.smt |
sat |
0.1 |
yes |
| mathsat/FISCHER8-12-fair.smt |
unsat |
254.2 |
yes |
| mathsat/FISCHER8-13-fair.smt |
sat |
1122.4 |
yes |
| mathsat/FISCHER8-6-fair.smt |
unsat |
2.6 |
yes |
| mathsat/FISCHER8-8-fair.smt |
unsat |
8.6 |
yes |
| mathsat/FISCHER9-1-fair.smt |
sat |
0.2 |
yes |
| mathsat/FISCHER9-10-fair.smt |
unsat |
42.2 |
yes |
| mathsat/FISCHER9-11-fair.smt |
unsat |
83.1 |
yes |
| mathsat/FISCHER9-12-fair.smt |
unsat |
388.4 |
yes |
| mathsat/FISCHER9-13-fair.smt |
timeout |
1208.0 |
yes |
| mathsat/FISCHER9-14-fair.smt |
timeout |
1207.9 |
yes |
| wisa/wisa3.smt |
sat |
6.3 |
yes |
| wisa/wisa5.smt |
timeout |
1208.1 |
yes |