Refute: require false
Very simple verification case that applies both `requires true` and `requires false` in contracts of methods.
|Path to example file||refute/Sat.java|
|Lines of code||15 lines (comments not included)|
|Lines of specification||6 lines (40% of the total)|
|Computation time||19776 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.