root
file
detailed [1175..1199]
prev
next
detailed results (13480 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-4.p
(content)
timeout
sat
9.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-3.p
(content)
timeout
unsat
9.0s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-3.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-2.p
(content)
unsat
unsat
0.030s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-2.p
(content)
unsat
unsat
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-1.p
(content)
unsat
unsat
0.027s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-1.p
(content)
unsat
unsat
0.036s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-4.p
(content)
unsat
unsat
0.413s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-4.p
(content)
unsat
unsat
0.416s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-3.p
(content)
unsat
unsat
0.418s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-3.p
(content)
unsat
unsat
0.396s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT017-4.p
(content)
unsat
unsat
0.331s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT017-4.p
(content)
unsat
unsat
0.336s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT017-3.p
(content)
unsat
unsat
0.363s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT017-3.p
(content)
unsat
unsat
0.400s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT016-4.p
(content)
unsat
unsat
0.233s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT016-4.p
(content)
unsat
unsat
0.234s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT016-3.p
(content)
unsat
unsat
0.242s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT016-3.p
(content)
unsat
unsat
0.279s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT015-4.p
(content)
sat
sat
0.058s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT015-4.p
(content)
sat
sat
0.058s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT015-3.p
(content)
sat
sat
0.070s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT015-3.p
(content)
sat
sat
0.076s