detailed results (1 total)

prover file res expected time
sidekick tests/unsat/PEQ011_size7.smt2 (content) unknown unsat 11.8s