provers
|
|
|||
n_results
|
345
|
|||
uuid
|
ed0071db-343f-4f09-b17d-8e18a9c303be
|
|||
dirs
|
|
|||
timestamp
|
2021/12, Wed the 08, at 1h43:29 GMT
|
|||
total_wall_time
|
5m10.1s
|
better:
|
z3
|
sidekick-dev-p
|
sidekick-dev
|
||||||
z3
|
×
|
|
|
||||||
sidekick-dev-p
|
|
×
|
|
||||||
sidekick-dev
|
|
|
×
|