detailed results (6424 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN001+1.p (content) unsat unsat 0.027s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN000_1.p (content) unsat unsat 0.027s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN000^1.p (content) unsat unsat 0.037s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN000-1.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN000+1.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW629=2.p (content) unsat unsat 6.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW592=2.p (content) unsat unsat 0.037s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW572_5.p (content) unsat unsat 0.143s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW571_5.p (content) unsat unknown 3.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW570_5.p (content) unsat unsat 4.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW569_5.p (content) unsat unknown 4.5s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW568_5.p (content) unsat unknown 4.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW567_5.p (content) unsat unsat 5.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW562_5.p (content) unsat unsat 0.370s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW553_5.p (content) unsat unsat 2.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW552_5.p (content) unsat unsat 0.128s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW551_5.p (content) unsat unsat 0.093s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW533_5.p (content) unsat unsat 1.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW530_5.p (content) unsat unsat 1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW529_5.p (content) unsat unsat 3.5s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW525_5.p (content) unsat unknown 0.059s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW522_5.p (content) unsat unsat 0.050s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW520_5.p (content) unsat unsat 0.056s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW512_5.p (content) unsat unsat 0.072s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW504_5.p (content) unsat unsat 0.057s