root
show
res-20210823T144923-faeb3453-aebd-468c-a4c3-d2cdb711e564.sqlite
show individual results
download as csv
show table of results
Summary
provers
z3
sidekick-dev
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
28
668
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
7429
6619
disappoint
28
838
bad
0
0
valid proof
0
0
invalid proof
0
0
errors
0
0
total
7457
7457
comparisons
better:
z3
sidekick-dev
z3
×
same: 6617
better: 2
worse: 812
sidekick-dev
same: 6617
better: 812
worse: 2
×