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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.010.010.010.0101
CSBJ0.010.010.010.0101
GRL0.020.0100.0101
openQbf0.460.2300.2301
orSAT1802.02901.010901.0100
QBFL-BS0.020.010.010.0101
QBFL-JW0.030.020.010.0201
QMRes0.650.330.080.3301
QSAT0.020.0100.0101
QUANTOR0.010.010.010.0101
QUBE-BJ1.9910.02101
QUBE-LRN1.940.9700.9701
semprop0.020.0100.0101
sSolve0.030.020.010.0201
WalkQSAT0.030.020.010.0201
yQuaffle1802901090100