root
file
detailed [400..424]
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/ARI/ARI274=1.p
(content)
unsat
unsat
0.019s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI273=1.p
(content)
unsat
unsat
0.017s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI272=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI271=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI270=1.p
(content)
unsat
unsat
0.027s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI269=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI268=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI267=1.p
(content)
unsat
unsat
0.020s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI266=1.p
(content)
unsat
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI265=1.p
(content)
unsat
unsat
0.017s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI264=1.p
(content)
unsat
unsat
0.020s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI263=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI262=1.p
(content)
unsat
unsat
0.017s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI261=1.p
(content)
unsat
unsat
0.019s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI260=1.p
(content)
unsat
unsat
0.017s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI259=1.p
(content)
unsat
unsat
0.030s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI258=1.p
(content)
unsat
unsat
0.024s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI257=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI255=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI254=1.p
(content)
unsat
unsat
0.021s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI253=1.p
(content)
unsat
unsat
0.019s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI252=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI251=1.p
(content)
unsat
unsat
0.019s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI250=1.p
(content)
unsat
unsat
0.021s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI249=1.p
(content)
unsat
unsat
0.019s