detailed results (6412 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP143-1.p (content) unsat unsat 0.091s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP143+1.p (content) unsat unsat 0.178s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP141-1.p (content) unsat unsat 0.089s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP141+1.p (content) unsat unsat 0.118s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP122-1.p (content) unsat unsat 0.042s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP122+1.p (content) unsat unsat 0.148s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP117-1.p (content) unsat unsat 0.039s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP094-1.p (content) unsat unsat 0.096s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP094+1.p (content) unsat unsat 0.301s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP081-1.p (content) unsat unsat 0.254s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP080-1.p (content) unsat unsat 0.421s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP079-1.p (content) unsat unsat 0.218s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP011-1.p (content) unsat unsat 0.119s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP009-1.p (content) unsat unsat 0.059s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP007-1.p (content) unsat unsat 0.110s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP004-1.p (content) unsat unsat 0.102s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP001-1.p (content) unsat unsat 0.036s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP001+1.p (content) unsat unsat 0.117s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC025^2.p (content) unsat unsat 0.191s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC019+1.p (content) unsat unsat 0.342s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC017+1.p (content) unsat unsat 0.025s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC015-1.010.p (content) unsat unsat 0.300s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC015-1.005.p (content) unsat unsat 0.026s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC012+1.p (content) unsat unsat 0.215s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC011+1.p (content) unsat unsat 0.016s