Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 91687.06 | 811.39 | 205.61 | 900 | 84.25 | 0.053 |
caqe_2017_v1 | 95360.39 | 843.9 | 194.9 | 900 | 0 | 0.097 |
caqe_2017_v2 | 92209.04 | 816.01 | 249.63 | 900 | 0 | 0.115 |
caqe_2017_v3 | 95368.11 | 843.97 | 194.83 | 900 | 0 | 0.097 |
CUED1919_NL | 1283.47 | 11.36 | 13.15 | 13.25 | 16.21 | 0 |
CUED1919_NNL | 425.77 | 3.77 | 12.08 | 2.62 | 2.46 | 0 |
dynQBF-bloqqer-hqspre | 96316.37 | 852.36 | 201.19 | 900 | 0 | 0.053 |
ghostq-cegar | 99943.83 | 884.46 | 115.82 | 900 | 0 | 0.018 |
GhostQ-PG_cegar | 96148.31 | 850.87 | 199.23 | 900 | 0 | 0.053 |
GhostQ-PG_plain | 96111.88 | 850.55 | 200.79 | 900 | 0 | 0.062 |
heretiq | 89273.13 | 790.03 | 284.15 | 900 | 0 | 0.133 |
HQSpre_solver | 96303.88 | 852.25 | 201.66 | 900 | 0 | 0.053 |
ijtihad_v1 | 95413.07 | 844.36 | 216.5 | 900 | 0 | 0.062 |
ijtihad_v2 | 95342.89 | 843.74 | 216.43 | 900 | 0 | 0.071 |
iProver-qbf-2017-07-27-v3 | 98265.02 | 869.6 | 158.68 | 900 | 0 | 0.035 |
iProver-qbf-bloqqer-2017-07-27-v3 | 96419.82 | 853.27 | 197.34 | 900 | 0 | 0.053 |
prefix-opt-depqbf | 70945.63 | 627.84 | 395.43 | 900 | 797.31 | 0.327 |
qbfrelay | 23772.3 | 210.37 | 298.75 | 29.19 | 354.46 | 0.053 |
qbfrelay-limited-depqbf | 64949.53 | 574.77 | 394.73 | 887.58 | 804.76 | 0.407 |
QELL_default | 100800.02 | 892.04 | 84.29 | 900 | 0 | 0.009 |
QELL_unit | 100800.02 | 892.04 | 84.29 | 900 | 0 | 0.009 |
qesto | 94139.75 | 833.1 | 225.74 | 900 | 0 | 0.088 |
Qute_default | 94355.03 | 835 | 225.88 | 900 | 0 | 0.08 |
Qute_opt500 | 94575.8 | 836.95 | 228.44 | 900 | 0 | 0.071 |
Qute_random | 94575.72 | 836.95 | 228.45 | 900 | 0 | 0.071 |
rareqs | 97308.26 | 861.14 | 173.35 | 900 | 0 | 0.053 |
rev_qfun0.1 | 98277.88 | 869.72 | 158.72 | 900 | 0 | 0.035 |
xb-qsts_bqsts2.0 | 91408.38 | 808.92 | 244.44 | 900 | 0 | 0.142 |
xb-qsts_xbqsts1.0 | 90503.06 | 800.91 | 255.7 | 900 | 0 | 0.15 |
xb-qsts_xbqsts2.0 | 90503.36 | 800.91 | 255.71 | 900 | 0 | 0.15 |