Family k_lin_n results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN202.79.6516.664.164.871
Nenofex3454.82164.52179.02108.55227.150.619
quantor3.07374.77351.18288.24600594.450.429
QuBE6.1167.527.9813.12.27.631
ssolve-A451.3321.4923.211.2831.731
ssolveB469.4822.3624.1211.6333.651
ssolveC400.1819.0620.6110.2128.711