QBF Solver Evaluation Portal
qbflib.orgInstances of family chess_composing solved by GhostQ_PG___plain_qcir_2018
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| chess_composing_6_template_04 | FAIL | 900 | |
| chess_composing_6_template_06 | FAIL | 900.01 | |
| chess_composing_6_template_01 | FAIL | 900.03 | |
| chess_composing_8_template_02 | FAIL | 900.05 | |
| chess_composing_8_template_43 | FAIL | 900.06 | |
| chess_composing_8_template_13 | FAIL | 900.07 | |
| chess_composing_8_template_42 | FAIL | 900.07 | |
| chess_composing_8_template_38 | FAIL | 900.08 |