detailed results (962 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP098+1.p (content) unknown sat 0.331s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP098+1.p (content) unknown sat 0.344s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP097+1.p (content) unknown sat 0.337s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP097+1.p (content) unknown sat 0.353s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP093+1.p (content) unknown sat 0.396s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP093+1.p (content) unknown sat 0.397s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP092+1.p (content) unknown sat 0.396s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP092+1.p (content) unknown sat 0.466s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP087-1.p (content) unknown sat 0.183s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP087-1.p (content) unknown sat 0.152s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP087+1.p (content) unknown sat 0.204s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP087+1.p (content) unknown sat 0.221s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP086-1.p (content) unknown sat 0.152s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP086-1.p (content) unknown sat 0.151s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP086+1.p (content) unknown sat 0.205s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP086+1.p (content) unknown sat 0.268s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP085-1.p (content) unknown sat 0.155s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP085-1.p (content) unknown sat 0.182s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP085+1.p (content) unknown sat 0.226s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP085+1.p (content) unknown sat 0.231s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP084-1.p (content) unknown sat 0.157s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP084-1.p (content) unknown sat 0.158s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP084+1.p (content) unknown sat 0.223s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP084+1.p (content) unknown sat 0.220s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP083-1.p (content) unknown sat 0.145s