Instances of family wmiforward solved by Caqe-hqspre
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
stmt25_597_598SAT0
stmt44_554_604SAT0
stmt5_731_730SAT0
stmt9_445_446SAT0
stmt16_818_819SAT0
stmt124_966_965SAT0
stmt41_262_275SAT6.66
stmt2_976_999FAIL900.01
stmt27_93_98FAIL900.02
stmt1_79_80FAIL900.07
stmt25_52_53FAIL900.09