Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 1828.06 | 457.02 | 443 | 459.88 | 885.97 | 0.5 |
caqe_2017_v1 | 1854.92 | 463.73 | 436.63 | 476.29 | 872.54 | 0.5 |
caqe_2017_v2 | 2560.36 | 640.09 | 370.67 | 826.96 | 519.82 | 0.5 |
caqe_2017_v3 | 2593.12 | 648.28 | 373.4 | 843.3 | 503.44 | 0.5 |
CUED1919_NL | 1731.56 | 432.89 | 140.09 | 440.58 | 216.56 | 0 |
CUED1919_NNL | 2269.57 | 567.39 | 342.21 | 624.32 | 665.22 | 0 |
dynQBF-bloqqer-hqspre | 2714.45 | 678.61 | 383.45 | 900 | 442.78 | 0.25 |
ghostq-cegar | 2753.57 | 688.39 | 366.51 | 900 | 423.22 | 0.25 |
GhostQ-PG_cegar | 2747.5 | 686.88 | 369.14 | 900 | 426.25 | 0.25 |
GhostQ-PG_plain | 3600 | 900 | 0 | 900 | 0 | 0 |
heretiq | 1834.92 | 458.73 | 441.4 | 466.4 | 882.54 | 0.5 |
HQSpre_solver | 1837.91 | 459.48 | 440.6 | 465.19 | 881.05 | 0.5 |
ijtihad_v1 | 1834.41 | 458.6 | 441.53 | 466.14 | 882.8 | 0.5 |
ijtihad_v2 | 1834.4 | 458.6 | 441.53 | 466.14 | 882.8 | 0.5 |
iProver-qbf-2017-07-27-v3 | 3600 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 2975.96 | 743.99 | 270.22 | 900 | 312.02 | 0.25 |
prefix-opt-depqbf | 3600 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 2675.63 | 668.91 | 375.01 | 882.15 | 439.3 | 0.25 |
qbfrelay-limited-depqbf | 2815.63 | 703.91 | 333.93 | 895.05 | 387.56 | 0.25 |
QELL_default | 1899.63 | 474.91 | 426.22 | 496.78 | 850.19 | 0.5 |
QELL_unit | 1911.44 | 477.86 | 423.61 | 502.77 | 844.28 | 0.5 |
qesto | 3600 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 2702.96 | 675.74 | 386.42 | 898.26 | 448.52 | 0.25 |
Qute_opt500 | 2706.45 | 676.61 | 386.92 | 900 | 446.78 | 0.25 |
Qute_random | 2706.45 | 676.61 | 386.92 | 900 | 446.78 | 0.25 |
rareqs | 1832.26 | 458.07 | 442.05 | 465.21 | 883.87 | 0.5 |
rev_qfun0.1 | 1960.9 | 490.23 | 412.55 | 524.02 | 819.55 | 0.5 |
xb-qsts_bqsts2.0 | 3600 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts1.0 | 3600 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts2.0 | 3600 | 900 | 0 | 900 | 0 | 0 |