detailed results (6472 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN217-1.p (content) unsat unsat 0.236s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN216-1.p (content) unsat unsat 0.247s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN215-1.p (content) unsat unsat 0.527s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN214-1.p (content) unsat unsat 0.959s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN213-1.p (content) unsat unsat 0.575s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN212-1.p (content) unsat unsat 0.532s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN211-1.p (content) unsat unsat 0.534s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN210-1.p (content) unsat unsat 0.593s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN209-1.p (content) unsat unsat 0.580s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN208-1.p (content) unsat unsat 0.697s
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.883s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN205-1.p (content) unsat unsat 0.927s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN204-1.p (content) unsat unsat 0.980s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN203-1.p (content) unsat unsat 0.701s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN202-1.p (content) unsat unsat 0.343s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN201-1.p (content) unsat unsat 0.202s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN200-1.p (content) unsat unsat 0.158s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN199-1.p (content) unsat unsat 0.165s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN198-1.p (content) unsat unsat 0.171s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN197-1.p (content) unsat unsat 0.053s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN196-1.p (content) unsat unsat 0.157s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN195-1.p (content) unsat unsat 1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN194-1.p (content) unsat unsat 0.633s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN193-1.p (content) unsat unsat 0.521s