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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.020.0100.0101
CSBJ000001
GRL0.040.0200.0201
openQbf69.2734.6411.9934.6401
orSAT1802901090100
QBFL-BS1802.01901.010.01901.0100
QBFL-JW1802.02901.010901.0100
QMRes0.510.260.040.2601
QSAT9.284.643.774.6401
QUANTOR1.270.640.550.6401
QUBE-BJ1.960.9800.9801
QUBE-LRN000000
semprop0.020.0100.0101
sSolve0.030.020.010.0201
WalkQSAT0.020.0100.0101
yQuaffle1802.01901.010.01901.0100