root
file
detailed [1975..1999]
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/HWV032-2.p
(content)
unsat
unsat
0.044s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV032-1.p
(content)
unsat
unsat
0.063s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV030-2.p
(content)
unsat
unsat
0.050s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV030-1.p
(content)
unsat
unsat
0.059s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV028-1.p
(content)
unsat
unsat
0.069s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV027-2.p
(content)
unsat
unsat
0.453s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV027-1.p
(content)
unsat
unsat
0.355s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV026-3.p
(content)
unsat
unsat
0.449s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV026-2.p
(content)
unsat
unsat
0.497s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV026-1.p
(content)
unsat
unsat
0.625s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV025-1.p
(content)
unsat
unsat
8.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV024-1.p
(content)
unsat
unsat
7.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV023-1.p
(content)
unsat
unsat
6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV022-1.p
(content)
unsat
unsat
0.538s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV021-1.p
(content)
unsat
unsat
0.322s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV020-3.p
(content)
unsat
unsat
0.375s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV020-2.p
(content)
unsat
unsat
0.363s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV020-1.p
(content)
unsat
unsat
7.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV019-3.p
(content)
unsat
unsat
0.346s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV019-1.p
(content)
unsat
unsat
0.172s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV018-3.p
(content)
unsat
unsat
0.107s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV018-2.p
(content)
unsat
unsat
0.102s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV018-1.p
(content)
unsat
unsat
1.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV017-1.p
(content)
unsat
unsat
8.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV016-1.p
(content)
unsat
unsat
3.2s