provers
|
|
|||
n_results
|
3852
|
|||
uuid
|
0ea12330-248d-427d-9d00-201adad100d3
|
|||
dirs
|
|
|||
timestamp
|
2021/05, Mon the 10, at 15h51:11 GMT
|
|||
total_wall_time
|
34m16.9s
|
better:
|
z3
|
sidekick-dev
|
mc2
|
||||||
z3
|
×
|
|
|
||||||
sidekick-dev
|
|
×
|
|
||||||
mc2
|
|
|
×
|