full_ispan_varflank_z3_2014-04-08