Suite Mangassarian-Veneris results for solvers
Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo15525.42776.27293.3790000.2
Caqe-hqspre9806.85490.34357.15585.25757.370.75
caqe-pre9002.22450.11344.44454.94782.760.7
depqbf_prefix_opt_qdo12642.99632.15385.17900785.370.35
depqbf_pre_QxQBH12377.74618.89376.32877.5812.970.4
GhostQ___cegar_pcnf_201916120.04806219.0390000.15
GhostQ___plain_pcnf_201916944.02847.2180.5690000.05
iprover_bloqqer_schedule17987.85899.392.6590000.05
iprover_bloqqer_single18000900090000
nanoqbf_bloqqer8132.64406.63343.43336.13754.930.55
nanoqbf_hqspre9464.68473.23372.69481.35805.460.65
Qute_default10190.24509.51355.38544.36767.840.6
Qute_opt5007449.48372.47241.83434.18411.770.45
Qute_rrs9630.53481.53342.28455.58768.170.7
Rareqs_20187285.11364.26393.25131.2893.430.7