Four a5_1_114_* instances solved
Instance a5_1_114_1 solved by Crystal Spirit from Crystal Dream and Stanley A Bourdon from BOINC Synergy.

Instance a5_1_114_2 solved by Phil Klassen from Canada and evatutin from kvt.kurskstu.

Instance a5_1_114_3 solved by NotANumber (without team) and Oleg Zaikin [SAT@home] from Crystal Dream.

Instance a5_1_114_4 solved by toest from TSC! Russia and Winer from BOINC RUSSIA.

More...