Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 3811.56 | 423.51 | 251.53 | 599.72 | 497.38 | 0.333 |
aqua-f3v | 3123.32 | 347.04 | 283.61 | 599.71 | 581.36 | 0.444 |
aqua-s2v | 2809.84 | 312.2 | 269.92 | 292.92 | 581.45 | 0.556 |
aqua-s3o | 3105.02 | 345 | 285.55 | 599.72 | 581.46 | 0.444 |
caqe-minisat | 1151.14 | 127.9 | 161.88 | 47.4 | 127.19 | 1 |
caqe-picosat | 878.37 | 97.6 | 100.59 | 54.26 | 101.4 | 1 |
depqbf-v1 | 5333.04 | 592.56 | 0.49 | 592.42 | 0.37 | 0 |
depqbf-v2 | 2518.68 | 279.85 | 281.05 | 102.11 | 584.91 | 0.556 |
depqbf-v3 | 3307.75 | 367.53 | 271.4 | 599.81 | 586.6 | 0.444 |
ghostq-cegar | 214.42 | 23.82 | 27.69 | 6.67 | 24.58 | 1 |
ghostq-plain | 109.53 | 12.17 | 11.79 | 5.82 | 12.92 | 1 |
hiqqer1 | 2861.83 | 317.98 | 252.5 | 121.03 | 513.78 | 0.556 |
hiqqer1ldsq | 2867.9 | 318.66 | 251.91 | 121.02 | 513.46 | 0.556 |
hiqqer3 | 3097.76 | 344.2 | 229.94 | 195.75 | 469.08 | 0.556 |
iprover-QBF | 2710.61 | 301.18 | 215.6 | 313.54 | 379.56 | 0 |
iprover-QBF-bloqqer | 2703.94 | 300.44 | 246.82 | 207.33 | 484.89 | 0.111 |
qesto | 594.09 | 66.01 | 79.84 | 26.35 | 58.12 | 1 |
qestos | 4312.59 | 479.18 | 178.52 | 555.82 | 156.9 | 0.111 |
qsts | 0.74 | 0.08 | 0.05 | 0.08 | 0.07 | 1 |
rareqs | 359.16 | 39.91 | 50.06 | 10 | 47.19 | 1 |
squeezebf+struqs | 4275.9 | 475.1 | 211.34 | 599.74 | 279.2 | 0.333 |
struqs-10 | 4333.81 | 481.53 | 204.47 | 599.82 | 251.09 | 0.333 |
xb-bid-qsts | 571.51 | 63.5 | 57.19 | 38.46 | 58.78 | 1 |
xb-qsts | 570.76 | 63.42 | 57.29 | 38.54 | 58.65 | 1 |