Better ElimAcc instances for monPred_at.

6 jobs for master in 12 minutes and 17 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
failed #41295
fp
build-coq.8.10.dev

00:11:18

passed #41299
fp
build-coq.8.7.2

00:05:53

failed #41298
fp
build-coq.8.8.2

00:05:59

failed #41297
fp-timing
build-coq.8.9.0

00:04:37

failed #41296
fp
build-coq.8.9.1

00:06:08

failed #41294
fp
build-coq.dev

00:12:16

 
Name Stage Failure
failed
build-coq.dev Build
Makefile.coq:320: recipe for target 'all' failed
make[1]: *** [all] Error 2
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 4m9.565s
user 12m57.880s
sys 0m50.756s
ERROR: Job failed: exit code 1
failed
build-coq.8.10.dev Build
Makefile.coq:320: recipe for target 'all' failed
make[1]: *** [all] Error 2
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 4m16.178s
user 13m40.748s
sys 0m50.924s
ERROR: Job failed: exit code 1
failed
build-coq.8.9.1 Build
Makefile.coq:326: recipe for target 'all' failed
make[1]: *** [all] Error 2
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 4m47.854s
user 14m53.244s
sys 0m49.244s
ERROR: Job failed: exit code 1
failed
build-coq.8.8.2 Build
Makefile.coq:317: recipe for target 'all' failed
make[1]: *** [all] Error 2
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 4m53.590s
user 15m5.776s
sys 0m49.808s
ERROR: Job failed: exit code 1
failed
build-coq.8.9.0 Build
Makefile.coq:326: recipe for target 'all' failed
make[1]: *** [all] Error 2
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 3m33.163s
user 10m31.476s
sys 0m43.788s
ERROR: Job failed: exit code 1