proof count error in Validate/timed-status:
  proofs:     1706 	(counted 1704)
  timeout:    0 	(counted 0)
  unprovable: 0 	(counted 0)
  proved:     1705 	(counted 1703)
  unfinished: 1 	(counted 1)
  untried:    0 	(counted 0)

proof count error in Validate/timed-status-old:
  proofs:     1708 	(counted 1706)
  timeout:    0 	(counted 0)
  unprovable: 0 	(counted 0)
  proved:     1707 	(counted 1705)
  unfinished: 1 	(counted 1)
  untried:    0 	(counted 0)

Validation summary
0 timeout, 0 broken, 0 fixed, 0 new proved
          1 stay broken, 0 new unfinished 

Great! No lemma broke.

No lemma was fixed.

No new unfinished/untried lemma.

Lemmas that stayed unfinished/untried:
    Cpp_Examples.spec10

No new proved lemmas

old total: 1706 proofs, 0 unprovable, [1;32m1705 proved, [m[1;31m1 failed, 0 untried[m
new total: 1704 proofs, 0 unprovable, [1;32m1703 proved, [m[1;31m1 failed, 0 untried[m

Total		previously	currently
  proofs	      1706	     1704
  unprovable	         0	        0
  [1;32mproved	      1705	     1703[m
  [1;35mtimeout	         0	        0[m
  [1;31mfailed	         1	        1[m
  [1;31muntried	         0	        0[m

Validation summary
[1;35m0 timeout, [m[1;31m0 broken, [m[1;32m0 fixed, [m[1;32m0 new proved
          [m[31m1 stay broken, [m[31m0 new unfinished [m

