detailed results (227 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/tests/test_theory_detect.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/why3_2_monomorph.p (content) unsat unknown 1.6s