detailed results (236 total)

prover file res expected time
zip-dev /home/simon/w/these/zipperposition/tests/test_theory_detect.p (content) timeout unknown 10s
zip-dev /home/simon/w/these/zipperposition/examples/why3_2_monomorph.p (content) unsat unknown 2.5s
zip-dev /home/simon/w/these/zipperposition/examples/why3_2.p (content) unsat unknown 0.091s
zip-dev /home/simon/w/these/zipperposition/examples/why3_1.p (content) unsat unknown 0.224s
zip-dev /home/simon/w/these/zipperposition/examples/sledgehammer/prob_e_1.p (content) timeout unknown 9.8s
zip-dev /home/simon/w/these/zipperposition/examples/sat/isabelle2.p (content) sat unknown 0.043s
zip-dev /home/simon/w/these/zipperposition/examples/sat/isabelle1.p (content) timeout unknown 9.0s
zip-dev /home/simon/w/these/zipperposition/examples/regression/typing_app.p (content) sat unknown 0.027s
zip-dev /home/simon/w/these/zipperposition/examples/regression/SYN994^1.p (content) sat sat 0.022s
zip-dev /home/simon/w/these/zipperposition/examples/regression/SWW616=2.p (content) timeout unsat 9.9s
zip-dev /home/simon/w/these/zipperposition/examples/regression/RNG108+1.p (content) unsat unsat 2.1s