root
file
detailed [1025..1049]
prev
next
detailed results (1657 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL641+1.005.p
(content)
timeout
unknown
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL641+1.005.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL640+1.020.p
(content)
timeout
unknown
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL640+1.020.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL640+1.005.p
(content)
timeout
unknown
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL640+1.005.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL639+1.005.p
(content)
timeout
unknown
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL639+1.005.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL639+1.001.p
(content)
timeout
unknown
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL639+1.001.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL638+1.005.p
(content)
timeout
unknown
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL638+1.005.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL638+1.001.p
(content)
unsat
unknown
0.068s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL638+1.001.p
(content)
unsat
unknown
0.073s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL637+1.020.p
(content)
timeout
unknown
10.7s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL637+1.020.p
(content)
timeout
unknown
10.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL637+1.005.p
(content)
timeout
unknown
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL637+1.005.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL636+1.010.p
(content)
timeout
unknown
9.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL636+1.010.p
(content)
timeout
unknown
9.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL636+1.005.p
(content)
timeout
unknown
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL636+1.005.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL636+1.001.p
(content)
unsat
unknown
0.026s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL636+1.001.p
(content)
unsat
unknown
0.027s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL633^1.p
(content)
timeout
unknown
9.0s