detailed results (12888 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL101-1.p (content) unsat unsat 0.316s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL101-1.p (content) unsat unsat 0.228s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL100-1.p (content) unsat unsat 3.0s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL100-1.p (content) unsat unsat 3.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL099-1.p (content) unsat unsat 0.131s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL099-1.p (content) unsat unsat 0.137s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL098-1.p (content) unsat unsat 0.203s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL098-1.p (content) unsat unsat 0.103s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL093-1.p (content) unsat unsat 0.122s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL093-1.p (content) unsat unsat 0.118s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL092-1.p (content) unsat unsat 0.130s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL092-1.p (content) unsat unsat 0.163s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL091-1.p (content) unsat unsat 0.051s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL091-1.p (content) unsat unsat 0.052s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL090-3.p (content) unsat unsat 6.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL090-3.p (content) unsat unsat 6.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL090-1.p (content) unsat unsat 1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL090-1.p (content) unsat unsat 1.4s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL089-1.p (content) unsat unsat 0.154s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL089-1.p (content) unsat unsat 0.159s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL088-1.p (content) unsat unsat 0.274s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL088-1.p (content) unsat unsat 0.193s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL086-1.p (content) unsat unsat 0.024s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL086-1.p (content) unsat unsat 0.024s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL085-1.p (content) unsat unsat 0.024s