root
show
res-20210927T165228-a66e2dc2-8876-482c-b1a7-600e6a864a54.sqlite
show individual results
download as csv
show table of results
Summary
provers
z3
sidekick-dev
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
27
913
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
7430
5892
disappoint
27
1565
bad
0
0
valid proof
0
0
invalid proof
0
0
errors
0
0
total
7457
7457
comparisons
better:
z3
sidekick-dev
z3
×
same: 5890
better: 2
worse: 1540
sidekick-dev
same: 5890
better: 1540
worse: 2
×