detailed results (6440 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC256+1.p (content) unsat unsat 0.331s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC255-1.p (content) unsat unsat 0.120s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC255+1.p (content) unsat unsat 0.042s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC254-1.p (content) unsat unsat 0.652s
zip-dev-check /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/SWC217-1.p (content) unsat unsat 3.5s
zip-dev-check /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 9.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC210-1.p (content) unsat unsat 2.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC210+1.p (content) unsat unsat 9.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC209-1.p (content) unsat unsat 0.167s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC209+1.p (content) unsat unsat 0.068s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC208-1.p (content) unsat unsat 0.183s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC208+1.p (content) unsat unsat 0.065s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC207-1.p (content) unsat unsat 2.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC207+1.p (content) unsat unsat 8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC206-1.p (content) unsat unsat 2.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC206+1.p (content) unsat unsat 9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC205-1.p (content) unsat unsat 2.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC204-1.p (content) unsat unsat 5.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC203-1.p (content) unsat unsat 0.042s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC203+1.p (content) unsat unsat 0.046s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC189-1.p (content) unsat unsat 0.918s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC189+1.p (content) unsat unsat 0.928s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC185-1.p (content) unsat unsat 0.846s