root
show
res-20200307T232658-9bce8ec6-a6b6-473c-8d7a-c2400b3b7912.sqlite
show individual results
download as csv
show table of results
Summary
provers
zip-dev
n_results
227
uuid
9bce8ec6-a6b6-473c-8d7a-c2400b3b7912
dirs
//home/simon/workspace/zipperposition
timestamp
2020/03, Sat the 07, at 23h26:58 GMT
total_wall_time
29.9s
stats
provers
zip-dev
sat
32
unsat
125
sat+unsat
157
errors
7
valid_proof
0
invalid_proof
0
unknown
18
timeout
45
memory
0
total
227
total_time
20.4s
summary
download as csv
see detailed results
provers
zip-dev
improved
122
ok
46
disappoint
19
bad
0
valid proof
0
invalid proof
0
errors
7
total
227