| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_LIA/nec-smt/small/int_from_list/prp-4-19.smt | unsat | 0 | industrial | unsat | 6540 | Yes |
| QF_LIA/nec-smt/small/int_from_list/prp-6-23.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/int_from_list/prp-5-23.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/int_from_list/prp-4-21.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/int_from_list/prp-3-18.smt | unsat | 0 | industrial | unsat | 6033 | Yes |
| QF_LIA/nec-smt/small/int_from_list/prp-6-22.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/int_from_list/prp-5-22.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/int_from_list/prp-16-23.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/int_from_list/prp-2-17.smt | unsat | 0 | industrial | unsat | 4315 | Yes |
| QF_LIA/nec-smt/small/int_from_list/prp-5-21.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/int_from_list/prp-2-19.smt | unsat | 0 | industrial | unsat | 8933 | Yes |
| QF_LIA/nec-smt/small/int_from_list/prp-3-20.smt | unsat | 0 | industrial | unsat | 32788 | Yes |
| QF_LIA/nec-smt/small/int_from_list/prp-5-20.smt | unsat | 0 | industrial | unsat | 23261 | Yes |
| QF_LIA/nec-smt/small/int_from_list/prp-3-21.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/int_from_list/prp-3-19.smt | unsat | 0 | industrial | unsat | 6688 | Yes |
| QF_LIA/nec-smt/small/checkpass_pwd/prp-3-17.smt | sat | 0 | industrial | sat | 613553 | Yes |
| QF_LIA/nec-smt/small/checkpass_pwd/prp-0-14.smt | sat | 0 | industrial | sat | 10456 | Yes |
| QF_LIA/nec-smt/small/checkpass_pwd/prp-1-16.smt | sat | 0 | industrial | sat | 20949 | Yes |
| QF_LIA/nec-smt/small/checkpass_pwd/prp-4-17.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/checkpass_pwd/prp-6-18.smt | sat | 0 | industrial | sat | 37401 | Yes |
| QF_LIA/nec-smt/small/checkpass_pwd/prp-0-15.smt | sat | 0 | industrial | sat | 22054 | Yes |
| QF_LIA/nec-smt/small/checkpass_pwd/prp-0-17.smt | sat | 0 | industrial | sat | 444363 | Yes |
| QF_LIA/nec-smt/small/checkpass_pwd/prp-8-18.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/checkpass_pwd/prp-2-18.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/checkpass_pwd/prp-7-18.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/checkpass_pwd/prp-2-16.smt | sat | 0 | industrial | sat | 26250 | Yes |
| QF_LIA/nec-smt/small/checkpass_pwd/prp-5-17.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/checkpass_pwd/prp-1-14.smt | sat | 0 | industrial | sat | 10635 | Yes |
| QF_LIA/nec-smt/small/checkpass_pwd/prp-0-12.smt | sat | 0 | industrial | sat | 5209 | Yes |
| QF_LIA/nec-smt/small/config_read_line/prp-1-31.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/config_read_line/prp-1-22.smt | sat | 0 | industrial | sat | 114964 | Yes |
| QF_LIA/nec-smt/small/print_file/prp-0-47.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/print_file/prp-1-46.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/print_file/prp-1-47.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/nec-smt/small/print_file/prp-0-46.smt | sat | 0 | industrial | timeout | infty | Unknown |
| Total: | 35 | |||||
| Correct: | 17 | |||||
| Incorrect: | 0 |