detailed results (20646 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO151^5.p (content) sat sat 0.018s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO150^5.p (content) sat sat 0.020s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO149^5.p (content) unsat unsat 0.019s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO148^5.p (content) unknown unsat 0.170s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO147^5.p (content) unsat unsat 0.017s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO146^5.p (content) unsat unsat 0.018s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO145^5.p (content) unsat unsat 0.018s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO144^5.p (content) sat sat 0.019s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO143^5.p (content) unsat unsat 0.018s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO142^5.p (content) unsat unsat 0.017s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO141^5.p (content) unsat unsat 0.020s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO140^5.p (content) unsat unsat 0.017s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO139^5.p (content) unsat unsat 0.019s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO138^5.p (content) sat sat 0.016s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO137^5.p (content) sat sat 0.029s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO136^5.p (content) unsat unsat 0.017s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO135^5.p (content) unsat unsat 0.019s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO134^5.p (content) unsat unsat 0.022s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO133^5.p (content) unsat unsat 0.014s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO132^5.p (content) unsat unsat 0.018s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO131^5.p (content) unsat unsat 0.017s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO130^5.p (content) sat sat 0.020s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO129^5.p (content) unsat unsat 0.017s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO128^5.p (content) unsat unsat 0.015s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO126^5.p (content) unknown sat 0.018s