detailed results (12888 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM015-1.p (content) unsat unsat 0.059s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM014-1.p (content) unsat unsat 0.031s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM014-1.p (content) unsat unsat 0.030s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM009-1.p (content) unsat unsat 0.560s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM009-1.p (content) unsat unsat 0.628s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM001-1.p (content) unsat unsat 0.110s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM001-1.p (content) unsat unsat 0.088s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP208-1.p (content) unsat unsat 0.144s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP208-1.p (content) unsat unsat 0.177s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP208+1.p (content) unsat unsat 0.146s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP208+1.p (content) unsat unsat 0.145s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP204-1.p (content) unsat unsat 0.147s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP204-1.p (content) unsat unsat 0.170s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP204+1.p (content) unsat unsat 0.131s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP204+1.p (content) unsat unsat 0.150s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP149-1.p (content) unsat unsat 0.094s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP149-1.p (content) unsat unsat 0.110s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP149+1.p (content) unsat unsat 0.114s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP149+1.p (content) unsat unsat 0.153s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP147-1.p (content) unsat unsat 0.095s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP147-1.p (content) unsat unsat 0.099s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP147+1.p (content) unsat unsat 0.124s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP147+1.p (content) unsat unsat 0.157s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP145-1.p (content) unsat unsat 0.095s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP145-1.p (content) unsat unsat 0.100s