| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_LIA/CIRC/multiplier/MULTIPLIER_11.msat.smt | unsat | 5 | industrial | error | 0 | Unknown |
| QF_LIA/CIRC/multiplier/MULTIPLIER_15.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/multiplier/MULTIPLIER_8.msat.smt | unsat | 1 | industrial | unsat | 162297 | Yes |
| QF_LIA/CIRC/multiplier/MULTIPLIER_7.msat.smt | unsat | 1 | industrial | unsat | 44460 | Yes |
| QF_LIA/CIRC/multiplier/MULTIPLIER_12.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/multiplier/MULTIPLIER_6.msat.smt | unsat | 1 | industrial | unsat | 16168 | Yes |
| QF_LIA/CIRC/multiplier/MULTIPLIER_32.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/multiplier/MULTIPLIER_2.msat.smt | unsat | 0 | industrial | unsat | 1277 | Yes |
| QF_LIA/CIRC/multiplier/MULTIPLIER_10.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/multiplier/MULTIPLIER_64.msat.smt | sat | 1 | industrial | sat | 5219 | Yes |
| QF_LIA/CIRC/multiplier/MULTIPLIER_9.msat.smt | unsat | 3 | industrial | unsat | 639009 | Yes |
| QF_LIA/CIRC/multiplier/MULTIPLIER_14.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/multiplier/MULTIPLIER_3.msat.smt | unsat | 0 | industrial | unsat | 2364 | Yes |
| QF_LIA/CIRC/multiplier/MULTIPLIER_16.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/multiplier/MULTIPLIER_4.msat.smt | unsat | 0 | industrial | unsat | 4376 | Yes |
| QF_LIA/CIRC/multiplier/MULTIPLIER_13.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/multiplier/MULTIPLIER_5.msat.smt | unsat | 1 | industrial | unsat | 7892 | Yes |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_64.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_5.msat.smt | unsat | 0 | industrial | unsat | 13295 | Yes |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_6.msat.smt | unsat | 0 | industrial | unsat | 39692 | Yes |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_9.msat.smt | unsat | 2 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_7.msat.smt | unsat | 0 | industrial | unsat | 143719 | Yes |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_14.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_16.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_4.msat.smt | unsat | 0 | industrial | unsat | 6424 | Yes |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_32.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_3.msat.smt | unsat | 0 | industrial | unsat | 3493 | Yes |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_10.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_2.msat.smt | unsat | 0 | industrial | unsat | 1853 | Yes |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_13.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_8.msat.smt | unsat | 1 | industrial | unsat | 603277 | Yes |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_12.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_11.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/simplebitadder/SIMPLEBITADDER_COMPOSE_15.msat.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_11.msat.smt | sat | 1 | industrial | sat | 1821 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_14.msat.smt | sat | 1 | industrial | sat | 2181 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_8.msat.smt | sat | 1 | industrial | sat | 1409 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_32.msat.smt | sat | 2 | industrial | sat | 3221 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_3.msat.smt | sat | 0 | industrial | sat | 780 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_5.msat.smt | sat | 0 | industrial | sat | 922 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_2.msat.smt | sat | 0 | industrial | sat | 717 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_9.msat.smt | sat | 1 | industrial | sat | 1540 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_12.msat.smt | sat | 1 | industrial | sat | 1952 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_64.msat.smt | sat | 1 | industrial | sat | 5120 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_13.msat.smt | sat | 0 | industrial | sat | 1480 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_4.msat.smt | sat | 0 | industrial | sat | 949 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_16.msat.smt | sat | 1 | industrial | sat | 2659 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_7.msat.smt | sat | 0 | industrial | sat | 1063 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_15.msat.smt | sat | 1 | industrial | sat | 2589 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_10.msat.smt | sat | 1 | industrial | sat | 1661 | Yes |
| QF_LIA/CIRC/multiplier_prime/MULTIPLIER_PRIME_6.msat.smt | sat | 1 | industrial | sat | 1187 | Yes |
| Total: | 51 | |||||
| Correct: | 33 | |||||
| Incorrect: | 0 |