detailed results (1657 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL223-1.p (content) timeout unknown 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL223-1.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL221-3.p (content) timeout unknown 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL221-3.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL221-1.p (content) timeout unknown 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL221-1.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL218-1.p (content) unsat unknown 0.469s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL218-1.p (content) unsat unknown 0.468s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL217-1.p (content) unsat unknown 0.562s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL217-1.p (content) unsat unknown 0.570s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL215-1.p (content) unsat unknown 0.601s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL215-1.p (content) unsat unknown 0.611s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL214-3.p (content) timeout unknown 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL214-3.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL212-3.p (content) unsat unknown 0.033s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL212-3.p (content) unsat unknown 0.039s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL212-1.p (content) unsat unknown 0.596s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL212-1.p (content) unsat unknown 0.613s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL211-1.p (content) unsat unknown 0.481s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL211-1.p (content) unsat unknown 0.489s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL210-3.p (content) unsat unknown 0.184s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL210-3.p (content) unsat unknown 0.238s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL210-1.p (content) unsat unknown 0.491s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL210-1.p (content) unsat unknown 0.498s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL209-1.p (content) timeout unknown 9.8s