Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 5603.41 | 800.49 | 243.76 | 900 | 696.59 | 0.143 |
caqe_2017_v1 | 377.01 | 53.86 | 48.7 | 46.03 | 81.77 | 1 |
caqe_2017_v2 | 4275.26 | 610.75 | 363.16 | 900 | 897.33 | 0.429 |
caqe_2017_v3 | 381.6 | 54.51 | 49.49 | 46.91 | 81.98 | 1 |
CUED1919_NL | 1329.47 | 189.92 | 165.37 | 71.69 | 353.77 | 0 |
CUED1919_NNL | 907.62 | 129.66 | 146.21 | 12.79 | 224.43 | 0 |
dynQBF-bloqqer-hqspre | 5413.11 | 773.3 | 310.35 | 900 | 886.89 | 0.143 |
ghostq-cegar | 3255.72 | 465.1 | 403.61 | 470.22 | 896.57 | 0.571 |
GhostQ-PG_cegar | 5403.5 | 771.93 | 313.71 | 900 | 896.5 | 0.143 |
GhostQ-PG_plain | 5400.86 | 771.55 | 314.63 | 900 | 899.14 | 0.143 |
heretiq | 1342.72 | 191.82 | 297.67 | 42.79 | 108.23 | 0.857 |
HQSpre_solver | 5768.2 | 824.03 | 186.09 | 900 | 531.8 | 0.143 |
ijtihad_v1 | 3663.73 | 523.39 | 434.99 | 900 | 899.7 | 0.429 |
ijtihad_v2 | 4038.82 | 576.97 | 388.36 | 900 | 899.59 | 0.429 |
iProver-qbf-2017-07-27-v3 | 6300 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 5667.14 | 809.59 | 221.45 | 900 | 632.86 | 0.143 |
prefix-opt-depqbf | 1255.64 | 179.38 | 301.41 | 42.93 | 51.83 | 0.857 |
qbfrelay | 5373.13 | 767.59 | 307.77 | 891.62 | 879.76 | 0.143 |
qbfrelay-limited-depqbf | 1193.57 | 170.51 | 298.16 | 43.8 | 51.51 | 0.857 |
QELL_default | 5481.33 | 783.05 | 286.47 | 900 | 818.67 | 0.143 |
QELL_unit | 5516.76 | 788.11 | 274.08 | 900 | 783.24 | 0.143 |
qesto | 2334.37 | 333.48 | 369.2 | 110.42 | 303.16 | 0.714 |
Qute_default | 5152.99 | 736.14 | 307.63 | 900 | 883.81 | 0.286 |
Qute_opt500 | 4505.23 | 643.6 | 326.49 | 900 | 894.34 | 0.429 |
Qute_random | 4603.93 | 657.7 | 318.78 | 900 | 894.34 | 0.429 |
rareqs | 3342.08 | 477.44 | 382.63 | 392.86 | 899.45 | 0.571 |
rev_qfun0.1 | 6115.67 | 873.67 | 64.5 | 900 | 184.33 | 0.143 |
xb-qsts_bqsts2.0 | 361.62 | 51.66 | 97.53 | 8.3 | 8.51 | 1 |
xb-qsts_xbqsts1.0 | 159.81 | 22.83 | 24.49 | 10.94 | 10.12 | 1 |
xb-qsts_xbqsts2.0 | 160.52 | 22.93 | 24.58 | 11 | 10.12 | 1 |