provers
|
|
|
n_results
|
144
|
|
bad
|
1
|
|
uuid
|
9d63e7a2-1d0f-456c-887a-e3e3e3b00ae7
|
|
dirs
|
|
|
timestamp
|
2019/12, Tue the 17, at 2h36:09 GMT
|
|
total_wall_time
|
53.5s
|
better:
|
z3
|
sidekick-dev
|
|||
z3
|
×
|
|
|||
sidekick-dev
|
|
×
|