Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
cqesto | 902.04 | 451.02 | 448.98 | 451.02 | 0 | 0.5 |
ghostq-cegar | 1800 | 900 | 0 | 900 | 0 | 0 |
ghostq-plain | 1247.39 | 623.7 | 276.31 | 623.7 | 0 | 0.5 |
qfun0.1 | 937.26 | 468.63 | 431.37 | 468.63 | 0 | 0.5 |
QuAbS_2017 | 1173.71 | 586.86 | 313.15 | 586.86 | 0 | 0.5 |
Qute_hybrid | 159.64 | 79.82 | 12.74 | 79.82 | 0 | 1 |
Qute_opt617 | 110.95 | 55.48 | 11.45 | 55.48 | 0 | 1 |
Qute_opt993 | 90.67 | 45.34 | 27.44 | 45.34 | 0 | 1 |