detailed results (2241 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP126-3.004.p (content) unsat unsat 0.195s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP126-2.004.p (content) unsat unsat 0.248s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP126-1.004.p (content) unsat unsat 0.383s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP125-4.003.p (content) unsat unsat 0.080s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP125-1.003.p (content) unsat unsat 0.061s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP124-9.004.p (content) unsat unsat 0.261s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP124-8.004.p (content) unsat unsat 0.487s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP124-7.004.p (content) unsat unsat 0.505s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP124-6.004.p (content) unsat unsat 0.588s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP124-4.004.p (content) unsat unsat 0.292s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP124-3.004.p (content) unsat unsat 0.246s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP124-2.004.p (content) unsat unsat 0.110s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP124-1.004.p (content) unsat unsat 0.152s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-9.003.p (content) unsat unsat 0.056s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-8.003.p (content) unsat unsat 0.055s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-7.003.p (content) unsat unsat 0.062s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-6.003.p (content) unsat unsat 0.059s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-4.003.p (content) unsat unsat 0.159s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-3.003.p (content) unsat unsat 0.113s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-2.003.p (content) unsat unsat 0.065s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-1.003.p (content) unsat unsat 0.065s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP118-1.p (content) unsat unsat 0.407s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP117-1.p (content) unsat unsat 0.070s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP116-1.p (content) unsat unsat 0.165s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP115-1.p (content) unsat unsat 0.157s