| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_IDL/RTCL/b01_tf_15/ckt_PROP0_tf_15.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/RTCL/b01_tf_20/ckt_PROP0_tf_20.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/RTCL/b02_tf_15/ckt_PROP0_tf_15.smt | unsat | 0 | industrial | unsat | 8844 | Yes |
| QF_IDL/RTCL/b02_tf_20/ckt_PROP0_tf_20.smt | unsat | 0 | industrial | unsat | 51096 | Yes |
| QF_IDL/RTCL/b13_tf_10/ckt_PROP1_tf_10.smt | unsat | 0 | industrial | unsat | 4373 | Yes |
| QF_IDL/RTCL/b13_tf_10/ckt_PROP2_tf_10.smt | unsat | 0 | industrial | unsat | 5748 | Yes |
| QF_IDL/RTCL/b13_tf_10/ckt_PROP3_tf_10.smt | unsat | 0 | industrial | unsat | 4089 | Yes |
| QF_IDL/RTCL/b13_tf_10/ckt_PROP5_tf_10.smt | unsat | 0 | industrial | unsat | 6053 | Yes |
| QF_IDL/RTCL/b13_tf_10/ckt_PROP8_tf_10.smt | unsat | 0 | industrial | unsat | 4419 | Yes |
| QF_IDL/RTCL/b13_tf_12_PROP4/ckt_PROP4_tf_12.smt | sat | 0 | industrial | sat | 5004 | Yes |
| QF_IDL/RTCL/b13_tf_13_PROP40/ckt_PROP40_tf_13.smt | sat | 0 | industrial | sat | 5051 | Yes |
| QF_IDL/RTCL/b13_tf_15/ckt_PROP1_tf_15.smt | unsat | 0 | industrial | unsat | 6353 | Yes |
| QF_IDL/RTCL/b13_tf_15/ckt_PROP2_tf_15.smt | unsat | 0 | industrial | unsat | 7265 | Yes |
| QF_IDL/RTCL/b13_tf_15/ckt_PROP3_tf_15.smt | unsat | 0 | industrial | unsat | 6033 | Yes |
| QF_IDL/RTCL/b13_tf_15/ckt_PROP5_tf_15.smt | unsat | 0 | industrial | unsat | 14157 | Yes |
| QF_IDL/RTCL/b13_tf_15/ckt_PROP8_tf_15.smt | unsat | 0 | industrial | unsat | 5998 | Yes |
| QF_IDL/RTCL/b13_tf_20/ckt_PROP1_tf_20.smt | unsat | 0 | industrial | unsat | 10202 | Yes |
| QF_IDL/RTCL/b13_tf_20/ckt_PROP2_tf_20.smt | unsat | 0 | industrial | unsat | 9229 | Yes |
| QF_IDL/RTCL/b13_tf_20/ckt_PROP3_tf_20.smt | unsat | 0 | industrial | unsat | 10998 | Yes |
| QF_IDL/RTCL/b13_tf_20/ckt_PROP5_tf_20.smt | unsat | 0 | industrial | unsat | 51761 | Yes |
| QF_IDL/RTCL/b13_tf_20/ckt_PROP8_tf_20.smt | unsat | 0 | industrial | unsat | 7688 | Yes |
| QF_IDL/RTCL/b13_tf_25/ckt_PROP1_tf_25.smt | unsat | 0 | industrial | unsat | 21020 | Yes |
| QF_IDL/RTCL/b13_tf_25/ckt_PROP2_tf_25.smt | unsat | 0 | industrial | unsat | 11032 | Yes |
| QF_IDL/RTCL/b13_tf_25/ckt_PROP3_tf_25.smt | unsat | 0 | industrial | unsat | 86970 | Yes |
| QF_IDL/RTCL/b13_tf_25/ckt_PROP5_tf_25.smt | unsat | 0 | industrial | unsat | 247757 | Yes |
| QF_IDL/RTCL/b13_tf_25/ckt_PROP8_tf_25.smt | unsat | 0 | industrial | unsat | 9673 | Yes |
| QF_IDL/RTCL/b13_tf_30/ckt_PROP1_tf_30.smt | unsat | 0 | industrial | unsat | 53403 | Yes |
| QF_IDL/RTCL/b13_tf_30/ckt_PROP2_tf_30.smt | unsat | 0 | industrial | unsat | 13400 | Yes |
| QF_IDL/RTCL/b13_tf_30/ckt_PROP3_tf_30.smt | unsat | 0 | industrial | unsat | 655846 | Yes |
| QF_IDL/RTCL/b13_tf_30/ckt_PROP5_tf_30.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/RTCL/b13_tf_30/ckt_PROP8_tf_30.smt | unsat | 0 | industrial | unsat | 12167 | Yes |
| QF_IDL/RTCL/b13_tf_9_PROP14/ckt_PROP14_tf_9.smt | sat | 0 | industrial | sat | 3889 | Yes |
| QF_IDL/RTCL/b13_tf_9_PROP7/ckt_PROP7_tf_9.smt | sat | 0 | industrial | sat | 3912 | Yes |
| Total: | 33 | |||||
| Correct: | 30 | |||||
| Incorrect: | 0 |