QBF Solver Evaluation Portal
qbflib.orgInstances of family PositionalGames_hex solved by caqe_hit18
QBFEVAL'18 - Hard Instances Track
| Instance | Result | Time | |
|---|---|---|---|
| hex_rand_6x6-20m-0 | SAT | 901.44 | |
| hex_hein_5x5_08 | SAT | 1713.38 | |
| hex_hein_5x5_19 | SAT | 1806.76 | |
| hex_rand_6x6-20m-9 | SAT | 2686.04 | |
| hex_rand_6x6-12m-7 | FAIL | 3600 | |
| hex_rand_6x6-6m-2 | FAIL | 3600 | |
| hex_hein_5x5_02 | FAIL | 3600 | |
| hex_hein_5x5_16 | FAIL | 3600 | |
| hex_rand_6x6-12m-0 | FAIL | 3600 | |
| hex_rand_6x6-12m-8 | FAIL | 3600 | |
| hex_rand_6x6-6m-3 | FAIL | 3600 | |
| hex_hein_5x5_05 | FAIL | 3600 | |
| hex_rand_6x6-12m-1 | FAIL | 3600 | |
| hex_rand_6x6-12m-9 | FAIL | 3600 | |
| hex_rand_6x6-6m-4 | FAIL | 3600 | |
| hex_hein_6x6_03 | FAIL | 3600 | |
| hex_rand_6x6-12m-2 | FAIL | 3600 | |
| hex_rand_6x6-6m-5 | FAIL | 3600 | |
| hex_hein_5x5_10 | FAIL | 3600 | |
| hex_hein_6x6_17 | FAIL | 3600 | |
| hex_rand_6x6-12m-3 | FAIL | 3600 | |
| hex_rand_6x6-20m-2 | FAIL | 3600 | |
| hex_rand_6x6-6m-6 | FAIL | 3600 | |
| hex_hein_5x5_11 | FAIL | 3600 | |
| hex_hein_6x6_20 | FAIL | 3600 | |
| hex_rand_6x6-12m-4 | FAIL | 3600 | |
| hex_rand_6x6-6m-7 | FAIL | 3600 | |
| hex_hein_5x5_13 | FAIL | 3600 | |
| hex_rand_6x6-12m-5 | FAIL | 3600 | |
| hex_rand_6x6-6m-0 | FAIL | 3600 | |
| hex_rand_6x6-6m-8 | FAIL | 3600 | |
| hex_hein_5x5_14 | FAIL | 3600 | |
| hex_rand_6x6-12m-6 | FAIL | 3600 | |
| hex_rand_6x6-6m-1 | FAIL | 3600 | |
| hex_rand_6x6-6m-9 | FAIL | 3600 | |
| hex_hein_5x5_15 | FAIL | 3600 |