detailed results (6453 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL007-1.p (content) unsat unsat 0.022s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL004-3.p (content) unsat unsat 0.025s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL002-1.p (content) unsat unsat 0.368s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL001-2.p (content) unsat unsat 2.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-2.p (content) unsat unsat 0.023s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-1.p (content) unsat unsat 0.021s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-4.p (content) unsat unsat 0.441s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-3.p (content) unsat unsat 0.453s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT017-4.p (content) unsat unsat 0.393s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT017-3.p (content) unsat unsat 0.364s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT016-4.p (content) unsat unsat 0.266s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT016-3.p (content) unsat unsat 0.253s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-4.p (content) unsat unsat 0.308s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-3.p (content) unsat unsat 0.406s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-2.p (content) unsat unsat 0.020s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-1.p (content) unsat unsat 0.185s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-4.p (content) unsat unsat 0.340s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-3.p (content) unsat unsat 0.353s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-1.p (content) unsat unsat 0.157s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-4.p (content) unsat unsat 0.312s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-3.p (content) unsat unsat 0.283s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-1.p (content) unsat unsat 0.198s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-4.p (content) unsat unsat 0.271s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-3.p (content) unsat unsat 0.308s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-2.p (content) unsat unsat 0.021s