root
file
detailed [325..349]
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/ARI196=1.p
(content)
unsat
unsat
0.014s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI195=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI194=1.p
(content)
unsat
unsat
0.020s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI193=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI192=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI191=1.p
(content)
unsat
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI190=1.p
(content)
unsat
unsat
0.019s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI189=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI188=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI187=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI186=1.p
(content)
unsat
unsat
0.626s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI185=1.p
(content)
unsat
unsat
0.017s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI182=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI181=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI180=1.p
(content)
unsat
unsat
0.022s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI179=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI178=1.p
(content)
unsat
unsat
0.020s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI177=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI176=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI175=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI174=1.p
(content)
unsat
unsat
0.017s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI173=1.p
(content)
unsat
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI172=1.p
(content)
unsat
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI167=1.p
(content)
unsat
unsat
0.020s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI166=1.p
(content)
unsat
unsat
0.019s