Home Separation Logic Specs Tools Thanks
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.
Last modified: Thu Dec 18 00:23:56 CET 2014