detailed results (6453 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN211-1.p (content) unsat unsat 0.543s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN210-1.p (content) unsat unsat 0.662s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN209-1.p (content) unsat unsat 0.552s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN208-1.p (content) unsat unsat 0.722s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN207-1.p (content) unsat unsat 1.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN206-1.p (content) unsat unsat 0.822s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN205-1.p (content) unsat unsat 0.851s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN204-1.p (content) unsat unsat 0.886s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN203-1.p (content) unsat unsat 0.668s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN202-1.p (content) unsat unsat 0.313s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN201-1.p (content) unsat unsat 0.221s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN200-1.p (content) unsat unsat 0.159s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN199-1.p (content) unsat unsat 0.157s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN198-1.p (content) unsat unsat 0.154s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN197-1.p (content) unsat unsat 0.067s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN196-1.p (content) unsat unsat 0.155s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN195-1.p (content) unsat unsat 0.998s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN194-1.p (content) unsat unsat 0.636s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN193-1.p (content) unsat unsat 0.607s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN192-1.p (content) unsat unsat 0.589s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN191-1.p (content) unsat unsat 0.777s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN190-1.p (content) unsat unsat 1.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN189-1.p (content) unsat unsat 0.234s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN188-1.p (content) unsat unsat 0.245s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN187-1.p (content) unsat unsat 0.234s