modified:   New_ER/Makefile
	new file:   New_ER/expe.pl
	new file:   New_ER/fich_Archive
	new file:   New_ER/fich_dat30
	new file:   New_ER/fich_dat60
	modified:   New_ER/header/ListInterval.h
	modified:   New_ER/header/event_model.h
	new file:   New_ER/header/timers.h
	new file:   New_ER/result/inst0.txt
	new file:   New_ER/result/inst20_0.txt
	new file:   New_ER/result/inst30_9.txt
	new file:   New_ER/result/inst60-1_25-0_1-0_1-1.dat
	new file:   New_ER/result/inst60-1_25-0_1-0_1-10.dat
	modified:   New_ER/source/ListInterval.cpp
	modified:   New_ER/source/Satisfiability.cpp
	modified:   New_ER/source/Solution.cpp
	modified:   New_ER/source/TestBB.cpp
	modified:   New_ER/source/main.cpp
	new file:   New_ER/source/timers.cpp