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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar2653.68530.74138.15599.81172.740.2
ghostq-plain2409.68481.94235.9599.91294.990.2
qsts2088.75417.75218.2493.44348.630.4
quabs-minisat2642.95528.59142.24599.71177.80.2
quabs-picosat2998.55599.710599.7100
rareqs-nn2998.56599.710.06599.710.050
xb-bid-qsts1380.94276.19266.11119.19328.290.6
xb-qsts2516.63503.33192.77599.71240.970.2