detailed results (20646 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO055^1.p (content) timeout sat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO054^2.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO054^1.p (content) timeout sat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO053^2.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO053^1.p (content) timeout sat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO052^2.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO052^1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO051^2.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO051^1.p (content) timeout sat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO050^2.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO050^1.p (content) timeout sat 9.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO049^1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO048^1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO047^1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO046^1.p (content) timeout unsat 9.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO045^1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO044^1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO043^2.p (content) unknown sat 0.107s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO043^1.p (content) unsat unsat 0.023s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO042^2.p (content) error unsat 0.016s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO042^1.p (content) error unsat 0.020s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO041^2.p (content) unsat unsat 0.161s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO041^1.p (content) unsat unsat 0.295s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO040^2.p (content) unsat unsat 0.054s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO040^1.p (content) unsat unsat 0.047s