Family k_branch_p results for solvers
QBFEVAL'18 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer279.2734.9173.61.821.671
Caqe-bloqqer-qdo89.9211.2410.336.0514.381
Caqe-hqspre1132.08141.51170.4947.84208.021
Cued_2_20181832.95229.12387.356.12450.90.75
Cued_3_20181832.86229.11387.366.11450.870.75
depqbf_prefix_opt_qdo2.650.330.380.080.671
depqbf_pre_QxQBH783.3697.9278.4288.93157.921
GhostQ-PG_cegar7200.47900.060.02900.060.040
GhostQ-PG_plain7200.26900.030.02900.040.020
Heretiq-cube1806.85225.86389.251.29450.020.75
Heretiq-simple1806.85225.86389.231.28450.030.75
ijtihad1806.82225.85389.251.29450.030.75
Iprover-HQSpre-Bloqqer1117.82139.73147.6353.64284.191
PortfolioDepQBFGhostQRaReQSQute___pf4753.64594.21320.33710.51682.650.5
predyndep69.638.77.166.046.661
Qute_default1122.25140.28146.0863.83251.461
Qute_opt5001887.25235.91303.8858.53393.950.875
Qute_random1239.19154.9160.4263.9303.31
Rareqs_20182733.01341.63432.5913.35897.260.625