Family Planning-CTE results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo30205.16755.13293.6290000.225
Caqe-hqspre4465.98111.65167.8350.49125.570.975
caqe-pre5338.61133.47229.4950.29125.680.925
depqbf_prefix_opt_qdo35078.59876.96104.1790000.05
depqbf_pre_QxQBH18884.39472.11416.94521.21876.30.525
GhostQ___cegar_pcnf_201936000900090000
GhostQ___plain_pcnf_201936000900090000
iprover_bloqqer_schedule27875.55696.89314.01900472.670.325
iprover_bloqqer_single34775.39869.38133.5190000.05
nanoqbf_bloqqer19532.04488.3390.12492.85876.070.575
nanoqbf_hqspre3972.999.32117.2459.17132.11
Qute_default6424.71160.62225.4972.72183.410.95
Qute_opt5005098.49127.46147.7672.51183.40.9
Qute_rrs6251.18156.28216.1573.11184.840.95
Rareqs_20189513.43237.84269.21138418.920.975