root
file
detailed [1600..1624]
prev
next
detailed results (4189 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV134=1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV134-1.p
(content)
timeout
unsat
10.2s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV134+1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV133_1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV133=1.p
(content)
timeout
unsat
10.0s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV133-1.p
(content)
timeout
unsat
10.7s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV133+1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV132_1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV132=1.p
(content)
timeout
unsat
10.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV132-1.p
(content)
timeout
unsat
10.7s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV132+1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV131_1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV131=1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV131-1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV131+1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV130_1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV130=1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV130-1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV130+1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV129_1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV129-1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV129+1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV128_1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV128=1.p
(content)
timeout
unsat
11s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV128-1.p
(content)
timeout
unsat
11s