Result Analysis

On this page we provide a further analysis of the solver's runtimes. Moreover, we give the sizes of the CNF instances (in number of variables and clauses) used in the Main and Parallel Track.

Runtime comparison of all solvers of the Main Track: threshold runtime (T_thr, in seconds) plotted against number of solved instances.

Runtime comparison of all solvers of Special Track 1 (CNF parallel): threshold runtime (T_thr, in seconds) plotted against number of solved instances.

CNF instance sizes: number of clauses of each instance plotted against the number of variables of the instance.

Runtime comparison of all solvers of Special Track 2 (AIG sequential): threshold runtime (T_thr, in seconds) plotted against number of solved instances.