detailed results (41292 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT019+2.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT019+2.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT019+1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT019+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT018+2.p (content) timeout unsat 9.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT018+2.p (content) timeout unsat 9.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT018+1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT018+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT017+2.p (content) unsat unsat 0.148s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT017+2.p (content) unsat unsat 0.144s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT017+1.p (content) unsat unsat 0.161s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT017+1.p (content) unsat unsat 0.163s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT016+2.p (content) unsat unsat 0.253s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT016+2.p (content) unsat unsat 0.233s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT016+1.p (content) unsat unsat 0.220s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT016+1.p (content) unsat unsat 0.196s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT015+2.p (content) unsat unsat 0.083s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT015+2.p (content) unsat unsat 0.083s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT015+1.p (content) unsat unsat 0.118s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT015+1.p (content) unsat unsat 0.105s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT014+2.p (content) unsat unsat 0.144s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT014+2.p (content) unsat unsat 0.135s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT014+1.p (content) unsat unsat 0.201s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT014+1.p (content) unsat unsat 0.114s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT013+2.p (content) timeout unsat 9.8s