Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). | 1 | 0.34 | 2018 |
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). | 0 | 0.34 | 2018 |
Craig vs. Newton in software model checking | 1 | 0.36 | 2017 |
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). | 2 | 0.37 | 2017 |
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). | 0 | 0.34 | 2017 |
Ultimate Automizer with Two-track Proofs - (Competition Contribution). | 7 | 0.43 | 2016 |
Ultimate Automizer with Array Interpolation - (Competition Contribution). | 3 | 0.38 | 2015 |
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). | 2 | 0.38 | 2014 |