Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 8056.57 | 805.66 | 260.15 | 900 | 71.25 | 0.2 |
caqe_2017_v1 | 4455.32 | 445.53 | 394.85 | 334.98 | 894.39 | 0.6 |
caqe_2017_v2 | 8137.17 | 813.72 | 258.85 | 900 | 0 | 0.1 |
caqe_2017_v3 | 8137.11 | 813.71 | 258.87 | 900 | 0 | 0.1 |
CUED1919_NL | 4028 | 402.8 | 56.53 | 403.06 | 91.07 | 0 |
CUED1919_NNL | 8127.76 | 812.78 | 261.67 | 900 | 0 | 0 |
dynQBF-bloqqer-hqspre | 7588.59 | 758.86 | 287.19 | 900 | 587.43 | 0.2 |
ghostq-cegar | 6174.93 | 617.49 | 372.14 | 900 | 834.48 | 0.4 |
GhostQ-PG_cegar | 6184.78 | 618.48 | 371.85 | 900 | 834.24 | 0.4 |
GhostQ-PG_plain | 9000 | 900 | 0 | 900 | 0 | 0 |
heretiq | 4670.31 | 467.03 | 433.73 | 494.08 | 896.78 | 0.5 |
HQSpre_solver | 6286.08 | 628.61 | 393.74 | 900 | 887.15 | 0.4 |
ijtihad_v1 | 4673.18 | 467.32 | 433.48 | 495.66 | 896.81 | 0.5 |
ijtihad_v2 | 4671.43 | 467.14 | 433.63 | 494.94 | 896.77 | 0.5 |
iProver-qbf-2017-07-27-v3 | 9000 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 9000 | 900 | 0 | 900 | 0 | 0 |
prefix-opt-depqbf | 9000 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 8244.23 | 824.42 | 209.13 | 895.44 | 18.93 | 0.1 |
qbfrelay-limited-depqbf | 8944.92 | 894.49 | 3.43 | 893.28 | 4.88 | 0 |
QELL_default | 3371.31 | 337.13 | 351.83 | 243.22 | 479.3 | 0.8 |
QELL_unit | 3184.16 | 318.42 | 343.96 | 199.17 | 378.48 | 0.8 |
qesto | 9000 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 7332.39 | 733.24 | 305.42 | 896.68 | 633.49 | 0.3 |
Qute_opt500 | 7389.89 | 738.99 | 295.89 | 900 | 578.61 | 0.4 |
Qute_random | 7473.97 | 747.4 | 298.12 | 900 | 572.59 | 0.3 |
rareqs | 4794.76 | 479.48 | 423.78 | 550.59 | 896.34 | 0.5 |
rev_qfun0.1 | 4898.07 | 489.81 | 414.26 | 547.76 | 887.21 | 0.5 |
xb-qsts_bqsts2.0 | 8137.21 | 813.72 | 258.84 | 900 | 0 | 0.1 |
xb-qsts_xbqsts1.0 | 8137.59 | 813.76 | 258.72 | 900 | 0 | 0.1 |
xb-qsts_xbqsts2.0 | 8137.02 | 813.7 | 258.89 | 900 | 0 | 0.1 |