detailed results (2241 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-4.p (content) unsat unsat 0.285s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-3.p (content) unsat unsat 0.289s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-1.p (content) unsat unsat 0.133s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-4.p (content) unsat unsat 0.311s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-3.p (content) unsat unsat 0.277s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-1.p (content) unsat unsat 0.172s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-4.p (content) unsat unsat 0.259s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-3.p (content) unsat unsat 0.302s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-2.p (content) unsat unsat 0.029s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-1.p (content) unsat unsat 0.150s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT010-4.p (content) unsat unsat 0.366s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT007-3.p (content) unsat unsat 0.034s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT007-1.p (content) unsat unsat 0.186s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-4.p (content) unsat unsat 0.050s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-3.p (content) unsat unsat 0.070s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-1.p (content) unsat unsat 8.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT005-4.p (content) unsat unsat 0.067s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT005-3.p (content) unsat unsat 0.100s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT003-4.p (content) unsat unsat 0.760s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT003-3.p (content) unsat unsat 0.674s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT001-4.p (content) unsat unsat 0.575s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT001-3.p (content) unsat unsat 0.581s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG439-1.p (content) unsat unsat 0.367s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG438-1.p (content) unsat unsat 2.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG436-1.p (content) unsat unsat 7s