res-20200517T175755-45bbb4aa-1c41-4e63-9aef-aa2bf547f276.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
236
uuid
45bbb4aa-1c41-4e63-9aef-aa2bf547f276
dirs
//home/simon/w/these/zipperposition
timestamp
2020/05, Sun the 17, at 17h57:55 GMT
total_wall_time
2m58.8s

stats

provers
zip-dev
sat
32
unsat
129
sat+unsat
161
errors
valid_proof
0
invalid_proof
0
unknown
0
timeout
tag.gaveup
memory
0
total
236
total_time
46.2s

summary

download as csv see detailed results
provers
zip-dev
improved
ok
disappoint
bad
0
valid proof
0
invalid proof
0
errors
total
236
cactus plot of provers