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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar2171.47434.29209.45597.11407.790
ghostq-plain2170.08434.02209.57597.01408.490
qsts2779.46555.8986.15599.01107.860
quabs-minisat2998.55599.710599.7100
quabs-picosat2998.55599.710599.7100
rareqs-nn2963.26592.656.09595.718.20
xb-bid-qsts2998.89599.780.08599.720.050
xb-qsts2998.98599.80.08599.810.10