update obsolete sessions

1 job from master in 2 minutes 59 seconds (queued for 2 minutes 35 seconds)
Status Job ID Name Coverage
  Test
failed #46446
ci-bench

02:59

 
Test ci-bench
invocation: bin/why3prove.opt  examples/gcd_vc_sp.mlw
File "examples/gcd_vc_sp.mlw", line 125, characters 7-14:
unbound symbol 'Int63.eq'
invocation: bin/why3prove.opt examples/vstte10_queens.mlw
File "examples/vstte10_queens.mlw", line 193, characters 7-9:
unbound symbol 'eq'
Makefile:1722: recipe for target 'bench' failed
make: *** [bench] Error 1
ERROR: Job failed: exit status 1