Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 28828.23 | 565.26 | 350.05 | 727.15 | 754.35 | 0.314 |
caqe_2017_v1 | 36905.2 | 723.63 | 357.12 | 900 | 0 | 0.196 |
caqe_2017_v2 | 27545.55 | 540.11 | 420.11 | 900 | 887.83 | 0.431 |
caqe_2017_v3 | 27524.23 | 539.69 | 420.28 | 900 | 887.99 | 0.431 |
CUED1919_NL | 26334.74 | 516.37 | 274.14 | 456.64 | 517.42 | 0.02 |
CUED1919_NNL | 33205.66 | 651.09 | 337.39 | 900 | 569.52 | 0.02 |
dynQBF-bloqqer-hqspre | 34524.09 | 676.94 | 382.23 | 900 | 819.9 | 0.255 |
ghostq-cegar | 41365.25 | 811.08 | 244.91 | 900 | 0 | 0.02 |
GhostQ-PG_cegar | 22206.96 | 435.43 | 420.88 | 303.8 | 894.48 | 0.471 |
GhostQ-PG_plain | 24903.24 | 488.3 | 421.81 | 628.82 | 892.84 | 0.412 |
heretiq | 36165.52 | 709.13 | 364.54 | 900 | 0 | 0.216 |
HQSpre_solver | 35673.51 | 699.48 | 362.67 | 900 | 710.73 | 0.235 |
ijtihad_v1 | 36913.03 | 723.78 | 356.81 | 900 | 0 | 0.196 |
ijtihad_v2 | 36912.01 | 723.76 | 356.85 | 900 | 0 | 0.196 |
iProver-qbf-2017-07-27-v3 | 41933.99 | 822.24 | 189.19 | 900 | 0 | 0.059 |
iProver-qbf-bloqqer-2017-07-27-v3 | 33875.55 | 664.23 | 383 | 900 | 853.27 | 0.275 |
prefix-opt-depqbf | 42324.85 | 829.9 | 240.31 | 900 | 0 | 0.078 |
qbfrelay | 19760.8 | 387.47 | 371.74 | 220.98 | 863.35 | 0.333 |
qbfrelay-limited-depqbf | 32347.48 | 634.26 | 381.08 | 888.3 | 804.75 | 0.314 |
QELL_default | 40121.93 | 786.7 | 288.03 | 900 | 0 | 0.137 |
QELL_unit | 39638.43 | 777.22 | 307.83 | 900 | 0 | 0.137 |
qesto | 39587.91 | 776.23 | 309.44 | 900 | 0 | 0.157 |
Qute_default | 33380.12 | 654.51 | 385.01 | 900 | 832.61 | 0.294 |
Qute_opt500 | 28712.66 | 562.99 | 402.09 | 900 | 860.7 | 0.431 |
Qute_random | 28648.26 | 561.73 | 400.82 | 900 | 858.9 | 0.451 |
rareqs | 35305.12 | 692.26 | 375.3 | 900 | 717.31 | 0.235 |
rev_qfun0.1 | 35359.96 | 693.33 | 358.52 | 900 | 621.35 | 0.157 |
xb-qsts_bqsts2.0 | 35360.85 | 693.35 | 373.5 | 900 | 696.74 | 0.235 |
xb-qsts_xbqsts1.0 | 35355.18 | 693.24 | 373.65 | 900 | 702.17 | 0.235 |
xb-qsts_xbqsts2.0 | 35358.84 | 693.31 | 373.55 | 900 | 698.9 | 0.235 |