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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar4.810.961.470.160.311
ghostq-plain3.810.761.140.140.241
qsts601.96120.39239.660.081.120.8
quabs-minisat3.920.781.510.040.031
quabs-picosat4.110.821.550.060.061
rareqs-nn5.161.031.540.20.371
xb-bid-qsts7.151.432.450.140.271
xb-qsts7.121.422.450.130.261