detailed results (12796 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI092=1.p (content) unsat unsat 0.015s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI092=1.p (content) unsat unsat 0.015s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI091=1.p (content) unsat unsat 0.014s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI091=1.p (content) unsat unsat 0.018s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI090=1.p (content) unsat unsat 0.016s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI090=1.p (content) unsat unsat 0.015s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI089=1.p (content) unsat unsat 0.016s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI089=1.p (content) unsat unsat 0.014s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI085=1.p (content) unsat unsat 0.019s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI085=1.p (content) unsat unsat 0.016s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI084=1.p (content) unsat unsat 0.016s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI084=1.p (content) unsat unsat 0.014s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI083=1.p (content) unsat unsat 0.027s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI083=1.p (content) unsat unsat 0.017s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI082=1.p (content) unsat unsat 0.021s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI082=1.p (content) unsat unsat 0.024s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI081=1.p (content) unsat unsat 0.017s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI081=1.p (content) unsat unsat 0.019s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI079=1.p (content) unsat unsat 0.019s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI079=1.p (content) unsat unsat 0.020s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI078=1.p (content) unsat unsat 0.019s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI078=1.p (content) unsat unsat 0.019s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI077=1.p (content) unsat unsat 0.016s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI077=1.p (content) unsat unsat 0.018s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI076=1.p (content) unsat unsat 0.015s