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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer2.410.240.72001
Caqe-bloqqer-qdo907.0190.7269.7900.550.9
Caqe-hqspre3606.85360.69440.413.3900.050.6
Cued_2_201812.421.243.1500.531
Cued_3_201811.861.193.17001
depqbf_prefix_opt_qdo9000.3900.030.02900.030.020
depqbf_pre_QxQBH194.6419.4657.6400.731
GhostQ-PG_cegar9.050.911.690.310.661
GhostQ-PG_plain6447.82644.78390.28900.01833.020.3
Heretiq-cube5.580.561.67001
Heretiq-simple5.580.561.67001
ijtihad5.570.561.67001
Iprover-HQSpre-Bloqqer901.2290.12269.97000.9
PortfolioDepQBFGhostQRaReQSQute___pf241.4724.1518.489.7933.731
predyndep10.441.042.4200.691
Qute_default3600.16360.02440.930900.010.6
Qute_opt5003600.14360.01440.930900.010.6
Qute_random3600.15360.02440.930900.020.6
Rareqs_20181.690.170.51001