Family k_lin_p results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN29.121.390.581.150.491
Nenofex417.1319.8637.7510.8119.831
quantor3.05.080.240.260.140.351
QuBE6.13.20.150.110.120.151
ssolve-A4190.83199.56274.130.83548.490.714
ssolveB4282.61203.93278.310.82587.160.714
ssolveC4114.06195.91271.240.72515.030.714