res-20211208T014329-ed0071db-343f-4f09-b17d-8e18a9c303be.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
345
uuid
ed0071db-343f-4f09-b17d-8e18a9c303be
dirs
//home/simon/w/sidekick/tests
timestamp
2021/12, Wed the 08, at 1h43:29 GMT
total_wall_time
5m10.1s

stats

provers
z3
sidekick-dev-p
sidekick-dev
sat
31
25
27
unsat
83
46
72
sat+unsat
114
71
99
errors
0
0
valid_proof
0
22
0
invalid_proof
0
4
0
unknown
0
0
2
timeout
memory
0
0
0
total
115
115
115
total_time
11.6s
18s
34s

summary

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

comparisons

better:
z3
sidekick-dev-p
sidekick-dev
z3
×
same: 71
better: 0
worse: 43
same: 99
better: 0
worse: 15
sidekick-dev-p
same: 71
better: 43
worse: 0
×
same: 71
better: 28
worse: 0
sidekick-dev
same: 99
better: 15
worse: 0
same: 71
better: 0
worse: 28
×