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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar2399.27479.85239.88599.713000.2
ghostq-plain2398.85479.77239.84599.62299.810.2
qsts2398.96479.79239.89599.71299.850.2
quabs-minisat2398.98479.8239.83599.71299.790.2
quabs-picosat2399.24479.85239.82599.71299.810.2
rareqs-nn2398.65479.73239.68599.43299.680.2
xb-bid-qsts1651.07330.21263.07413.12486.960.6
xb-qsts2398.47479.69239.8599.52299.850.2