detailed results (12865 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL416-1.p (content) unsat unsat 0.457s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL416-1.p (content) unsat unsat 0.467s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL414-1.p (content) unsat unsat 0.037s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL414-1.p (content) unsat unsat 0.035s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL414+1.p (content) unsat unsat 0.031s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL414+1.p (content) unsat unsat 0.032s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL398-1.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL398-1.p (content) unsat unsat 0.032s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL397-1.p (content) unsat unsat 0.275s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL397-1.p (content) unsat unsat 0.304s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL363-1.p (content) unsat unsat 0.302s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL363-1.p (content) unsat unsat 0.281s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL362-1.p (content) unsat unsat 0.296s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL362-1.p (content) unsat unsat 0.275s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL361-1.p (content) unsat unsat 0.052s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL361-1.p (content) unsat unsat 0.057s
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/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