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 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO054^2.p (content) timeout sat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO054^1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO053^2.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO053^1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO052^2.p (content) timeout unsat 10s
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 10s
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 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO050^1.p (content) timeout sat 10s
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 10s
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 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO045^1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO044^1.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO043^2.p (content) unknown sat 0.097s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO043^1.p (content) unsat unsat 0.021s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO042^2.p (content) error unsat 0.015s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO042^1.p (content) error unsat 0.018s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO041^2.p (content) unsat unsat 0.219s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO041^1.p (content) unsat unsat 0.296s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO040^2.p (content) unsat unsat 0.051s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO040^1.p (content) unsat unsat 0.048s