QBF Solver Evaluation Portal
qbflib.orgSolver performances for family instances
QBFEVAL'17 - Random QBFs Track
| Family | Overall | Time | Reference solver | |||
|---|---|---|---|---|---|---|
| N | # | S | U | |||
| CombinationalEquivalence | 30 | 30 | 15 | 15 | 1430.78 | QELL_default |
| CounterFactual | 31 | 4 | 0 | 4 | 12.99 | Qute_opt500 |
| Model_instances | 46 | 22 | 17 | 5 | 696.47 | Qute_default |
| PositionalGames_gttt | 64 | 39 | 39 | 0 | 4310.5 | qbfrelay-limited-depqbf |
| PositionalGames_hex | 49 | 13 | 10 | 3 | 4095.28 | xb-qsts_xbqsts1.0 |
| Q_2_2_3 | 50 | 0 | 0 | 0 | - | |
| Q_2_3 | 47 | 13 | 0 | 13 | 528.42 | prefix-opt-depqbf |
| Q_3_3 | 50 | 0 | 0 | 0 | - | |
| Q_3_3_3 | 50 | 1 | 1 | 0 | 320.91 | AIGSolve |
| RobotsD2 | 5 | 5 | 5 | 0 | 775.05 | rareqs |
| Selection-hard | 10 | 5 | 5 | 0 | 234.93 | caqe_2017_v3 |
| Strategic_Companies | 40 | 13 | 0 | 13 | 2481.31 | rareqs |
| wgrowing | 33 | 9 | 9 | 0 | 2451.4 | caqe_2017_v1 |