detailed results (41292 total)

proverfileresexpectedtime
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT007+1.p(content)timeoutunsat9.8s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT007+1.p(content)timeoutunsat9.8s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT006+2.p(content)timeoutunsat9.8s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT006+2.p(content)timeoutunsat9.8s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT006+1.p(content)timeoutunsat9.8s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT006+1.p(content)timeoutunsat9.8s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT005+2.p(content)unsatunsat0.511s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT005+2.p(content)unsatunsat0.464s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT005+1.p(content)timeoutunsat9.8s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT005+1.p(content)timeoutunsat9.8s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT004+2.p(content)unsatunsat0.120s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT004+2.p(content)unsatunsat0.085s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT004+1.p(content)unsatunsat0.141s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT004+1.p(content)unsatunsat0.148s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT003+2.p(content)unsatunsat0.509s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT003+2.p(content)unsatunsat0.510s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT003+1.p(content)unsatunsat0.381s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT003+1.p(content)unsatunsat0.385s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT002+2.p(content)unsatunsat0.098s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT002+2.p(content)unsatunsat0.092s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT002+1.p(content)unsatunsat0.227s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT002+1.p(content)unsatunsat0.223s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT001+2.p(content)unsatunsat0.250s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT001+2.p(content)unsatunsat0.251s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT001+1.p(content)unsatunsat0.117s