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