detailed results (6417 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL114-1.p (content) unsat unsat 1.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL113-2.p (content) unsat unsat 0.018s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL113-1.p (content) unsat unsat 0.240s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL112-2.p (content) unsat unsat 0.019s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL112-1.p (content) unsat unsat 1.7s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL111-2.p (content) unsat unsat 0.022s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL111-1.p (content) unsat unsat 1.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL110-2.p (content) unsat unsat 0.027s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL109-2.p (content) unsat unsat 0.030s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL106-2.p (content) unsat unsat 0.120s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL105-2.p (content) unsat unsat 0.019s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL105-1.p (content) unsat unsat 1.7s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL104-2.p (content) unsat unsat 0.050s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL103-2.p (content) unsat unsat 0.016s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL103-1.p (content) unsat unsat 0.185s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL102-2.p (content) unsat unsat 0.048s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL101-2.p (content) unsat unsat 0.021s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL101-1.p (content) unsat unsat 0.177s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL100-1.p (content) unsat unsat 4.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL099-1.p (content) unsat unsat 0.144s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL098-1.p (content) unsat unsat 0.086s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL093-1.p (content) unsat unsat 0.117s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL092-1.p (content) unsat unsat 0.110s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL091-1.p (content) unsat unsat 0.045s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL090-3.p (content) unsat unsat 6.8s