root
file
detailed [1950..1974]
prev
next
detailed results (6472 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV015-2.p
(content)
unsat
unsat
0.284s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV015-1.p
(content)
unsat
unsat
0.178s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV014-2.p
(content)
unsat
unsat
0.390s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV014-1.p
(content)
unsat
unsat
0.294s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV013-2.p
(content)
unsat
unsat
0.062s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV013-1.p
(content)
unsat
unsat
0.098s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV012-1.p
(content)
unsat
unsat
0.172s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV011-3.p
(content)
unsat
unsat
0.034s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV011-2.p
(content)
unsat
unsat
0.043s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV011-1.p
(content)
unsat
unsat
0.033s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV010-3.p
(content)
unsat
unsat
0.038s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV010-2.p
(content)
unsat
unsat
0.044s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV010-1.p
(content)
unsat
unsat
0.086s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV009-4.p
(content)
unsat
unsat
0.052s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV009-3.p
(content)
unsat
unsat
0.086s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV009-2.p
(content)
unsat
unsat
0.054s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV009-1.p
(content)
unsat
unsat
0.408s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV005-1.p
(content)
unsat
unsat
0.165s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV003-3.p
(content)
unsat
unsat
0.036s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWC/HWC001-1.p
(content)
unsat
unsat
0.188s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN012-3.p
(content)
unsat
unsat
5.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN012-1.p
(content)
unsat
unsat
0.687s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN010-6.p
(content)
unsat
unsat
1.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN010-4.p
(content)
unsat
unsat
1.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN010-3.p
(content)
unsat
unsat
2.5s