detailed results (20646 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO023^1.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO022^1.p (content) timeout unsat 9.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO021^1.p (content) unsat unsat 0.023s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO020^1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO019^1.p (content) unsat unsat 0.024s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO018^1.p (content) unsat unsat 0.031s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO017^1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO016^1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO015^1.p (content) unsat unsat 0.025s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO013^1.p (content) unsat unsat 0.022s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO012^1.p (content) unsat unsat 0.047s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO011^1.p (content) unknown unsat 0.029s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO010^1.p (content) unknown unsat 0.078s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO009^1.p (content) unsat unsat 0.025s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO008^1.p (content) unknown unsat 0.032s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO007^1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO006^1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO005^1.p (content) unknown unsat 0.033s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO004^1.p (content) unknown unsat 0.032s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO003^1.p (content) unknown unsat 0.032s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO002^1.p (content) unknown unsat 1.5s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO001^1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN999^1.p (content) unknown unsat 2.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN998^1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN997^1.p (content) unknown unsat 0.023s