detailed results (41292 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL193-3.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL193-3.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL193-1.p (content) unsat unsat 0.588s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL193-1.p (content) unsat unsat 0.566s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL192-3.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL192-3.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL192-1.p (content) unsat unsat 7.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL192-1.p (content) unsat unsat 8.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL191-3.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL191-3.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL191-1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL191-1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL190-3.p (content) unsat unsat 0.045s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL190-3.p (content) unsat unsat 0.048s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL190-1.p (content) unsat unsat 0.042s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL190-1.p (content) unsat unsat 0.038s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL189-3.p (content) unsat unsat 0.055s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL189-3.p (content) unsat unsat 0.068s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL189-1.p (content) unsat unsat 0.036s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL189-1.p (content) unsat unsat 0.039s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL188-3.p (content) unsat unsat 0.060s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL188-3.p (content) unsat unsat 0.063s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL188-1.p (content) unsat unsat 0.042s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL188-1.p (content) unsat unsat 0.047s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL187-3.p (content) unsat unsat 1.3s