Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 10485.84 | 873.82 | 58.61 | 900 | 0 | 0 |
caqe_2017_v1 | 4937.22 | 411.44 | 417.84 | 169.03 | 874.69 | 0.583 |
caqe_2017_v2 | 6313.42 | 526.12 | 387.91 | 655.55 | 770.35 | 0.5 |
caqe_2017_v3 | 6318.01 | 526.5 | 387.82 | 657.96 | 770.31 | 0.5 |
CUED1919_NL | 1315.83 | 109.65 | 202.32 | 0.4 | 111.12 | 0 |
CUED1919_NNL | 1472.58 | 122.72 | 238.22 | 0.21 | 112.34 | 0 |
dynQBF-bloqqer-hqspre | 8188.87 | 682.41 | 377.17 | 900 | 414.48 | 0.25 |
ghostq-cegar | 8233.93 | 686.16 | 320.93 | 900 | 470.51 | 0.333 |
GhostQ-PG_cegar | 8409.47 | 700.79 | 312.09 | 900 | 368.7 | 0.333 |
GhostQ-PG_plain | 10013.16 | 834.43 | 182.77 | 900 | 0 | 0.167 |
heretiq | 7378.01 | 614.83 | 405.23 | 900 | 813.92 | 0.333 |
HQSpre_solver | 6649.91 | 554.16 | 409.21 | 889.82 | 836.44 | 0.5 |
ijtihad_v1 | 8114.57 | 676.21 | 387.61 | 900 | 445.65 | 0.25 |
ijtihad_v2 | 8188.81 | 682.4 | 377.29 | 900 | 410.69 | 0.25 |
iProver-qbf-2017-07-27-v3 | 10800 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 9295.85 | 774.65 | 280.44 | 900 | 0 | 0.167 |
prefix-opt-depqbf | 8523.29 | 710.27 | 337.29 | 900 | 272.36 | 0.25 |
qbfrelay | 8705.71 | 725.48 | 150.54 | 744.61 | 170.38 | 0.167 |
qbfrelay-limited-depqbf | 8317.83 | 693.15 | 343.55 | 886.97 | 342.01 | 0.25 |
QELL_default | 6783.97 | 565.33 | 404.59 | 900 | 839.74 | 0.417 |
QELL_unit | 6362.41 | 530.2 | 393.51 | 695.93 | 850.32 | 0.5 |
qesto | 9186.46 | 765.54 | 300.93 | 900 | 0 | 0.167 |
Qute_default | 9258.08 | 771.51 | 237.62 | 900 | 176.33 | 0.25 |
Qute_opt500 | 9199.94 | 766.66 | 243.82 | 900 | 195.14 | 0.25 |
Qute_random | 9216.81 | 768.07 | 243.41 | 900 | 169.85 | 0.25 |
rareqs | 4610.32 | 384.19 | 387.71 | 199.48 | 895.65 | 0.667 |
rev_qfun0.1 | 5473.37 | 456.11 | 412.23 | 422.34 | 881.74 | 0.583 |
xb-qsts_bqsts2.0 | 9592.03 | 799.34 | 244.71 | 900 | 0 | 0.167 |
xb-qsts_xbqsts1.0 | 9588.5 | 799.04 | 244.66 | 900 | 1.54 | 0.167 |
xb-qsts_xbqsts2.0 | 9587.48 | 798.96 | 244.82 | 900 | 1.55 | 0.167 |