detailed results (6472 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO175+3.p (content) unsat unsat 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO175+2.p (content) unsat unsat 0.312s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO175+1.p (content) unsat unsat 0.091s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO174+3.p (content) unsat unsat 0.081s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO174+2.p (content) unsat unsat 0.291s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO174+1.p (content) unsat unsat 0.060s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO173+3.p (content) unsat unsat 3.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO173+2.p (content) unsat unsat 0.126s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO173+1.p (content) unsat unsat 0.067s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO172+3.p (content) unsat unsat 2.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO172+2.p (content) unsat unsat 0.126s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO172+1.p (content) unsat unsat 0.049s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO171+3.p (content) unsat unsat 0.045s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO171+2.p (content) unsat unsat 0.020s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO171+1.p (content) unsat unsat 0.031s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO170+3.p (content) unsat unsat 0.362s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO170+2.p (content) unsat unsat 0.154s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO170+1.p (content) unsat unsat 0.059s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO147-1.p (content) unsat unsat 0.071s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO147+1.p (content) unsat unsat 0.069s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO146-1.p (content) unsat unsat 0.996s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO146+1.p (content) unsat unsat 0.986s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO127-1.p (content) unsat unsat 0.696s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO118-1.p (content) unsat unsat 0.349s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO118+1.p (content) unsat unsat 0.270s