res-20200212T233811-f5daab07-c0fe-4433-9f03-9342291b1b20.sqlite

Summary

provers
n_results
227
uuid
f5daab07-c0fe-4433-9f03-9342291b1b20
dirs
//home/simon/workspace/zipperposition
timestamp
2020/02, Wed the 12, at 23h38:11 GMT
total_wall_time
30.7s

stats

provers
zip-dev
sat
unsat
sat+unsat
157
errors
unknown
timeout
memory
0
total
227
total_time
19.6s

summary

download as csvsee detailed results
provers
zip-dev
improved
ok
disappoint
bad
0
errors
total
227
cactus plot of provers