Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 7873.14 | 42.33 | 140.04 | 0.35 | 1.06 | 0.941 |
aqua-f3v | 41927.9 | 225.42 | 279.3 | 1.56 | 599.79 | 0.602 |
aqua-s2v | 41648.79 | 223.92 | 279.98 | 1.48 | 599.79 | 0.602 |
aqua-s3o | 41797.58 | 224.72 | 281.23 | 1.5 | 599.79 | 0.602 |
caqe-minisat | 4690.37 | 25.22 | 114.77 | 0.19 | 0.38 | 0.957 |
caqe-picosat | 4793.26 | 25.77 | 116.25 | 0.19 | 0.39 | 0.957 |
depqbf-v1 | 48885.18 | 262.82 | 288.44 | 16.02 | 592.84 | 0.57 |
depqbf-v2 | 5968.49 | 32.09 | 129.65 | 0.31 | 0.49 | 0.952 |
depqbf-v3 | 37076.52 | 199.34 | 278.13 | 0.63 | 599.61 | 0.677 |
ghostq-cegar | 16725.78 | 89.92 | 204.36 | 0.59 | 2.61 | 0.86 |
ghostq-plain | 14022.77 | 75.39 | 191.1 | 0.42 | 1.2 | 0.882 |
hiqqer1 | 4947.37 | 26.6 | 121.57 | 0.06 | 0.07 | 0.957 |
hiqqer1ldsq | 4944.93 | 26.59 | 121.57 | 0.05 | 0.07 | 0.957 |
hiqqer3 | 6111.38 | 32.86 | 135.18 | 0.06 | 0.08 | 0.946 |
iprover-QBF | 32778.91 | 176.23 | 195.18 | 68.95 | 337.71 | 0.634 |
iprover-QBF-bloqqer | 5776.69 | 31.06 | 129.07 | 0.22 | 0.43 | 0.511 |
qesto | 4725.96 | 25.41 | 114.7 | 0.02 | 0.06 | 0.952 |
qestos | 9970.8 | 53.61 | 167.13 | 0.02 | 0.06 | 0.914 |
qsts | 9854.94 | 52.98 | 164.4 | 0.04 | 0.07 | 0.919 |
rareqs | 6569.81 | 35.32 | 135.44 | 0.02 | 0.06 | 0.946 |
squeezebf+struqs | 49835.47 | 267.93 | 286.6 | 54.65 | 598.9 | 0.586 |
struqs-10 | 49592.15 | 266.62 | 287.36 | 45.61 | 599.03 | 0.586 |
xb-bid-qsts | 3649.81 | 19.62 | 96.69 | 0.19 | 0.39 | 0.968 |
xb-qsts | 4779.07 | 25.69 | 113.62 | 0.18 | 0.38 | 0.957 |