res-20191202T012905-37ab78b6-16e5-457a-9edc-bef2009e819b.sqlite

Summary

provers
n_results
53
bad
3
uuid
37ab78b6-16e5-457a-9edc-bef2009e819b
dirs
tests
timestamp
2019/12, Mon the 02, at 1h29:05 GMT
total_wall_time
50.0s

stats

provers
sidekick
sat
11
unsat
27
sat+unsat
38
errors
valid_proof
0
invalid_proof
0
unknown
1
timeout
memory
0
total
53
total_time
10.4s

summary

download as csv see detailed results
provers
sidekick
improved
0
ok
disappoint
bad
valid proof
0
invalid proof
0
errors
total
53
cactus plot of provers