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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.010.010.010.0101
CSBJ000001
GRL0.040.0200.0201
openQbf0.420.210.010.2101
orSAT1802901090100
QBFL-BS0.030.020.010.0201
QBFL-JW0.020.0100.0101
QMRes0.710.360.020.3601
QSAT0.020.0100.0101
QUANTOR0.020.0100.0101
QUBE-BJ1.950.980.010.9801
QUBE-LRN000000
semprop0.010.010.010.0101
sSolve0.030.020.010.0201
WalkQSAT0.030.020.010.0201
yQuaffle1802.02901.010901.0100