Suite Lahiri-Seshia results for solvers
QBFEVAL'08

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN1520.85506.950.8507.31.460
Nenofex1174.97391.66148.38309.1643.360
quantor3.089.9529.982.9129.412.680
QuBE6.11800600060000
ssolve-A1800600060000
ssolveB1800600060000
ssolveC1800600060000