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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn15.867.937.857.9301
CSBJ929.8464.9436.1464.900.5
GRL21.6710.8410.5710.8401
openQbf1802.02901.010901.0100
orSAT1802.01901.010.01901.0100
QBFL-BS1802.02901.010901.0100
QBFL-JW1802.01901.010.01901.0100
QMRes1802.2901.10.07901.100
QSAT21.7610.889.7110.8801
QUANTOR24.6412.320.0812.3200
QUBE-BJ4.912.461.192.4601
QUBE-LRN2.061.030.031.0301
semprop1.320.660.630.6601
sSolve0.060.030.010.0301
WalkQSAT932.1466.05434.95466.0500.5
yQuaffle1415.87707.94109.92707.9400