Family Sorting_networks results for solvers
QBFEVAL'18 - Prenex 2QBF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq2v34603.87184.15264.9440.97232.340.92
aspq3alt3613.49144.54204.9948.44160.120.96
ASPQ_20183610.61144.42204.4248.67162.220.96
CADET_20175358.02214.32347.6521.21113.90.8
Caqe-bloqqer2296.4991.86133.3419.6686.831
Caqe-bloqqer-qdo2459.9298.4137.8630.4582.721
Caqe-hqspre1191.4247.6646.1134.9952.661
Cued_2_20188502.37340.09385.1665.27805.440.76
Cued_3_20188560.11342.4388.1765.1832.420.76
depqbf_prefix_opt_qdo21002.45840.1189.28900.050.050.12
depqbf_pre_QxQBH14950.11598249.1507.67472.690.64
GhostQ-PG_cegar19018.28760.73278.8900.0286.460.24
GhostQ-PG_plain14136.46565.46398.19900.01807.840.44
Heretiq-cube2158.586.34168.6641.927.080.96
Heretiq-simple2151.1986.05168.7241.8127.410.96
ijtihad13190.15527.61392.37752.02852.90.52
Iprover-HQSpre-Bloqqer22072.2882.8979.56900.050.060
PortfolioDepQBFGhostQRaReQSQute___pf20734.8829.39239.6900.040.050.08
predyndep15020.63600.83306.66677.08635.420.52
Qute_default572.7522.9122.3613.9327.621
Qute_opt500571.8722.8722.2813.9227.711
Qute_random571.1622.8522.2713.9127.671
Rareqs_20185626.89225.08351.8225.84143.140.8