detailed results (4484 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN709-1.p (content) unsat unsat 0.264s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN709-1.p (content) unsat unsat 0.338s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN708-1.p (content) unsat unsat 2.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN708-1.p (content) unsat unsat 2.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN707-1.p (content) unsat unsat 2.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN707-1.p (content) unsat unsat 2.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN705-1.p (content) unsat unsat 1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN705-1.p (content) unsat unsat 1.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN703-1.p (content) unsat unsat 0.140s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN703-1.p (content) unsat unsat 0.146s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN702-1.p (content) unsat unsat 1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN702-1.p (content) unsat unsat 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN701-1.p (content) unsat unsat 0.176s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN701-1.p (content) unsat unsat 0.164s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN700-1.p (content) unsat unsat 0.222s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN700-1.p (content) unsat unsat 0.227s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN699-1.p (content) unsat unsat 0.203s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN699-1.p (content) unsat unsat 0.209s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN698-1.p (content) unsat unsat 0.211s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN698-1.p (content) unsat unsat 0.212s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN697-1.p (content) unsat unsat 0.180s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN697-1.p (content) unsat unsat 0.183s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN696-1.p (content) unsat unsat 0.214s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN696-1.p (content) unsat unsat 0.228s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN695-1.p (content) unsat unsat 0.182s