QBF Solver Evaluation Portal
qbflib.orgFamily BMC results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 278.17 | 27.82 | 43.45 | 10.82 | 11.88 | 1 |
| Caqe-bloqqer-qdo | 6525.23 | 652.52 | 373.36 | 895.69 | 827.94 | 0.5 |
| Caqe-hqspre | 4421.07 | 442.11 | 389.86 | 386.34 | 777.42 | 0.7 |
| Cued_2_2018 | 8325.88 | 832.59 | 198.26 | 900.02 | 12.34 | 0.2 |
| Cued_3_2018 | 8263.92 | 826.39 | 205.13 | 900.02 | 48.89 | 0.2 |
| depqbf_prefix_opt_qdo | 3685.21 | 368.52 | 392 | 123.64 | 646.98 | 0.7 |
| depqbf_pre_QxQBH | 3456.88 | 345.69 | 368.51 | 88.2 | 594.39 | 0.8 |
| GhostQ-PG_cegar | 7176.35 | 717.64 | 276.39 | 900.04 | 619.21 | 0.3 |
| GhostQ-PG_plain | 7937.51 | 793.75 | 244.89 | 900.02 | 259.54 | 0.1 |
| Heretiq-cube | 930.92 | 93.09 | 222.87 | 10.45 | 14.71 | 1 |
| Heretiq-simple | 569.33 | 56.93 | 116 | 10.43 | 14.82 | 1 |
| ijtihad | 668.38 | 66.84 | 144.78 | 10.41 | 15.14 | 1 |
| Iprover-HQSpre-Bloqqer | 3621.71 | 362.17 | 384.47 | 106.68 | 606.32 | 0.8 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 4020.46 | 402.05 | 307.67 | 346.32 | 343.94 | 0.5 |
| predyndep | 4404.35 | 440.44 | 326.27 | 412.84 | 347.86 | 0.8 |
| Qute_default | 4275.39 | 427.54 | 359.19 | 374.02 | 565.42 | 0.7 |
| Qute_opt500 | 4168.55 | 416.86 | 356.46 | 346.32 | 516.49 | 0.7 |
| Qute_random | 3918.39 | 391.84 | 333.55 | 332.25 | 485.77 | 0.8 |
| Rareqs_2018 | 176.2 | 17.62 | 23.46 | 6.66 | 11.81 | 1 |