Home
Separation Logic
Specs
Tools
Thanks

##
Detailed statistics on each division

For each division, the CPU time spent by each solver to replay is given.
Notice that a time > 24000.0s means a timeout.
In blue, the benchmark files on which a participant reaches its minimal solving time.
In orange, the benchmark files on which a participant reaches its maximal solving time (excepting timeout).
In yellow, the benchmarks with some error replay for some solver.

- satisfiability for acyclic singly linked lists
sll0a_sat
- entailment for acyclic singly linked lists
sll0a_entl
- entailment for extended acyclic lists (nested, skip-lists, doubly linked lists)
FDB_entl
- satisfiability for general recursive definitions
UDB_sat
- entailment for general recursive definitions
UDB_entl

Last modified: Thu Dec 18 00:23:56 CET 2014