QBF Solver Evaluation Portal
qbflib.orgInstances of family Strategic_Companies solved by qbfrelay
QBFEVAL'17 - Random QBFs Track
| Instance | Result | Time | |
|---|---|---|---|
| x165.13 | FAIL | 318.96 | |
| x165.8 | FAIL | 347.44 | |
| x165.10 | FAIL | 350.14 | |
| x165.17 | FAIL | 353.84 | |
| x165.11 | FAIL | 431.15 | |
| x165.19 | FAIL | 457.44 | |
| x165.9 | FAIL | 470.75 | |
| x165.0 | FAIL | 481.51 | |
| x165.6 | FAIL | 496.22 | |
| x165.3 | FAIL | 586.17 | |
| x220.12 | FAIL | 614.69 | |
| x220.9 | FAIL | 711.45 | |
| x210.16 | FAIL | 712.97 | |
| x210.11 | FAIL | 727.87 | |
| x210.17 | FAIL | 739.13 | |
| x210.1 | FAIL | 755.16 | |
| x210.6 | FAIL | 768.28 | |
| x220.2 | FAIL | 771.63 | |
| x220.10 | FAIL | 794.97 | |
| x210.15 | FAIL | 853.07 | |
| x220.6 | FAIL | 859.85 | |
| x210.9 | FAIL | 861.07 | |
| x210.12 | FAIL | 869.62 | |
| x300.15 | FAIL | 880.82 | |
| x220.8 | FAIL | 881.35 | |
| x300.6 | FAIL | 881.82 | |
| x210.3 | FAIL | 885.1 | |
| x300.4 | FAIL | 886.12 | |
| x300.12 | FAIL | 887.6 | |
| x220.0 | FAIL | 887.62 | |
| x220.13 | FAIL | 889.05 | |
| x220.16 | FAIL | 889.47 | |
| x300.5 | FAIL | 890.18 | |
| x300.19 | FAIL | 890.47 | |
| x300.1 | FAIL | 891.31 | |
| x300.3 | FAIL | 891.52 | |
| x300.16 | FAIL | 892.26 | |
| x210.7 | FAIL | 894.1 | |
| x300.8 | FAIL | 894.75 | |
| x220.19 | FAIL | 894.94 |