detailed results (20646 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO055^1.p (content) timeout sat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO054^2.p (content) timeout sat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO054^1.p (content) timeout sat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO053^2.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO053^1.p (content) timeout sat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO052^2.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO052^1.p (content) timeout sat 9.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO051^2.p (content) timeout sat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO051^1.p (content) timeout sat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO050^2.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO050^1.p (content) timeout sat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO049^1.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO048^1.p (content) timeout unsat 9.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO047^1.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO046^1.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO045^1.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO044^1.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO043^2.p (content) unknown sat 0.110s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO043^1.p (content) unsat unsat 0.034s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO042^2.p (content) error unsat 0.026s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO042^1.p (content) error unsat 0.024s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO041^2.p (content) unsat unsat 2.5s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO041^1.p (content) unsat unsat 0.365s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO040^2.p (content) unsat unsat 0.058s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO040^1.p (content) unsat unsat 0.056s