detailed results (12865 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC254-1.p (content) unsat unsat 0.738s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC254-1.p (content) unsat unsat 0.674s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC254+1.p (content) unsat unsat 0.049s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC254+1.p (content) unsat unsat 0.054s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC217-1.p (content) unsat unsat 3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC217-1.p (content) unsat unsat 3.4s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC213-1.p (content) unsat unsat 2.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC213-1.p (content) unsat unsat 2.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC213+1.p (content) unsat unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC213+1.p (content) unsat unsat 9.7s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC210-1.p (content) unsat unsat 2.5s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC210-1.p (content) unsat unsat 2.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC210+1.p (content) unsat unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC210+1.p (content) unsat unsat 8.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC209-1.p (content) unsat unsat 0.224s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC209-1.p (content) unsat unsat 0.219s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC209+1.p (content) unsat unsat 0.066s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC209+1.p (content) unsat unsat 0.064s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC208-1.p (content) unsat unsat 0.167s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC208-1.p (content) unsat unsat 0.168s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC208+1.p (content) unsat unsat 0.064s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC208+1.p (content) unsat unsat 0.065s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC207-1.p (content) unsat unsat 3.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC207-1.p (content) unsat unsat 3.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC207+1.p (content) unsat unsat 7.2s