detailed results (41292 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG101+1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG101+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG100+1.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG100+1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG099+1.p (content) timeout unsat 10.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG099+1.p (content) timeout unsat 10.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG098+1.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG098+1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG097+1.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG097+1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG096+1.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG096+1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG095+1.p (content) unsat unsat 0.173s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG095+1.p (content) unsat unsat 0.191s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG094+1.p (content) unsat unsat 0.147s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG094+1.p (content) unsat unsat 0.157s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG093+1.p (content) unsat unsat 0.708s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG093+1.p (content) unsat unsat 0.739s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG092+1.p (content) unsat unsat 0.149s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG092+1.p (content) unsat unsat 0.166s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG091+1.p (content) unsat unsat 0.172s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG091+1.p (content) unsat unsat 0.178s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG090+1.p (content) unsat unsat 0.130s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG090+1.p (content) unsat unsat 0.160s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG089+1.p (content) unsat unsat 0.334s