Sota solver results for family hwmcc <br> QBFEVAL'18

Instance	Solver	Result	Time
beemldelec4b1_c0to127.sat	Caqe-hqspre	SAT	94.78

QBF Solver Evaluation Portal