Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 4488.72 | 448.87 | 237.88 | 599.78 | 563.21 | 0.3 |
aqua-f3v | 5484.99 | 548.5 | 154.5 | 600 | 0 | 0.1 |
aqua-s2v | 5486.34 | 548.63 | 154.1 | 600 | 0 | 0.1 |
aqua-s3o | 5488.98 | 548.9 | 153.31 | 600 | 0 | 0.1 |
caqe-minisat | 4299.55 | 429.96 | 260.01 | 599.68 | 582.85 | 0.3 |
caqe-picosat | 4306.07 | 430.61 | 259.09 | 599.67 | 581.14 | 0.3 |
depqbf-v1 | 3132.53 | 313.25 | 279.19 | 315.06 | 560.77 | 0 |
depqbf-v2 | 4650.25 | 465.03 | 229.84 | 592.73 | 575.83 | 0.3 |
depqbf-v3 | 4437.23 | 443.72 | 243.99 | 599.71 | 578.82 | 0.3 |
ghostq-cegar | 739.46 | 73.95 | 53.09 | 79.42 | 98.6 | 1 |
ghostq-plain | 710.72 | 71.07 | 50.97 | 75.45 | 92.96 | 1 |
hiqqer1 | 4718.13 | 471.81 | 225.64 | 599.76 | 554.04 | 0.3 |
hiqqer1ldsq | 4719.54 | 471.95 | 225.65 | 599.81 | 554.12 | 0.3 |
hiqqer3 | 4891.1 | 489.11 | 221.93 | 599.77 | 517.42 | 0.2 |
iprover-QBF | 1259.34 | 125.93 | 194.85 | 22.39 | 3.19 | 0 |
iprover-QBF-bloqqer | 4731.45 | 473.15 | 113.23 | 599.18 | 196.98 | 0 |
qesto | 4234.92 | 423.49 | 262.5 | 599.61 | 589.29 | 0.4 |
qestos | 5381.45 | 538.15 | 74.91 | 579.22 | 169.09 | 0 |
qsts | 11.07 | 1.11 | 0.72 | 1.25 | 1.45 | 1 |
rareqs | 3721.92 | 372.19 | 265.59 | 549.26 | 595.79 | 0.5 |
squeezebf+struqs | 5468.97 | 546.9 | 158.85 | 599.81 | 0 | 0.1 |
struqs-10 | 5471.74 | 547.17 | 157.96 | 599.83 | 0.02 | 0.1 |
xb-bid-qsts | 4299.5 | 429.95 | 259.83 | 599.66 | 575.96 | 0.3 |
xb-qsts | 4298.84 | 429.88 | 259.91 | 599.66 | 576.24 | 0.3 |