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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar2012.02402.4245.04599.71493.270.4
ghostq-plain1801.64360.33293.3599.71598.660.4
qsts604.08120.82239.451.132.050.8
quabs-minisat749149.8227.9248.2573.390.8
quabs-picosat87.4617.4921.223.8414.571
rareqs-nn2998.54599.710.15599.610.050
xb-bid-qsts16.493.33.422.32.011
xb-qsts16.383.283.42.2921