detailed results (1657 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL236-3.p (content) unsat unknown 0.178s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL236-1.p (content) unsat unknown 0.034s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL236-1.p (content) unsat unknown 0.036s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL235-3.p (content) unsat unknown 8.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL235-3.p (content) unsat unknown 8.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL235-1.p (content) timeout unknown 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL235-1.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL231-3.p (content) timeout unknown 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL231-3.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL231-1.p (content) unsat unknown 0.360s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL231-1.p (content) unsat unknown 0.359s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL230-3.p (content) timeout unknown 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL230-3.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL229-3.p (content) timeout unknown 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL229-3.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL228-3.p (content) timeout unknown 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL228-3.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL226-1.p (content) unsat unknown 0.093s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL226-1.p (content) unsat unknown 0.097s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL225-3.p (content) timeout unknown 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL225-3.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL224-1.p (content) timeout unknown 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL224-1.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL223-3.p (content) timeout unknown 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL223-3.p (content) timeout unknown 9.8s