root
file
detailed [1150..1174]
prev
next
detailed results (13480 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-4.p
(content)
unsat
unsat
0.287s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-4.p
(content)
unsat
unsat
0.288s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-3.p
(content)
unsat
unsat
0.339s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-3.p
(content)
unsat
unsat
0.343s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-2.p
(content)
unsat
unsat
0.027s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-2.p
(content)
unsat
unsat
0.027s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-1.p
(content)
unsat
unsat
0.196s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-1.p
(content)
unsat
unsat
0.176s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-4.p
(content)
unsat
unsat
0.284s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-4.p
(content)
unsat
unsat
0.285s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-3.p
(content)
unsat
unsat
0.295s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-3.p
(content)
unsat
unsat
0.289s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-1.p
(content)
unsat
unsat
0.131s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-1.p
(content)
unsat
unsat
0.133s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-4.p
(content)
unsat
unsat
0.308s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-4.p
(content)
unsat
unsat
0.311s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-3.p
(content)
unsat
unsat
0.279s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-3.p
(content)
unsat
unsat
0.277s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-1.p
(content)
unsat
unsat
0.170s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-1.p
(content)
unsat
unsat
0.172s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-4.p
(content)
unsat
unsat
0.256s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-4.p
(content)
unsat
unsat
0.259s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-3.p
(content)
unsat
unsat
0.305s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-3.p
(content)
unsat
unsat
0.302s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-2.p
(content)
unsat
unsat
0.030s