res-20201222T164835-cfb9e674-75ff-4c92-b601-75ff9150ef1d.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
222
uuid
cfb9e674-75ff-4c92-b601-75ff9150ef1d
dirs
//home/simon/w/sidekick/tests
timestamp
2020/12, Tue the 22, at 16h48:35 GMT
total_wall_time
1m28.5s

stats

provers
z3
sidekick-dev
sat
29
26
unsat
80
68
sat+unsat
109
94
errors
0
0
valid_proof
0
0
invalid_proof
0
0
unknown
0
5
timeout
memory
0
0
total
111
111
total_time
11s
23s

summary

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

comparisons

better:
z3
sidekick-dev
z3
×
same: 94
better: 0
worse: 15
sidekick-dev
same: 94
better: 15
worse: 0
×