CSP2SAT: OSS benchmark results

Last modified: Sun Jul 15 16:31:51 2007 JST

OSS: Open-Shop Scheduling Problems

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

Instance Jobs Machines Makespan CPU (seconds) Encoded CNF Log
Total Encoding Variables Clauses
gp03-01.csp331168321415561133gp03-01.log
gp03-02.csp331170321394559978gp03-02.log
gp03-03.csp331168321394559978gp03-03.log
gp03-04.csp331166321399560253gp03-04.log
gp03-05.csp331170321385559483gp03-05.log
gp03-06.csp331169321391559813gp03-06.log
gp03-07.csp331165321392559868gp03-07.log
gp03-08.csp331167321395560033gp03-08.log
gp03-09.csp331162321407560693gp03-09.log
gp03-10.csp331165321394559978gp03-10.log
gp04-01.csp44128110628097179010gp04-01.log
gp04-02.csp44127013933928223257gp04-02.log
gp04-03.csp4412889728182179655gp04-03.log
gp04-04.csp44126112832925215646gp04-04.log
gp04-05.csp44128910727927177720gp04-05.log
gp04-06.csp4412699627383173592gp04-06.log
gp04-07.csp4412679725955162756gp04-07.log
gp04-08.csp4412599626516167013gp04-08.log
gp04-09.csp4412809626737168690gp04-09.log
gp04-10.csp44126313937736252153gp04-10.log
gp05-01.csp551245362472727643703gp05-01.log
gp05-02.csp551247332265993578694gp05-02.log
gp05-03.csp551265372575457670058gp05-03.log
gp05-04.csp551258231650497429098gp05-04.log
gp05-05.csp551280332268151599527gp05-05.log
gp05-06.csp551269372474131657257gp05-06.log
gp05-07.csp551269322268801605802gp05-07.log
gp05-08.csp551287282055489477290gp05-08.log
gp05-09.csp551262352370387621113gp05-09.log
gp05-10.csp551254332369009607810gp05-10.log
gp06-01.csp6612645739964101038543gp06-01.log
gp06-02.csp66128565441066591158484gp06-02.log
gp06-03.csp66125572491153171259806gp06-03.log
gp06-04.csp66127563441049571138566gp06-04.log
gp06-05.csp66129965441078061171907gp06-05.log
gp06-06.csp66128465441064001155453gp06-06.log
gp06-07.csp66129077511190911303972gp06-07.log
gp06-08.csp66126571481137261241187gp06-08.log
gp06-09.csp66124372491189431302240gp06-09.log
gp06-10.csp6612545738955591028584gp06-10.log
gp07-01.csp77115999661375371761090gp07-01.log
gp07-02.csp771185148931885372461830gp07-02.log
gp07-03.csp771237132881790372331300gp07-03.log
gp07-04.csp771167131871764372295576gp07-04.log
gp07-05.csp771157141901821372373894gp07-05.log
gp07-06.csp771193127811665872160237gp07-06.log
gp07-07.csp771185102681411871811241gp07-07.log
gp07-08.csp771180144901847872410305gp07-08.log
gp07-09.csp771220150961944372542896gp07-09.log
gp07-10.csp771270127841718372232372gp07-10.log
gp08-01.csp8811301601051863152762188gp08-01.log
gp08-02.csp8811351901232162153233688gp08-02.log
gp08-03.csp8811101971232159553229588gp08-03.log
gp08-04.csp8811532271382420203640613gp08-04.log
gp08-05.csp8812182471582598303921463gp08-05.log
gp08-06.csp8811151751132030853026638gp08-06.log
gp08-07.csp8811262041302292153438688gp08-07.log
gp08-08.csp8811481831162072453092238gp08-08.log
gp08-09.csp8811141891232132253186538gp08-09.log
gp08-10.csp8811612031292279803419213gp08-10.log
gp09-01.csp9911293232063178815423978gp09-01.log
gp09-02.csp9911103271892914774954180gp09-02.log
gp09-03.csp9911153952343570776121380gp09-03.log
gp09-04.csp9911303402103220635498387gp09-04.log
gp09-05.csp9911803622183338715708483gp09-05.log
gp09-06.csp9910934012363594556163691gp09-06.log
gp09-07.csp9910903392133255075559665gp09-07.log
gp09-08.csp9911053492133213255485256gp09-08.log
gp09-09.csp9911233161862868034871017gp09-09.log
gp09-10.csp9911103552053109935301422gp09-10.log
gp10-01.csp101010934702603534916705492gp10-01.log
gp10-02.csp101010975263024126777878078gp10-02.log
gp10-03.csp101010815352763763177157718gp10-03.log
gp10-04.csp101010775152863784387199739gp10-04.log
gp10-05.csp101010715152613587436809544gp10-05.log
gp10-06.csp101010715083004109607844061gp10-06.log
gp10-07.csp101010795233024088397802040gp10-07.log
gp10-08.csp101010934982863925787479879gp10-08.log
gp10-09.csp101011125413194348978318298gp10-09.log
gp10-10.csp101010926563634832769276777gp10-10.log
j3-per0-1.csp331127221080542708j3-per0-1.log
j3-per0-2.csp331084532033595123j3-per0-2.log
j3-per10-0.csp331131321267553453j3-per10-0.log
j3-per10-1.csp331069321533568062j3-per10-1.log
j3-per10-2.csp331053421535568341j3-per10-2.log
j3-per20-0.csp331026211001539923j3-per20-0.log
j3-per20-1.csp33100021924535496j3-per20-1.log
j3-per20-2.csp331000431575571137j3-per20-2.log
j4-per0-0.csp4410557522062133215j4-per0-0.log
j4-per0-1.csp44118011832160209841j4-per0-1.log
j4-per0-2.csp4410718626057163530j4-per0-2.log
j4-per10-0.csp44104110729457190740j4-per10-0.log
j4-per10-1.csp4410197522538137589j4-per10-1.log
j4-per10-2.csp4410009626057164892j4-per10-2.log
j4-per20-0.csp44100010728726186429j4-per20-0.log
j4-per20-1.csp4410049626074165849j4-per20-1.log
j4-per20-2.csp4410099626822171525j4-per20-2.log
j5-per0-0.csp551042281240825335726j5-per0-0.log
j5-per0-1.csp551054281958687508163j5-per0-1.log
j5-per0-2.csp551063261344127367603j5-per0-2.log
j5-per10-0.csp551004181239967329523j5-per10-0.log
j5-per10-1.csp551002171137653307928j5-per10-1.log
j5-per10-2.csp551006161136509296700j5-per10-2.log
j5-per20-0.csp551000171138329315830j5-per20-0.log
j5-per20-1.csp551000271856607492707j5-per20-1.log
j5-per20-2.csp551012251651485442196j5-per20-2.log
j6-per0-0.csp6610568172663443652740j6-per0-0.log
j6-per0-1.csp661045573792340990913j6-per0-1.log
j6-per0-2.csp661063573075801797362j6-per0-2.log
j6-per10-0.csp661005522667661705462j6-per10-0.log
j6-per10-1.csp661021463076467808206j6-per10-1.log
j6-per10-2.csp661012513177799823964j6-per10-2.log
j6-per20-0.csp661000602769400727773j6-per20-0.log
j6-per20-1.csp661000462975431798740j6-per20-1.log
j6-per20-2.csp661000402566181692002j6-per20-2.log
j7-per0-0.csp77104814096740858871051419j7-per0-0.log
j7-per0-1.csp771055428521098371380492j7-per0-1.log
j7-per0-2.csp771056292561135371431330j7-per0-2.log
j7-per10-0.csp771013332511086871368170j7-per10-0.log
j7-per10-1.csp771000121511070871347411j7-per10-1.log
j7-per10-2.csp771011178644938871165467j7-per10-2.log
j7-per20-0.csp7710006644954871193523j7-per20-0.log
j7-per20-1.csp771005132601250871595847j7-per20-1.log
j7-per20-2.csp771003132511079871361349j7-per20-2.log
j8-per0-1.csp881039102847791454952118473j8-per0-1.log
j8-per0-2.csp8810528701011779952630988j8-per0-2.log
j8-per10-0.csp8810172107931683102481679j8-per10-0.log
j8-per10-1.csp8810008346771406202047787j8-per10-1.log
j8-per10-2.csp8810027789741366551984646j8-per10-2.log
j8-per20-0.csp881000148761392552030756j8-per20-0.log
j8-per20-1.csp881000136841492652191364j8-per20-1.log
j8-per20-2.csp881000144811453002125157j8-per20-2.log
tai_4x4_1.csp4419321504331706tai_4x4_1.log
tai_4x4_2.csp4423611464327426tai_4x4_2.log
tai_4x4_3.csp4427121546032925tai_4x4_3.log
tai_4x4_4.csp4425021535832341tai_4x4_4.log
tai_4x4_5.csp4429521608136418tai_4x4_5.log
tai_4x4_6.csp4418921472129194tai_4x4_6.log
tai_4x4_7.csp4420121474329188tai_4x4_7.log
tai_4x4_8.csp4421721562935110tai_4x4_8.log
tai_4x4_9.csp4426121532831517tai_4x4_9.log
tai_4x4_10.csp4421721561135444tai_4x4_10.log
tai_5x5_1.csp55300641152694098tai_5x5_1.log
tai_5x5_2.csp55262531011082314tai_5x5_2.log
tai_5x5_3.csp55323631131890297tai_5x5_3.log
tai_5x5_4.csp55310531104788190tai_5x5_4.log
tai_5x5_5.csp55326631035680906tai_5x5_5.log
tai_5x5_6.csp55312531094287344tai_5x5_6.log
tai_5x5_7.csp55303631095187906tai_5x5_7.log
tai_5x5_8.csp55300631100988852tai_5x5_8.log
tai_5x5_9.csp55353631194094884tai_5x5_9.log
tai_5x5_10.csp55326731134490508tai_5x5_10.log
tai_7x7_1.csp77435211430952370295tai_7x7_1.log
tai_7x7_2.csp77443241431244372853tai_7x7_2.log
tai_7x7_3.csp77468301431669374258tai_7x7_3.log
tai_7x7_4.csp77463201431224370305tai_7x7_4.log
tai_7x7_5.csp77416221430171360661tai_7x7_5.log
tai_7x7_6.csp77451451430986367026tai_7x7_6.log
tai_7x7_7.csp77422331532415389596tai_7x7_7.log
tai_7x7_8.csp77424201430863370287tai_7x7_8.log
tai_7x7_9.csp77458211431929380761tai_7x7_9.log
tai_7x7_10.csp77398201329939359194tai_7x7_10.log
tai_10x10_1.csp10106379863941831678890tai_10x10_1.log
tai_10x10_2.csp10105889564953431716326tai_10x10_2.log
tai_10x10_3.csp10105989262923031651992tai_10x10_3.log
tai_10x10_4.csp10105779261913141639647tai_10x10_4.log
tai_10x10_5.csp10106409665939781677177tai_10x10_5.log
tai_10x10_6.csp10105389565911511642608tai_10x10_6.log
tai_10x10_7.csp101061610372922851648788tai_10x10_7.log
tai_10x10_8.csp10105959562910941631685tai_10x10_8.log
tai_10x10_9.csp10105959765945281697235tai_10x10_9.log
tai_10x10_10.csp10105969563933151674220tai_10x10_10.log
tai_15x15_1.csp15159375233313097848563684tai_15x15_1.log
tai_15x15_2.csp15159185673493253979026993tai_15x15_2.log
tai_15x15_3.csp15158715433353157268767426tai_15x15_3.log
tai_15x15_4.csp15159345603483265119067128tai_15x15_4.log
tai_15x15_5.csp15159465413453231098940331tai_15x15_5.log
tai_15x15_6.csp15159335603483265129067214tai_15x15_6.log
tai_15x15_7.csp15158915663493220348943618tai_15x15_7.log
tai_15x15_8.csp15158935463393193208866998tai_15x15_8.log
tai_15x15_9.csp15158995683473240608998985tai_15x15_9.log
tai_15x15_10.csp15159025863483258659053491tai_15x15_10.log
tai_20x20_1.csp202011553105112677514229178719tai_20x20_1.log
tai_20x20_2.csp202012413559113777706129153596tai_20x20_2.log
tai_20x20_3.csp202012572990112077022828898989tai_20x20_3.log
tai_20x20_4.csp202012483442112777905929238508tai_20x20_4.log
tai_20x20_5.csp202012563603116378506629485803tai_20x20_5.log
tai_20x20_6.csp202012042741111977348929073596tai_20x20_6.log
tai_20x20_7.csp202012942912112977941429225385tai_20x20_7.log
tai_20x20_8.csp202011692990112777833629262619tai_20x20_8.log
tai_20x20_9.csp202012893204114578583529493666tai_20x20_9.log
tai_20x20_10.csp202012413208111777064528917758tai_20x20_10.log

Links


Naoyuki Tamura