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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar711.77142.35226.0233.9432.121
ghostq-plain40.178.0314.560.770.771
qsts0.80.160.250.040.031
quabs-minisat4.430.891.290.260.281
quabs-picosat9.711.942.540.660.831
rareqs-nn2491.02498.2202.96599.71253.770.2
xb-bid-qsts4.60.921.110.40.281
xb-qsts4.540.911.090.40.281