Family mA-t2-2qbf-5cnf-40var-640cl results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ190.1619.021.3218.620.731
GRL0.170.020.010.020.011
openQbf3.320.330.080.30.121
preQuantor163.7416.375.5317.922.470
Qbfl0.120.010.010.010.011
Quaffle751.8675.19222.860.40.811
QUANTOR213.2421.321.7320.971.80
QUANTOR_hc214.3521.441.2621.822.140
qube3.00.180.020.010.020.011
qube4.00.20.020.010.020.021
qube5.00.230.020.010.020.011
semprop0.050.010.0100.011
sKizzo-0.9-abs60006.16000.610.166000.660.30
sKizzo-0.9-grn123.7812.382.6411.543.341
sKizzo-0.9-std125.2912.532.6811.673.291
SQBF195.119.511.2619.272.031
sSolve1.620.160.020.160.011
ssolve+ut1.750.180.020.170.031
ssolve-ut1.830.180.040.190.051
WalkQSAT2472.38247.24289.5234.17600.990.6
yQuaffle0.880.090.130.050.051