Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 4141.4 | 517.68 | 386.14 | 582.5 | 794.84 | 0.5 |
caqe_2017_v1 | 96.48 | 12.06 | 25.02 | 1.35 | 6.17 | 1 |
caqe_2017_v2 | 87.38 | 10.92 | 16.07 | 3.52 | 11.57 | 1 |
caqe_2017_v3 | 98.04 | 12.26 | 25.44 | 1.37 | 6.22 | 1 |
CUED1919_NL | 2771.98 | 346.5 | 134.23 | 416.21 | 173.47 | 0 |
CUED1919_NNL | 3437 | 429.63 | 390.02 | 326.04 | 864.37 | 0 |
dynQBF-bloqqer-hqspre | 1831.9 | 228.99 | 387.41 | 5.93 | 450.93 | 0.75 |
ghostq-cegar | 7200 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_cegar | 7200 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_plain | 7200 | 900 | 0 | 900 | 0 | 0 |
heretiq | 1807.09 | 225.89 | 389.2 | 1.32 | 449.93 | 0.75 |
HQSpre_solver | 546.78 | 68.35 | 67.63 | 48.22 | 68.61 | 1 |
ijtihad_v1 | 1807.1 | 225.89 | 389.2 | 1.33 | 449.93 | 0.75 |
ijtihad_v2 | 1862.82 | 232.85 | 385.61 | 1.26 | 477.85 | 0.75 |
iProver-qbf-2017-07-27-v3 | 7200 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 1832.48 | 229.06 | 387.37 | 5.93 | 451.04 | 0.75 |
prefix-opt-depqbf | 37.15 | 4.64 | 4.06 | 3.45 | 7.24 | 1 |
qbfrelay | 943.59 | 117.95 | 290.42 | 6.29 | 12.66 | 0.875 |
qbfrelay-limited-depqbf | 39.22 | 4.9 | 4.06 | 3.74 | 7.22 | 1 |
QELL_default | 7200 | 900 | 0 | 900 | 0 | 0 |
QELL_unit | 7200 | 900 | 0 | 900 | 0 | 0 |
qesto | 2872.76 | 359.1 | 420.73 | 77.98 | 891.92 | 0.625 |
Qute_default | 1135.84 | 141.98 | 146.79 | 57.32 | 277.12 | 1 |
Qute_opt500 | 1059.61 | 132.45 | 138.61 | 55.1 | 250.24 | 1 |
Qute_random | 1137.56 | 142.2 | 150.96 | 58.56 | 276.01 | 1 |
rareqs | 2733.21 | 341.65 | 432.53 | 13.45 | 897.17 | 0.625 |
rev_qfun0.1 | 6300.64 | 787.58 | 297.44 | 900 | 0 | 0.125 |
xb-qsts_bqsts2.0 | 1831.92 | 228.99 | 387.41 | 5.93 | 451.04 | 0.75 |
xb-qsts_xbqsts1.0 | 1832.15 | 229.02 | 387.4 | 5.94 | 450.96 | 0.75 |
xb-qsts_xbqsts2.0 | 1832.28 | 229.04 | 387.39 | 5.92 | 451.07 | 0.75 |