QBF Solver Evaluation Portal
qbflib.orgInstances of family chess_composing solved by PortfolioGhostQQfunQuAbSQute___pf2
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| chess_composing_6_template_04 | FAIL | 6.99 | |
| chess_composing_6_template_06 | FAIL | 7.01 | |
| chess_composing_8_template_43 | FAIL | 7.04 | |
| chess_composing_6_template_01 | FAIL | 7.07 | |
| chess_composing_8_template_02 | FAIL | 7.07 | |
| chess_composing_8_template_42 | FAIL | 7.08 | |
| chess_composing_8_template_13 | FAIL | 7.08 | |
| chess_composing_8_template_38 | FAIL | 7.21 |