DLV performance

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):