Instances of family wmiforward solved by predyndep
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
stmt9_445_446SAT0
stmt124_966_965SAT0
stmt16_818_819SAT0
stmt44_554_604SAT0
stmt5_731_730SAT0
stmt41_262_275SAT0
stmt25_52_53SAT0.69
stmt1_79_80SAT0.71
stmt27_93_98SAT0.79
stmt2_976_999SAT8.25