detailed results (12888 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET108-6.p (content) unsat unsat 0.062s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET108+1.p (content) unsat unsat 0.560s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET108+1.p (content) unsat unsat 0.505s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET105-7.p (content) unsat unsat 0.875s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET105-7.p (content) unsat unsat 0.875s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET102-7.p (content) unsat unsat 0.194s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET102-7.p (content) unsat unsat 0.166s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET102-6.p (content) unsat unsat 0.085s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET102-6.p (content) unsat unsat 0.076s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET102+1.p (content) unsat unsat 0.084s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET102+1.p (content) unsat unsat 0.085s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET101-7.p (content) unsat unsat 0.059s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET101-7.p (content) unsat unsat 0.060s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET101-6.p (content) unsat unsat 0.059s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET101-6.p (content) unsat unsat 0.053s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET101+1.p (content) unsat unsat 0.076s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET101+1.p (content) unsat unsat 0.075s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET096-6.p (content) unsat unsat 0.564s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET096-6.p (content) unsat unsat 0.480s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET095-7.p (content) unsat unsat 0.680s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET095-7.p (content) unsat unsat 0.838s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET095-6.p (content) unsat unsat 0.465s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET095-6.p (content) unsat unsat 0.464s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET095+4.p (content) unsat unsat 0.081s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET095+4.p (content) unsat unsat 0.082s