Is it satisfiable that there is a counterexample to the preservation of {0} x ev3 by f?
unsat
Is it satisfiable that there is a counterexample to the preservation of GammmaL2-chi3 by f?
unsat
Is it satisfiable that there is a counterexample to the preservation of {0} x ev4 by f?
sat
 [ y1  y2  y3  ]
 [ y4  y5  y6  ]
 [ y7  y8  y9  ]
 [ y10 y11 y12 ]
 [ y13 y14 y15 ]
 all columns in {0} x ev4,
 all rows in the domain of f.
((y1 false))
((y2 false))
((y3 false))
((y4 true))
((y5 false))
((y6 true))
((y7 true))
((y8 true))
((y9 true))
((y10 true))
((y11 false))
((y12 false))
((y13 true))
((y14 true))
((y15 false))
Is it satisfiable that there is a counterexample to the preservation of {0} x ev4 x {1} by f?
sat
 [ y1  y2  y3  ]
 [ y4  y5  y6  ]
 [ y7  y8  y9  ]
 [ y10 y11 y12 ]
 [ y13 y14 y15 ]
 [ y16 y17 y18 ]
 all columns in {0} x ev4 x {1},
 all rows in the domain of f.
((y1 false))
((y2 false))
((y3 false))
((y4 true))
((y5 true))
((y6 false))
((y7 true))
((y8 true))
((y9 true))
((y10 true))
((y11 false))
((y12 false))
((y13 true))
((y14 false))
((y15 true))
((y16 true))
((y17 true))
((y18 true))