root
file
detailed [1125..1149]
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/CAT011-2.p
(content)
unsat
unsat
0.029s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-1.p
(content)
unsat
unsat
0.164s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-1.p
(content)
unsat
unsat
0.150s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT010-4.p
(content)
unsat
unsat
0.364s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT010-4.p
(content)
unsat
unsat
0.366s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT010-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT010-1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT009-4.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT009-4.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT009-3.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT009-3.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT009-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT009-1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT008-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT008-1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT007-3.p
(content)
unsat
unsat
0.028s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT007-3.p
(content)
unsat
unsat
0.034s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT007-1.p
(content)
unsat
unsat
0.181s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT007-1.p
(content)
unsat
unsat
0.186s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-4.p
(content)
unsat
unsat
0.050s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-4.p
(content)
unsat
unsat
0.050s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-3.p
(content)
unsat
unsat
0.069s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-3.p
(content)
unsat
unsat
0.070s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-1.p
(content)
unsat
unsat
8.5s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-1.p
(content)
unsat
unsat
8.4s