provers
|
|
|
n_results
|
349691
|
|
uuid
|
8e5e948d-e7fa-4e3d-ab5a-e1ba21576c80
|
|
dirs
|
|
|
timestamp
|
2020/07, Fri the 10, at 21h43:54 GMT
|
|
total_wall_time
|
0.000s
|
provers
|
dolmen
|
improved
|
0
|
ok
|
|
disappoint
|
0
|
bad
|
0
|
valid proof
|
0
|
invalid proof
|
0
|
errors
|
0
|
total
|
349691
|