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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo6469.92646.99371.53889.61811.860.5
Caqe-hqspre4249.88424.99376.76368.42703.40.8
caqe-pre2868.73286.87238.82304.53433.681
depqbf_prefix_opt_qdo3644.62364.46391.61114.48625.540.7
depqbf_pre_QxQBH3439.52343.95363.9887.03595.470.8
GhostQ___cegar_pcnf_20197119.2711.92280.1900.01634.880.3
GhostQ___plain_pcnf_20197936.74793.67245.17900.05259.480.1
Hiqqer2019_12161.6216.16349.3614.5862.130.8
Hiqqer2019_23561.01356.1329.16146.27166.480.8
Hiqqer2019_32258.8225.8834616.27149.370.8
Qute_default4283.31428.33355.6368.97538.630.7
Qute_opt5002826.77282.68196.01326.19401.980.5
Qute_rrs3844.29384.43322.87324.79452.490.8