detailed results (6417 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU856^5.p (content) unsat unsat 0.029s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU855^5.p (content) unsat unsat 0.039s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU854^5.p (content) unsat unsat 0.080s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU852^5.p (content) unsat unsat 1.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU851^5.p (content) unsat unsat 0.018s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU850^5.p (content) unsat unsat 0.024s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU849^5.p (content) unsat unsat 0.025s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU848^5.p (content) unsat unsat 0.023s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU847^5.p (content) unsat unsat 0.019s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU846^5.p (content) unsat unsat 0.019s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU845^5.p (content) unsat unsat 0.026s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU844^5.p (content) unsat unsat 0.024s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU843^5.p (content) unsat unsat 0.021s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU842^5.p (content) unsat unsat 0.019s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU841^5.p (content) unsat unsat 0.016s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU839^5.p (content) unsat unsat 0.020s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU836^5.p (content) unsat unsat 0.016s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU834^5.p (content) unsat unsat 0.015s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU833^5.p (content) unsat unsat 0.016s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU832^5.p (content) unsat unsat 0.017s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU831^5.p (content) unsat unsat 0.017s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU823^2.p (content) unsat unsat 0.029s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU822^2.p (content) unsat unsat 0.031s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU819^2.p (content) unsat unsat 0.025s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU818^2.p (content) unsat unsat 0.057s