root
show
res-20201012T135922-908d4e87-4e99-4b87-9abb-70003a891efe.sqlite
show individual results
download as csv
show table of results
Summary
provers
z3
sidekick-dev
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
145
valid_proof
0
0
invalid_proof
0
0
unknown
0
4
timeout
401
62
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
15
ok
1123
869
disappoint
385
210
bad
0
431
valid proof
0
0
invalid proof
0
0
errors
0
145
total
1524
1526
comparisons
better:
z3
sidekick-dev
z3
×
same: 979
better: 334
worse: 144
sidekick-dev
same: 979
better: 144
worse: 334
×