Instance | Result | Time | |
---|---|---|---|
AR-fixpoint-9 | FAIL | 3600 | |
AR-fixpoint-5 | FAIL | 3600 | |
small-equiv-fixpoint-6 | FAIL | 3600 | |
small-equiv-fixpoint-7 | FAIL | 3600 | |
small-pipeline-fixpoint-6 | FAIL | 3600 | |
AR-fixpoint-7 | FAIL | 3600 | |
small-pipeline-fixpoint-4 | FAIL | 3600 | |
small-pipeline-fixpoint-9 | FAIL | 3600 | |
AR-fixpoint-3 | FAIL | 3600 | |
small-equiv-fixpoint-10 | FAIL | 3600 | |
small-equiv-fixpoint-9 | FAIL | 3600 | |
small-pipeline-fixpoint-7 | FAIL | 3600 | |
small-pipeline-fixpoint-10 | FAIL | 3600 | |
small-pipeline-fixpoint-8 | FAIL | 3600 | |
small-pipeline-fixpoint-5 | FAIL | 3600 |