detailed results (41292 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL360-1.p (content) unsat unsat 0.022s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL360-1.p (content) unsat unsat 0.024s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL359-1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL359-1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL358-1.p (content) unsat unsat 0.191s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL358-1.p (content) unsat unsat 0.194s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL357-1.p (content) unsat unsat 0.068s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL357-1.p (content) unsat unsat 0.069s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL356-1.p (content) unsat unsat 0.203s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL356-1.p (content) unsat unsat 0.211s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL355-1.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL355-1.p (content) unsat unsat 0.034s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL354+1.p (content) timeout sat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL354+1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL353-3.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL353-3.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL352-3.p (content) timeout unknown 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL352-3.p (content) timeout unknown 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL351-3.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL351-3.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL350-3.p (content) timeout unknown 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL350-3.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL349-3.p (content) timeout unsat 9.0s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL349-3.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL348-3.p (content) timeout unsat 9.8s