root
file
detailed [21075..21099]
prev
next
detailed results (41292 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO011+4.p
(content)
unsat
unsat
0.234s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO011+3.p
(content)
unsat
unsat
0.447s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO011+3.p
(content)
unsat
unsat
0.501s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO011+2.p
(content)
unsat
unsat
0.156s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO011+2.p
(content)
unsat
unsat
0.187s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO011+1.p
(content)
unsat
unsat
0.546s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO011+1.p
(content)
unsat
unsat
0.483s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO010+4.p
(content)
unsat
unsat
0.137s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO010+4.p
(content)
unsat
unsat
0.157s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO010+3.p
(content)
unsat
unsat
0.208s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO010+3.p
(content)
unsat
unsat
0.213s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO010+2.p
(content)
unsat
unsat
0.458s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO010+2.p
(content)
unsat
unsat
0.459s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO010+1.p
(content)
unsat
unsat
0.489s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO010+1.p
(content)
unsat
unsat
0.495s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO009+4.p
(content)
unsat
unsat
3.2s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO009+4.p
(content)
unsat
unsat
2.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO009+3.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO009+3.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO009+2.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO009+2.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO009+1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO009+1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO008+4.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO008+4.p
(content)
timeout
unsat
9.9s