detailed results (1070 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP137-1.p (content) sat sat 0.221s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP136-1.p (content) sat sat 0.179s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP136-1.p (content) sat sat 0.215s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP135-1.p (content) sat sat 0.121s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP135-1.p (content) sat sat 0.123s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP134-1.p (content) sat sat 0.145s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP134-1.p (content) sat sat 0.167s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP133-1.p (content) sat sat 0.161s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP133-1.p (content) sat sat 0.146s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP132-1.p (content) sat sat 0.305s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP132-1.p (content) sat sat 0.233s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP131-1.p (content) sat sat 0.213s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP131-1.p (content) sat sat 0.213s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP130-1.p (content) sat sat 0.141s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP130-1.p (content) sat sat 0.147s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP129-1.p (content) sat sat 0.060s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP129-1.p (content) sat sat 0.058s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP129+1.p (content) sat sat 0.105s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP129+1.p (content) sat sat 0.069s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP128-1.p (content) sat sat 0.057s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP128-1.p (content) sat sat 0.056s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP128+1.p (content) sat sat 0.059s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP128+1.p (content) sat sat 0.067s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP127-1.p (content) sat sat 0.058s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP127-1.p (content) sat sat 0.059s