root
file
detailed [300..324]
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/ARI165=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI164=1.p
(content)
unsat
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI163=1.p
(content)
unsat
unsat
0.020s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI162=1.p
(content)
unsat
unsat
0.017s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI133=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI132=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI131=1.p
(content)
unsat
unsat
0.017s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI130=1.p
(content)
unsat
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI129=1.p
(content)
unsat
unsat
0.017s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI128=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI124=1.p
(content)
unsat
unsat
0.019s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI122=1.p
(content)
unsat
unsat
0.023s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI121=1.p
(content)
unsat
unsat
0.021s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI117=1.p
(content)
unsat
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI116=1.p
(content)
unsat
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI115=1.p
(content)
unsat
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI114=1.p
(content)
unsat
unsat
0.019s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI113=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI112=1.p
(content)
unsat
unsat
0.020s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI111=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI110=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI109=1.p
(content)
unsat
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI108=1.p
(content)
unsat
unsat
0.017s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI107=1.p
(content)
unsat
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI106=1.p
(content)
unsat
unsat
0.015s