QBF Solver Evaluation Portal
qbflib.orgInstances of family jmc_quant_squaring solved by struqs-10
QBFEVAL'10 - Small Hard Track.
| Instance | Result | Time | |
|---|---|---|---|
| test3_quant_squaring4 | FAIL | 3296.6 | |
| test1_quant_squaring2 | FAIL | 4481.59 | |
| test1_quant_squaring3 | FAIL | 5917.68 | |
| test4_quant_squaring4 | FAIL | 9359.21 | |
| test4_quant_squaring2 | FAIL | 9580.42 |