new results file (automative benchs) with exit code checked
new results file (automative benchs) with exit code checked


pmatos/maxsatzilla,pmatos/maxsatzilla,pmatos/maxsatzilla,pmatos/maxsatzilla,pmatos/maxsatzilla