Family k_poly_n results for solvers
QBFEVAL'16 - Prenex CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve4.820.480.40.530.651
aqua-f3v0.210.020.010.030.021
aqua-s2v0.210.020.010.030.021
aqua-s3o0.210.020.010.030.021
caqe-minisat0.960.10.050.110.091
caqe-picosat0.940.090.050.110.11
depqbf-v15340.21534.02177.97593.370.590.1
depqbf-v22.210.220.120.260.231
depqbf-v35.40.540.410.570.691
ghostq-cegar4.090.410.210.490.361
ghostq-plain3.480.350.170.380.31
hiqqer10.430.040.010.050.021
hiqqer1ldsq0.310.030.010.030.021
hiqqer30.430.040.010.040.011
iprover-QBF860.1586.028166.41140.021
iprover-QBF-bloqqer1.220.120.050.140.091
qesto0.070.010.010.010.011
qestos0.070.010.010.010.011
qsts0.560.060.030.070.041
rareqs0.070.010.010.010.011
squeezebf+struqs47.194.724.833.716.221
struqs-1046.914.694.823.76.211
xb-bid-qsts0.960.10.050.110.091
xb-qsts0.910.090.050.110.091