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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve0.770.190.050.180.091
aqme-1032.228.067.255.7612.91
depqbf4800.641200.1601200.1600
depqbf-pre2701.09675.27531.1732.551049.780.5
nenofex-qbfeval109.22.31.222.032.151
qmaiga0.790.20.060.180.11
quantor-3.127.9978.293.6513.440.75
QuBE7588.04147.01229.5821.26287.291
QuBE7-c110.827.737.158.6847.331
QuBE7-m63.1415.7816.299.1323.641
struqs-1044.7111.1811.416.2417.231