Family RobotsD3 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ25103.172510.329482487.81962.070.5
GRL716.0771.6113.5371.5915.311
openQbf3103.97310.462.56332.82141.871
preQuantor453.5945.3625.7247.9350.470
Qbfl60005.346000.530.836000.951.990
Quaffle5677.82567.785.15567.77100
QUANTOR508.7950.8819.3641.629.580
QUANTOR_hc518.9951.919.9941.948.820
qube3.066.486.651.456.582.671
qube4.0146.1914.623.7113.34.741
qube5.0146.9214.693.613.464.691
semprop4696.73469.67167.01600.95345.450.4
sKizzo-0.9-abs22.692.270.652.441.141
sKizzo-0.9-grn5992.64599.260.22599.340.510
sKizzo-0.9-std73.347.332.2172.581
SQBF832.5683.2614.7579.3713.481
sSolve318.5931.867.0534.3414.821
ssolve+ut494.0949.418.1852.8717.811
ssolve-ut318.631.867.0734.1915.241
WalkQSAT679.6467.969.3272.9420.130
yQuaffle37.883.790.543.981.061