detailed results (6424 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR041+2.p (content) unsat unsat 0.256s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR041+1.p (content) unsat unsat 0.039s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR040+2.p (content) unsat unsat 7.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR040+1.p (content) unsat unsat 0.053s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR039+1.p (content) unsat unsat 5.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR038+2.p (content) unsat unsat 8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR038+1.p (content) unsat unsat 0.073s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR037+2.p (content) unsat unsat 8.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR037+1.p (content) unsat unsat 0.053s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR036+1.p (content) unsat unsat 9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR035+2.p (content) unsat unsat 0.452s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR035+1.p (content) unsat unsat 0.033s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR034+1.p (content) unsat unsat 0.073s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR033+1.p (content) unsat unsat 0.082s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR032+2.p (content) unsat unsat 2.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR032+1.p (content) unsat unsat 0.042s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR031+2.p (content) unsat unsat 2.0s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR031+1.p (content) unsat unsat 0.038s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR030+2.p (content) unsat unsat 3.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR030+1.p (content) unsat unsat 0.054s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR029+1.p (content) unsat unsat 0.053s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR028+3.p (content) unsat unsat 1.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR028+2.p (content) unsat unsat 0.121s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR028+1.p (content) unsat unsat 0.037s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR027+1.p (content) unsat unsat 0.071s