root
file
detailed [150..174]
prev
next
detailed results (20646 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG089+1.p
(content)
unsat
unsat
0.389s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG088+1.p
(content)
unsat
unsat
0.436s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG087+1.p
(content)
unsat
unsat
0.573s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG086+1.p
(content)
unsat
unsat
0.416s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG085+1.p
(content)
unsat
unsat
0.385s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG084+1.p
(content)
unsat
unsat
0.338s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG083+1.p
(content)
unsat
unsat
0.339s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG082+1.p
(content)
unsat
unsat
0.392s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG081+1.p
(content)
unsat
unsat
0.387s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG080+1.p
(content)
unsat
unsat
0.399s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG079+1.p
(content)
unsat
unsat
0.332s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG078+1.p
(content)
unsat
unsat
0.375s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG077+1.p
(content)
unsat
unsat
0.334s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG076+1.p
(content)
unsat
unsat
0.339s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG075+1.p
(content)
unsat
unsat
0.353s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG074+1.p
(content)
unsat
unsat
1.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG073+1.p
(content)
unsat
unsat
0.058s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG072+1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG071+1.p
(content)
unsat
unsat
2.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG070+1.p
(content)
unsat
unsat
0.038s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG069+1.p
(content)
unsat
unsat
0.029s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG068+1.p
(content)
timeout
unsat
11.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG067+1.p
(content)
timeout
unsat
11.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG066+1.p
(content)
error
unsat
9.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG065+1.p
(content)
unsat
unsat
2.1s