res-20191210T011035-2e62881b-66a9-4319-b439-1e31f4d0c3fd.sqlite

Summary

provers
n_results
0
uuid
2e62881b-66a9-4319-b439-1e31f4d0c3fd
dirs
timestamp
2019/12, Tue the 10, at 1h10:35 GMT
total_wall_time
0.030s

stats

provers
sat
unsat
sat+unsat
errors
unknown
timeout
memory
total
total_time

summary

download as csvsee detailed results
provers
improved
ok
disappoint
bad
errors
total
cactus plot of provers