detailed results (12847 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG176+1.p (content) unsat unsat 0.069s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG176+1.p (content) unsat unsat 0.083s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG175+1.p (content) unsat unsat 1.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG175+1.p (content) unsat unsat 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG174+1.p (content) unsat unsat 0.312s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG174+1.p (content) unsat unsat 0.313s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG173+1.p (content) unsat unsat 0.999s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG173+1.p (content) unsat unsat 0.986s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG172+1.p (content) unsat unsat 0.344s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG172+1.p (content) unsat unsat 0.322s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG171+1.p (content) unsat unsat 1.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG171+1.p (content) unsat unsat 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG170+1.p (content) unsat unsat 2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG170+1.p (content) unsat unsat 10.4s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG142+1.p (content) unsat unsat 0.474s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG142+1.p (content) unsat unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG141+1.p (content) unsat unsat 0.905s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG141+1.p (content) unsat unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG139+1.p (content) unsat unsat 0.253s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG139+1.p (content) unsat unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG138+1.p (content) unsat unsat 0.114s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG138+1.p (content) unsat unsat 0.129s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG137+1.p (content) unsat unsat 0.888s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG137+1.p (content) unsat unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG136+1.p (content) unsat unsat 1.9s