DLV is a deductive database system, based on disjunctive logic programming, which offers front-ends to several advanced KR formalisms.
The DLV binary is built with -O2. Raw data and the latest log-file are also available.
Build time statistics for the DLV binary:
Build time memory usage statistics for the DLV binary:
Text size of the DLV binary:
Run time statistics of the individual test problems (click for splitted graphs):