detailed results (47 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/sledgehammer/prob_e_1.p (content) timeout unknown 9.9s
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/SWW616=2.p (content) timeout unsat 10.1s
zip-dev /home/simon/w/these/zipperposition/examples/regression/DAT267^1.p (content) timeout unsat 10s
zip-dev /home/simon/w/these/zipperposition/examples/problems/pb1.p (content) timeout unknown 11.2s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb68.p (content) timeout unknown 9.8s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb54.p (content) timeout unknown 9.8s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb53.p (content) timeout unknown 10s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb38.p (content) timeout unknown 9.8s
zip-dev /home/simon/w/these/zipperposition/examples/moufang1.p (content) timeout unknown 10s
zip-dev /home/simon/w/these/zipperposition/examples/int_nat4_arith.p (content) timeout unknown 9.8s
zip-dev /home/simon/w/these/zipperposition/examples/ind/tree_nat1.p (content) timeout unknown 9.9s
zip-dev /home/simon/w/these/zipperposition/examples/ind/tree5.p (content) timeout unknown 9.8s
zip-dev /home/simon/w/these/zipperposition/examples/ind/tree4.p (content) timeout unknown 9.8s
zip-dev /home/simon/w/these/zipperposition/examples/ind/tree3.p (content) timeout unknown 10s
zip-dev /home/simon/w/these/zipperposition/examples/ind/tree2_easy.p (content) timeout unknown 9.8s
zip-dev /home/simon/w/these/zipperposition/examples/ind/tree2.p (content) timeout unknown 9.9s
zip-dev /home/simon/w/these/zipperposition/examples/ind/tree1.p (content) timeout unknown 9.9s
zip-dev /home/simon/w/these/zipperposition/examples/ind/nat7_hard.p (content) timeout unknown 9.8s
zip-dev /home/simon/w/these/zipperposition/examples/ind/nat7.p (content) timeout unknown 10s
zip-dev /home/simon/w/these/zipperposition/examples/ind/nat4_easy.p (content) timeout unknown 9.8s