I have recently been thinking about left and right semi-model categories and in which case they can be promoted to Quillen model structure, and I have come to the conclusion that that absolutely all the techniques I have ever seen for constructing full Quillen model structures  (by opposition to construction of left or right semi-model structure) relies at some point on an argument that also implies either left or right properness.

A typical example of this is when a model structure is constructed by combining an argument that would usualy produce a left semi-model structure with the fact that every object is cofibrant, but this also implies left properness (that is typically what happen with Cisinki model structures, and their generalization by Olschok).


I'm very curious to know if the *I* above can be replaced by a *we*, and to be honest I would be very interested in seeing an example of a construction of model structure that use a very different kind of argument than those I already know. Hence my question:

**Is there any known, naturally occurring, example of a Quillen model category that is neither left nor right proper ?**

I don't doubt that model structure that are neither left nor right proper exists, and I think it should be possible to construct an example of a such a non-proper model structure on a poset similarly to the example that Reid Barton has given recently on this other [question][1] of mine (and that would already be nice), but I'm really more interested in "natural" or "interesting" examples.


  [1]: https://mathoverflow.net/questions/325383/counter-example-to-the-existence-of-left-bousfield-localization-of-combinatorial