root
file
detailed [1825..1849]
prev
next
detailed results (12751 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO129-1.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO129+1.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO128-1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO128+1.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO127+1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO126-1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO126+1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO125-1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO125+1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO124-1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO124+1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO123-1.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO123+1.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO122-1.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO122+1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO121-1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO121+1.p
(content)
timeout
sat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO120-1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO120+1.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO119-1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO119+1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO116-1.p
(content)
timeout
unknown
9.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO116+1.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO115-1.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO115+1.p
(content)
timeout
sat
9.8s