detailed results (12847 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG106+1.p (content) unsat unsat 10.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG105+1.p (content) unsat unsat 3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG105+1.p (content) unsat unsat 4.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG102+1.p (content) unsat unsat 2.0s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG102+1.p (content) unsat unsat 10.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG095+1.p (content) unsat unsat 0.173s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG095+1.p (content) unsat unsat 0.191s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG094+1.p (content) unsat unsat 0.147s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG094+1.p (content) unsat unsat 0.157s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG093+1.p (content) unsat unsat 0.708s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG093+1.p (content) unsat unsat 0.739s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG092+1.p (content) unsat unsat 0.149s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG092+1.p (content) unsat unsat 0.166s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG091+1.p (content) unsat unsat 0.172s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG091+1.p (content) unsat unsat 0.178s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG090+1.p (content) unsat unsat 0.130s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG090+1.p (content) unsat unsat 0.160s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG089+1.p (content) unsat unsat 0.334s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG089+1.p (content) unsat unsat 0.439s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG088+1.p (content) unsat unsat 0.431s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG088+1.p (content) unsat unsat 0.443s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG087+1.p (content) unsat unsat 0.396s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG087+1.p (content) unsat unsat 0.408s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG086+1.p (content) unsat unsat 0.496s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG086+1.p (content) unsat unsat 0.386s