Family mB-t2-3qbf-5cnf-150var-300cl results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.020.0100.0101
CSBJ000001
GRL0.020.0100.0101
openQbf0.40.20.020.201
orSAT1802.01901.010.01901.0100
QBFL-BS3.411.711.711.7101
QBFL-JW0.020.0100.0101
QMRes0.410.210.020.2101
QSAT0.010.010.010.0101
QUANTOR0.020.0100.0101
QUBE-BJ1.950.980.010.9801
QUBE-LRN000000
semprop000001
sSolve0.020.0100.0101
WalkQSAT000001
yQuaffle1802.01901.010.01901.0100