| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_live_bgmc000.smt | sat | 0 | industrial | sat | 19736 | Yes |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_live_bgmc002.smt | sat | 0 | industrial | sat | 46744 | Yes |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_live_bgmc003.smt | unsat | 0 | industrial | unsat | 57005 | Yes |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_live_blmc000.smt | sat | 0 | industrial | sat | 86073 | Yes |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_live_blmc002.smt | unsat | 0 | industrial | unsat | 194568 | Yes |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_bgmc002.smt | unsat | 0 | industrial | unsat | 15938 | Yes |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_bgmc003.smt | unsat | 0 | industrial | unsat | 40319 | Yes |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_bgmc004.smt | unsat | 0 | industrial | unsat | 77115 | Yes |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_bgmc005.smt | unsat | 0 | industrial | unsat | 138731 | Yes |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_bgmc006.smt | sat | 0 | industrial | sat | 283715 | Yes |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_blmc000.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_blmc001.smt | sat | 0 | industrial | error | 0 | Unknown |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_blmc002.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_blmc003.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_blmc004.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_blmc005.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_blmc006.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_blmc007.smt | sat | 1 | industrial | timeout | infty | Unknown |
| QF_LIA/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_blmc008.smt | sat | 2 | industrial | timeout | infty | Unknown |
| Total: | 19 | |||||
| Correct: | 10 | |||||
| Incorrect: | 0 |