root
file
detailed [6850..6874]
prev
next
detailed results (8378 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL768_5.p
(content)
timeout
unknown
10s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL768-1.p
(content)
timeout
unsat
9.0s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL768-1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL767_5.p
(content)
timeout
unknown
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL767_5.p
(content)
timeout
unknown
10s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL767-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL767-1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL766_5.p
(content)
timeout
unknown
9.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL766_5.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL766-1.p
(content)
timeout
unsat
9.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL766-1.p
(content)
timeout
unsat
9.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL765_5.p
(content)
timeout
unknown
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL765_5.p
(content)
timeout
unknown
9.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL765-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL765-1.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL761_5.p
(content)
timeout
unknown
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL761_5.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL761-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL761-1.p
(content)
timeout
unsat
9.0s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL760-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL760-1.p
(content)
timeout
unsat
9.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL759_5.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL759_5.p
(content)
timeout
unsat
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL759-1.p
(content)
timeout
unsat
9.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL759-1.p
(content)
timeout
unsat
9.8s