Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
cqesto | 5400 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 5395.02 | 899.17 | 1.86 | 900 | 4.98 | 0 |
ghostq-plain | 5394.87 | 899.15 | 1.91 | 900 | 5.13 | 0 |
qfun0.1 | 3277.85 | 546.31 | 357.1 | 606.53 | 814.38 | 0.5 |
QuAbS_2017 | 4629.63 | 771.61 | 287.1 | 900 | 770.37 | 0.167 |
Qute_hybrid | 4912.95 | 818.83 | 129.49 | 876.76 | 347.57 | 0.167 |
Qute_opt617 | 5400 | 900 | 0 | 900 | 0 | 0 |
Qute_opt993 | 4501.56 | 750.26 | 334.83 | 900 | 898.44 | 0.167 |