detailed results (962 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP075-1.p (content) unknown unsat 0.127s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP075-1.p (content) unknown unsat 0.140s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP075+1.p (content) unknown unsat 0.271s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP075+1.p (content) unknown unsat 0.232s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP074-1.p (content) unknown unsat 0.117s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP074-1.p (content) unknown unsat 0.168s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP074+1.p (content) unknown unsat 0.150s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP074+1.p (content) unknown unsat 0.162s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP073-1.p (content) unknown unsat 0.150s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP073-1.p (content) unknown unsat 0.190s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP073+1.p (content) unknown unsat 0.160s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP073+1.p (content) unknown unsat 0.210s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP072-1.p (content) unknown unsat 0.110s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP072-1.p (content) unknown unsat 0.109s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP072+1.p (content) unknown unsat 0.154s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP072+1.p (content) unknown unsat 0.153s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP071-1.p (content) unknown unsat 0.163s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP071-1.p (content) unknown unsat 0.160s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP071+1.p (content) unknown unsat 0.221s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP071+1.p (content) unknown unsat 0.201s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP070-1.p (content) unknown unsat 0.154s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP070-1.p (content) unknown unsat 0.184s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP070+1.p (content) unknown unsat 0.287s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP070+1.p (content) unknown unsat 0.290s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP069-1.p (content) unknown unsat 0.138s