CSP2SAT: JSS benchmark results

Last modified: Sun Jul 15 16:32:07 2007 JST
JSS: Job-Shop Scheduling Problems

The following table shows the optimum values found and proved by CSP2SAT.

Instance Makespan CPU (seconds) Encoded CNF Log
Total Encoding Variables Clauses
abz5.csp1234133691387041424661abz5.log
abz6.csp94374541086311115004abz6.log
ft06.csp5511275916354ft06.log
ft10.csp930152651280091334378ft10.log
la01.csp666272042266423555la01.log
la02.csp655322143011433648la02.log
la03.csp597281939437397361la03.log
la04.csp590292142854433207la04.log
la05.csp593211734536345449la05.log
la06.csp9267860822791223769la06.log
la08.csp8636853738301092621la08.log
la09.csp9518866909941357545la09.log
la10.csp9587156772311143648la10.log
la11.csp12222091581602573186882la11.log
la12.csp10391841281310492592789la12.log
la13.csp11501861341360892687192la13.log
la14.csp12922111491521073017436la14.log
la15.csp12074081451466372901579la15.log
la16.csp94597631247151296251la16.log
la17.csp784624590813933193la17.log
la18.csp84880571144671186010la18.log
la19.csp84276531061631093946la19.log
la20.csp90286611226561272661la20.log
la21.csp104673851602155843274207la21.log
la22.csp9277511461971162990547la22.log
la23.csp10322431481999343023902la23.log
la24.csp9358471532064513132690la24.log
la25.csp9779251572105213200825la25.log
la26.csp1218330532953004635988807la26.log
la28.csp1216125993343388566788057la28.log
la30.csp135510843643676617390238la30.log
la31.csp1784250296465436619492218la31.log
la32.csp18507310106271811221421033la32.log
la33.csp17194381100167640420179732la33.log
la36.csp12688432873815755852465la36.log
la37.csp139719742943926916017262la37.log
la38.csp119629113334395166783509la38.log
la39.csp12336202623494995344257la39.log
la40.csp122217613054046286224041la40.log
orb01.csp1059967741475631544680orb01.log
orb02.csp88885591173881217188orb02.log
orb03.csp1005356661315511371331orb03.log
orb04.csp1005125691373991431686orb04.log
orb05.csp887101571132881175978orb05.log
orb06.csp1010194691360291416877orb06.log
orb07.csp397412651618528462orb07.log
orb08.csp899104591156561205211orb08.log
orb09.csp934138711395171459093orb09.log
orb10.csp944103651302051353914orb10.log
tai01.csp12315633144164306408892tai01.log
tai02.csp124414422603477615319548tai02.log
tai03.csp121812202923895925988519tai03.log
tai04.csp11757952763660985617752tai04.log
tai05.csp122453772783690075659636tai05.log
tai07.csp122728232713604245518383tai07.log
tai08.csp121715602593452545278735tai08.log
tai09.csp127415452933890795970771tai09.log
tai10.csp12418272923868905942909tai10.log

Links

Naoyuki Tamura