detailed results (20646 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG089+1.p (content) unsat unsat 0.324s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG088+1.p (content) unsat unsat 0.450s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG087+1.p (content) unsat unsat 0.345s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG086+1.p (content) unsat unsat 0.372s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG085+1.p (content) unsat unsat 0.413s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG084+1.p (content) unsat unsat 0.370s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG083+1.p (content) unsat unsat 0.414s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG082+1.p (content) unsat unsat 0.432s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG081+1.p (content) unsat unsat 0.359s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG080+1.p (content) unsat unsat 0.415s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG079+1.p (content) unsat unsat 0.360s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG078+1.p (content) unsat unsat 0.337s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG077+1.p (content) unsat unsat 0.366s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG076+1.p (content) unsat unsat 0.369s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG075+1.p (content) unsat unsat 0.301s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG074+1.p (content) unsat unsat 1.4s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG073+1.p (content) unsat unsat 0.071s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG072+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG071+1.p (content) unsat unsat 3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG070+1.p (content) unsat unsat 0.036s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG069+1.p (content) unsat unsat 0.029s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG068+1.p (content) timeout unsat 11.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG067+1.p (content) timeout unsat 11.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG066+1.p (content) timeout unsat 11s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG065+1.p (content) unsat unsat 2.4s