detailed results (12865 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN001-1.p (content) unsat unsat 0.027s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP711+1.p (content) unsat unsat 0.222s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP711+1.p (content) unsat unsat 0.247s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP710+1.p (content) unsat unsat 4.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP710+1.p (content) unsat unsat 5.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP709-1.p (content) unsat unsat 0.428s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP709-1.p (content) unsat unsat 0.429s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP700+1.p (content) unsat unsat 3.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP700+1.p (content) unsat unsat 3.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP679-1.p (content) unsat unsat 0.175s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP679-1.p (content) unsat unsat 0.180s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP665+1.p (content) unsat unsat 0.162s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP665+1.p (content) unsat unsat 0.164s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP658+1.p (content) unsat unsat 2.0s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP658+1.p (content) unsat unsat 2.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP657+1.p (content) unsat unsat 0.092s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP657+1.p (content) unsat unsat 0.095s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP656+1.p (content) unsat unsat 0.157s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP656+1.p (content) unsat unsat 0.167s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP620+1.p (content) unsat unsat 8.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP620+1.p (content) unsat unsat 8.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP616-1.p (content) unsat unsat 0.368s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP616-1.p (content) unsat unsat 0.377s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP614-1.p (content) unsat unsat 0.337s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP614-1.p (content) unsat unsat 0.351s