detailed results (6475 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL062-2.p (content) unsat unsat 0.025s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL062-1.p (content) unsat unsat 3.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL061-3.p (content) unsat unsat 0.022s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL061-2.p (content) unsat unsat 0.024s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL061-1.p (content) unsat unsat 0.400s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL060-3.p (content) unsat unsat 0.026s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL060-2.p (content) unsat unsat 0.025s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL060-1.p (content) unsat unsat 0.378s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL059-1.p (content) unsat unsat 0.082s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL058-3.p (content) unsat unsat 0.041s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL058-2.p (content) unsat unsat 0.045s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL058-1.p (content) unsat unsat 0.124s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL056-1.p (content) unsat unsat 0.027s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL055-1.p (content) unsat unsat 0.022s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL054-1.p (content) unsat unsat 0.052s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL053-1.p (content) unsat unsat 0.027s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL052-2.p (content) unsat unsat 0.680s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL052-1.p (content) unsat unsat 0.042s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL051-1.p (content) unsat unsat 0.029s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL050-1.p (content) unsat unsat 0.043s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL048-1.p (content) unsat unsat 0.116s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL045-1.p (content) unsat unsat 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL033-1.p (content) unsat unsat 0.423s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL031-1.p (content) unsat unsat 0.296s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL029-1.p (content) unsat unsat 0.027s