Make IVC engine more resilient to 'unknown' results from solver
Make IVC engine more resilient to 'unknown' results from solver

lgwagner/jkind,agacek/jkind,andrewkatis/jkind-1,agacek/jkind,andrewkatis/jkind-1,lgwagner/jkind