root
show
res-20200210T050851-71056257-ca8d-4ba1-a71d-371e4892491f.sqlite
show individual results
download as csv
show table of results
Summary
provers
zip-dev
n_results
20646
uuid
71056257-ca8d-4ba1-a71d-371e4892491f
dirs
//home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems
timestamp
2020/02, Mon the 10, at 5h08:51 GMT
total_wall_time
1h52m25.0s
stats
provers
zip-dev
sat
517
unsat
6453
sat+unsat
6970
errors
456
valid_proof
0
invalid_proof
0
unknown
500
timeout
12720
memory
0
total
20646
total_time
1h35m0.8s
summary
download as csv
see detailed results
provers
zip-dev
improved
17
ok
6978
disappoint
11969
bad
0
valid proof
0
invalid proof
0
errors
456
total
20646