res-20191209T233334-7ab7c91f-5164-4d54-ad54-11805dc95251.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
19166
uuid
7ab7c91f-5164-4d54-ad54-11805dc95251
dirs
//home/simon/workspace/smtlib
timestamp
2019/12, Mon the 09, at 23h33:34 GMT
total_wall_time
22m21.6s

stats

provers
z3
sidekick-dev
sat
3911
2510
unsat
5033
3654
sat+unsat
8944
6164
errors
valid_proof
0
0
invalid_proof
0
0
unknown
0
56
timeout
memory
0
0
total
9583
9583
total_time
36m3.3s
1h43m10.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
total
9583
9583
cactus plot of provers

comparisons

better:
z3
sidekick-dev
z3
×
same: 6164
better: 0
worse: 2780
sidekick-dev
same: 6164
better: 2780
worse: 0
×