Family Sorting_networks results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ229809.022735.822912.39115.215992.980.571
GRL39485.76470.07237.86600.7235.870.238
openQbf465286.015539.121538.446000.880.070.083
preQuantor21430.19255.121106.4648.151.510.464
Qbfl267930.543189.652744.16599.75400.230.107
Quaffle205157.372442.352645.73555.285465.730.131
QUANTOR5270.3762.74123.2243.0355.830.452
QUANTOR_hc5297.3563.06123.1242.7455.890.452
qube3.0278776.473318.772906.495995.085968.810.429
qube4.0266493.313172.542812.463328.855947.370.429
qube5.0266490.173172.52812.853318.865960.430.429
semprop32404.1385.76281.81600.99599.70.393
sKizzo-0.9-abs249938.712975.462843.552397.475978.010.417
sKizzo-0.9-grn27058.37322.12945.2787.91225.090.488
sKizzo-0.9-std84620.681007.391746.63260.73748.920.357
SQBF120458.641434.031845.33681.672456.690.44
sSolve412607.014911.992258.46000.240.370.214
ssolve+ut407231.9548482302.086000.250.360.214
ssolve-ut412564.784911.492258.476000.270.120.214
WalkQSAT34342.62408.84259.43600.33530.930.298
yQuaffle48171.92573.48892.32596.68576.650.321