Data sets

This page provides the files of each mine.

Click on mine name for further details.

Download the Minelib data format specification.

Name # blocks
# precedences
.blockĀ  file
.prec
file
.upit .cpit
.pcpsp files
newman1
1,060
3,922
ZIP (21k)
ZIP (9k) ZIP (38k)
zuck_small
9,400
145,640
ZIP (103k) ZIP (289k) ZIP (320k)
kd
14,153
219,778
ZIP (158k) ZIP (417k) ZIP (280k)
zuck_medium
29,277
1,271,207
ZIP (286k) ZIP (2.6M) ZIP (883k)
p4hd
40,947
738,609
ZIP (387k) ZIP (1.5M) ZIP (488k)
marvin
53,271
650,631
ZIP (421k) ZIP (1.6M) ZIP (1.3M)
w23
74,260
764,786
ZIP (1.1M) ZIP (1.6M) ZIP (3.2M)
zuck_large
96,821
1,053,105
ZIP (555k) ZIP (2.2M) ZIP (2.0M)
sm2
99,014
96,642
ZIP (720k) ZIP (454k) ZIP (2.0M)
mclaughlin_limit
112,687
3,035,483
ZIP (733k) ZIP (5.6M) ZIP (1,7M)
mclaughlin
2,140,342
73,143,770
ZIP (7.7M) ZIP (142M) ZIP (22M)

Valid XHTML 1.0 Strict