ipc2018/spidersolver archive