Family mB-t2-2qbf-5cnf-100var-400cl results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn2.821.410.71.4101
CSBJ2.871.440.721.4401
GRL7.223.612.043.6101
openQbf1.420.710.40.7101
orSAT1802.01901.010.01901.0100
QBFL-BS0.060.030.020.0301
QBFL-JW115.5657.7831.5557.7801
QMRes1802.04901.020.01901.0200
QSAT1802.01901.010.01901.0100
QUANTOR27.2913.650.0613.6500
QUBE-BJ1.960.9800.9801
QUBE-LRN000000
semprop0.040.020.010.0201
sSolve0.020.0100.0101
WalkQSAT4.332.170.642.1701
yQuaffle1802.02901.010901.0100