QBF Solver Evaluation Portal
qbflib.orgFamily Generalized-Tic-Tac-Toe results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 561.8 | 56.18 | 91.34 | 8.24 | 50.98 | 1 |
| Caqe-bloqqer-qdo | 660.2 | 66.02 | 90.26 | 22.63 | 19.43 | 1 |
| Caqe-hqspre | 8777.76 | 877.78 | 66.83 | 900.07 | 0.06 | 0 |
| Cued_2_2018 | 1175.53 | 117.55 | 264.12 | 9.18 | 6.35 | 0.9 |
| Cued_3_2018 | 1176.12 | 117.61 | 264.11 | 9.19 | 6.42 | 0.9 |
| depqbf_prefix_opt_qdo | 1272.37 | 127.24 | 266 | 18.92 | 25.89 | 0.9 |
| depqbf_pre_QxQBH | 2096.91 | 209.69 | 268.88 | 85.82 | 39.67 | 0.9 |
| GhostQ-PG_cegar | 9000.55 | 900.06 | 0.02 | 900.06 | 0.03 | 0 |
| GhostQ-PG_plain | 9000.44 | 900.04 | 0.03 | 900.04 | 0.03 | 0 |
| Heretiq-cube | 1447.59 | 144.76 | 261.12 | 36.53 | 38.42 | 0.9 |
| Heretiq-simple | 1416.96 | 141.7 | 260.48 | 36.67 | 37.68 | 0.9 |
| ijtihad | 3823.15 | 382.32 | 423.44 | 75.67 | 894.8 | 0.6 |
| Iprover-HQSpre-Bloqqer | 8606.6 | 860.66 | 118.14 | 900.03 | 0.04 | 0.1 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 8427.72 | 842.77 | 104.91 | 900.03 | 207.07 | 0.3 |
| predyndep | 7554.54 | 755.45 | 289.23 | 900.03 | 712.21 | 0.2 |
| Qute_default | 5567.63 | 556.76 | 224.76 | 409.22 | 9.34 | 0.7 |
| Qute_opt500 | 5567.22 | 556.72 | 224.79 | 409.24 | 9.23 | 0.7 |
| Qute_random | 5916.65 | 591.67 | 201.88 | 459.24 | 9.4 | 0.7 |
| Rareqs_2018 | 3737.54 | 373.75 | 366.58 | 257.88 | 378.51 | 0.7 |