Index of /~pat/cpM/minizincCPM/cliqueAndColour/data

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] g250.clq 2017-10-23 15:50 155K [   ] g250.dzn 2017-10-23 15:57 124K [TXT] brock200_4.clq 2018-01-27 13:58 114K [   ] g200.clq 2017-10-23 15:50 96K [TXT] brock200_2.clq 2017-10-23 11:20 86K [   ] g200.dzn 2017-10-23 15:56 80K [   ] brock200_4.dzn 2018-01-27 14:25 80K [   ] brock200_2.dzn 2017-10-23 13:03 80K [   ] g150.clq 2017-10-23 15:50 52K [   ] g150.dzn 2017-10-23 15:56 45K [   ] g140.clq 2017-10-23 15:50 45K [   ] g140.dzn 2017-10-23 15:56 39K [   ] g130.clq 2017-10-23 15:50 38K [   ] g130.dzn 2017-10-23 15:56 34K [   ] g120.clq 2017-10-23 15:49 32K [   ] g120.dzn 2017-10-23 15:56 29K [   ] g110.clq 2017-10-23 15:49 27K [   ] g110.dzn 2017-10-23 15:56 24K [   ] g100.clq 2017-10-23 15:49 22K [   ] g100.dzn 2017-10-23 15:55 20K [   ] g90.clq 2017-10-23 15:44 18K [   ] g90.dzn 2017-10-23 15:54 16K [   ] g80.clq 2017-10-23 15:43 14K [   ] g80.dzn 2017-10-23 15:54 13K [   ] g70.clq 2017-10-23 15:43 11K [   ] g70.dzn 2017-10-23 15:54 10K [   ] g60.clq 2017-10-23 15:43 7.6K [   ] g60.dzn 2017-10-23 15:54 7.5K [   ] g50.clq 2017-10-23 15:43 5.3K [   ] g50.dzn 2017-10-23 15:54 5.2K [   ] g40.dzn 2017-10-23 15:54 3.4K [   ] g40.clq 2017-10-23 15:43 3.2K [   ] g30.dzn 2017-10-23 15:54 2.0K [   ] g30.clq 2017-10-23 15:43 1.8K [   ] g20.dzn 2017-10-23 15:54 952 [   ] g20.clq 2017-10-23 15:43 739 [   ] g10.dzn 2017-10-23 15:53 282 [   ] g10.clq 2017-10-23 15:42 141 [   ] g05.dzn 2017-10-23 12:56 96 [   ] g05.clq 2017-10-23 12:18 47