Family Model_instances results for solvers
QBFEVAL'19 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo4508.41751.4332.41900.05891.950.167
Caqe-hqspre4505.04750.84333.61900.02895.160.167
caqe-pre4505.03750.84333.62900.03895.20.167
depqbf_prefix_opt_qdo5400.24900.040.03900.030.030
depqbf_pre_QxQBH4189.14698.19207.3740.09483.350.5
GhostQ___cegar_pcnf_20195400.41900.070.02900.070.030
GhostQ___plain_pcnf_20195400.26900.040.02900.040.020
Hiqqer2019_14679.54779.92268.61900.04720.760.167
Hiqqer2019_23807.71634.62378.14899.83877.110.333
Hiqqer2019_34675.73779.29270.02900.04724.550.167
Qute_default1280.29213.38327.9223.838.20.833
Qute_opt5004.150.690.98000
Qute_rrs1295.17215.86328.482540.590.833