provers
|
|
|
n_results
|
154
|
|
bad
|
1
|
|
uuid
|
cd206bb1-a6ec-454c-9a15-49ad7454be9a
|
|
dirs
|
|
|
timestamp
|
2019/12, Wed the 18, at 1h14:24 GMT
|
|
total_wall_time
|
53s
|
better:
|
z3
|
sidekick-dev
|
|||
z3
|
×
|
|
|||
sidekick-dev
|
|
×
|