detailed results (976 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR085+3.p (content) error unknown 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR085+2.p (content) error unknown 0.317s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR085+2.p (content) error unknown 0.320s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR085+1.p (content) error unknown 0.134s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR085+1.p (content) error unknown 0.212s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR084+7.p (content) error unknown 0.782s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR084+7.p (content) error unknown 0.738s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR084+6.p (content) error unknown 0.857s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR084+6.p (content) error unknown 0.854s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR084+5.p (content) error unknown 0.202s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR084+5.p (content) error unknown 0.219s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR084+4.p (content) error unknown 0.107s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR084+4.p (content) error unknown 0.106s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR084+3.p (content) error unknown 1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR084+3.p (content) error unknown 1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR084+2.p (content) error unknown 0.421s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR084+2.p (content) error unknown 0.346s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR084+1.p (content) error unknown 0.156s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR084+1.p (content) error unknown 0.154s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR083+6.p (content) error unknown 0.784s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR083+6.p (content) error unknown 0.783s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR083+5.p (content) error unknown 0.199s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR083+5.p (content) error unknown 0.199s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR083+4.p (content) error unknown 0.135s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR083+4.p (content) error unknown 0.118s