equal
deleted
inserted
replaced
201 |
201 |
202 * Sledgehammer: |
202 * Sledgehammer: |
203 - Update of bundled provers: |
203 - Update of bundled provers: |
204 . E 2.6 |
204 . E 2.6 |
205 . Vampire 4.6 (with Open Source license) |
205 . Vampire 4.6 (with Open Source license) |
206 . veriT 2021.06-rmx |
206 . veriT 2021.06.1-rmx |
207 . Zipperposition 2.1 |
207 . Zipperposition 2.1 |
208 . Z3 4.4.1 for arm64-linux, which approximates Z3 4.4.0pre, |
208 . Z3 4.4.1 for arm64-linux, which approximates Z3 4.4.0pre, |
209 but sometimes failes or crashes |
209 but sometimes failes or crashes |
210 - Adjusted default provers: |
210 - Adjusted default provers: |
211 cvc4 vampire verit e spass z3 zipperposition |
211 cvc4 vampire verit e spass z3 zipperposition |