Family jmc_quant_squaring results for solvers
QBFEVAL'18 - Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20183600.21900.050.02900.060.040
GhostQ_PG___cegar_qcir_20183600.14900.040.03900.040.040
GhostQ_PG___plain_qcir_20183600.13900.030.02900.030.030
PortfolioGhostQQfunQuAbSQute___pf228.177.040.097.050.190
PortfolioGhostQQfunQuAbSQute___pf31811.75452.94447.14452.94894.290
PortfolioGhostQQfunQuAbSQute___pfs917.21229.3387.245.74447.160
QFUN3600.26900.070.03900.070.060
Quabs_20183600.22900.060.04900.050.060
quabs___caqe-bloqqer3045.19761.3240.36900.05277.60.25
quabs___caqe-hqspre3600.14900.040.02900.030.030
Qute_hybrid3528.41882.131.06900.0335.90.25
Qute_opt6173600.27900.070.02900.080.040
Qute_opt9932969.07742.27273.31900.05315.620.25