detailed results (12888 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV006-1.p (content) unsat unsat 0.037s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV006-1.p (content) unsat unsat 0.039s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV005-1.p (content) unsat unsat 0.040s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV005-1.p (content) unsat unsat 0.041s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV003-1.p (content) unsat unsat 0.033s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV003-1.p (content) unsat unsat 0.033s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV002-1.p (content) unsat unsat 0.140s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV002-1.p (content) unsat unsat 0.058s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV001-1.p (content) unsat unsat 0.119s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV001-1.p (content) unsat unsat 0.042s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC422-1.p (content) unsat unsat 0.679s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC422-1.p (content) unsat unsat 0.665s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC422+1.p (content) unsat unsat 0.891s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC422+1.p (content) unsat unsat 0.974s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC416-1.p (content) unsat unsat 2.0s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC416-1.p (content) unsat unsat 3.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC416+1.p (content) unsat unsat 9.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC415-1.p (content) unsat unsat 2.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC415-1.p (content) unsat unsat 2.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC411-1.p (content) unsat unsat 0.585s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC411-1.p (content) unsat unsat 0.553s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC411+1.p (content) unsat unsat 0.865s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC411+1.p (content) unsat unsat 0.867s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC406-1.p (content) unsat unsat 0.623s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC406-1.p (content) unsat unsat 0.579s