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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve3.860.960.450.990.881
aqme-106.161.540.171.60.281
depqbf4800.631200.160.011200.160.010
depqbf-pre0.10.0300.0301
nenofex-qbfeval103855.02963.76409.331200.01472.920.25
qmaiga1.320.330.120.330.251
quantor-3.10.090.020.010.020.011
QuBE70.240.060.020.060.031
QuBE7-c0.240.060.020.060.031
QuBE7-m0.250.060.020.060.031
struqs-1044.6411.168.1810.6416.161