root
file
detailed [150..174]
prev
next
detailed results (6472 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ANA/ANA013-2.p
(content)
unsat
unsat
0.018s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ANA/ANA012-2.p
(content)
unsat
unsat
0.034s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ANA/ANA010-2.p
(content)
unsat
unsat
0.032s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ANA/ANA009-2.p
(content)
unsat
unsat
0.021s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ANA/ANA007-2.p
(content)
unsat
unsat
0.020s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ANA/ANA004-4.p
(content)
unsat
unsat
0.687s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ANA/ANA003-4.p
(content)
unsat
unsat
0.449s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG439-1.p
(content)
unsat
unsat
0.334s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG438-1.p
(content)
unsat
unsat
2.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG436-1.p
(content)
unsat
unsat
6.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG434-1.p
(content)
unsat
unsat
5.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG417-1.p
(content)
unsat
unsat
7.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG414-1.p
(content)
unsat
unsat
0.253s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG410-1.p
(content)
unsat
unsat
0.380s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG397-1.p
(content)
unsat
unsat
0.205s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG396-1.p
(content)
unsat
unsat
0.164s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG377-1.p
(content)
unsat
unsat
7.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG365-1.p
(content)
unsat
unsat
9.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG361-1.p
(content)
unsat
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG354-1.p
(content)
unsat
unsat
7.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG350-1.p
(content)
unsat
unsat
0.077s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG298^5.p
(content)
unsat
unsat
0.028s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG287^5.p
(content)
unsat
unsat
0.018s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG286^5.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG285^5.p
(content)
unsat
unsat
0.046s