Suite Akshay-Chakraborty-John-Shah-Rabe results for solvers
Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo5401.92270.1412.3709000.7
Caqe-hqspre9083.96454.2446.16491.989000.5
caqe-pre6383.67319.18348.15266.91449.990.8
depqbf_prefix_opt_qdo9900495447.749009000.45
depqbf_pre_QxQBH4515.41225.77389.270.74452.520.75
GhostQ___cegar_pcnf_201918000900090000
GhostQ___plain_pcnf_201918000900090000
iprover_bloqqer_schedule5076.05253.8393.140737.010.7
iprover_bloqqer_single5402.02270.1412.3709000.7
nanoqbf_bloqqer3607.44180.37359.8202.870.8
nanoqbf_hqspre12600630412.439009000.3
Qute_default9009.09450.45449.55453.279000.5
Qute_opt50066.23.316.530.272.220.4
Qute_rrs9010.72450.54449.47453.979000.5
Rareqs_20183658.22182.91358.77029.110.8