root
show
res-20200516T192948-f1d4df72-ea08-464a-aa8f-8981d88fafe9.sqlite
show individual results
download as csv
show table of results
Summary
provers
zip-dev
n_results
236
uuid
f1d4df72-ea08-464a-aa8f-8981d88fafe9
dirs
//home/simon/w/these/zipperposition
timestamp
2020/05, Sat the 16, at 19h29:48 GMT
total_wall_time
2m57.3s
stats
provers
zip-dev
sat
32
unsat
129
sat+unsat
161
errors
7
valid_proof
0
invalid_proof
0
unknown
0
timeout
47
tag.gaveup
21
memory
0
total
236
total_time
46.4s
summary
download as csv
see detailed results
provers
zip-dev
improved
122
ok
39
disappoint
23
bad
0
valid proof
0
invalid proof
0
errors
7
total
236