Instances of family wmiforward solved by ghostq-cegar
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
stmt1_30_31SAT0.06
stmt44_107_108SAT0.07
stmt17_18_19SAT0.1
stmt44_107_113SAT0.14
stmt27_296_297SAT0.18
stmt44_916_917SAT0.24
stmt24_765_766SAT0.25
stmt16_950_951SAT0.29
stmt41_738_749SAT0.44
stmt25_52_53SAT0.65