provers
|
|
|
n_results
|
144
|
|
bad
|
1
|
|
uuid
|
5ffc52d3-aeaa-4731-bcbd-1fe9a6ab63c9
|
|
dirs
|
|
|
timestamp
|
2019/12, Tue the 17, at 2h25:42 GMT
|
|
total_wall_time
|
52.4s
|
better:
|
z3
|
sidekick-dev
|
|||
z3
|
×
|
|
|||
sidekick-dev
|
|
×
|