CSP2SAT: GCP benchmark results

Last modified: Sun Jul 15 16:32:29 2007 JST

GCP: Graph Coloring Problems

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

Instance Colors CPU (seconds) Encoded CNF Log
Total Encoding Variables Clauses
1-FullIns_3.csp40050822191-FullIns_3.log
1-FullIns_4.csp5212406157901-FullIns_4.log
1-FullIns_5.csp6235110201023561-FullIns_5.log
1-Insertions_4.csp5155093832951-Insertions_4.log
2-FullIns_3.csp510103653242-FullIns_3.log
2-FullIns_4.csp6626648531722-FullIns_4.log
2-FullIns_5.csp728722414604829802-FullIns_5.log
2-Insertions_3.csp4003709862-Insertions_3.log
3-FullIns_3.csp6101824106633-FullIns_3.log
3-FullIns_4.csp7146147601375333-FullIns_4.log
3-Insertions_3.csp41056014993-Insertions_3.log
4-FullIns_3.csp7212920190104-FullIns_3.log
4-FullIns_4.csp84613285003009614-FullIns_4.log
4-Insertions_3.csp43079021204-Insertions_3.log
5-FullIns_3.csp8314372312355-FullIns_3.log
5-FullIns_4.csp926426499385865845-FullIns_4.log
DSJC125.1.csp521273014646DSJC125.1.log
DSJR500.1.csp12578615625125721DSJR500.1.log
abb313GPIA.csp91184771316061592434abb313GPIA.log
anna.csp1141293015788anna.log
ash331GPIA.csp413516316101714ash331GPIA.log
ash608GPIA.csp423929073172150ash608GPIA.log
ash958GPIA.csp4381548014302873ash958GPIA.log
david.csp1151204212338david.log
games120.csp921260514412games120.log
huck.csp114015758637huck.log
jean.csp101014426962jean.log
le450_5a.csp52723818642178771le450_5a.log
le450_5b.csp52830818231166982le450_5b.log
le450_5c.csp5351728173358873le450_5c.log
le450_5d.csp5371728532377678le450_5d.log
le450_15a.csp1548961727158387833le450_15a.log
miles250.csp81021589738miles250.log
mug88_1.csp4008242111mug88_1.log
mug88_25.csp4008242111mug88_25.log
mug100_1.csp4109362399mug100_1.log
mug100_25.csp4109362399mug100_25.log
myciel3.csp400110284myciel3.log
myciel4.csp5003081040myciel4.log
myciel5.csp65908543686myciel5.log
queen5_5.csp5005783154queen5_5.log
queen6_6.csp76010597510queen6_6.log
queen7_7.csp711155011036queen7_7.log
queen8_12.csp12282438345400queen8_12.log
school1.csp14125270551721655843school1.log
school1_nsh.csp1497650436951182196school1_nsh.log
will199GPIA.csp721822668171891will199GPIA.log

Links


Naoyuki Tamura