provers
|
|
|
n_results
|
363750
|
|
uuid
|
3a5dfe87-df6c-4b31-978b-bae80565bc7b
|
|
dirs
|
|
|
timestamp
|
2020/07, Mon the 27, at 18h43:50 GMT
|
|
total_wall_time
|
3h13m14.8s
|
provers
|
dolmen
|
improved
|
0
|
ok
|
|
disappoint
|
0
|
bad
|
0
|
valid proof
|
0
|
invalid proof
|
0
|
errors
|
0
|
total
|
363750
|