detailed results (77 total)

prover file res expected time
z3 /home/simon/workspace/benchpress/../sidekick/tests/unsat/v1l90033.cvc.smt2 (content) unsat unsat 0.068s
z3 /home/simon/workspace/benchpress/../sidekick/tests/unsat/v1l50092.cvc.smt2 (content) unsat unsat 0.057s