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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo9000.49900.050.03900.040.040
Caqe-hqspre5523.67552.37321.61624.89709.90.7
caqe-pre6139.26613.93355.88900.02777.210.4
depqbf_prefix_opt_qdo9000.53900.050.03900.070.070
depqbf_pre_QxQBH8934.02893.411.96900.0528.530
GhostQ___cegar_pcnf_20199000.44900.040.02900.050.030
GhostQ___plain_pcnf_20199000.45900.050.03900.050.060
Hiqqer2019_19000.3900.030.02900.030.030
Hiqqer2019_29000.5900.050.02900.050.030
Hiqqer2019_39000.039000.07900.020.010
Qute_default5896.47589.65337.28751.1769.290.5
Qute_opt5004412.58441.26221.95482.05473.960.4
Qute_rrs5808580.8337.77706.16768.270.5