Montevideo/RailroadCrossing

Does not compile (since 268 days). Last compilation log:
/home/coq/bench/8.3_vs_8.2/coq//bin/coqdep -c -glob -slash -R . RailroadCrossing "time_clocks.v" > "time_clocks.v.d" || ( RV=$?; rm -f "time_clocks.v.d"; exit ${RV} )
/home/coq/bench/8.3_vs_8.2/coq//bin/coqdep -c -glob -slash -R . RailroadCrossing "railroad_crossing.v" > "railroad_crossing.v.d" || ( RV=$?; rm -f "railroad_crossing.v.d"; exit ${RV} )
/home/coq/bench/8.3_vs_8.2/coq//bin/coqc -dump-glob time_clocks.glob  -q  -R . RailroadCrossing -compat 8.2  time_clocks
/home/coq/bench/8.3_vs_8.2/coq//bin/coqc -dump-glob railroad_crossing.glob  -q  -R . RailroadCrossing -compat 8.2  railroad_crossing
File "./railroad_crossing.v", line 720, characters 0-4:
Error: Attempt to save an incomplete proof
make: *** [railroad_crossing.vo] Error 1

Benchmark log:

Wed 17/11/2010 10:00: Failure (user = 2.78s system = 0.42s)
Tue 16/11/2010 10:00: Failure (user = 2.74s system = 0.44s)
Mon 15/11/2010 10:00: Failure (user = 2.90s system = 0.36s)
Sun 14/11/2010 10:00: Failure (user = 2.82s system = 0.40s)
Sat 13/11/2010 10:00: Failure (user = 2.84s system = 0.44s)
Fri 12/11/2010 10:00: Failure (user = 2.78s system = 0.85s)
Thu 11/11/2010 10:00: Failure (user = 2.75s system = 0.42s)
Wed 10/11/2010 10:00: Failure (user = 2.86s system = 0.35s)
Tue 09/11/2010 10:00: Failure (user = 2.74s system = 0.40s)
Mon 08/11/2010 10:00: Failure (user = 2.81s system = 0.45s)
Sun 07/11/2010 10:00: Failure (user = 2.84s system = 0.40s)
Sat 06/11/2010 10:00: Failure (user = 2.88s system = 0.47s)
Fri 05/11/2010 10:00: Failure (user = 2.73s system = 0.57s)
Thu 04/11/2010 10:00: Failure (user = 2.85s system = 0.44s)
Wed 03/11/2010 10:00: Failure (user = 2.85s system = 0.40s)
Tue 02/11/2010 10:00: Failure (user = 2.77s system = 0.52s)
Mon 01/11/2010 10:00: Failure (user = 2.85s system = 0.42s)
Sun 31/10/2010 10:00: Failure (user = 2.77s system = 0.49s)
Sat 30/10/2010 10:00: Failure (user = 2.80s system = 0.81s)
Fri 29/10/2010 10:00: Failure (user = 2.81s system = 0.50s)
Thu 28/10/2010 10:00: Failure (user = 2.82s system = 0.40s)
Wed 27/10/2010 10:00: Failure (user = 2.76s system = 0.41s)
Tue 26/10/2010 10:00: Failure (user = 2.87s system = 0.41s)
Mon 25/10/2010 10:00: Failure (user = 2.80s system = 0.44s)
Sun 24/10/2010 10:00: Failure (user = 2.77s system = 0.46s)
Sat 23/10/2010 10:00: Failure (user = 2.89s system = 0.35s)
Fri 22/10/2010 10:00: Failure (user = 2.79s system = 0.42s)
Thu 21/10/2010 10:00: Failure (user = 2.78s system = 0.50s)
Wed 20/10/2010 10:00: Failure (user = 2.70s system = 0.44s)
Tue 19/10/2010 10:00: Failure (user = 2.75s system = 0.42s)
Mon 18/10/2010 10:00: Failure (user = 2.75s system = 0.44s)
Sun 17/10/2010 10:00: Failure (user = 2.79s system = 0.41s)
Sat 16/10/2010 10:00: Failure (user = 2.81s system = 0.50s)
Fri 15/10/2010 10:00: Failure (user = 2.85s system = 0.44s)
Thu 14/10/2010 10:00: Failure (user = 2.81s system = 0.42s)
Wed 13/10/2010 10:00: Failure (user = 2.87s system = 0.39s)
Tue 12/10/2010 10:00: Failure (user = 2.84s system = 0.37s)
Mon 11/10/2010 10:00: Failure (user = 2.64s system = 0.53s)
Sun 10/10/2010 10:00: Failure (user = 2.83s system = 0.38s)
Sat 09/10/2010 10:00: Failure (user = 2.78s system = 0.43s)
Fri 08/10/2010 10:00: Failure (user = 2.82s system = 0.38s)
Thu 07/10/2010 10:00: Failure (user = 2.89s system = 0.42s)
Wed 06/10/2010 10:00: Failure (user = 2.73s system = 0.43s)
Tue 05/10/2010 10:00: Failure (user = 2.70s system = 0.52s)
Mon 04/10/2010 10:00: Failure (user = 2.78s system = 0.40s)
Sun 03/10/2010 10:00: Failure (user = 2.78s system = 0.49s)
Sat 02/10/2010 10:00: Failure (user = 2.82s system = 0.40s)
Fri 01/10/2010 10:00: Failure (user = 2.72s system = 0.50s)
Thu 30/09/2010 10:00: Failure (user = 2.76s system = 0.48s)
Wed 29/09/2010 10:00: Failure (user = 2.83s system = 0.36s)
Tue 28/09/2010 10:00: Failure (user = 2.81s system = 0.45s)
Mon 27/09/2010 10:00: Failure (user = 2.92s system = 0.37s)
Sun 26/09/2010 10:00: Failure (user = 2.84s system = 0.34s)
Sat 25/09/2010 10:00: Failure (user = 2.83s system = 0.37s)
Fri 24/09/2010 10:00: Failure (user = 2.74s system = 0.43s)
Thu 23/09/2010 10:00: Failure (user = 2.87s system = 0.40s)
Wed 22/09/2010 10:00: Failure (user = 2.79s system = 0.44s)
Tue 21/09/2010 10:00: Failure (user = 2.87s system = 0.37s)
Mon 20/09/2010 10:00: Failure (user = 2.82s system = 0.40s)
Sun 19/09/2010 10:00: Failure (user = 2.78s system = 0.41s)
Sat 18/09/2010 10:00: Failure (user = 2.81s system = 0.39s)
Fri 17/09/2010 10:00: Failure (user = 2.78s system = 0.42s)
Thu 16/09/2010 10:00: Failure (user = 2.68s system = 0.44s)
Wed 15/09/2010 10:00: Failure (user = 2.85s system = 0.37s)
Tue 14/09/2010 10:00: Failure (user = 2.69s system = 0.48s)
Mon 13/09/2010 10:00: Failure (user = 2.80s system = 0.34s)
Sun 12/09/2010 10:00: Failure (user = 2.78s system = 0.41s)
Sat 11/09/2010 10:00: Failure (user = 2.76s system = 0.39s)
Fri 10/09/2010 10:00: Failure (user = 2.72s system = 0.44s)
Thu 09/09/2010 10:00: Failure (user = 2.74s system = 0.47s)
Wed 08/09/2010 10:00: Failure (user = 2.70s system = 0.42s)
Tue 07/09/2010 10:00: Failure (user = 2.78s system = 0.42s)
Mon 06/09/2010 10:00: Failure (user = 2.72s system = 0.42s)
Sun 05/09/2010 10:00: Failure (user = 2.75s system = 0.42s)
Sat 04/09/2010 10:00: Failure (user = 2.78s system = 0.42s)
Fri 03/09/2010 10:00: Failure (user = 2.92s system = 0.39s)
Thu 02/09/2010 10:00: Failure (user = 2.64s system = 0.52s)
Wed 01/09/2010 10:00: Failure (user = 2.78s system = 0.38s)
Tue 31/08/2010 10:00: Failure (user = 2.79s system = 0.42s)
Mon 30/08/2010 10:00: Failure (user = 2.83s system = 0.42s)
Sun 29/08/2010 10:00: Failure (user = 2.77s system = 0.39s)
Sat 28/08/2010 10:00: Failure (user = 2.74s system = 0.40s)
Fri 27/08/2010 10:00: Failure (user = 2.70s system = 0.42s)
Thu 26/08/2010 10:00: Failure (user = 2.80s system = 0.38s)
Wed 25/08/2010 10:00: Failure (user = 2.90s system = 0.39s)
Tue 24/08/2010 10:00: Failure (user = 2.73s system = 0.39s)
Mon 23/08/2010 10:00: Failure (user = 2.74s system = 0.42s)
Sun 22/08/2010 10:00: Failure (user = 2.68s system = 0.42s)
Sat 21/08/2010 10:00: Failure (user = 2.62s system = 0.49s)
Fri 20/08/2010 10:00: Failure (user = 2.76s system = 0.38s)
Thu 19/08/2010 10:00: Failure (user = 2.72s system = 0.41s)
Wed 18/08/2010 10:00: Failure (user = 2.81s system = 0.40s)
Tue 17/08/2010 10:00: Failure (user = 2.76s system = 0.46s)
Mon 16/08/2010 10:00: Failure (user = 2.68s system = 0.47s)
Sun 15/08/2010 10:00: Failure (user = 2.69s system = 0.45s)
Sat 14/08/2010 10:00: Failure (user = 2.83s system = 0.31s)
Fri 13/08/2010 10:00: Failure (user = 2.70s system = 0.40s)
Thu 12/08/2010 10:00: Failure (user = 2.62s system = 0.50s)
Wed 11/08/2010 10:00: Failure (user = 2.82s system = 0.34s)
Tue 10/08/2010 10:00: Failure (user = 2.64s system = 0.49s)
Mon 09/08/2010 10:00: Failure (user = 2.70s system = 0.45s)
Sun 08/08/2010 10:00: Failure (user = 2.87s system = 0.34s)
Sat 07/08/2010 10:00: Failure (user = 2.69s system = 0.46s)
Fri 06/08/2010 10:00: Failure (user = 2.76s system = 0.40s)
Thu 05/08/2010 10:00: Failure (user = 2.75s system = 0.37s)
Wed 04/08/2010 10:00: Failure (user = 2.64s system = 0.50s)
Tue 03/08/2010 10:00: Failure (user = 2.64s system = 0.50s)
Mon 02/08/2010 10:00: Failure (user = 2.73s system = 0.40s)
Sun 01/08/2010 10:00: Failure (user = 2.74s system = 0.46s)
Sat 31/07/2010 10:00: Failure (user = 2.64s system = 0.54s)
Fri 30/07/2010 10:00: Failure (user = 2.69s system = 0.46s)
Thu 29/07/2010 10:00: Failure (user = 2.68s system = 0.46s)
Wed 28/07/2010 10:00: Failure (user = 2.72s system = 0.40s)
Tue 27/07/2010 10:00: Failure (user = 2.71s system = 0.46s)
Mon 26/07/2010 10:00: Failure (user = 2.64s system = 0.48s)
Sun 25/07/2010 10:00: Failure (user = 2.78s system = 0.38s)
Sat 24/07/2010 10:00: Failure (user = 2.80s system = 0.44s)
Fri 23/07/2010 10:00: Failure (user = 2.65s system = 0.52s)
Thu 22/07/2010 10:00: Failure (user = 2.80s system = 0.35s)
Wed 21/07/2010 10:00: Failure (user = 2.76s system = 0.39s)
Tue 20/07/2010 10:00: Failure (user = 2.77s system = 0.42s)
Mon 19/07/2010 10:00: Failure (user = 2.84s system = 0.34s)
Sun 18/07/2010 10:00: Failure (user = 2.71s system = 0.44s)
Sat 17/07/2010 10:00: Failure (user = 2.74s system = 0.42s)
Fri 16/07/2010 10:00: Failure (user = 2.77s system = 0.39s)
Thu 15/07/2010 10:00: Failure (user = 2.70s system = 0.47s)
Wed 14/07/2010 10:00: Failure (user = 2.68s system = 0.46s)
Tue 13/07/2010 10:00: Failure (user = 2.66s system = 0.47s)
Mon 12/07/2010 10:00: Failure (user = 2.78s system = 0.42s)
Sun 11/07/2010 10:00: Failure (user = 2.70s system = 0.44s)
Sat 10/07/2010 10:00: Failure (user = 2.71s system = 0.46s)
Fri 09/07/2010 10:00: Failure (user = 2.81s system = 0.44s)
Thu 08/07/2010 10:00: Failure (user = 2.78s system = 0.39s)
Wed 07/07/2010 10:00: Failure (user = 2.73s system = 0.48s)
Tue 06/07/2010 10:00: Failure (user = 2.80s system = 0.38s)
Mon 05/07/2010 10:00: Failure (user = 2.73s system = 0.47s)
Sun 04/07/2010 10:00: Failure (user = 2.85s system = 0.40s)
Sat 03/07/2010 10:00: Failure (user = 2.78s system = 0.41s)
Fri 02/07/2010 10:00: Failure (user = 2.75s system = 0.41s)
Thu 01/07/2010 10:00: Failure (user = 2.90s system = 0.34s)
Wed 30/06/2010 10:00: Failure (user = 2.77s system = 0.43s)
Tue 29/06/2010 10:00: Failure (user = 2.74s system = 0.50s)
Mon 28/06/2010 10:00: Failure (user = 2.73s system = 0.48s)
Sat 26/06/2010 10:00: Failure (user = 2.77s system = 0.42s)
Fri 25/06/2010 10:00: Failure (user = 2.82s system = 0.34s)
Thu 24/06/2010 10:00: Failure (user = 2.87s system = 0.32s)
Wed 23/06/2010 10:00: Failure (user = 2.75s system = 0.40s)
Tue 22/06/2010 10:00: Failure (user = 2.70s system = 0.45s)
Mon 21/06/2010 10:00: Failure (user = 2.69s system = 0.49s)
Sun 20/06/2010 10:00: Failure (user = 2.74s system = 0.42s)
Sat 19/06/2010 10:00: Failure (user = 2.78s system = 0.42s)
Fri 18/06/2010 10:00: Failure (user = 2.78s system = 0.43s)
Thu 17/06/2010 10:00: Failure (user = 2.72s system = 0.43s)
Wed 16/06/2010 10:00: Failure (user = 2.80s system = 0.36s)
Tue 15/06/2010 10:00: Failure (user = 2.76s system = 0.44s)
Mon 14/06/2010 10:00: Failure (user = 2.80s system = 0.36s)
Sun 13/06/2010 10:00: Failure (user = 2.65s system = 0.49s)
Sat 12/06/2010 10:00: Failure (user = 2.84s system = 0.44s)
Fri 11/06/2010 10:00: Failure (user = 2.75s system = 0.43s)
Thu 10/06/2010 10:00: Failure (user = 2.75s system = 0.48s)
Wed 09/06/2010 10:00: Failure (user = 2.71s system = 0.40s)
Tue 08/06/2010 10:00: Failure (user = 2.76s system = 0.40s)
Mon 07/06/2010 10:00: Failure (user = 2.71s system = 0.38s)
Sun 06/06/2010 10:00: Failure (user = 2.77s system = 0.40s)
Sat 05/06/2010 10:00: Failure (user = 2.84s system = 0.37s)
Fri 04/06/2010 10:00: Failure (user = 2.76s system = 0.34s)
Thu 03/06/2010 10:00: Failure (user = 2.71s system = 0.42s)
Wed 02/06/2010 10:00: Failure (user = 2.80s system = 0.40s)
Tue 01/06/2010 10:00: Failure (user = 2.71s system = 0.46s)
Mon 31/05/2010 10:00: Failure (user = 2.73s system = 0.46s)
Sun 30/05/2010 10:00: Failure (user = 2.66s system = 0.48s)
Sat 29/05/2010 10:00: Failure (user = 2.75s system = 0.44s)
Fri 28/05/2010 10:00: Failure (user = 2.76s system = 0.43s)
Thu 27/05/2010 10:00: Failure (user = 2.79s system = 0.38s)
Wed 26/05/2010 10:00: Failure (user = 2.78s system = 0.40s)
Tue 25/05/2010 10:00: Failure (user = 2.72s system = 0.41s)
Mon 24/05/2010 10:00: Failure (user = 2.76s system = 0.41s)
Sun 23/05/2010 10:00: Failure (user = 2.68s system = 0.45s)
Sat 22/05/2010 10:00: Failure (user = 2.75s system = 0.42s)
Fri 21/05/2010 10:00: Failure (user = 2.69s system = 0.43s)
Thu 20/05/2010 10:00: Failure (user = 2.66s system = 0.51s)
Wed 19/05/2010 10:00: Failure (user = 2.77s system = 0.38s)
Tue 18/05/2010 10:00: Failure (user = 2.77s system = 0.42s)
Mon 17/05/2010 10:00: Failure (user = 2.74s system = 0.43s)
Sun 16/05/2010 10:00: Failure (user = 2.70s system = 0.42s)
Sat 15/05/2010 10:00: Failure (user = 2.64s system = 0.49s)
Fri 14/05/2010 10:00: Failure (user = 2.74s system = 0.43s)
Thu 13/05/2010 10:00: Failure (user = 2.72s system = 0.44s)
Wed 12/05/2010 10:00: Failure (user = 2.73s system = 0.45s)
Tue 11/05/2010 10:00: Failure (user = 2.58s system = 0.55s)
Mon 10/05/2010 10:00: Failure (user = 2.76s system = 0.40s)
Sun 09/05/2010 10:00: Failure (user = 2.76s system = 0.47s)
Sat 08/05/2010 10:00: Failure (user = 2.78s system = 0.42s)
Fri 07/05/2010 10:00: Failure (user = 2.72s system = 0.43s)
Thu 06/05/2010 10:00: Failure (user = 2.82s system = 0.37s)
Wed 05/05/2010 10:00: Failure (user = 2.78s system = 0.39s)
Tue 04/05/2010 10:00: Failure (user = 2.75s system = 0.38s)
Mon 03/05/2010 10:00: Failure (user = 2.78s system = 0.43s)
Sun 02/05/2010 10:00: Failure (user = 2.64s system = 0.45s)
Sat 01/05/2010 10:00: Failure (user = 2.70s system = 0.44s)
Fri 30/04/2010 10:00: Failure (user = 2.77s system = 0.40s)
Thu 29/04/2010 10:00: Failure (user = 2.79s system = 0.38s)
Wed 28/04/2010 10:00: Failure (user = 2.71s system = 0.48s)
Mon 26/04/2010 10:00: Failure (user = 2.91s system = 0.37s)
Sun 25/04/2010 10:00: Failure (user = 2.74s system = 0.40s)
Sat 24/04/2010 10:00: Failure (user = 2.78s system = 0.40s)
Fri 23/04/2010 10:00: Failure (user = 2.70s system = 0.39s)
Thu 22/04/2010 10:00: Failure (user = 2.67s system = 0.49s)
Wed 21/04/2010 10:00: Failure (user = 2.81s system = 0.41s)
Tue 20/04/2010 10:00: Failure (user = 2.80s system = 0.39s)
Mon 19/04/2010 10:00: Failure (user = 2.74s system = 0.47s)
Sun 18/04/2010 10:00: Failure (user = 2.70s system = 0.47s)
Sat 17/04/2010 10:00: Failure (user = 2.70s system = 0.49s)
Fri 16/04/2010 10:00: Failure (user = 2.69s system = 0.48s)
Thu 15/04/2010 10:00: Failure (user = 2.82s system = 0.40s)
Wed 14/04/2010 10:00: Failure (user = 2.69s system = 0.48s)
Tue 13/04/2010 10:00: Failure (user = 2.81s system = 0.40s)
Mon 12/04/2010 10:00: Failure (user = 2.82s system = 0.38s)
Sun 11/04/2010 10:00: Failure (user = 2.74s system = 0.44s)
Sat 10/04/2010 10:00: Failure (user = 2.92s system = 0.34s)
Fri 09/04/2010 10:00: Failure (user = 2.84s system = 0.38s)
Thu 08/04/2010 10:00: Failure (user = 2.81s system = 0.38s)
Wed 07/04/2010 10:00: Failure (user = 2.74s system = 0.46s)
Mon 29/03/2010 10:00: Failure (user = 2.83s system = 0.34s)
Sun 28/03/2010 10:00: Failure (user = 2.88s system = 0.29s)
Sat 27/03/2010 10:00: Failure (user = 2.82s system = 0.38s)
Fri 26/03/2010 10:00: Failure (user = 2.75s system = 0.40s)
Thu 25/03/2010 10:00: Failure (user = 2.76s system = 0.39s)
Wed 24/03/2010 10:00: Failure (user = 2.71s system = 0.44s)
Tue 23/03/2010 10:00: Failure (user = 2.66s system = 0.50s)
Mon 22/03/2010 10:00: Failure (user = 2.70s system = 0.50s)
Sun 21/03/2010 10:00: Failure (user = 2.83s system = 0.43s)
Sat 20/03/2010 10:00: Failure (user = 2.77s system = 0.44s)
Fri 19/03/2010 10:00: Failure (user = 2.78s system = 0.46s)
Thu 18/03/2010 10:00: Failure (user = 2.77s system = 0.41s)
Wed 17/03/2010 10:00: Failure (user = 2.78s system = 0.44s)
Tue 16/03/2010 10:00: Failure (user = 2.73s system = 0.44s)
Mon 15/03/2010 10:00: Failure (user = 2.81s system = 0.43s)
Sun 14/03/2010 10:00: Failure (user = 2.72s system = 0.47s)
Sat 13/03/2010 10:00: Failure (user = 2.79s system = 0.45s)
Fri 12/03/2010 10:00: Failure (user = 2.72s system = 0.42s)
Thu 11/03/2010 10:00: Failure (user = 2.74s system = 0.44s)
Wed 10/03/2010 10:00: Failure (user = 2.70s system = 0.47s)
Tue 09/03/2010 10:00: Failure (user = 2.77s system = 0.42s)
Mon 08/03/2010 10:00: Failure (user = 2.82s system = 0.35s)
Sun 07/03/2010 10:00: Failure (user = 2.75s system = 0.38s)
Sat 06/03/2010 10:00: Failure (user = 2.78s system = 0.40s)
Fri 05/03/2010 10:00: Failure (user = 2.77s system = 0.48s)
Thu 04/03/2010 10:00: Failure (user = 2.77s system = 0.40s)
Wed 03/03/2010 10:00: Failure (user = 2.76s system = 0.42s)
Tue 02/03/2010 10:00: Failure (user = 2.81s system = 0.38s)
Mon 01/03/2010 10:00: Failure (user = 2.83s system = 0.34s)
Sun 28/02/2010 10:00: Failure (user = 2.86s system = 0.33s)
Sat 27/02/2010 10:00: Failure (user = 2.77s system = 0.49s)
Fri 26/02/2010 10:00: Failure (user = 2.78s system = 0.40s)
Thu 25/02/2010 10:00: Failure (user = 2.68s system = 0.50s)
Wed 24/02/2010 10:00: Failure (user = 2.74s system = 0.44s)
Tue 23/02/2010 10:00: Failure (user = 2.87s system = 0.36s)
Mon 22/02/2010 10:00: Failure (user = 2.86s system = 0.34s)
Sun 21/02/2010 10:00: Failure (user = 2.90s system = 0.30s)
Sat 20/02/2010 10:00: Failure (user = 2.82s system = 0.39s)
Fri 19/02/2010 10:00: Failure (user = 2.77s system = 0.41s)
Thu 18/02/2010 10:00: Failure (user = 2.76s system = 0.38s)
Wed 17/02/2010 10:00: Failure (user = 2.82s system = 0.44s)
Tue 16/02/2010 10:00: Failure (user = 2.67s system = 0.51s)
Mon 15/02/2010 10:00: Failure (user = 3.94s system = 0.37s)
Sun 14/02/2010 10:00: Failure (user = 3.92s system = 0.45s)
Sat 13/02/2010 10:00: Failure (user = 4.02s system = 0.46s)