root
file
detailed [200..224]
prev
next
detailed results (962 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP054-1.p
(content)
unknown
sat
0.135s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP054-1.p
(content)
unknown
sat
0.142s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP053-1.p
(content)
unknown
sat
0.180s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP053-1.p
(content)
unknown
sat
0.191s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP053+1.p
(content)
unknown
sat
0.176s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP053+1.p
(content)
unknown
sat
0.177s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP052-1.p
(content)
unknown
sat
0.134s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP052-1.p
(content)
unknown
sat
0.130s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP052+1.p
(content)
unknown
sat
0.165s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP052+1.p
(content)
unknown
sat
0.167s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP051-1.p
(content)
unknown
sat
0.148s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP051-1.p
(content)
unknown
sat
0.147s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP051+1.p
(content)
unknown
sat
0.178s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP051+1.p
(content)
unknown
sat
0.177s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP050-1.p
(content)
unknown
sat
0.149s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP050-1.p
(content)
unknown
sat
0.138s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP050+1.p
(content)
unknown
sat
0.173s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP050+1.p
(content)
unknown
sat
0.176s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP049-1.p
(content)
unknown
sat
0.131s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP049-1.p
(content)
unknown
sat
0.152s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP049+1.p
(content)
unknown
sat
0.174s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP049+1.p
(content)
unknown
sat
0.212s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP048+1.p
(content)
unknown
sat
1.1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP048+1.p
(content)
unknown
sat
1.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP036+1.p
(content)
unknown
sat
0.188s