detailed results (976 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR093+2.p (content) error unknown 0.287s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR093+1.p (content) error unknown 0.136s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR093+1.p (content) error unknown 0.134s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR092+6.p (content) error unknown 0.881s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR092+6.p (content) error unknown 0.796s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR092+5.p (content) error unknown 0.189s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR092+5.p (content) error unknown 0.226s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR092+4.p (content) error unknown 0.116s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR092+4.p (content) error unknown 0.115s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR092+3.p (content) error unknown 1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR092+3.p (content) error unknown 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR092+2.p (content) error unknown 0.350s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR092+2.p (content) error unknown 0.336s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR092+1.p (content) error unknown 0.148s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR092+1.p (content) error unknown 0.149s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR091+6.p (content) error unknown 0.800s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR091+6.p (content) error unknown 0.786s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR091+5.p (content) error unknown 0.199s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR091+5.p (content) error unknown 0.217s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR091+4.p (content) error unknown 0.114s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR091+4.p (content) error unknown 0.136s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR091+3.p (content) error unknown 1.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR091+3.p (content) error unknown 1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR091+2.p (content) error unknown 0.316s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR091+2.p (content) error unknown 0.402s