Family evader-pursuer-4x4-standard results for solvers
QBFEVAL'16 - Prenex non-CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar1105.58276.431.79287.8751.850
ghostq-plain1009252.2549.97230.2866.250
qsts2081.57520.3971.75533.37130.130
quabs-minisat2398.84599.710599.7100
quabs-picosat2398.94599.740.04599.710.050
rareqs-nn2397.35599.340.11599.310.150
xb-bid-qsts2397.47599.370.12599.370.210
xb-qsts2397.45599.360.12599.360.20