fixed nil variable, definitions used in benchmark, infos about solvers (partial), infos about results and benchmarks