detailed results (4484 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN121-1.p (content) unsat unsat 0.232s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN120-1.p (content) unsat unsat 0.060s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN120-1.p (content) unsat unsat 0.061s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN119-1.p (content) unsat unsat 0.048s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN119-1.p (content) unsat unsat 0.048s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN118-1.p (content) unsat unsat 0.046s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN118-1.p (content) unsat unsat 0.050s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN117-1.p (content) unsat unsat 0.574s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN117-1.p (content) unsat unsat 0.657s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN116-1.p (content) unsat unsat 0.559s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN116-1.p (content) unsat unsat 0.557s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN115-1.p (content) unsat unsat 0.597s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN115-1.p (content) unsat unsat 0.593s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN114-1.p (content) unsat unsat 0.070s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN114-1.p (content) unsat unsat 0.071s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN113-1.p (content) unsat unsat 0.269s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN113-1.p (content) unsat unsat 0.268s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN112-1.p (content) unsat unsat 0.063s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN112-1.p (content) unsat unsat 0.066s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN111-1.p (content) unsat unsat 1.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN111-1.p (content) unsat unsat 1.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN110-1.p (content) unsat unsat 0.246s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN110-1.p (content) unsat unsat 0.253s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN109-1.p (content) unsat unsat 0.976s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN109-1.p (content) unsat unsat 1.1s