Tue, 05 Jun 2018 23:26:15 +0200 | wenzelm | more parallelism to cope with 8h30 CPU time; | changeset | files |
Tue, 05 Jun 2018 21:29:54 +0200 | wenzelm | full benchmarks, including all conditional theories; | changeset | files |
Tue, 05 Jun 2018 18:08:13 +0200 | wenzelm | tuned proofs; | changeset | files |