Attachment 'GraphColouring.zip'

File Name                                            Modified              Size
GraphColouring/                                2013-02-07 12:58:18            0
GraphColouring/checker/                        2013-02-07 12:59:26            0
GraphColouring/checker/README.txt              2012-10-04 14:46:36          577
GraphColouring/checker/instance.asp            2012-10-04 14:29:40          190
GraphColouring/checker/dl.bin                  2010-11-23 12:02:34      1846672
GraphColouring/checker/rightSolution.txt       2010-11-24 12:17:20          251
GraphColouring/checker/wrongSolution.txt       2010-11-24 12:20:26          251
GraphColouring/checker/constraint.asp          2010-11-24 16:44:44          281
GraphColouring/checker/checker.sh              2013-02-07 12:59:26         1361
GraphColouring/encoding.asp                    2012-10-23 12:01:46          293
GraphColouring/example/                        2012-10-25 22:09:40            0
GraphColouring/example/outcome.txt             2012-08-02 14:25:26          170
GraphColouring/example/instance.asp            2012-08-02 14:06:26           57
GraphColouring/instances/                      2012-10-25 22:09:40            0
GraphColouring/instances/35-3-colorability-150-0.asp 2011-01-11 10:58:02        29770
GraphColouring/instances/2-3-colorability-140-0.asp 2011-01-10 17:32:22        26216
GraphColouring/instances/5-3-colorability-140-0.asp 2011-01-10 17:34:30        26570
GraphColouring/instances/16-3-colorability-135-0.asp 2011-01-10 17:42:22        24197
GraphColouring/instances/17-3-colorability-130-0.asp 2011-01-10 17:43:06        21454
GraphColouring/instances/28-3-colorability-150-0.asp 2011-01-11 10:53:02        29448
GraphColouring/instances/38-3-colorability-145-0.asp 2011-01-11 11:00:30        28857
GraphColouring/instances/31-3-colorability-150-0.asp 2011-01-11 10:54:40        28004
GraphColouring/instances/36-3-colorability-145-0.asp 2011-01-11 10:59:00        27633
GraphColouring/instances/27-3-colorability-150-0.asp 2011-01-11 10:52:04        30686
GraphColouring/instances/44-3-colorability-145-0.asp 2011-01-11 11:06:36        28239
GraphColouring/instances/50-3-colorability-125-0.asp 2011-01-11 11:11:34        20261
GraphColouring/instances/43-3-colorability-145-0.asp 2011-01-11 11:05:38        28763
GraphColouring/instances/46-3-colorability-130-0.asp 2011-01-11 11:07:54        21342
GraphColouring/instances/47-3-colorability-125-0.asp 2011-01-11 11:08:36        20687
GraphColouring/instances/10-3-colorability-135-0.asp 2011-01-10 17:37:24        23379
GraphColouring/instances/3-3-colorability-140-0.asp 2011-01-10 17:33:04        24782
GraphColouring/instances/14-3-colorability-135-0.asp 2011-01-10 17:39:52        24364
GraphColouring/instances/21-3-colorability-130-0.asp 2011-01-10 18:27:18        22676
GraphColouring/instances/20-3-colorability-130-0.asp 2011-01-10 18:25:48        22244
GraphColouring/instances/39-3-colorability-145-0.asp 2011-01-11 11:00:56        27551
GraphColouring/instances/37-3-colorability-145-0.asp 2011-01-11 11:00:02        27429
GraphColouring/instances/30-3-colorability-150-0.asp 2011-01-11 10:54:14        30386
GraphColouring/instances/24-3-colorability-130-0.asp 2011-01-10 18:28:50        22582
GraphColouring/instances/15-3-colorability-135-0.asp 2011-01-10 17:41:06        22813
GraphColouring/instances/23-3-colorability-130-0.asp 2011-01-10 18:28:22        22634
GraphColouring/instances/12-3-colorability-135-0.asp 2011-01-10 17:38:22        24471
GraphColouring/instances/34-3-colorability-150-0.asp 2011-01-11 10:57:26        29864
GraphColouring/instances/29-3-colorability-150-0.asp 2011-01-11 10:53:28        29794
GraphColouring/instances/7-3-colorability-135-0.asp 2011-01-10 17:35:44        25049
GraphColouring/instances/11-3-colorability-135-0.asp 2011-01-10 17:37:52        24761
GraphColouring/instances/32-3-colorability-150-0.asp 2011-01-11 10:56:00        28236
GraphColouring/instances/48-3-colorability-125-0.asp 2011-01-11 11:10:16        19101
GraphColouring/instances/9-3-colorability-135-0.asp 2011-01-10 17:36:52        23825
GraphColouring/instances/41-3-colorability-145-0.asp 2011-01-11 11:02:46        29110
GraphColouring/instances/8-3-colorability-135-0.asp 2011-01-10 17:36:22        21869
GraphColouring/instances/22-3-colorability-130-0.asp 2011-01-10 18:27:50        23086
GraphColouring/instances/6-3-colorability-140-0.asp 2011-01-10 17:35:04        25022
GraphColouring/instances/4-3-colorability-140-0.asp 2011-01-10 17:33:46        25954
GraphColouring/instances/25-3-colorability-130-0.asp 2011-01-10 18:30:24        20826
GraphColouring/instances/45-3-colorability-145-0.asp 2011-01-11 11:07:16        27853
GraphColouring/instances/42-3-colorability-145-0.asp 2011-01-11 11:05:08        27775
GraphColouring/instances/13-3-colorability-135-0.asp 2011-01-10 17:38:54        24469
GraphColouring/instances/18-3-colorability-130-0.asp 2011-01-10 18:24:44        21680
GraphColouring/instances/33-3-colorability-150-0.asp 2011-01-11 10:56:30        29720
GraphColouring/instances/26-3-colorability-150-0.asp 2011-01-11 10:51:34        28358
GraphColouring/instances/1-3-colorability-125-0.asp 2011-01-10 17:28:06        20237
GraphColouring/instances/49-3-colorability-125-0.asp 2011-01-11 11:11:04        20193
GraphColouring/instances/40-3-colorability-145-0.asp 2011-01-11 11:01:58        26857
GraphColouring/instances/19-3-colorability-130-0.asp 2011-01-10 18:25:16        21390
GraphColouring/specification.txt               2012-08-02 14:08:26         1202

Attached Files

You are not allowed to attach a file to this page.