detailed results (20646 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV714-1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV713-1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV712-1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV711-1.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV710-1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV709-1.p (content) timeout unsat 10.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV708-1.p (content) timeout unsat 9.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV707-1.p (content) timeout unsat 9.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV706-1.p (content) timeout unsat 10.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV705-1.p (content) timeout unsat 10.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV704-1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV703-1.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV702-1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV701-1.p (content) timeout unsat 9.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV700-1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV699-1.p (content) timeout unsat 10.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV698-1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV697-1.p (content) timeout unsat 9.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV696-1.p (content) timeout unsat 9.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV695-1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV694-1.p (content) timeout unsat 9.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV693-1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV692-1.p (content) timeout unsat 9.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV691-1.p (content) timeout unsat 9.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV690-1.p (content) timeout unsat 9.9s