res-20200115T044023-e4e540f2-3cb7-45f6-aab4-467980b1d07a.sqlite

Summary

provers
n_results
190
uuid
e4e540f2-3cb7-45f6-aab4-467980b1d07a
dirs
//home/simon/workspace/sidekick/tests
timestamp
2020/01, Wed the 15, at 4h40:23 GMT
total_wall_time
1m4.8s

stats

provers
z3
sidekick-dev
sat
20
20
unsat
74
59
sat+unsat
94
79
errors
0
valid_proof
0
0
invalid_proof
0
0
unknown
0
4
timeout
memory
0
0
total
95
95
total_time
12.8s
27.5s

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
total
95
95
cactus plot of provers

comparisons

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