detailed results (1 total)

proverfileresexpectedtime
sidekicktests/unsat/PEQ011_size7.smt2(content)unknownunsat11.8s