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