Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 18751.17 | 815.27 | 80.93 | 822.06 | 172.85 | 0 |
caqe_2017_v1 | 18002.22 | 782.71 | 302.85 | 900 | 0 | 0.13 |
caqe_2017_v2 | 14986.13 | 651.57 | 383.46 | 900 | 887.83 | 0.304 |
caqe_2017_v3 | 14979.78 | 651.29 | 383.66 | 900 | 887.99 | 0.304 |
CUED1919_NL | 8565.07 | 372.39 | 164.75 | 422.33 | 107.13 | 0 |
CUED1919_NNL | 10836.19 | 471.14 | 334.41 | 332.85 | 606.75 | 0 |
dynQBF-bloqqer-hqspre | 20700 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 20700 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_cegar | 15944.52 | 693.24 | 351.34 | 900 | 766.11 | 0.261 |
GhostQ-PG_plain | 18212.25 | 791.84 | 279.6 | 900 | 0 | 0.13 |
heretiq | 17254.54 | 750.2 | 327.64 | 900 | 0 | 0.174 |
HQSpre_solver | 19989.27 | 869.1 | 144.94 | 900 | 0 | 0.043 |
ijtihad_v1 | 18002.06 | 782.7 | 302.87 | 900 | 0 | 0.13 |
ijtihad_v2 | 18002.1 | 782.7 | 302.87 | 900 | 0 | 0.13 |
iProver-qbf-2017-07-27-v3 | 19406.32 | 843.75 | 172.56 | 900 | 0 | 0.087 |
iProver-qbf-bloqqer-2017-07-27-v3 | 18603.44 | 808.85 | 238.75 | 900 | 0 | 0.13 |
prefix-opt-depqbf | 19824.77 | 861.95 | 178.49 | 900 | 0 | 0.043 |
qbfrelay | 9473.07 | 411.87 | 354.54 | 221.68 | 804.19 | 0.043 |
qbfrelay-limited-depqbf | 19597.7 | 852.07 | 176.13 | 888.87 | 4.5 | 0.043 |
QELL_default | 17621.16 | 766.14 | 298.17 | 900 | 0 | 0.174 |
QELL_unit | 17137.66 | 745.12 | 337.59 | 900 | 0 | 0.174 |
qesto | 20684.82 | 899.34 | 3.1 | 900 | 0 | 0.043 |
Qute_default | 20696.52 | 899.85 | 0.71 | 900 | 0 | 0 |
Qute_opt500 | 17057.61 | 741.64 | 317.5 | 900 | 307.89 | 0.217 |
Qute_random | 17055.39 | 741.54 | 317.57 | 900 | 309.95 | 0.217 |
rareqs | 17284.36 | 751.49 | 325.33 | 900 | 0 | 0.174 |
rev_qfun0.1 | 18945.75 | 823.73 | 247.15 | 900 | 0 | 0.087 |
xb-qsts_bqsts2.0 | 20003.26 | 869.71 | 142.09 | 900 | 0 | 0.043 |
xb-qsts_xbqsts1.0 | 19997.83 | 869.47 | 143.19 | 900 | 0 | 0.043 |
xb-qsts_xbqsts2.0 | 20001.1 | 869.61 | 142.53 | 900 | 0 | 0.043 |