detailed results (4484 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-8.003.p (content) unsat unsat 0.049s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-8.003.p (content) unsat unsat 0.055s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-7.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 /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-6.003.p (content) unsat unsat 0.055s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-6.003.p (content) unsat unsat 0.059s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-4.003.p (content) unsat unsat 0.153s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-4.003.p (content) unsat unsat 0.159s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-3.003.p (content) unsat unsat 0.109s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-3.003.p (content) unsat unsat 0.113s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-2.003.p (content) unsat unsat 0.058s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-2.003.p (content) unsat unsat 0.065s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-1.003.p (content) unsat unsat 0.060s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-1.003.p (content) unsat unsat 0.065s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP118-1.p (content) unsat unsat 0.400s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP118-1.p (content) unsat unsat 0.407s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP117-1.p (content) unsat unsat 0.062s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP117-1.p (content) unsat unsat 0.070s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP116-1.p (content) unsat unsat 0.142s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP116-1.p (content) unsat unsat 0.165s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP115-1.p (content) unsat unsat 0.148s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP115-1.p (content) unsat unsat 0.157s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP096-1.p (content) unsat unsat 7.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP096-1.p (content) unsat unsat 9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP095-1.p (content) unsat unsat 7s