Family trafficlight-controller results for solvers
QBFEVAL'19 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo287.2328.729.8527.7417.221
Caqe-hqspre30.813.082.012.61.791
caqe-pre30.893.092.032.611.691
depqbf_prefix_opt_qdo9000.4900.040.02900.040.030
depqbf_pre_QxQBH42.94.291.9642.351
GhostQ___cegar_pcnf_2019264.9126.4910.9824.9917.341
GhostQ___plain_pcnf_20199000.42900.040.02900.040.040
Hiqqer2019_19000.52900.050.03900.070.060
Hiqqer2019_27620.11762.01289.43900.04495.730.2
Hiqqer2019_39000.33900.030.03900.030.030
Qute_default33.153.323.612.351.421
Qute_opt50033.093.313.622.351.460.9
Qute_rrs24.952.51.322.381.511