detailed results (20646 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC244+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC243-1.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC243+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC242-1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC242+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC241-1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC241+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC240-1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC240+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC239-1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC239+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC238-1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC238+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC237-1.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC237+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC236-1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC236+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC235-1.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC235+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC234-1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC234+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC233-1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC233+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC232-1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC232+1.p (content) timeout unsat 9.8s