[Termtools] TermComp2020 is running

[Etienne Payet]

Dear all,

Does anybody know how to get the ‘configuration id’?

Best regards,
Etienne

> Le 23 juin 2020 à 13:55, Yamada, Akihisa <ayamada at trs.cm.is.nagoya-u.ac.jp> a écrit :
> 
> Dear all participants,
> 
> I hope you understand how tedious and error-prone to run the competition. To ease the upcoming final run (and future competitions), I made such a file:
> 
> https://github.com/TermCOMP/starexec-master/blob/master/Y2020_info.php
> 
> Please, each participant, insert/ensure a line
> 		"Tool" => 1234,
> in the 'parts' component of the category you participate, where Tool is replaced by a short name of your tool and 1234 by the configuration id. Then make "pull request".
> 
> I've never used "pull request" before, so experience reports are welcome (on list).
> 
> Best regards,
> Akihisa
> 
> On 2020/06/23 5:20, Johannes Waldmann wrote:
>> thanks, Akihisa, for doing the work here!
>>> participation in debugging!
>> SRS_Relative/Waldmann_19 random problems are missing?
>> (they were used last year).
>> I think I have them here
>> https://gitlab.imn.htwk-leipzig.de/waldmann/tpdb/
>> Same for SRS_Standard/Waldmann_19 ?
>> Matchbox's proofs in SRS-Relative are wrong,
>> as they use the SRS-Standard method
>> (with inapplicable RFC matchbounds, DP transform)
>> (I already told Akihisa - probably the configuration Id was mistyped,
>> this is just in case others were wondering)
>> Also, I am currently not printing proofs, is this a problem?
>> https://gitlab.imn.htwk-leipzig.de/waldmann/pure-matchbox/-/issues/264
>> Best regards, Johannes.
>> _______________________________________________
>> Termtools mailing list
>> Termtools at lri.fr
>> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
> 
> -- 
> このEメールはアバスト アンチウイルスによりウイルススキャンされています。
> https://www.avast.com/antivirus
> 
> _______________________________________________
> Termtools mailing list
> Termtools at lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools