| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| 1-FullIns_3.col | 2018-07-26 13:30 | 918 | ||
| 1-FullIns_4.col | 2018-07-26 13:30 | 4.7K | ||
| 1-FullIns_5.col | 2018-07-26 13:30 | 29K | ||
| 1-Insertions_4.col | 2018-07-26 13:30 | 1.9K | ||
| 1-Insertions_5.col | 2018-07-26 13:30 | 11K | ||
| 1-Insertions_6.col | 2018-07-26 13:30 | 59K | ||
| 2-FullIns_3.col | 2018-07-26 13:30 | 1.7K | ||
| 2-FullIns_4.col | 2018-07-26 13:30 | 14K | ||
| 2-FullIns_5.col | 2018-07-26 13:30 | 116K | ||
| 2-Insertions_3.col | 2018-07-26 13:30 | 717 | ||
| 2-Insertions_4.col | 2018-07-26 13:30 | 4.6K | ||
| 2-Insertions_5.col | 2018-07-26 13:30 | 37K | ||
| 3-FullIns_3.col | 2018-07-26 13:30 | 2.8K | ||
| 3-FullIns_4.col | 2018-07-26 13:30 | 33K | ||
| 3-FullIns_5.col | 2018-07-26 13:30 | 358K | ||
| 3-Insertions_3.col | 2018-07-26 13:30 | 1.0K | ||
| 3-Insertions_4.col | 2018-07-26 13:30 | 9.6K | ||
| 3-Insertions_5.col | 2018-07-26 13:30 | 97K | ||
| 4-FullIns_3.col | 2018-07-26 13:30 | 4.6K | ||
| 4-FullIns_4.col | 2018-07-26 13:30 | 63K | ||
| 4-FullIns_5.col | 2018-07-26 13:30 | 865K | ||
| 4-Insertions_3.col | 2018-07-26 13:30 | 1.4K | ||
| 4-Insertions_4.col | 2018-07-26 13:30 | 17K | ||
| 5-FullIns_3.col | 2018-07-26 13:30 | 6.9K | ||
| 5-FullIns_4.col | 2018-07-26 13:30 | 112K | ||
| C125.9.clq | 2018-07-26 13:30 | 57K | ||
| C250.9.clq | 2018-07-26 13:30 | 250K | ||
| C500.9.clq | 2018-07-26 13:30 | 1.0M | ||
| C1000.9.clq | 2018-07-26 13:30 | 4.2M | ||
| C2000.5.clq | 2018-07-26 13:30 | 10M | ||
| C2000.9.clq | 2018-07-26 13:30 | 19M | ||
| C4000.5.clq | 2018-07-26 13:30 | 44M | ||
| DSJC125.1.col | 2018-07-26 13:30 | 6.4K | ||
| DSJC125.5.col | 2018-07-26 13:30 | 32K | ||
| DSJC125.9.col | 2018-07-26 13:30 | 57K | ||
| DSJC250.1.col | 2018-07-26 13:30 | 29K | ||
| DSJC250.5.col | 2018-07-26 13:30 | 140K | ||
| DSJC250.9.col | 2018-07-26 13:30 | 249K | ||
| DSJC500.1.col | 2018-07-26 13:30 | 117K | ||
| DSJC500.5.clq | 2018-07-26 13:30 | 585K | ||
| DSJC500.5.col | 2018-07-26 13:30 | 585K | ||
| DSJC500.9.col | 2018-07-26 13:30 | 1.0M | ||
| DSJC1000.1.col | 2018-07-26 13:30 | 475K | ||
| DSJC1000.5.clq | 2018-07-26 13:30 | 2.3M | ||
| DSJC1000.5.col | 2018-07-26 13:30 | 2.3M | ||
| DSJC1000.9.col | 2018-07-26 13:30 | 4.2M | ||
| DSJR500.1.col | 2018-07-26 13:30 | 34K | ||
| DSJR500.1c.col | 2018-07-26 13:30 | 1.1M | ||
| DSJR500.5.col | 2018-07-26 13:30 | 551K | ||
| GEOM20.col | 2018-07-26 13:30 | 1.3K | ||
| GEOM20a.col | 2018-07-26 13:30 | 1.6K | ||
| GEOM20b.col | 2018-07-26 13:30 | 1.5K | ||
| GEOM30.col | 2018-07-26 13:30 | 2.2K | ||
| GEOM30a.col | 2018-07-26 13:30 | 2.8K | ||
| GEOM30b.col | 2018-07-26 13:30 | 2.8K | ||
| GEOM40.col | 2018-07-26 13:30 | 3.1K | ||
| GEOM40a.col | 2018-07-26 13:30 | 4.4K | ||
| GEOM40b.col | 2018-07-26 13:30 | 4.6K | ||
| GEOM50.col | 2018-07-26 13:30 | 4.3K | ||
| GEOM50a.col | 2018-07-26 13:30 | 6.5K | ||
| GEOM50b.col | 2018-07-26 13:30 | 6.7K | ||
| GEOM60.col | 2018-07-26 13:30 | 5.8K | ||
| GEOM60a.col | 2018-07-26 13:30 | 8.8K | ||
| GEOM60b.col | 2018-07-26 13:30 | 9.3K | ||
| GEOM70.col | 2018-07-26 13:30 | 7.7K | ||
| GEOM70a.col | 2018-07-26 13:30 | 11K | ||
| GEOM70b.col | 2018-07-26 13:30 | 12K | ||
| GEOM80.col | 2018-07-26 13:30 | 9.7K | ||
| GEOM80a.col | 2018-07-26 13:30 | 15K | ||
| GEOM80b.col | 2018-07-26 13:30 | 16K | ||
| GEOM90.col | 2018-07-26 13:30 | 12K | ||
| GEOM90a.col | 2018-07-26 13:30 | 19K | ||
| GEOM90b.col | 2018-07-26 13:30 | 20K | ||
| GEOM100.col | 2018-07-26 13:30 | 14K | ||
| GEOM100a.col | 2018-07-26 13:30 | 23K | ||
| GEOM100b.col | 2018-07-26 13:30 | 24K | ||
| GEOM110.col | 2018-07-26 13:30 | 16K | ||
| GEOM110a.col | 2018-07-26 13:30 | 27K | ||
| GEOM110b.col | 2018-07-26 13:30 | 28K | ||
| GEOM120.col | 2018-07-26 13:30 | 19K | ||
| GEOM120a.col | 2018-07-26 13:30 | 32K | ||
| GEOM120b.col | 2018-07-26 13:30 | 33K | ||
| MANN_a27.clq | 2018-07-26 13:30 | 651K | ||
| MANN_a45.clq | 2018-07-26 13:30 | 5.0M | ||
| MANN_a81.clq | 2018-07-26 13:30 | 60M | ||
| abb313GPIA.col | 2018-07-26 13:30 | 675K | ||
| anna.col | 2018-07-26 13:30 | 8.3K | ||
| ash331GPIA.col | 2018-07-26 13:30 | 52K | ||
| ash608GPIA.col | 2018-07-26 13:30 | 86K | ||
| ash958GPIA.col | 2018-07-26 13:30 | 145K | ||
| brock200_2.clq | 2018-07-26 13:30 | 86K | ||
| brock200_4.clq | 2018-07-26 13:30 | 114K | ||
| brock400_2.clq | 2018-07-26 13:30 | 553K | ||
| brock400_4.clq | 2018-07-26 13:30 | 553K | ||
| brock800_2.clq | 2018-07-26 13:30 | 1.9M | ||
| brock800_4.clq | 2018-07-26 13:30 | 1.9M | ||
| correct | 2018-07-26 13:30 | 14K | ||
| correct.c | 2018-07-26 13:30 | 546 | ||
| david.col | 2018-07-26 13:30 | 6.3K | ||
| fpsol2.i.1.col | 2018-07-26 13:30 | 104K | ||
| fpsol2.i.2.col | 2018-07-26 13:30 | 75K | ||
| fpsol2.i.3.col | 2018-07-26 13:30 | 75K | ||
| games120.col | 2018-07-26 13:30 | 10K | ||
| gen200_p0.9_44.clq | 2018-07-26 13:30 | 156K | ||
| gen200_p0.9_55.clq | 2018-07-26 13:30 | 156K | ||
| gen400_p0.9_55.clq | 2018-07-26 13:30 | 664K | ||
| gen400_p0.9_65.clq | 2018-07-26 13:30 | 664K | ||
| gen400_p0.9_75.clq | 2018-07-26 13:30 | 664K | ||
| hamming8-4.clq | 2018-07-26 13:30 | 187K | ||
| hamming10-4.clq | 2018-07-26 13:30 | 4.1M | ||
| homer.col | 2018-07-26 13:30 | 31K | ||
| huck.col | 2018-07-26 13:30 | 4.6K | ||
| inithx.i.1.col | 2018-07-26 13:30 | 163K | ||
| inithx.i.2.col | 2018-07-26 13:30 | 120K | ||
| inithx.i.3.col | 2018-07-26 13:30 | 120K | ||
| jean.col | 2018-07-26 13:30 | 4.0K | ||
| junk | 2018-07-26 13:30 | 8.7K | ||
| keller4.clq | 2018-07-26 13:30 | 81K | ||
| keller5.clq | 2018-07-26 13:30 | 2.1M | ||
| keller6.clq | 2018-07-26 13:30 | 50M | ||
| latin_square_10.col | 2018-07-26 13:30 | 2.9M | ||
| le450_5a.col | 2018-07-26 13:30 | 54K | ||
| le450_5b.col | 2018-07-26 13:30 | 54K | ||
| le450_5c.col | 2018-07-26 13:30 | 92K | ||
| le450_5d.col | 2018-07-26 13:30 | 92K | ||
| le450_15a.col | 2018-07-26 13:30 | 77K | ||
| le450_15b.col | 2018-07-26 13:30 | 77K | ||
| le450_15c.col | 2018-07-26 13:30 | 156K | ||
| le450_15d.col | 2018-07-26 13:30 | 157K | ||
| le450_25a.col | 2018-07-26 13:30 | 78K | ||
| le450_25b.col | 2018-07-26 13:30 | 78K | ||
| le450_25c.col | 2018-07-26 13:30 | 162K | ||
| le450_25d.col | 2018-07-26 13:30 | 163K | ||
| miles250.col | 2018-07-26 13:30 | 6.4K | ||
| miles500.col | 2018-07-26 13:30 | 19K | ||
| miles750.col | 2018-07-26 13:30 | 35K | ||
| miles1000.col | 2018-07-26 13:30 | 53K | ||
| miles1500.col | 2018-07-26 13:30 | 85K | ||
| mug88_1.col | 2018-07-26 13:30 | 1.2K | ||
| mug88_25.col | 2018-07-26 13:30 | 1.2K | ||
| mug100_1.col | 2018-07-26 13:30 | 1.4K | ||
| mug100_25.col | 2018-07-26 13:30 | 1.4K | ||
| mulsol.i.1.col | 2018-07-26 13:30 | 32K | ||
| mulsol.i.2.col | 2018-07-26 13:30 | 32K | ||
| mulsol.i.3.col | 2018-07-26 13:30 | 32K | ||
| mulsol.i.4.col | 2018-07-26 13:30 | 32K | ||
| mulsol.i.5.col | 2018-07-26 13:30 | 33K | ||
| multi | 2018-07-26 13:30 | 12K | ||
| multi.c | 2018-07-26 13:30 | 866 | ||
| myciel3.col | 2018-07-26 13:30 | 351 | ||
| myciel4.col | 2018-07-26 13:30 | 727 | ||
| myciel5.col | 2018-07-26 13:30 | 1.9K | ||
| myciel6.col | 2018-07-26 13:30 | 5.9K | ||
| myciel7.col | 2018-07-26 13:30 | 20K | ||
| p_hat300-1.clq | 2018-07-26 13:30 | 100K | ||
| p_hat300-2.clq | 2018-07-26 13:30 | 200K | ||
| p_hat300-3.clq | 2018-07-26 13:30 | 304K | ||
| p_hat700-1.clq | 2018-07-26 13:30 | 578K | ||
| p_hat700-2.clq | 2018-07-26 13:30 | 1.1M | ||
| p_hat700-3.clq | 2018-07-26 13:30 | 1.7M | ||
| p_hat1500-1.clq | 2018-07-26 13:30 | 2.9M | ||
| p_hat1500-2.clq | 2018-07-26 13:30 | 5.7M | ||
| p_hat1500-3.clq | 2018-07-26 13:30 | 8.5M | ||
| qg.order30.col | 2018-07-26 13:30 | 249K | ||
| qg.order40.col | 2018-07-26 13:30 | 647K | ||
| qg.order60.col | 2018-07-26 13:30 | 2.3M | ||
| qg.order100.col | 2018-07-26 13:30 | 11M | ||
| queen5_5.col | 2018-07-26 13:30 | 2.4K | ||
| queen6_6.col | 2018-07-26 13:30 | 4.4K | ||
| queen7_7.col | 2018-07-26 13:30 | 7.3K | ||
| queen8_8.col | 2018-07-26 13:30 | 11K | ||
| queen8_12.col | 2018-07-26 13:30 | 21K | ||
| queen9_9.col | 2018-07-26 13:30 | 16K | ||
| queen10_10.col | 2018-07-26 13:30 | 23K | ||
| queen11_11.col | 2018-07-26 13:30 | 32K | ||
| queen12_12.col | 2018-07-26 13:30 | 43K | ||
| queen13_13.col | 2018-07-26 13:30 | 57K | ||
| queen14_14.col | 2018-07-26 13:30 | 73K | ||
| queen15_15.col | 2018-07-26 13:30 | 92K | ||
| queen16_16.col | 2018-07-26 13:30 | 113K | ||
| qwhdec.order5.holes1..> | 2018-07-26 13:30 | 1.8K | ||
| qwhdec.order18.holes..> | 2018-07-26 13:30 | 59K | ||
| qwhdec.order30.holes..> | 2018-07-26 13:30 | 282K | ||
| qwhdec.order30.holes..> | 2018-07-26 13:30 | 282K | ||
| qwhdec.order33.holes..> | 2018-07-26 13:30 | 382K | ||
| qwhdec.order35.holes..> | 2018-07-26 13:30 | 463K | ||
| qwhdec.order40.holes..> | 2018-07-26 13:30 | 718K | ||
| qwhdec.order50.holes..> | 2018-07-26 13:30 | 1.4M | ||
| qwhdec.order50.holes..> | 2018-07-26 13:30 | 1.4M | ||
| qwhdec.order60.holes..> | 2018-07-26 13:30 | 2.5M | ||
| qwhdec.order60.holes..> | 2018-07-26 13:30 | 2.5M | ||
| qwhdec.order60.holes..> | 2018-07-26 13:30 | 2.6M | ||
| qwhdec.order60.holes..> | 2018-07-26 13:30 | 2.6M | ||
| qwhdec.order70.holes..> | 2018-07-26 13:30 | 4.2M | ||
| qwhdec.order70.holes..> | 2018-07-26 13:30 | 4.3M | ||
| qwhopt.order5.holes1..> | 2018-07-26 13:30 | 1.6K | ||
| qwhopt.order18.holes..> | 2018-07-26 13:30 | 53K | ||
| qwhopt.order30.holes..> | 2018-07-26 13:30 | 254K | ||
| qwhopt.order30.holes..> | 2018-07-26 13:30 | 254K | ||
| qwhopt.order33.holes..> | 2018-07-26 13:30 | 346K | ||
| qwhopt.order35.holes..> | 2018-07-26 13:30 | 422K | ||
| qwhopt.order40.holes..> | 2018-07-26 13:30 | 657K | ||
| qwhopt.order50.holes..> | 2018-07-26 13:30 | 1.3M | ||
| qwhopt.order50.holes..> | 2018-07-26 13:30 | 1.3M | ||
| qwhopt.order60.holes..> | 2018-07-26 13:30 | 2.3M | ||
| qwhopt.order60.holes..> | 2018-07-26 13:30 | 2.3M | ||
| qwhopt.order60.holes..> | 2018-07-26 13:30 | 2.3M | ||
| qwhopt.order60.holes..> | 2018-07-26 13:30 | 2.3M | ||
| qwhopt.order70.holes..> | 2018-07-26 13:30 | 3.7M | ||
| qwhopt.order70.holes..> | 2018-07-26 13:30 | 3.7M | ||
| school1.col | 2018-07-26 13:30 | 177K | ||
| school1_nsh.col | 2018-07-26 13:30 | 134K | ||
| test_sol.tgz | 2018-07-26 13:30 | 42K | ||
| wap01.col | 2018-07-26 13:30 | 1.3M | ||
| wap01a.col | 2018-07-26 13:30 | 1.2M | ||
| wap02.col | 2018-07-26 13:30 | 1.3M | ||
| wap02a.col | 2018-07-26 13:30 | 1.2M | ||
| wap03.col | 2018-07-26 13:30 | 3.5M | ||
| wap03a.col | 2018-07-26 13:30 | 3.2M | ||
| wap04.col | 2018-07-26 13:30 | 3.6M | ||
| wap04a.col | 2018-07-26 13:30 | 3.3M | ||
| wap05.col | 2018-07-26 13:30 | 459K | ||
| wap05a.col | 2018-07-26 13:30 | 417K | ||
| wap06.col | 2018-07-26 13:30 | 464K | ||
| wap06a.col | 2018-07-26 13:30 | 421K | ||
| wap07.col | 2018-07-26 13:30 | 1.2M | ||
| wap07a.col | 2018-07-26 13:30 | 1.1M | ||
| wap08.col | 2018-07-26 13:30 | 1.2M | ||
| wap08a.col | 2018-07-26 13:30 | 1.1M | ||
| will199GPIA.col | 2018-07-26 13:30 | 68K | ||
| zeroin.i.1.col | 2018-07-26 13:30 | 34K | ||
| zeroin.i.2.col | 2018-07-26 13:30 | 29K | ||
| zeroin.i.3.col | 2018-07-26 13:30 | 29K | ||