Suite Klieber results for solvers
Crafted Instances Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo9032.2451.61448.39454.07897.720.5
Caqe-hqspre7735.58386.78424.5584.71895.130.6
caqe-pre7739.25386.96424.4385.95895.130.6
depqbf_prefix_opt_qdo11775.52588.78298.81524.91555.140.55
depqbf_pre_QxQBH14923.7746.19311.8590000.2
GhostQ___cegar_pcnf_20191201.7860.09132.7219.5244.211
GhostQ___plain_pcnf_201918000900090000
iprover_bloqqer_schedule18000900090000
iprover_bloqqer_single18000900090000
nanoqbf_bloqqer9062.33453.12446.9460.25895.930.5
nanoqbf_hqspre9286.41464.32437.07534.76892.460.5
Qute_default17100.87855.04195.9690000.05
Qute_opt50033.851.690.881.541.70
Qute_rrs18000900090000
Rareqs_20189102.64455.13445.34498.64899.670.5