detailed results (45 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/tests/test_theory_detect.p (content) timeout unknown 10s
zip-dev /home/simon/workspace/zipperposition/examples/sledgehammer/prob_e_1.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/sat/isabelle1.p (content) timeout unknown 9.0s
zip-dev /home/simon/workspace/zipperposition/examples/regression/SWW616=2.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/examples/regression/DAT267^1.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/examples/problems/pb1.p (content) timeout unknown 11s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb68.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb54.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb53.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb38.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/int_nat4_arith.p (content) timeout unknown 9.9s
zip-dev /home/simon/workspace/zipperposition/examples/ind/tree_nat1.p (content) timeout unknown 10s
zip-dev /home/simon/workspace/zipperposition/examples/ind/tree5.p (content) timeout unknown 9.9s
zip-dev /home/simon/workspace/zipperposition/examples/ind/tree4.p (content) timeout unknown 10s
zip-dev /home/simon/workspace/zipperposition/examples/ind/tree3.p (content) timeout unknown 10s
zip-dev /home/simon/workspace/zipperposition/examples/ind/tree2_easy.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/ind/tree2.p (content) timeout unknown 9.9s
zip-dev /home/simon/workspace/zipperposition/examples/ind/tree1.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat7_hard.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat7.p (content) timeout unknown 9.0s