res-20201012T135922-908d4e87-4e99-4b87-9abb-70003a891efe.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
3050
bad
431
uuid
908d4e87-4e99-4b87-9abb-70003a891efe
dirs
//home/simon/w/sidekick/tests/QF_LRA
timestamp
2020/10, Mon the 12, at 13h59:22 GMT
total_wall_time
none

stats

provers
z3
sidekick-dev
sat
681
564
unsat
442
751
sat+unsat
1123
1315
errors
0
valid_proof
0
0
invalid_proof
0
0
unknown
0
4
timeout
memory
0
0
total
1524
1526
total_time
12m34.3s
17m26.9s

summary

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

comparisons

better:
z3
sidekick-dev
z3
×
same: 979
better: 334
worse: 144
sidekick-dev
same: 979
better: 144
worse: 334
×