Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 1248.38 | 124.84 | 237.58 | 3.16 | 18.14 | 0.8 |
aqua-f3v | 4807.32 | 480.73 | 222.63 | 599.77 | 529.37 | 0.2 |
aqua-s2v | 4724.28 | 472.43 | 236.44 | 599.82 | 596.45 | 0.2 |
aqua-s3o | 4725.58 | 472.56 | 236.34 | 599.82 | 596.12 | 0.2 |
caqe-minisat | 4337.89 | 433.79 | 253.88 | 599.7 | 547.43 | 0.3 |
caqe-picosat | 5536.81 | 553.68 | 138.28 | 599.79 | 0.09 | 0.1 |
depqbf-v1 | 4240.83 | 424.08 | 258.18 | 592.68 | 570.01 | 0.3 |
depqbf-v2 | 4138.67 | 413.87 | 243.77 | 593.27 | 589 | 0.4 |
depqbf-v3 | 4271.02 | 427.1 | 263.8 | 599.71 | 576.82 | 0.3 |
ghostq-cegar | 5999.51 | 599.95 | 0.09 | 599.96 | 0.19 | 0 |
ghostq-plain | 5956.12 | 595.61 | 12.93 | 599.91 | 0.21 | 0 |
hiqqer1 | 4232.97 | 423.3 | 269.61 | 599.71 | 593.68 | 0.3 |
hiqqer1ldsq | 4232.74 | 423.27 | 269.63 | 599.71 | 594.17 | 0.3 |
hiqqer3 | 4235.63 | 423.56 | 269.22 | 599.71 | 591.9 | 0.3 |
iprover-QBF | 3964.81 | 396.48 | 104.07 | 387.5 | 167.41 | 0 |
iprover-QBF-bloqqer | 4362.15 | 436.22 | 141.01 | 426.12 | 285.21 | 0 |
qesto | 5756.95 | 575.7 | 72.08 | 599.71 | 0 | 0.1 |
qestos | 5866.72 | 586.67 | 39.32 | 599.76 | 0.1 | 0 |
qsts | 4836.32 | 483.63 | 152.29 | 599.71 | 365.27 | 0 |
rareqs | 5951 | 595.1 | 13.86 | 599.71 | 0 | 0.1 |
squeezebf+struqs | 4365.16 | 436.52 | 250.37 | 599.71 | 572.86 | 0.3 |
struqs-10 | 4366.36 | 436.64 | 250.21 | 599.71 | 572.64 | 0.3 |
xb-bid-qsts | 3781.58 | 378.16 | 272.35 | 599.71 | 570.17 | 0.4 |
xb-qsts | 3753.31 | 375.33 | 275.93 | 599.71 | 580.05 | 0.4 |