detailed results (6433 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO139^5.p (content) unsat unsat 0.023s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO136^5.p (content) unsat unsat 0.027s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO135^5.p (content) unsat unsat 0.027s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO134^5.p (content) unsat unsat 0.023s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO133^5.p (content) unsat unsat 0.026s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO132^5.p (content) unsat unsat 0.027s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO131^5.p (content) unsat unsat 0.025s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO129^5.p (content) unsat unsat 0.025s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO128^5.p (content) unsat unsat 0.025s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO125^5.p (content) unsat unsat 0.028s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO124^5.p (content) unsat unsat 0.029s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO123^5.p (content) unsat unsat 0.027s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO120^5.p (content) unsat unsat 0.025s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO119^5.p (content) unsat unsat 0.023s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO118^5.p (content) unsat unsat 0.033s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO114^5.p (content) unsat unsat 0.029s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO113^5.p (content) unsat unsat 0.048s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO112^5.p (content) unsat unsat 0.039s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO111^5.p (content) unsat unsat 0.026s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO109^5.p (content) unsat unsat 0.050s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO108^5.p (content) unsat unsat 0.027s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO107^5.p (content) unsat unsat 0.029s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO105^5.p (content) unsat unsat 0.049s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO104^5.p (content) unsat unsat 0.026s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO103^5.p (content) unsat unsat 0.037s