Family k_t4p_p results for solvers
QBFEVAL'10 - Competitive Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve3.20.640.350.550.491
aqme-1037.237.4511.262.080.711
depqbf6000.81200.160.011200.1600
depqbf-pre4913.1982.62435.081200.16543.850.2
nenofex-qbfeval101349.5269.9318.5837.81278.030.6
qmaiga3.160.630.370.520.51
quantor-3.1241.748.3441.9634.0728.190.2
QuBE74815.83963.17473.81200.06592.260.2
QuBE7-c4801.28960.26479.651200.07599.570.2
QuBE7-m4801.11960.22479.71200.06599.640.2
struqs-10335.8867.1865.6727.5376.471