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