Index of /surynpav/research/iros2013/iros2013_experiments/data/raw/sat/solution
Name Last modified Size Description
Parent Directory -
grid_5x5#9.adv.sol 10-Mar-2013 12:33 23
grid_5x5#9.dif.sol 10-Mar-2013 12:36 23
grid_5x5#9.hadv.sol 10-Mar-2013 12:33 23
grid_5x5#9.hdif.sol 10-Mar-2013 12:33 23
grid_5x5#11.adv.sol 10-Mar-2013 12:33 23
grid_5x5#11.dif.sol 10-Mar-2013 12:37 23
grid_5x5#11.hadv.sol 10-Mar-2013 12:33 23
grid_5x5#11.hdif.sol 10-Mar-2013 12:34 23
grid_8x8#16.adv.sol 12-Mar-2013 18:02 23
grid_8x8#19.adv.sol 12-Mar-2013 22:11 23
grid_8x8#19.hadv.sol 12-Mar-2013 23:05 23
grid_8x8#20.adv.sol 13-Mar-2013 02:17 23
grid_8x8#20.dif.sol 13-Mar-2013 13:15 23
grid_8x8#20.hadv.sol 13-Mar-2013 08:15 23
grid_8x8#20.hdif.sol 13-Mar-2013 13:07 23
grid_8x8#21.adv.sol 13-Mar-2013 06:26 23
grid_8x8#21.hadv.sol 13-Mar-2013 17:40 23
grid_8x8#21.hdif.sol 14-Mar-2013 12:01 23
grid_8x8#22.adv.sol 13-Mar-2013 10:38 23
grid_8x8#22.hadv.sol 14-Mar-2013 03:31 23
grid_8x8#23.adv.sol 13-Mar-2013 14:52 23
grid_8x8#24.adv.sol 13-Mar-2013 19:05 23
grid_8x8#25.adv.sol 13-Mar-2013 23:22 23
grid_8x8#26.adv.sol 14-Mar-2013 03:29 23
grid_8x8#27.adv.sol 14-Mar-2013 08:01 23
grid_5x5#1.adv.sol 10-Mar-2013 12:33 75
grid_5x5#1.dif.sol 10-Mar-2013 12:33 75
grid_5x5#1.hadv.sol 10-Mar-2013 12:33 75
grid_5x5#1.hdif.sol 10-Mar-2013 12:33 75
grid_3x3#1.adv.sol 10-Mar-2013 12:33 91
grid_3x3#1.dif.sol 10-Mar-2013 12:33 91
grid_3x3#1.hadv.sol 10-Mar-2013 12:33 91
grid_3x3#1.hdif.sol 10-Mar-2013 12:33 91
grid_3x3#2.adv.sol 10-Mar-2013 12:33 91
grid_3x3#2.hadv.sol 10-Mar-2013 12:33 91
grid_3x3#2.hdif.sol 10-Mar-2013 12:33 91
grid_4x4#1.adv.sol 10-Mar-2013 12:33 91
grid_4x4#1.dif.sol 10-Mar-2013 12:33 91
grid_4x4#1.hadv.sol 10-Mar-2013 12:33 91
grid_4x4#1.hdif.sol 10-Mar-2013 12:33 91
grid_7x7#1.hdif.sol 10-Mar-2013 13:19 94
grid_7x7#1.adv.sol 10-Mar-2013 12:40 98
grid_7x7#1.dif.sol 10-Mar-2013 13:34 98
grid_7x7#1.hadv.sol 10-Mar-2013 12:42 98
grid_4x4#2.adv.sol 10-Mar-2013 12:33 108
grid_4x4#2.dif.sol 10-Mar-2013 12:33 108
grid_4x4#2.hadv.sol 10-Mar-2013 12:33 108
grid_4x4#2.hdif.sol 10-Mar-2013 12:33 108
grid_3x3#2.dif.sol 10-Mar-2013 12:33 125
grid_6x6#1.dif.sol 10-Mar-2013 12:37 134
grid_6x6#1.hdif.sol 10-Mar-2013 12:34 134
grid_6x6#1.adv.sol 10-Mar-2013 12:33 136
grid_6x6#1.hadv.sol 10-Mar-2013 12:33 136
grid_5x5#2.dif.sol 10-Mar-2013 12:33 143
grid_5x5#2.hadv.sol 10-Mar-2013 12:33 143
grid_5x5#2.adv.sol 10-Mar-2013 12:33 145
grid_5x5#2.hdif.sol 10-Mar-2013 12:33 147
grid_8x8#1.adv.sol 12-Mar-2013 13:53 151
grid_8x8#1.dif.sol 12-Mar-2013 13:54 151
grid_8x8#1.hadv.sol 12-Mar-2013 13:54 151
grid_8x8#1.hdif.sol 12-Mar-2013 13:55 151
grid_8x8#2.adv.sol 12-Mar-2013 13:53 171
grid_7x7#2.hadv.sol 10-Mar-2013 12:42 182
grid_4x4#3.adv.sol 10-Mar-2013 12:33 183
grid_5x5#3.adv.sol 10-Mar-2013 12:33 184
grid_5x5#3.dif.sol 10-Mar-2013 12:33 184
grid_7x7#2.hdif.sol 10-Mar-2013 13:20 184
grid_7x7#2.dif.sol 10-Mar-2013 13:34 186
grid_8x8#2.hdif.sol 12-Mar-2013 13:55 206
grid_8x8#2.dif.sol 12-Mar-2013 13:54 208
grid_8x8#2.hadv.sol 12-Mar-2013 13:55 210
grid_3x3#3.adv.sol 10-Mar-2013 12:33 211
grid_4x4#3.dif.sol 10-Mar-2013 12:33 218
grid_4x4#3.hadv.sol 10-Mar-2013 12:33 218
grid_5x5#3.hadv.sol 10-Mar-2013 12:33 219
grid_5x5#3.hdif.sol 10-Mar-2013 12:33 219
grid_4x4#3.hdif.sol 10-Mar-2013 12:33 220
grid_6x6#2.dif.sol 10-Mar-2013 12:37 224
grid_7x7#2.adv.sol 10-Mar-2013 12:40 225
grid_3x3#3.dif.sol 10-Mar-2013 12:33 245
grid_3x3#3.hadv.sol 10-Mar-2013 12:33 245
grid_3x3#3.hdif.sol 10-Mar-2013 12:33 245
grid_6x6#2.hadv.sol 10-Mar-2013 12:33 254
grid_6x6#2.hdif.sol 10-Mar-2013 12:34 254
grid_6x6#3.hdif.sol 10-Mar-2013 12:34 257
grid_6x6#2.adv.sol 10-Mar-2013 12:33 258
grid_4x4#4.adv.sol 10-Mar-2013 12:33 281
grid_4x4#4.hadv.sol 10-Mar-2013 12:33 281
grid_4x4#4.hdif.sol 10-Mar-2013 12:33 283
grid_6x6#3.adv.sol 10-Mar-2013 12:33 291
grid_6x6#3.dif.sol 10-Mar-2013 12:37 291
grid_6x6#3.hadv.sol 10-Mar-2013 12:33 291
grid_5x5#4.adv.sol 10-Mar-2013 12:33 298
grid_4x4#4.dif.sol 10-Mar-2013 12:33 315
grid_5x5#4.hadv.sol 10-Mar-2013 12:33 364
grid_5x5#4.hdif.sol 10-Mar-2013 12:33 364
grid_5x5#4.dif.sol 10-Mar-2013 12:33 368
grid_4x4#5.adv.sol 10-Mar-2013 12:33 374
grid_4x4#5.dif.sol 10-Mar-2013 12:33 374
grid_4x4#5.hadv.sol 10-Mar-2013 12:33 378
grid_4x4#6.hdif.sol 10-Mar-2013 12:33 390
grid_7x7#3.hadv.sol 10-Mar-2013 12:42 394
grid_7x7#3.hdif.sol 10-Mar-2013 13:20 394
grid_7x7#3.adv.sol 10-Mar-2013 12:40 396
grid_7x7#3.dif.sol 10-Mar-2013 13:34 396
grid_5x5#6.hadv.sol 10-Mar-2013 12:33 399
grid_4x4#5.hdif.sol 10-Mar-2013 12:33 412
grid_4x4#6.adv.sol 10-Mar-2013 12:33 428
grid_5x5#6.adv.sol 10-Mar-2013 12:33 433
grid_5x5#6.dif.sol 10-Mar-2013 12:33 435
grid_5x5#5.adv.sol 10-Mar-2013 12:33 454
grid_5x5#5.dif.sol 10-Mar-2013 12:33 456
grid_7x7#6.hadv.sol 10-Mar-2013 12:43 490
grid_4x4#6.hadv.sol 10-Mar-2013 12:33 502
grid_5x5#6.hdif.sol 10-Mar-2013 12:33 509
grid_5x5#5.hdif.sol 10-Mar-2013 12:33 528
grid_7x7#6.adv.sol 10-Mar-2013 12:41 528
grid_7x7#6.hdif.sol 10-Mar-2013 13:21 530
grid_5x5#5.hadv.sol 10-Mar-2013 12:33 532
grid_6x6#4.dif.sol 10-Mar-2013 12:37 532
grid_6x6#4.hadv.sol 10-Mar-2013 12:34 538
grid_4x4#6.dif.sol 10-Mar-2013 12:33 540
grid_5x5#7.hdif.sol 10-Mar-2013 12:33 546
grid_4x4#7.hadv.sol 10-Mar-2013 12:33 551
grid_7x7#6.dif.sol 10-Mar-2013 13:34 564
grid_6x6#5.hadv.sol 10-Mar-2013 12:34 569
grid_6x6#4.adv.sol 10-Mar-2013 12:33 572
grid_8x8#3.hadv.sol 12-Mar-2013 13:56 581
grid_8x8#4.adv.sol 12-Mar-2013 13:53 583
grid_4x4#7.hdif.sol 10-Mar-2013 12:33 585
grid_4x4#7.dif.sol 10-Mar-2013 12:33 587
grid_8x8#3.hdif.sol 12-Mar-2013 13:56 587
grid_6x6#5.adv.sol 10-Mar-2013 12:33 603
grid_6x6#5.hdif.sol 10-Mar-2013 12:34 603
grid_8x8#4.hadv.sol 12-Mar-2013 13:57 615
grid_8x8#4.hdif.sol 12-Mar-2013 13:57 619
grid_8x8#3.adv.sol 12-Mar-2013 13:53 621
grid_6x6#5.dif.sol 10-Mar-2013 12:37 643
grid_5x5#7.adv.sol 10-Mar-2013 12:33 648
grid_5x5#7.hadv.sol 10-Mar-2013 12:33 648
grid_6x6#4.hdif.sol 10-Mar-2013 12:34 648
grid_8x8#4.dif.sol 12-Mar-2013 13:54 651
grid_5x5#7.dif.sol 10-Mar-2013 12:33 652
grid_4x4#7.adv.sol 10-Mar-2013 12:33 657
grid_8x8#3.dif.sol 12-Mar-2013 13:54 659
grid_5x5#8.hadv.sol 10-Mar-2013 12:33 725
grid_8x8#5.adv.sol 12-Mar-2013 13:53 739
grid_8x8#5.dif.sol 12-Mar-2013 13:54 741
grid_6x6#6.hadv.sol 10-Mar-2013 12:34 749
grid_5x5#8.dif.sol 10-Mar-2013 12:33 755
grid_7x7#4.adv.sol 10-Mar-2013 12:41 757
grid_7x7#4.dif.sol 10-Mar-2013 13:34 763
grid_7x7#4.hdif.sol 10-Mar-2013 13:20 763
grid_8x8#5.hdif.sol 12-Mar-2013 13:57 777
grid_8x8#5.hadv.sol 12-Mar-2013 13:57 815
grid_5x5#8.hdif.sol 10-Mar-2013 12:33 827
grid_5x5#8.adv.sol 10-Mar-2013 12:33 833
grid_7x7#4.hadv.sol 10-Mar-2013 12:42 835
grid_6x6#6.dif.sol 10-Mar-2013 12:37 853
grid_7x7#5.dif.sol 10-Mar-2013 13:34 862
grid_6x6#7.adv.sol 10-Mar-2013 12:33 892
grid_7x7#5.hdif.sol 10-Mar-2013 13:21 892
grid_5x5#10.dif.sol 10-Mar-2013 12:36 894
grid_7x7#5.adv.sol 10-Mar-2013 12:41 894
grid_7x7#5.hadv.sol 10-Mar-2013 12:43 902
grid_6x6#6.hdif.sol 10-Mar-2013 12:34 923
grid_6x6#6.adv.sol 10-Mar-2013 12:33 927
grid_6x6#7.hdif.sol 10-Mar-2013 12:34 960
grid_5x5#10.hadv.sol 10-Mar-2013 12:33 968
grid_6x6#7.hadv.sol 10-Mar-2013 12:34 1.0K
grid_5x5#10.adv.sol 10-Mar-2013 12:33 1.0K
grid_6x6#7.dif.sol 10-Mar-2013 12:37 1.0K
grid_5x5#10.hdif.sol 10-Mar-2013 12:33 1.0K
grid_7x7#7.hadv.sol 10-Mar-2013 12:43 1.0K
grid_8x8#6.dif.sol 12-Mar-2013 13:54 1.0K
grid_8x8#6.adv.sol 12-Mar-2013 13:54 1.1K
grid_8x8#6.hadv.sol 12-Mar-2013 13:58 1.1K
grid_6x6#8.hdif.sol 10-Mar-2013 12:34 1.1K
grid_6x6#8.dif.sol 10-Mar-2013 12:37 1.1K
grid_6x6#8.hadv.sol 10-Mar-2013 12:34 1.1K
grid_7x7#7.adv.sol 10-Mar-2013 12:41 1.1K
grid_7x7#7.dif.sol 10-Mar-2013 13:34 1.1K
grid_7x7#7.hdif.sol 10-Mar-2013 13:21 1.1K
grid_6x6#8.adv.sol 10-Mar-2013 12:33 1.1K
grid_8x8#6.hdif.sol 12-Mar-2013 13:58 1.1K
grid_7x7#9.hadv.sol 10-Mar-2013 12:44 1.2K
grid_8x8#7.adv.sol 12-Mar-2013 13:54 1.2K
grid_8x8#7.dif.sol 12-Mar-2013 13:54 1.2K
grid_8x8#7.hdif.sol 12-Mar-2013 13:59 1.2K
grid_8x8#7.hadv.sol 12-Mar-2013 13:59 1.3K
grid_8x8#10.hadv.sol 12-Mar-2013 14:01 1.3K
grid_6x6#9.adv.sol 10-Mar-2013 12:33 1.3K
grid_7x7#9.dif.sol 10-Mar-2013 13:34 1.3K
grid_7x7#9.hdif.sol 10-Mar-2013 13:22 1.3K
grid_6x6#9.hadv.sol 10-Mar-2013 12:34 1.3K
grid_6x6#9.dif.sol 10-Mar-2013 12:37 1.3K
grid_7x7#9.adv.sol 10-Mar-2013 12:41 1.3K
grid_8x8#9.adv.sol 12-Mar-2013 13:54 1.4K
grid_6x6#9.hdif.sol 10-Mar-2013 12:34 1.4K
grid_8x8#8.hadv.sol 12-Mar-2013 14:00 1.4K
grid_8x8#8.adv.sol 12-Mar-2013 13:54 1.4K
grid_8x8#8.dif.sol 12-Mar-2013 13:54 1.4K
grid_8x8#8.hdif.sol 12-Mar-2013 14:00 1.4K
grid_7x7#11.adv.sol 10-Mar-2013 12:42 1.4K
grid_7x7#8.dif.sol 10-Mar-2013 13:34 1.4K
grid_8x8#9.hdif.sol 12-Mar-2013 14:00 1.4K
grid_8x8#10.hdif.sol 12-Mar-2013 14:01 1.5K
grid_7x7#11.hadv.sol 10-Mar-2013 12:45 1.5K
grid_8x8#10.adv.sol 12-Mar-2013 13:54 1.5K
grid_8x8#9.hadv.sol 12-Mar-2013 14:00 1.5K
grid_7x7#8.hadv.sol 10-Mar-2013 12:44 1.5K
grid_8x8#9.dif.sol 12-Mar-2013 13:55 1.5K
grid_8x8#10.dif.sol 12-Mar-2013 13:55 1.5K
grid_7x7#8.hdif.sol 10-Mar-2013 13:21 1.5K
grid_7x7#12.adv.sol 10-Mar-2013 12:42 1.5K
grid_7x7#8.adv.sol 10-Mar-2013 12:41 1.5K
grid_7x7#11.dif.sol 10-Mar-2013 13:35 1.5K
grid_7x7#12.hadv.sol 10-Mar-2013 12:45 1.6K
grid_6x6#10.hdif.sol 10-Mar-2013 12:35 1.6K
grid_7x7#11.hdif.sol 10-Mar-2013 13:23 1.6K
grid_6x6#13.adv.sol 10-Mar-2013 12:34 1.6K
grid_7x7#12.dif.sol 10-Mar-2013 13:35 1.6K
grid_7x7#12.hdif.sol 10-Mar-2013 13:23 1.6K
grid_6x6#10.adv.sol 10-Mar-2013 12:33 1.6K
grid_6x6#10.dif.sol 10-Mar-2013 12:37 1.7K
grid_7x7#10.hadv.sol 10-Mar-2013 12:45 1.7K
grid_8x8#11.hadv.sol 12-Mar-2013 14:02 1.7K
grid_6x6#10.hadv.sol 10-Mar-2013 12:34 1.7K
grid_6x6#11.dif.sol 10-Mar-2013 12:38 1.7K
grid_6x6#11.adv.sol 10-Mar-2013 12:33 1.8K
grid_8x8#12.adv.sol 12-Mar-2013 13:55 1.8K
grid_6x6#13.hdif.sol 10-Mar-2013 12:36 1.8K
grid_8x8#11.adv.sol 12-Mar-2013 13:54 1.8K
grid_8x8#11.dif.sol 12-Mar-2013 13:55 1.8K
grid_7x7#10.adv.sol 10-Mar-2013 12:42 1.8K
grid_6x6#12.hadv.sol 10-Mar-2013 12:34 1.8K
grid_6x6#13.hadv.sol 10-Mar-2013 12:35 1.9K
grid_6x6#12.hdif.sol 10-Mar-2013 12:35 1.9K
grid_7x7#10.hdif.sol 10-Mar-2013 13:22 1.9K
grid_6x6#13.dif.sol 10-Mar-2013 12:39 1.9K
grid_6x6#12.adv.sol 10-Mar-2013 12:33 1.9K
grid_8x8#11.hdif.sol 12-Mar-2013 14:02 1.9K
grid_6x6#11.hadv.sol 10-Mar-2013 12:34 1.9K
grid_6x6#12.dif.sol 10-Mar-2013 12:38 1.9K
grid_8x8#12.dif.sol 12-Mar-2013 13:56 2.0K
grid_8x8#12.hdif.sol 12-Mar-2013 14:03 2.0K
grid_8x8#12.hadv.sol 12-Mar-2013 14:03 2.0K
grid_6x6#11.hdif.sol 10-Mar-2013 12:35 2.0K
grid_7x7#10.dif.sol 10-Mar-2013 13:35 2.1K
grid_7x7#15.adv.sol 10-Mar-2013 13:10 2.1K
grid_7x7#15.hdif.sol 10-Mar-2013 13:26 2.1K
grid_6x6#14.hdif.sol 10-Mar-2013 12:36 2.2K
grid_7x7#15.hadv.sol 10-Mar-2013 13:00 2.2K
grid_7x7#13.hadv.sol 10-Mar-2013 12:46 2.2K
grid_6x6#16.hdif.sol 10-Mar-2013 12:41 2.3K
grid_7x7#15.dif.sol 10-Mar-2013 13:39 2.3K
grid_7x7#17.adv.sol 10-Mar-2013 16:04 2.3K
grid_6x6#16.hadv.sol 10-Mar-2013 12:37 2.3K
grid_6x6#14.adv.sol 10-Mar-2013 12:34 2.3K
grid_7x7#17.hadv.sol 10-Mar-2013 16:21 2.3K
grid_7x7#13.adv.sol 10-Mar-2013 12:45 2.3K
grid_6x6#17.adv.sol 10-Mar-2013 12:40 2.3K
grid_6x6#16.adv.sol 10-Mar-2013 12:35 2.3K
grid_8x8#13.hdif.sol 12-Mar-2013 14:04 2.3K
grid_6x6#16.dif.sol 10-Mar-2013 12:46 2.3K
grid_7x7#14.adv.sol 10-Mar-2013 13:08 2.3K
grid_7x7#17.dif.sol 10-Mar-2013 13:47 2.3K
grid_6x6#15.hadv.sol 10-Mar-2013 12:36 2.3K
grid_8x8#13.adv.sol 12-Mar-2013 13:55 2.3K
grid_6x6#14.hadv.sol 10-Mar-2013 12:35 2.4K
grid_6x6#17.hadv.sol 10-Mar-2013 12:41 2.4K
grid_7x7#17.hdif.sol 10-Mar-2013 13:32 2.4K
grid_6x6#14.dif.sol 10-Mar-2013 12:40 2.4K
grid_6x6#15.adv.sol 10-Mar-2013 12:35 2.4K
grid_7x7#13.hdif.sol 10-Mar-2013 13:24 2.4K
grid_6x6#17.hdif.sol 10-Mar-2013 13:19 2.5K
grid_8x8#13.hadv.sol 12-Mar-2013 14:04 2.5K
grid_8x8#13.dif.sol 12-Mar-2013 13:57 2.5K
grid_6x6#15.hdif.sol 10-Mar-2013 12:39 2.5K
grid_6x6#17.dif.sol 10-Mar-2013 13:34 2.5K
grid_7x7#14.hadv.sol 10-Mar-2013 13:00 2.5K
grid_7x7#13.dif.sol 10-Mar-2013 13:37 2.5K
grid_6x6#15.dif.sol 10-Mar-2013 12:43 2.5K
grid_7x7#14.dif.sol 10-Mar-2013 13:38 2.6K
grid_7x7#14.hdif.sol 10-Mar-2013 13:25 2.6K
grid_8x8#14.hdif.sol 12-Mar-2013 14:06 2.6K
grid_8x8#14.hadv.sol 12-Mar-2013 14:07 2.7K
grid_8x8#15.adv.sol 12-Mar-2013 14:00 2.8K
grid_8x8#17.hadv.sol 12-Mar-2013 14:18 2.8K
grid_8x8#14.dif.sol 12-Mar-2013 14:00 2.8K
grid_8x8#15.hdif.sol 12-Mar-2013 14:08 2.9K
grid_8x8#14.adv.sol 12-Mar-2013 13:58 2.9K
grid_7x7#18.dif.sol 10-Mar-2013 13:51 3.0K
grid_7x7#16.adv.sol 10-Mar-2013 16:02 3.0K
grid_7x7#18.hadv.sol 10-Mar-2013 16:23 3.0K
grid_8x8#18.hadv.sol 12-Mar-2013 14:19 3.0K
grid_8x8#15.hadv.sol 12-Mar-2013 14:09 3.0K
grid_8x8#15.dif.sol 12-Mar-2013 14:03 3.1K
grid_8x8#17.dif.sol 12-Mar-2013 14:11 3.1K
grid_7x7#18.adv.sol 10-Mar-2013 16:07 3.1K
grid_8x8#17.hdif.sol 12-Mar-2013 14:13 3.1K
grid_8x8#18.dif.sol 12-Mar-2013 14:13 3.1K
grid_8x8#17.adv.sol 12-Mar-2013 18:03 3.1K
grid_8x8#18.hdif.sol 12-Mar-2013 14:14 3.1K
grid_8x8#18.adv.sol 12-Mar-2013 18:05 3.2K
grid_7x7#16.hadv.sol 10-Mar-2013 16:21 3.2K
grid_7x7#16.hdif.sol 10-Mar-2013 13:31 3.2K
grid_7x7#18.hdif.sol 10-Mar-2013 13:34 3.2K
grid_7x7#16.dif.sol 10-Mar-2013 13:46 3.2K
grid_8x8#16.hadv.sol 12-Mar-2013 14:16 3.2K
grid_8x8#16.dif.sol 12-Mar-2013 14:08 3.3K
grid_8x8#16.hdif.sol 12-Mar-2013 14:11 3.6K
grid_8x8#19.dif.sol 12-Mar-2013 14:27 3.6K
grid_7x7#19.hdif.sol 10-Mar-2013 13:45 3.7K
grid_7x7#19.dif.sol 10-Mar-2013 14:11 3.7K
grid_8x8#19.hdif.sol 12-Mar-2013 14:21 3.7K
grid_8x8#22.hdif.sol 14-Mar-2013 12:13 4.0K
Apache Server at users.fit.cvut.cz Port 443