Family Qshifter results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN18.573.12.812.221.461
Nenofex892.11148.69225.17.815.20.833
quantor3.016.112.695.360.060.11
QuBE6.1638.66106.44221.111.192.220.833
ssolve-A53.448.9118.280.220.381
ssolveB796.54132.76220.471.62.990.833
ssolveC7.671.282.190.150.241