res-20210823T144923-faeb3453-aebd-468c-a4c3-d2cdb711e564.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
14914
uuid
faeb3453-aebd-468c-a4c3-d2cdb711e564
dirs
//home/simon/w/sidekick/tests/QF_UF
timestamp
2021/08, Mon the 23, at 14h49:23 GMT
total_wall_time
1h58m3.5s

stats

provers
z3
sidekick-dev
sat
3102
2999
unsat
4327
3620
sat+unsat
7429
6619
errors
0
0
valid_proof
0
0
invalid_proof
0
0
unknown
0
170
timeout
memory
0
0
total
7457
7457
total_time
27m45.0s
2h19m43.5s

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: 6617
better: 2
worse: 812
sidekick-dev
same: 6617
better: 812
worse: 2
×