QBF Solver Evaluation Portal
qbflib.orgFamily cycle-sched results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 1553.01 | 388.25 | 386 | 322.16 | 746.7 | 0.75 |
| Caqe-bloqqer-qdo | 3444.76 | 861.19 | 67.28 | 900.03 | 77.72 | 0.25 |
| Caqe-hqspre | 2758.22 | 689.56 | 364.58 | 900.03 | 421.01 | 0.25 |
| Cued_2_2018 | 2354.81 | 588.7 | 355.78 | 710.46 | 622.66 | 0.5 |
| Cued_3_2018 | 2359.08 | 589.77 | 355.96 | 713.12 | 620.57 | 0.5 |
| depqbf_prefix_opt_qdo | 3600.24 | 900.06 | 0.03 | 900.07 | 0.04 | 0 |
| depqbf_pre_QxQBH | 1983.28 | 495.82 | 242.43 | 413.54 | 340.01 | 0.75 |
| GhostQ-PG_cegar | 3600.11 | 900.03 | 0.01 | 900.03 | 0.02 | 0 |
| GhostQ-PG_plain | 3600.13 | 900.03 | 0.02 | 900.03 | 0.02 | 0 |
| Heretiq-cube | 3071.45 | 767.86 | 228.94 | 900.04 | 264.38 | 0.25 |
| Heretiq-simple | 2735.34 | 683.84 | 344.75 | 873.73 | 432.36 | 0.5 |
| ijtihad | 2245.5 | 561.38 | 358.07 | 643.59 | 677.33 | 0.5 |
| Iprover-HQSpre-Bloqqer | 2763.3 | 690.83 | 362.37 | 900.02 | 418.46 | 0.25 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 3600.25 | 900.06 | 0.03 | 900.06 | 0.06 | 0 |
| predyndep | 3600.14 | 900.04 | 0.01 | 900.04 | 0.01 | 0 |
| Qute_default | 2704.23 | 676.06 | 387.98 | 900.04 | 448.05 | 0.25 |
| Qute_opt500 | 1807.32 | 451.83 | 448.24 | 452.08 | 896.47 | 0.5 |
| Qute_random | 1807.19 | 451.8 | 448.26 | 452.07 | 896.52 | 0.5 |
| Rareqs_2018 | 1324.26 | 331.07 | 361.77 | 207.5 | 626.63 | 0.75 |