Maxsat Evaluation 2018

昨日、どんな状況かなと思ってStarExecを覗いてみたら、ログインできませんでした。

その後、カーネギメロン大学Ruben　Martinsさんから、丁寧なご招待を頂いたのですが、その返事を記しておきます。

Dear Ruben Martins-san,
Thank you for kind offer. Unfortunately, I can not submit the new version of maxroster this year due to　heavy work for my real job. So, the website issue yesterday is not problem for me.

>and with your permission we can
>just reuse it for this year's evaluation.

No problem,You can reuse the maxroster for any purpose of evaluations in Maxsat Evaluation 2018.
I pray for Maxsat community making even great progress in 2018.
Best Regards,
Tak.Sugawara

>Dear Takayuki Sugawara,
>
>We had some technical issues with StarExec yesterday and the website was
>down for a few hours. We wanted to know if this affected you in any way
>since we noticed that you did not submit any solver to this year's
>evaluation.
>
>Since maxroster was the best solver for the incomplete track at the MaxSAT
>Evaluation 2017, we would like to know if you want to resubmit the same
>version to the MaxSAT Evaluation 2018. We still have the code, binary and
>description from last year's evaluation, and with your permission we can
>just reuse it for this year's evaluation.
>
>Alternatively, if you want to resubmit a new version of your solver, you
>can still do so until Monday, June 11.
>
>Best regards,