Timings for job618to622.v

1. /home/gitlab-runner/builds/v6HyzL39/0/coq/coq/_bench/opam.OLD/ocaml-OLD/.opam-switch/build/coq-fourcolor.dev/./theories/job618to622.v.timing
2. /home/gitlab-runner/builds/v6HyzL39/0/coq/coq/_bench/opam.NEW/ocaml-NEW/.opam-switch/build/coq-fourcolor.dev/./theories/job618to622.v.timing

(* (c) Copyright 2006-2018 Microsoft Corporation and Inria.                  *)

(* Distributed under the terms of CeCILL-B.                                  *)

From mathcomp Require Import ssreflect ssrfun ssrbool ssrnat seq.


From fourcolor Require Import cfmap cfreducible configurations.




(******************************************************************************)

(* Reducibility of configurations number 618 to 622, whose indices in         *)

(* the_configs range over segment [617, 622).                                 *)

(******************************************************************************)



Lemma red617to622 : reducible_in_range 617 622 the_configs.


Proof.
 CheckReducible.
 Qed.