detailed results (4484 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG200+1.p (content) unsat unsat 1.5s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG200+1.p (content) unsat unsat 1.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG199+1.p (content) unsat unsat 1.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG199+1.p (content) unsat unsat 0.911s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG198+1.p (content) unsat unsat 0.062s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG198+1.p (content) unsat unsat 0.062s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG194+1.p (content) unsat unsat 9.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG194+1.p (content) unsat unsat 9.7s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG189+1.p (content) unsat unsat 0.105s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG189+1.p (content) unsat unsat 0.181s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG188+1.p (content) unsat unsat 0.106s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG188+1.p (content) unsat unsat 0.137s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG187+1.p (content) unsat unsat 0.120s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG187+1.p (content) unsat unsat 0.142s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG186+1.p (content) unsat unsat 0.129s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG186+1.p (content) unsat unsat 0.157s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG184+1.p (content) unsat unsat 0.159s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG184+1.p (content) unsat unsat 0.187s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG183+1.p (content) unsat unsat 0.206s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG183+1.p (content) unsat unsat 0.206s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG182+1.p (content) unsat unsat 0.165s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG182+1.p (content) unsat unsat 0.173s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG181+1.p (content) unsat unsat 0.203s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG181+1.p (content) unsat unsat 0.163s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG180+1.p (content) unsat unsat 0.403s