res-20200207T171334-8a12ecda-8e08-462d-8b58-65e1787b383e.sqlite

Summary

provers
n_results
186
uuid
8a12ecda-8e08-462d-8b58-65e1787b383e
dirs
//home/simon/workspace/sidekick/tests
timestamp
2020/02, Fri the 07, at 17h13:34 GMT
total_wall_time
45.4s

stats

provers
z3
sidekick-dev
sat
19
19
unsat
74
60
sat+unsat
93
79
errors
0
valid_proof
0
0
invalid_proof
0
0
unknown
0
2
timeout
0
memory
0
0
total
93
93
total_time
14.4s
32.8s

summary

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

comparisons

better:
z3
sidekick-dev
z3
×
same: 79
better: 0
worse: 14
sidekick-dev
same: 79
better: 14
worse: 0
×