res-20191210T004756-19e5aa36-9d69-487c-a35d-eeb4caaed3df.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
28749
bad
1
uuid
19e5aa36-9d69-487c-a35d-eeb4caaed3df
dirs
//home/simon/workspace/smtlib
timestamp
2019/12, Tue the 10, at 0h47:56 GMT
total_wall_time
39m1.9s

stats

provers
z3
sidekick-dev
mc2
sat
3906
2506
3565
unsat
5027
3632
4200
sat+unsat
8933
6138
7765
errors
valid_proof
0
0
0
invalid_proof
0
0
0
unknown
0
40
0
timeout
memory
0
0
0
total
9583
9583
9583
total_time
38m24s
1h46m38.4s
1h45m56.7s

summary

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

comparisons

better:
z3
sidekick-dev
mc2
z3
×
same: 6137
better: 1
worse: 2796
same: 7738
better: 27
worse: 1195
sidekick-dev
same: 6137
better: 2796
worse: 1
×
same: 5506
better: 2259
worse: 632
mc2
same: 7738
better: 1195
worse: 27
same: 5506
better: 632
worse: 2259
×