provers
|
|
|
n_results
|
156
|
|
uuid
|
d2b88111-297b-435b-8c91-3fa7e0186e23
|
|
dirs
|
|
|
timestamp
|
2019/12, Sat the 14, at 1h51:02 GMT
|
|
total_wall_time
|
2h3m37.6s
|
better:
|
z3
|
sidekick-dev
|
|||
z3
|
×
|
|
|||
sidekick-dev
|
|
×
|