detailed results (12847 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET096-6.p (content) unsat unsat 0.516s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET095-7.p (content) unsat unsat 0.739s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET095-7.p (content) unsat unsat 0.827s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET095-6.p (content) unsat unsat 0.528s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET095-6.p (content) unsat unsat 0.539s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET095+4.p (content) unsat unsat 0.098s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET095+4.p (content) unsat unsat 0.087s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET095+1.p (content) unsat unsat 0.527s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET095+1.p (content) unsat unsat 0.587s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET094-6.p (content) unsat unsat 0.239s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET094-6.p (content) unsat unsat 0.270s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET094+1.p (content) unsat unsat 0.654s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET094+1.p (content) unsat unsat 0.664s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET093-7.p (content) unsat unsat 0.037s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET093-7.p (content) unsat unsat 0.034s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET093-6.p (content) unsat unsat 0.046s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET093-6.p (content) unsat unsat 0.041s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET093+1.p (content) unsat unsat 0.032s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET093+1.p (content) unsat unsat 0.033s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET086^1.p (content) unsat unsat 0.034s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET086^1.p (content) unsat unsat 0.036s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET086+1.p (content) unsat unsat 0.338s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET086+1.p (content) unsat unsat 0.384s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET085-7.p (content) unsat unsat 0.049s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET085-7.p (content) unsat unsat 0.049s