provers
|
|
|
n_results
|
95063
|
|
uuid
|
f59d548a-b442-4faf-b94c-c8f42a9e182b
|
|
dirs
|
|
|
timestamp
|
2020/05, Mon the 18, at 15h20:22 GMT
|
|
total_wall_time
|
5h54m47.1s
|
provers
|
dolmen
|
improved
|
0
|
ok
|
|
disappoint
|
0
|
bad
|
0
|
valid proof
|
0
|
invalid proof
|
0
|
errors
|
0
|
total
|
95063
|