root
file
detailed [200..224]
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/ARI026=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI025=1.p
(content)
unsat
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI024=1.p
(content)
unsat
unsat
0.014s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI023=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI022=1.p
(content)
unsat
unsat
0.013s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI021=1.p
(content)
unsat
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI020=1.p
(content)
unsat
unsat
0.014s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI019=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI018=1.p
(content)
unsat
unsat
0.032s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI017=1.p
(content)
unsat
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI016=1.p
(content)
unsat
unsat
0.020s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI015=1.p
(content)
unsat
unsat
0.022s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI014=1.p
(content)
unsat
unsat
0.023s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI013=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI012=1.p
(content)
unsat
unsat
0.017s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI011=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI010=1.p
(content)
unsat
unsat
0.015s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI009=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI008=1.p
(content)
unsat
unsat
0.014s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI007=1.p
(content)
unsat
unsat
0.017s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI006=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI005=1.p
(content)
unsat
unsat
0.019s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI004=1.p
(content)
unsat
unsat
0.016s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI003=1.p
(content)
unsat
unsat
0.014s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI002=1.p
(content)
unsat
unsat
0.016s