detailed results (20646 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC319+1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC318-1.p (content) timeout unknown 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC318+1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC317-1.p (content) unsat unsat 0.649s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC317+1.p (content) unsat unsat 0.819s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC316-1.p (content) unsat unsat 2.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC316+1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC315-1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC315+1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC314-1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC314+1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC313-1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC313+1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC312-1.p (content) unsat unsat 0.621s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC312+1.p (content) unsat unsat 0.879s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC311-1.p (content) unsat unsat 3.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC311+1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC310-1.p (content) unsat unsat 5s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC310+1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC309-1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC309+1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC308-1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC308+1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC307-1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC307+1.p (content) timeout unsat 9.8s