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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo5400.15900.030.01900.030.020
Caqe-hqspre4223.01703.84308.18900.01820.910.167
caqe-pre4578.59763.1306.21900.03821.640.167
depqbf_prefix_opt_qdo4214.53702.42325.82900.02882.930.333
depqbf_pre_QxQBH4552.09758.68316.06900.02848.070.167
GhostQ___cegar_pcnf_20195400.36900.060.04900.070.090
GhostQ___plain_pcnf_20195400.26900.040.03900.040.040
Hiqqer2019_14506.34751.06333.15900.05893.940.167
Hiqqer2019_24504.38750.73333.51900.01895.030.167
Hiqqer2019_34507.76751.29332.61900.04892.480.167
Qute_default3684.7614.12405.1900.02900.020.333
Qute_opt500000000
Qute_rrs4500.25750.04335.42900.04900.010.167