QBF Solver Evaluation Portal
qbflib.orgInstances of family chess_composing solved by PortfolioGhostQQfunQuAbSQute___pfs
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| chess_composing_6_template_04 | FAIL | 5.87 | |
| chess_composing_6_template_06 | FAIL | 5.87 | |
| chess_composing_6_template_01 | FAIL | 5.96 | |
| chess_composing_8_template_38 | FAIL | 900.01 | |
| chess_composing_8_template_02 | FAIL | 900.02 | |
| chess_composing_8_template_13 | FAIL | 900.05 | |
| chess_composing_8_template_43 | FAIL | 900.06 | |
| chess_composing_8_template_42 | FAIL | 900.09 |