root
file
detailed [25..49]
prev
next
detailed results (962 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI523=1.p
(content)
unknown
unsat
0.014s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI520=1.p
(content)
unknown
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI520=1.p
(content)
unknown
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI517=1.p
(content)
unknown
unsat
0.030s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI517=1.p
(content)
unknown
unsat
0.036s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI515=1.p
(content)
unknown
unsat
0.020s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI515=1.p
(content)
unknown
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI511=1.p
(content)
unknown
unsat
0.019s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI511=1.p
(content)
unknown
unsat
0.016s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI510=1.p
(content)
unknown
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI510=1.p
(content)
unknown
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI501=1.p
(content)
unknown
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI501=1.p
(content)
unknown
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI500=1.p
(content)
unknown
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI500=1.p
(content)
unknown
unsat
0.016s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI498=1.p
(content)
unknown
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI498=1.p
(content)
unknown
unsat
0.015s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI496=1.p
(content)
unknown
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI496=1.p
(content)
unknown
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI295=1.p
(content)
unknown
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI295=1.p
(content)
unknown
unsat
0.016s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI256=1.p
(content)
unknown
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI256=1.p
(content)
unknown
unsat
0.028s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI245=1.p
(content)
unknown
unsat
0.014s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI245=1.p
(content)
unknown
unsat
0.017s