Family C5315 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ2.150.540.010.540.021
GRL652.34163.09163.11158.15325.910.5
openQbf24003.576000.890.026000.90.050
preQuantor2.140.540.020.530.021
Qbfl23965.35991.335.745991.6911.440
Quaffle12259.953064.992935.7431305868.610.5
QUANTOR0.420.110.020.110.031
QUANTOR_hc0.450.110.030.110.051
qube3.01905.61476.4277.07599.29351.250.5
qube4.07197.571799.392437.64598.372999.950.25
qube5.01792.93448.23256.31594.83297.510.25
semprop2403.52600.880.12600.890.240
sKizzo-0.9-abs22.725.686.013.7210.571
sKizzo-0.9-grn29.637.4110.571.8214.021
sKizzo-0.9-std23.215.86.213.6910.81
SQBF2.210.550.020.550.041
sSolve12000.563000.142999.793000.075999.580.5
ssolve+ut12000.83000.22999.813000.125999.610.5
ssolve-ut12001.373000.342999.953000.335999.90.5
WalkQSAT655.39163.85163.82158.63327.30.25
yQuaffle6536.131634.032523.17269.183119.940.75