detailed results (4484 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN196-1.p (content) unsat unsat 0.163s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN195-1.p (content) unsat unsat 0.588s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN195-1.p (content) unsat unsat 0.590s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN194-1.p (content) unsat unsat 0.611s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN194-1.p (content) unsat unsat 0.565s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN193-1.p (content) unsat unsat 0.565s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN193-1.p (content) unsat unsat 0.526s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN192-1.p (content) unsat unsat 0.566s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN192-1.p (content) unsat unsat 0.571s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN191-1.p (content) unsat unsat 0.661s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN191-1.p (content) unsat unsat 0.741s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN190-1.p (content) unsat unsat 1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN190-1.p (content) unsat unsat 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN189-1.p (content) unsat unsat 0.235s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN189-1.p (content) unsat unsat 0.232s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN188-1.p (content) unsat unsat 0.213s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN188-1.p (content) unsat unsat 0.214s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN187-1.p (content) unsat unsat 0.230s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN187-1.p (content) unsat unsat 0.232s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN186-1.p (content) unsat unsat 0.228s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN186-1.p (content) unsat unsat 0.253s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN185-1.p (content) unsat unsat 0.054s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN185-1.p (content) unsat unsat 0.055s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN184-1.p (content) unsat unsat 0.045s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN184-1.p (content) unsat unsat 0.045s