Family mA-t2-1qbf-5cnf-160var-2560cl results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL371.8337.187.2736.6314.020
openQbf1905.08190.51254.64125.36196.150.9
qbfbdd1204.87120.49127.1580.1576.971
QbflHR2511.21251.12351.417.52309.450.8
QChaffLearn380.3938.047.5839.0314.160
QMRes9005.39900.540.14900.610.310
QUANTOR1502.43150.24130.72106.85145.261
semprop5133.9513.39425.85763.7900.690.5
skizzo_v0.4252.6525.2774.430.340.511
skizzo_v0.5251.7225.1774.140.350.571
sSolve2.290.230.250.120.111
WalkQSAT375.2837.537.3637.1813.590
yQuaffle122.8612.2917.92.875.11