Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 3955.26 | 304.25 | 385.99 | 15.79 | 590.91 | 0.615 |
caqe_2017_v1 | 32.75 | 2.52 | 1.65 | 1.78 | 2.16 | 1 |
caqe_2017_v2 | 61.49 | 4.73 | 2.85 | 5.48 | 4.16 | 1 |
caqe_2017_v3 | 53.83 | 4.14 | 2.83 | 4.91 | 3.98 | 1 |
CUED1919_NL | 546.25 | 42.02 | 38.44 | 24.46 | 72.96 | 0 |
CUED1919_NNL | 542.46 | 41.73 | 38.19 | 24.14 | 72.7 | 0 |
dynQBF-bloqqer-hqspre | 4817.91 | 370.61 | 418.96 | 56.26 | 863.27 | 0.615 |
ghostq-cegar | 102.34 | 7.87 | 4.69 | 7.64 | 6.06 | 1 |
GhostQ-PG_cegar | 146.35 | 11.26 | 7.98 | 9.57 | 10.17 | 1 |
GhostQ-PG_plain | 4563.64 | 351.05 | 434.01 | 14.61 | 895.68 | 0.615 |
heretiq | 157.81 | 12.14 | 19.74 | 2 | 1.91 | 1 |
HQSpre_solver | 6346.76 | 488.21 | 444.79 | 900 | 890.74 | 0.462 |
ijtihad_v1 | 157.02 | 12.08 | 19.67 | 1.71 | 1.91 | 1 |
ijtihad_v2 | 158.66 | 12.2 | 19.94 | 1.7 | 1.93 | 1 |
iProver-qbf-2017-07-27-v3 | 2981.62 | 229.36 | 143.74 | 231.35 | 249.32 | 1 |
iProver-qbf-bloqqer-2017-07-27-v3 | 1639.58 | 126.12 | 88.31 | 93.37 | 150.09 | 1 |
prefix-opt-depqbf | 3679.08 | 283.01 | 411.4 | 15.77 | 461.63 | 0.692 |
qbfrelay | 862.38 | 66.34 | 66.68 | 52.89 | 38.53 | 1 |
qbfrelay-limited-depqbf | 1394.58 | 107.28 | 235.58 | 15.55 | 64.97 | 0.923 |
QELL_default | 35.22 | 2.71 | 3.92 | 0.9 | 1.19 | 1 |
QELL_unit | 43.84 | 3.37 | 4.5 | 1.25 | 1.58 | 1 |
qesto | 8824.97 | 678.84 | 357.27 | 900 | 554.83 | 0.308 |
Qute_default | 2832.16 | 217.86 | 374.42 | 6.41 | 50.36 | 0.769 |
Qute_opt500 | 2747.47 | 211.34 | 377.21 | 6.35 | 8.05 | 0.769 |
Qute_random | 2747.62 | 211.36 | 377.2 | 6.41 | 8.06 | 0.769 |
rareqs | 32.95 | 2.53 | 1.73 | 2.03 | 1.56 | 1 |
rev_qfun0.1 | 977.89 | 75.22 | 238.1 | 7.67 | 1.44 | 0.538 |
xb-qsts_bqsts2.0 | 4707.84 | 362.14 | 425.52 | 51.65 | 889.4 | 0.615 |
xb-qsts_xbqsts1.0 | 4747.07 | 365.16 | 423.32 | 64.39 | 887.98 | 0.615 |
xb-qsts_xbqsts2.0 | 4746.91 | 365.15 | 423.33 | 63.91 | 887.94 | 0.615 |