Suite Tentrup results for solvers
QBFEVAL'18 - Prenex 2QBF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq2v39778.17271.62394.682.86900.010.722
aspq3alt10451.18290.31406.8410.76897.850.694
ASPQ_201810451.02290.31406.8510.95897.830.694
CADET_201721600.91600.03388.76900.01815.570.417
Caqe-bloqqer7002.71194.52352.211.81133.170.806
Caqe-bloqqer-qdo14901.27413.92416.26203.53895.270.639
Caqe-hqspre14923.68414.55437.4581.76898.250.556
Cued_2_20189816.75272.69400.1110.04897.920.722
Cued_3_20189824.43272.9400.1610897.910.722
depqbf_prefix_opt_qdo31678.34879.95118.82900.040.050.028
depqbf_pre_QxQBH7487.84208330.413.54284.310.833
GhostQ-PG_cegar32401.59900.040.03900.040.050
GhostQ-PG_plain31601.81877.83131.42900.040.030.028
Heretiq-cube9082.24252.28325.9439.59513.370.694
Heretiq-simple11046.44306.85399.6139.57900.020.722
ijtihad13452.65373.68418.4854.31900.040.639
Iprover-HQSpre-Bloqqer13262.28368.4434.022.82899.130.583
PortfolioDepQBFGhostQRaReQSQute___pf14277.12396.59427.1652.08888.090.583
predyndep8569.88238.05362.2319.92303.990.778
Qute_default14855.81412.66438104.01897.560.556
Qute_opt50011107.54308.54419.873.4898.660.667
Qute_random11094.52308.18419.943.47898.670.667
Rareqs_20188592.24238.67383.812.08543.130.75