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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar1208241.6292.295.76301.10.6
ghostq-plain1208.42241.68292.214.75299.870.6
qsts0.50.10.070.060.071
quabs-minisat1200.43240.09293.630.63299.980.6
quabs-picosat1200.78240.16293.570.86300.040.6
rareqs-nn1683.22336.64232.95277.18334.590.6
xb-bid-qsts2400.67480.13238.83599.53298.620.2
xb-qsts2400.56480.11238.81599.53298.670.2