QBF Solver Evaluation Portal
qbflib.orgInstances of family chess_composing solved by Quabs_2018
Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| chess_composing_6_template_04 | FAIL | 900 | |
| chess_composing_6_template_06 | FAIL | 900 | |
| chess_composing_8_template_02 | FAIL | 900 | |
| chess_composing_8_template_13 | FAIL | 900 | |
| chess_composing_8_template_38 | FAIL | 900 | |
| chess_composing_8_template_42 | FAIL | 900 | |
| chess_composing_8_template_43 | FAIL | 900 | |
| chess_composing_6_template_01 | FAIL | 900 |