detailed results (41292 total)

prover file res expected time
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/ARI088=1.p (content) unknown sat 0.021s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI088=1.p (content) unknown sat 0.021s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI087=1.p (content) unknown sat 0.017s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI087=1.p (content) unknown sat 0.017s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI086=1.p (content) unknown sat 0.027s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI086=1.p (content) unknown sat 0.021s
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/ARI080=1.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI080=1.p (content) timeout unsat 10s