Index of /~surynek/research/iros2013/iros2013_experiments/data/raw/sat/solution

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