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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar135.451.477.160.20.371
ghostq-plain405.834.4122.490.180.451
qsts2.770.030.070.010.011
quabs-minisat27.910.31.90.010.011
quabs-picosat41.980.462.30.020.041
rareqs-nn76.140.832.240.210.451
xb-bid-qsts4.650.0500.0501
xb-qsts4.780.050.010.0501