root
file
detailed [1450..1474]
prev
next
detailed results (13480 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT062=1.p
(content)
unsat
unsat
0.037s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT062=1.p
(content)
unsat
unsat
0.037s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT061=1.p
(content)
unsat
unsat
0.021s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT061=1.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT060=1.p
(content)
unsat
unsat
0.027s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT060=1.p
(content)
unsat
unsat
0.020s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT059=1.p
(content)
unsat
unsat
0.021s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT059=1.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT058=1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT058=1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT057=1.p
(content)
unsat
unsat
0.028s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT057=1.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT056^2.p
(content)
timeout
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT056^2.p
(content)
timeout
unsat
10s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT056^1.p
(content)
unsat
unsat
0.029s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT056^1.p
(content)
unsat
unsat
0.027s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT055=1.p
(content)
unsat
unsat
0.022s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT055=1.p
(content)
unsat
unsat
0.021s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT054=1.p
(content)
unknown
sat
0.022s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT054=1.p
(content)
unknown
sat
0.026s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT053=1.p
(content)
unsat
unsat
0.160s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT053=1.p
(content)
unsat
unsat
0.173s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT052=1.p
(content)
unsat
unsat
0.141s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT052=1.p
(content)
unsat
unsat
0.158s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT051=1.p
(content)
unsat
unsat
0.051s