root
file
detailed [25..49]
prev
next
detailed results (202 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV053-1.p
(content)
unknown
sat
4.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP397-1.p
(content)
unknown
sat
0.132s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP397-1.p
(content)
unknown
sat
0.130s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP393-1.p
(content)
unknown
sat
5.5s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP393-1.p
(content)
unknown
sat
6.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA071^2.p
(content)
unknown
unsat
0.178s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA071^2.p
(content)
unknown
unsat
0.184s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA071^1.p
(content)
unknown
unsat
0.166s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA071^1.p
(content)
unknown
unsat
0.168s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA058^2.p
(content)
unknown
unknown
0.033s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA058^2.p
(content)
unknown
unknown
0.034s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA058^1.p
(content)
unknown
unknown
0.034s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA058^1.p
(content)
unknown
unknown
0.033s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA053^2.p
(content)
unknown
unknown
0.032s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA053^2.p
(content)
unknown
unknown
0.032s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA053^1.p
(content)
unknown
unknown
0.034s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA053^1.p
(content)
unknown
unknown
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA049^2.p
(content)
unknown
unknown
0.031s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA049^2.p
(content)
unknown
unknown
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA049^1.p
(content)
unknown
unknown
0.030s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA049^1.p
(content)
unknown
unknown
0.035s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA047^2.p
(content)
unknown
unknown
0.033s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA047^2.p
(content)
unknown
unknown
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA047^1.p
(content)
unknown
unknown
0.030s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA047^1.p
(content)
unknown
unknown
0.037s