detailed results (960 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN885-1.p (content) unknown unsat 2.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN884-1.p (content) unknown unsat 2.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN884-1.p (content) unknown unsat 2.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN883-1.p (content) unknown unsat 0.663s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN883-1.p (content) unknown unsat 0.607s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN882-1.p (content) unknown unsat 0.511s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN882-1.p (content) unknown unsat 0.540s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN881-1.p (content) unknown unsat 0.517s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN881-1.p (content) unknown unsat 0.606s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN880-1.p (content) unknown unsat 0.589s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN880-1.p (content) unknown unsat 0.513s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN879-1.p (content) unknown unsat 0.210s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN879-1.p (content) unknown unsat 0.205s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN878-1.p (content) unknown unsat 0.176s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN878-1.p (content) unknown unsat 0.207s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN877-1.p (content) unknown unsat 0.169s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN877-1.p (content) unknown unsat 0.171s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN876-1.p (content) unknown unsat 0.450s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN876-1.p (content) unknown unsat 0.458s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN875-1.p (content) unknown unsat 0.172s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN875-1.p (content) unknown unsat 0.149s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN874-1.p (content) unknown unsat 0.149s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN874-1.p (content) unknown unsat 0.151s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN873-1.p (content) unknown unsat 0.176s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN873-1.p (content) unknown unsat 0.184s