23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". Issue 4 (4th July 2018)