detailed results (6424 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN687-1.p (content) unsat unsat 0.389s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN686-1.p (content) unsat unsat 3.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN685-1.p (content) unsat unsat 0.597s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN684-1.p (content) unsat unsat 0.696s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN683-1.p (content) unsat unsat 0.658s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN682-1.p (content) unsat unsat 0.701s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN681-1.p (content) unsat unsat 0.618s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN680-1.p (content) unsat unsat 0.660s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN679-1.p (content) unsat unsat 0.538s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN678-1.p (content) unsat unsat 0.645s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN677-1.p (content) unsat unsat 0.619s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN676-1.p (content) unsat unsat 0.647s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN675-1.p (content) unsat unsat 0.647s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN674-1.p (content) unsat unsat 0.620s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN673-1.p (content) unsat unsat 4.0s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN672-1.p (content) unsat unsat 0.310s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN671-1.p (content) unsat unsat 0.575s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN670-1.p (content) unsat unsat 0.559s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN669-1.p (content) unsat unsat 0.566s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN668-1.p (content) unsat unsat 0.493s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN667-1.p (content) unsat unsat 0.537s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN666-1.p (content) unsat unsat 0.497s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN665-1.p (content) unsat unsat 0.647s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN664-1.p (content) unsat unsat 0.652s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN663-1.p (content) unsat unsat 0.645s