Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
cqesto | 2700 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 2696.96 | 898.99 | 1.43 | 900 | 3.04 | 0 |
ghostq-plain | 2696.91 | 898.97 | 1.46 | 900 | 3.09 | 0 |
qfun0.1 | 1906.98 | 635.66 | 373.83 | 900 | 793.02 | 0.333 |
QuAbS_2017 | 1937.88 | 645.96 | 359.27 | 900 | 762.12 | 0.333 |
Qute_hybrid | 2632.19 | 877.4 | 0.51 | 877.11 | 0.14 | 0 |
Qute_opt617 | 2700 | 900 | 0 | 900 | 0 | 0 |
Qute_opt993 | 2700 | 900 | 0 | 900 | 0 | 0 |