Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 17106.73 | 855.34 | 194.68 | 900 | 0 | 0.05 |
caqe_2017_v1 | 10984.27 | 549.21 | 430.18 | 900 | 887.08 | 0.4 |
caqe_2017_v2 | 6357.4 | 317.87 | 427.19 | 5.77 | 898.44 | 0.65 |
caqe_2017_v3 | 10985.46 | 549.27 | 430.11 | 900 | 886.98 | 0.4 |
CUED1919_NL | 8221.28 | 411.06 | 123.03 | 429.98 | 56.24 | 0 |
CUED1919_NNL | 11404.1 | 570.21 | 335.17 | 631.9 | 642.13 | 0 |
dynQBF-bloqqer-hqspre | 12993.22 | 649.66 | 382.61 | 900 | 805.6 | 0.3 |
ghostq-cegar | 17102.69 | 855.13 | 195.56 | 900 | 0 | 0.05 |
GhostQ-PG_cegar | 17102.91 | 855.15 | 195.52 | 900 | 0 | 0.05 |
GhostQ-PG_plain | 17101.77 | 855.09 | 195.76 | 900 | 0 | 0.05 |
heretiq | 6451.92 | 322.6 | 423.88 | 31.35 | 898.59 | 0.65 |
HQSpre_solver | 16203.64 | 810.18 | 269.45 | 900 | 0 | 0.1 |
ijtihad_v1 | 9913.71 | 495.69 | 446.99 | 900 | 898.6 | 0.45 |
ijtihad_v2 | 9015.36 | 450.77 | 445.42 | 450.81 | 898.58 | 0.5 |
iProver-qbf-2017-07-27-v3 | 13514.28 | 675.71 | 316.63 | 900 | 611.74 | 0.35 |
iProver-qbf-bloqqer-2017-07-27-v3 | 10518.03 | 525.9 | 390.87 | 698.97 | 837.83 | 0.5 |
prefix-opt-depqbf | 8065.96 | 403.3 | 420.16 | 161.58 | 895.76 | 0.6 |
qbfrelay | 8491.1 | 424.56 | 354.34 | 193.24 | 813.69 | 0.65 |
qbfrelay-limited-depqbf | 3014.58 | 150.73 | 255.7 | 76.88 | 128.82 | 0.9 |
QELL_default | 15950.55 | 797.53 | 264.27 | 900 | 0 | 0.15 |
QELL_unit | 16246.32 | 812.32 | 263.09 | 900 | 0 | 0.1 |
qesto | 17142.22 | 857.11 | 186.95 | 900 | 0 | 0.05 |
Qute_default | 2176.73 | 108.84 | 264.56 | 18.19 | 37.47 | 0.9 |
Qute_opt500 | 11109.88 | 555.49 | 425.99 | 900 | 897.58 | 0.4 |
Qute_random | 11108.58 | 555.43 | 426.04 | 900 | 897.59 | 0.4 |
rareqs | 32.52 | 1.63 | 0.88 | 1.47 | 1.32 | 1 |
rev_qfun0.1 | 175.53 | 8.78 | 4.32 | 8.65 | 5.2 | 1 |
xb-qsts_bqsts2.0 | 2235.84 | 111.79 | 201.79 | 43.7 | 59.6 | 0.95 |
xb-qsts_xbqsts1.0 | 2570.18 | 128.51 | 202.28 | 59.7 | 86.08 | 0.95 |
xb-qsts_xbqsts2.0 | 2575.39 | 128.77 | 201.54 | 60.18 | 85.05 | 0.95 |