res-20210927T165228-a66e2dc2-8876-482c-b1a7-600e6a864a54.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
14914
uuid
a66e2dc2-8876-482c-b1a7-600e6a864a54
dirs
//home/simon/w/sidekick/tests/QF_UF
timestamp
2021/09, Mon the 27, at 16h52:28 GMT
total_wall_time
2h23m26.7s

stats

provers
z3
sidekick-dev
sat
3102
2853
unsat
4328
3039
sat+unsat
7430
5892
errors
0
0
valid_proof
0
0
invalid_proof
0
0
unknown
0
652
timeout
memory
0
0
total
7457
7457
total_time
27m53.3s
1h20m35.9s

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

comparisons

better:
z3
sidekick-dev
z3
×
same: 5890
better: 2
worse: 1540
sidekick-dev
same: 5890
better: 1540
worse: 2
×