res-20201114T161315-131ced4d-32d3-48d0-b0e7-d7e16a0118e1.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
3296
bad
113
uuid
131ced4d-32d3-48d0-b0e7-d7e16a0118e1
dirs
//home/simon/w/sidekick/tests/QF_LRA
timestamp
2020/11, Sat the 14, at 16h13:15 GMT
total_wall_time
1h20m57.8s

stats

provers
z3
sidekick-dev
sat
703
531
unsat
454
230
sat+unsat
1157
761
errors
0
valid_proof
0
0
invalid_proof
0
0
unknown
0
237
timeout
memory
0
0
total
1648
1648
total_time
13m23.1s
7m36.6s

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

comparisons

better:
z3
sidekick-dev
z3
×
same: 701
better: 60
worse: 456
sidekick-dev
same: 701
better: 456
worse: 60
×