detailed results (12847 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO175+2.p (content) unsat unsat 0.207s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO175+2.p (content) unsat unsat 0.233s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO175+1.p (content) unsat unsat 0.123s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO175+1.p (content) unsat unsat 0.150s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO174+3.p (content) unsat unsat 0.103s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO174+3.p (content) unsat unsat 0.105s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO174+2.p (content) unsat unsat 0.189s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO174+2.p (content) unsat unsat 0.195s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO174+1.p (content) unsat unsat 0.063s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO174+1.p (content) unsat unsat 0.067s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO173+3.p (content) unsat unsat 3.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO173+3.p (content) unsat unsat 3.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO173+2.p (content) unsat unsat 0.140s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO173+2.p (content) unsat unsat 0.142s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO173+1.p (content) unsat unsat 0.079s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO173+1.p (content) unsat unsat 0.081s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO172+3.p (content) unsat unsat 2.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO172+3.p (content) unsat unsat 2.7s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO172+2.p (content) unsat unsat 0.128s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO172+2.p (content) unsat unsat 0.125s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO172+1.p (content) unsat unsat 0.056s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO172+1.p (content) unsat unsat 0.059s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO171+3.p (content) unsat unsat 0.069s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO171+3.p (content) unsat unsat 0.065s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO171+2.p (content) unsat unsat 0.041s