detailed results (236 total)

prover file res expected time
zip-dev /home/simon/w/these/zipperposition/tests/test_theory_detect.p (content) timeout unknown 10.2s
zip-dev /home/simon/w/these/zipperposition/examples/why3_2_monomorph.p (content) unsat unknown 1.8s
zip-dev /home/simon/w/these/zipperposition/examples/why3_2.p (content) unsat unknown 0.086s
zip-dev /home/simon/w/these/zipperposition/examples/why3_1.p (content) unsat unknown 0.319s
zip-dev /home/simon/w/these/zipperposition/examples/sledgehammer/prob_e_1.p (content) timeout unknown 9.9s
zip-dev /home/simon/w/these/zipperposition/examples/sat/isabelle2.p (content) sat unknown 0.038s
zip-dev /home/simon/w/these/zipperposition/examples/sat/isabelle1.p (content) timeout unknown 9.8s
zip-dev /home/simon/w/these/zipperposition/examples/regression/typing_app.p (content) sat unknown 0.029s
zip-dev /home/simon/w/these/zipperposition/examples/regression/SYN994^1.p (content) sat sat 0.026s
zip-dev /home/simon/w/these/zipperposition/examples/regression/SWW616=2.p (content) timeout unsat 10.1s
zip-dev /home/simon/w/these/zipperposition/examples/regression/RNG108+1.p (content) unsat unsat 1.3s