detailed results (6453 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL203-3.p (content) unsat unsat 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL203-1.p (content) unsat unsat 0.070s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL202-3.p (content) unsat unsat 2.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL202-1.p (content) unsat unsat 0.072s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL201-3.p (content) unsat unsat 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL201-1.p (content) unsat unsat 0.184s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL200-1.p (content) unsat unsat 0.054s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL199-3.p (content) unsat unsat 2.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL199-1.p (content) unsat unsat 0.080s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL198-3.p (content) unsat unsat 0.843s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL198-1.p (content) unsat unsat 9.4s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL197-3.p (content) unsat unsat 0.796s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL197-1.p (content) unsat unsat 0.204s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL196-3.p (content) unsat unsat 0.801s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL196-1.p (content) unsat unsat 9.4s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL194-3.p (content) unsat unsat 1.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL193-1.p (content) unsat unsat 0.633s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL192-1.p (content) unsat unsat 9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL190-3.p (content) unsat unsat 0.040s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL190-1.p (content) unsat unsat 0.027s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL189-3.p (content) unsat unsat 0.054s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL189-1.p (content) unsat unsat 0.031s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL188-3.p (content) unsat unsat 0.050s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL188-1.p (content) unsat unsat 0.034s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL187-3.p (content) unsat unsat 1.3s