Instance | Result | Time | |
---|---|---|---|
query71_query34_1344n | SAT | 2411.5 | |
query71_query42_1344n | FAIL | 3600 | |
query60_query42_1344n | FAIL | 3600 | |
query57_query42_1344n | FAIL | 3600 | |
query49_query42_1344n | FAIL | 3600 | |
nreachq_query42_1344n | FAIL | 3600 | |
query44_query42_1344n | FAIL | 3600 | |
query10_query06_1344n | FAIL | 3600 | |
query10_query34_1344n | FAIL | 3600 | |
query42_query60_1344n | FAIL | 3600 | |
query60_query10_1344n | FAIL | 3600 | |
query60_query33_1344n | FAIL | 3600 |