detailed results (12865 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV288-2.p (content) unsat unsat 0.039s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV288-2.p (content) unsat unsat 0.039s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV287-2.p (content) unsat unsat 0.031s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV287-2.p (content) unsat unsat 0.038s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV286-2.p (content) unsat unsat 0.033s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV286-2.p (content) unsat unsat 0.039s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV284-2.p (content) unsat unsat 0.074s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV284-2.p (content) unsat unsat 0.066s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV283-2.p (content) unsat unsat 0.086s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV283-2.p (content) unsat unsat 0.081s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV281-2.p (content) unsat unsat 0.205s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV281-2.p (content) unsat unsat 0.183s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV280-2.p (content) unsat unsat 0.025s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV280-2.p (content) unsat unsat 0.027s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV279-2.p (content) unsat unsat 0.596s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV279-2.p (content) unsat unsat 0.566s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV278-2.p (content) unsat unsat 0.026s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV278-2.p (content) unsat unsat 0.028s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV277-2.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV277-2.p (content) unsat unsat 0.032s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV274-2.p (content) unsat unsat 0.122s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV274-2.p (content) unsat unsat 0.110s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV273-2.p (content) unsat unsat 0.032s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV273-2.p (content) unsat unsat 0.034s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV272-2.p (content) unsat unsat 0.040s