Family k_lin_p results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.420.080.050.070.071
GRL293.4758.6954.6533.4359.341
openQbf30003.416000.680.346000.850.430
preQuantor0.390.080.050.080.081
Qbfl16711.73342.342413.043540.414166.050
Quaffle11.932.392.122.582.471
QUANTOR0.790.160.110.10.131
QUANTOR_hc0.110.020.020.020.031
qube3.026.645.334.254.635.811
qube4.079.8815.9812.5314.9618.881
qube5.04.010.80.461.060.871
semprop3004.97600.990.016010.010
sKizzo-0.9-abs0.540.110.070.080.091
sKizzo-0.9-grn0.570.110.070.10.11
sKizzo-0.9-std0.550.110.070.080.11
SQBF0.410.080.050.070.081
sSolve18002.183600.442939.216000.235999.610.4
ssolve+ut6007.711201.542399.342.172.20.8
ssolve-ut18002.183600.442939.186000.25999.560.4
WalkQSAT3004.73600.950.1600.990.130
yQuaffle5.0110.830.580.981