Family cycle-sched results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo2709387417.09104.86795.870.714
Caqe-hqspre3935.02562.15397.75900898.340.429
caqe-pre2174.83310.69189.25451.25455.331
depqbf_prefix_opt_qdo6300900090000
depqbf_pre_QxQBH1454.5207.79137.55250.57271.031
GhostQ___cegar_pcnf_20196300900090000
GhostQ___plain_pcnf_20196300900090000
iprover_bloqqer_schedule5395.89770.84314.15900898.650.143
iprover_bloqqer_single5401.29771.61314.48900898.710.143
nanoqbf_bloqqer4254.12607.73353.04900898.930.429
nanoqbf_hqspre6300900090000
Qute_default5401.98771.71314.24900898.020.143
Qute_opt50050772.43144.573.633.560
Qute_rrs5401.67771.67314.35900898.330.143
Rareqs_2018415.2659.32121.249.2820.091