detailed results (12865 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR151^3.p (content) unsat unsat 6.4s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR151^2.p (content) unsat unsat 0.141s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR151^2.p (content) unsat unsat 0.134s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR151^1.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR151^1.p (content) unsat unsat 0.031s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR150^3.p (content) unsat unsat 6.5s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR150^3.p (content) unsat unsat 7.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR150^2.p (content) unsat unsat 0.176s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR150^2.p (content) unsat unsat 0.175s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR147+1.p (content) unsat unsat 0.033s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR147+1.p (content) unsat unsat 0.035s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR146^3.p (content) unsat unsat 0.034s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR146^3.p (content) unsat unsat 0.035s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR146^2.p (content) unsat unsat 0.553s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR146^2.p (content) unsat unsat 0.554s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR146^1.p (content) unsat unsat 0.039s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR146^1.p (content) unsat unsat 0.043s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR145^2.p (content) unsat unsat 0.344s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR145^2.p (content) unsat unsat 0.343s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR145^1.p (content) unsat unsat 0.035s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR145^1.p (content) unsat unsat 0.033s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR144^2.p (content) unsat unsat 0.234s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR144^2.p (content) unsat unsat 0.302s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR144^1.p (content) unsat unsat 0.042s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR144^1.p (content) unsat unsat 0.050s