detailed results (12751 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL247-3.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL247-1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL246-3.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL246-1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL245-3.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL245-1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL244-1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL243-3.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL243-1.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL242-3.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL242-1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL241-3.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL241-1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL240-3.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL240-1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL239-1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL237-3.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL237-1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL235-1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL234-3.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL234-1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL231-3.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL230^4.p (content) timeout sat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL230-3.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL229-3.p (content) timeout unsat 9.8s