provers
|
|
|||
n_results
|
74
|
|||
uuid
|
2c2bb466-2d44-4ef2-bd9b-8d5207022807
|
|||
dirs
|
|
|||
timestamp
|
2021/12, Wed the 08, at 1h41:41 GMT
|
|||
total_wall_time
|
none
|
better:
|
z3
|
sidekick-dev-p
|
sidekick-dev
|
||||||
z3
|
×
|
|
|
||||||
sidekick-dev-p
|
|
×
|
|
||||||
sidekick-dev
|
|
|
×
|