root
file
detailed [150..174]
prev
next
detailed results (6396 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ANA/ANA013-2.p
(content)
unsat
unsat
0.021s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ANA/ANA012-2.p
(content)
unsat
unsat
0.039s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ANA/ANA010-2.p
(content)
unsat
unsat
0.042s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ANA/ANA009-2.p
(content)
unsat
unsat
0.024s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ANA/ANA007-2.p
(content)
unsat
unsat
0.022s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ANA/ANA004-4.p
(content)
unsat
unsat
0.777s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ANA/ANA003-4.p
(content)
unsat
unsat
0.536s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG439-1.p
(content)
unsat
unsat
0.627s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG438-1.p
(content)
unsat
unsat
2.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG436-1.p
(content)
unsat
unsat
5.0s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG434-1.p
(content)
unsat
unsat
6.7s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG417-1.p
(content)
unsat
unsat
6.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG414-1.p
(content)
unsat
unsat
0.192s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG410-1.p
(content)
unsat
unsat
0.208s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG397-1.p
(content)
unsat
unsat
0.186s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG396-1.p
(content)
unsat
unsat
0.234s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG377-1.p
(content)
unsat
unsat
7.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG365-1.p
(content)
unsat
unsat
9.6s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG361-1.p
(content)
unsat
unsat
9.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG354-1.p
(content)
unsat
unsat
9.5s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG350-1.p
(content)
unsat
unsat
0.076s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG298^5.p
(content)
unsat
unsat
0.029s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG287^5.p
(content)
unsat
unsat
0.019s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG286^5.p
(content)
unsat
unsat
0.026s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG285^5.p
(content)
unsat
unsat
0.050s