Family conformant_planning results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN9069.21377.88254.56586.26506.210.458
Nenofex6069.57252.9240.12171.05527.270.625
quantor3.05969.52248.73263.474.95598.920.667
QuBE6.111569.14482.05230.8260000.208
ssolve-A11426.38476.1241.5760000.208
ssolveB11427.46476.14241.4860000.208
ssolveC11423.65475.99241.7860000.208