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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar1409.07281.81266.06175.32370.50.4
ghostq-plain2001.43400.29248.54599.42498.320.2
qsts626.41125.2852.1299.5349.160.2
quabs-minisat2407.43481.49236.45599.71295.560.2
quabs-picosat2316.63463.33226.29599.71341.250.4
rareqs-nn2289.97457.99208.5588.71342.290.4
xb-bid-qsts1909.95381.99257.33571.34515.990.6
xb-qsts2582.34516.47166.44599.71208.110.2