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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar212.1142.4237.5817.4235.670.8
ghostq-plain212.1242.4237.6717.4435.520.8
qsts12.32.462.480.82.291
quabs-minisat1261.61252.32283.9443.68312.450.6
quabs-picosat1267.47253.49283.0246.63312.470.6
rareqs-nn362.872.5668.8126.0664.571
xb-bid-qsts1961.14392.23255.83598.65517.660.6
xb-qsts1956.39391.28255.43594.87516.310.6