Home Separation Logic Specs Tools Thanks
This page is extracted from the one built for the SMT-COMP 2014 participants.
These solvers have expressed intention to participate in the Separation Logic competition.
| Solver | Preliminary version solver id | Final version solver id | System description | Contacts |
| Cyclist-SL | 1136 | 1136 config 1487 default pre: 113 SL-CYCLIST3 |
Cyclist-SL | Nikos Gorogiannis <nikos.gorogiannis@gmail.com> |
| SLSAT | 1137 | 1137 config 1488 default pre: 117 SL-SAT3 |
SLSAT | Nikos Gorogiannis <nikos.gorogiannis@gmail.com> |
| Asterix | 986 | 986 config 1233 default.sh pre: none |
Asterix | Juan A. Navarro Perez <juan.navarro@ucl.ac.uk>; Andrey Rybalchenko <rybal@microsoft.com> |
| SeLoger 0.5 | 892 | ? | Christoph Haase <haase@lsv.ens-cachan.fr>; | |
| SLEEK | 1084 (default configuration) | 1277 sleek-05 config 1806 default pre: 115 SL-SLEEK3; late correction for output format: 1297 sleek-06, config 1834 default |
SLEEK | Le Quang Loc <locle@comp.nus.edu.sg>; Chin Wei Ngan <chinwn@comp.nus.edu.sg> |
| SLIDE | 920 | 1255 (SLIDE-final) config 1775 SLD_Input pre: 116 SL-SLIDE3 |
SLIDE | Adam Rogalewicz <rogalew@fit.vutbr.cz>Radu IOSIF <; Radu.Iosif@imag.fr>; Tomas Vojnar <vojnar@fit.vutbr.cz> |
| SPEN | 971 | 1280 SPEN 1.09 config 1809 spen.sh pre: 118 SL-SPEN3 |
SPEN | Mihaela Sighireanu <mihaela.sighireanu@gmail.com> |
These solvers have participated in the following divisions.
| Solver | UDB_sat | UDB_entl | sll0a_sat | sll0a_entl | FDB_entl |
| Asterix | X | X | |||
| Cyclist-SL | X | X | X | ||
| SLSAT | X | X | |||
| SLEEK | X | X | X | X | X |
| SLIDE | X | X | |||
| SPEN | X | X | X |
Last modified: Tue Sep 16 21:19:28 CEST 2014