Index of /xml/Cachan/SMC/gc
Name
Last modified
Size
Description
Parent Directory
-
gc_0_OK.con.types.xml.gz
2004-04-08 09:12
273K
add_used_nodes_1_lemma_2.con.types.xml.gz
2004-04-08 09:11
195K
clean3_1_lemma.con.types.xml.gz
2004-04-08 09:11
144K
add_used_nodes_1_lemma_2.con.body.xml.gz
2004-04-08 09:11
137K
clean'2_1_lemma.con.types.xml.gz
2004-04-08 09:11
128K
clean2_1_lemma.con.types.xml.gz
2004-04-08 09:11
123K
gc_0_OK.con.body.xml.gz
2004-04-08 09:12
120K
clean3_1_lemma.con.body.xml.gz
2004-04-08 09:11
77K
clean'1_1_lemma.con.types.xml.gz
2004-04-08 09:11
74K
clean'2_1_lemma.con.body.xml.gz
2004-04-08 09:11
71K
clean2_1_lemma.con.body.xml.gz
2004-04-08 09:11
68K
new_fl_OK.con.body.xml.gz
2004-04-08 09:11
63K
new_share_OK.con.types.xml.gz
2004-04-08 09:11
61K
new_fl_OK.con.types.xml.gz
2004-04-08 09:11
59K
clean1_lemma.con.types.xml.gz
2004-04-08 09:11
55K
clean'1_1_lemma.con.body.xml.gz
2004-04-08 09:11
50K
new_share_OK.con.body.xml.gz
2004-04-08 09:11
45K
mark_lemma_1.con.types.xml.gz
2004-04-08 09:11
43K
add_used_nodes_1_lemma_1.con.types.xml.gz
2004-04-08 09:11
40K
clean1_lemma.con.body.xml.gz
2004-04-08 09:11
36K
mark_lemma_1.con.body.xml.gz
2004-04-08 09:11
35K
new_bs_OK.con.types.xml.gz
2004-04-08 09:11
32K
add_used_nodes_1_lemma_1.con.body.xml.gz
2004-04-08 09:11
30K
new_bsBDDbounded_1.con.body.xml.gz
2004-04-08 09:11
30K
new_bsBDDbounded_1.con.types.xml.gz
2004-04-08 09:11
27K
new_orm_OK.con.types.xml.gz
2004-04-08 09:11
23K
new_univm_OK.con.types.xml.gz
2004-04-08 09:11
20K
new_orm_OK.con.body.xml.gz
2004-04-08 09:11
18K
new_univm_OK.con.body.xml.gz
2004-04-08 09:11
16K
new_bs_OK.con.body.xml.gz
2004-04-08 09:11
16K
new_negm_OK.con.types.xml.gz
2004-04-08 09:11
14K
new_cfg_OK.con.types.xml.gz
2004-04-08 09:11
13K
new_bs_lemma_1.con.body.xml.gz
2004-04-08 09:11
13K
new_bs_lemma_1.con.types.xml.gz
2004-04-08 09:11
13K
gc_x_opt_OK.con.types.xml.gz
2004-04-08 09:12
11K
new_negm_OK.con.body.xml.gz
2004-04-08 09:11
11K
new_cfg_OK.con.body.xml.gz
2004-04-08 09:11
9.6K
gc_x_OK.con.types.xml.gz
2004-04-08 09:12
8.4K
new_bs_BDDhigh.con.types.xml.gz
2004-04-08 09:11
8.3K
new_bs_BDDlow.con.types.xml.gz
2004-04-08 09:11
8.3K
new_cnt_OK.con.body.xml.gz
2004-04-08 09:11
8.2K
mark_lemma_3.con.types.xml.gz
2004-04-08 09:11
8.2K
new_bs_lemma_2.con.body.xml.gz
2004-04-08 09:11
8.0K
new_bs_lemma_2.con.types.xml.gz
2004-04-08 09:11
7.8K
mark_lemma_3.con.body.xml.gz
2004-04-08 09:11
7.8K
new_cnt_OK.con.types.xml.gz
2004-04-08 09:11
7.7K
gc_0.con.body.xml.gz
2004-04-08 09:11
6.9K
new_bs_BDDhigh.con.body.xml.gz
2004-04-08 09:11
6.1K
new_bs_BDDlow.con.body.xml.gz
2004-04-08 09:11
6.1K
used_node_bs_1_preserved.con.body.xml.gz
2004-04-08 09:11
5.8K
used_node_bs_1_preserved.con.types.xml.gz
2004-04-08 09:11
5.2K
gc_x_opt_OK.con.body.xml.gz
2004-04-08 09:12
4.3K
new_bs_one.con.body.xml.gz
2004-04-08 09:11
4.3K
no_new_node_new_bs.con.types.xml.gz
2004-04-08 09:11
4.3K
new_bs_one.con.types.xml.gz
2004-04-08 09:11
4.1K
new_bs_zero.con.body.xml.gz
2004-04-08 09:11
3.9K
new_bs_zero.con.types.xml.gz
2004-04-08 09:11
3.7K
gc_x_OK.con.body.xml.gz
2004-04-08 09:12
3.4K
add_used_nodes_lemma_2.con.types.xml.gz
2004-04-08 09:11
3.3K
INDEX
2005-07-05 08:10
3.2K
new_bs_used_nodes_preserved.con.types.xml.gz
2004-04-08 09:11
2.9K
new_bs_used_nodes_preserved.con.body.xml.gz
2004-04-08 09:11
2.9K
no_new_node_new_bs.con.body.xml.gz
2004-04-08 09:11
2.9K
mark_lemma_2.con.types.xml.gz
2004-04-08 09:11
2.7K
new_cfg_OK.con.xml.gz
2004-04-08 09:11
2.6K
gc_inf_OK.con.types.xml.gz
2004-04-08 09:12
2.2K
add_used_nodes_1.con.body.xml.gz
2004-04-08 09:11
2.2K
gc_x.con.body.xml.gz
2004-04-08 09:11
2.0K
clean3_lemma.con.types.xml.gz
2004-04-08 09:11
2.0K
clean'2_lemma.con.types.xml.gz
2004-04-08 09:11
1.9K
clean3_1.con.body.xml.gz
2004-04-08 09:11
1.9K
clean2_lemma.con.types.xml.gz
2004-04-08 09:11
1.8K
clean'1_lemma.con.types.xml.gz
2004-04-08 09:11
1.7K
clean'2_1.con.body.xml.gz
2004-04-08 09:11
1.7K
clean2_1.con.body.xml.gz
2004-04-08 09:11
1.7K
add_used_nodes_1_lemma_2.con.xml.gz
2004-04-08 09:11
1.7K
mark_lemma_2.con.body.xml.gz
2004-04-08 09:11
1.6K
gc_inf_OK.con.body.xml.gz
2004-04-08 09:12
1.5K
add_used_nodes_lemma_2.con.xml.gz
2004-04-08 09:11
1.5K
clean'1_1.con.body.xml.gz
2004-04-08 09:11
1.5K
mark_lemma_1.con.xml.gz
2004-04-08 09:11
1.5K
add_used_nodes_lemma_1.con.types.xml.gz
2004-04-08 09:11
1.3K
clean1.con.body.xml.gz
2004-04-08 09:11
1.2K
new_bs_BDDhigh.con.xml.gz
2004-04-08 09:11
1.2K
new_bs_BDDlow.con.xml.gz
2004-04-08 09:11
1.2K
clean3_1_lemma.con.xml.gz
2004-04-08 09:11
1.2K
clean'2_1_lemma.con.xml.gz
2004-04-08 09:11
1.1K
clean3_lemma.con.xml.gz
2004-04-08 09:11
1.1K
clean2_1_lemma.con.xml.gz
2004-04-08 09:11
1.1K
mark_lemma_2.con.xml.gz
2004-04-08 09:11
1.1K
clean'2_lemma.con.xml.gz
2004-04-08 09:11
1.1K
gc_x_opt.con.body.xml.gz
2004-04-08 09:11
1.0K
clean'1_1_lemma.con.xml.gz
2004-04-08 09:11
1.0K
clean2_lemma.con.xml.gz
2004-04-08 09:11
1.0K
clean'1_lemma.con.xml.gz
2004-04-08 09:11
960
new_bsBDDbounded_1.con.xml.gz
2004-04-08 09:11
957
add_used_nodes_lemma_1.con.body.xml.gz
2004-04-08 09:11
955
add_used_nodes_1_lemma_1.con.xml.gz
2004-04-08 09:11
920
set_closed.con.body.xml.gz
2004-04-08 09:11
916
clean1_lemma.con.xml.gz
2004-04-08 09:11
901
new_bs_lemma_1.con.xml.gz
2004-04-08 09:11
900
mark_lemma_3.con.xml.gz
2004-04-08 09:11
898
add_used_nodes_lemma_2.con.body.xml.gz
2004-04-08 09:11
870
gc_x.con.xml.gz
2004-04-08 09:11
803
gc_0.con.xml.gz
2004-04-08 09:11
794
used_node_bs_1.con.body.xml.gz
2004-04-08 09:11
791
new_bs_lemma_2.con.xml.gz
2004-04-08 09:11
785
add_used_nodes_lemma_1.con.xml.gz
2004-04-08 09:11
775
used_node_bs_1_preserved.con.xml.gz
2004-04-08 09:11
727
dummy_mark_rect.con.body.xml.gz
2004-04-08 09:11
712
new_fl.con.body.xml.gz
2004-04-08 09:11
710
new_bs_zero.con.xml.gz
2004-04-08 09:11
708
new_bs_one.con.xml.gz
2004-04-08 09:11
707
dummy_mark_ind.con.types.xml.gz
2004-04-08 09:11
706
new_fl_OK.con.xml.gz
2004-04-08 09:11
693
clean3_lemma.con.body.xml.gz
2004-04-08 09:11
683
mark.con.body.xml.gz
2004-04-08 09:11
663
new_share_OK.con.xml.gz
2004-04-08 09:11
660
new_negm_OK.con.xml.gz
2004-04-08 09:11
656
new_univm_OK.con.xml.gz
2004-04-08 09:11
655
new_orm_OK.con.xml.gz
2004-04-08 09:11
652
is_nil.con.body.xml.gz
2004-04-08 09:11
649
clean'2_lemma.con.body.xml.gz
2004-04-08 09:11
643
clean2_lemma.con.body.xml.gz
2004-04-08 09:11
640
new_bs_used_nodes_preserved.con.xml.gz
2004-04-08 09:11
636
add_used_nodes.con.body.xml.gz
2004-04-08 09:11
627
new_bs.con.body.xml.gz
2004-04-08 09:11
623
clean'1_lemma.con.body.xml.gz
2004-04-08 09:11
594
new_cnt_OK.con.xml.gz
2004-04-08 09:11
593
dummy_mark_ind.con.xml.gz
2004-04-08 09:11
584
dummy_mark_rec.con.xml.gz
2004-04-08 09:11
580
dummy_mark_rect.con.xml.gz
2004-04-08 09:11
575
clean3.con.body.xml.gz
2004-04-08 09:11
560
no_new_node_new_bs.con.xml.gz
2004-04-08 09:11
550
clean'2.con.body.xml.gz
2004-04-08 09:11
542
clean2.con.body.xml.gz
2004-04-08 09:11
540
new_bs_OK.con.xml.gz
2004-04-08 09:11
532
clean'1.con.body.xml.gz
2004-04-08 09:11
515
new_bs.con.xml.gz
2004-04-08 09:11
483
clean3_1.con.xml.gz
2004-04-08 09:11
469
add_used_nodes_1.con.xml.gz
2004-04-08 09:11
448
clean'2_1.con.xml.gz
2004-04-08 09:11
444
clean2_1.con.xml.gz
2004-04-08 09:11
441
dummy_mark.ind.xml.gz
2004-04-08 09:11
432
clean3.con.xml.gz
2004-04-08 09:11
431
add_used_nodes.con.xml.gz
2004-04-08 09:11
424
gc_inf.con.body.xml.gz
2004-04-08 09:11
422
dummy_mark_ind.con.body.xml.gz
2004-04-08 09:11
417
clean'1_1.con.xml.gz
2004-04-08 09:11
415
new_fl.con.xml.gz
2004-04-08 09:11
414
dummy_mark_rec.con.body.xml.gz
2004-04-08 09:11
414
clean'2.con.xml.gz
2004-04-08 09:11
413
mark.con.xml.gz
2004-04-08 09:11
411
clean2.con.xml.gz
2004-04-08 09:11
409
set_closed.con.xml.gz
2004-04-08 09:11
401
gc_x_opt_OK.con.xml.gz
2004-04-08 09:12
401
gc_x_OK.con.xml.gz
2004-04-08 09:12
397
gc_x_opt.con.xml.gz
2004-04-08 09:11
395
is_nil.con.xml.gz
2004-04-08 09:11
389
gc_inf.con.xml.gz
2004-04-08 09:11
379
used_node_bs_1.con.xml.gz
2004-04-08 09:11
377
clean'1.con.xml.gz
2004-04-08 09:11
374
clean1.con.xml.gz
2004-04-08 09:11
373
gc_0_OK.con.xml.gz
2004-04-08 09:12
276
gc_inf_OK.con.xml.gz
2004-04-08 09:12
275
add_used_nodes_1.con.types.xml.gz
2004-04-08 09:11
208
dummy_mark_rect.con.types.xml.gz
2004-04-08 09:11
207
dummy_mark_rec.con.types.xml.gz
2004-04-08 09:11
206
used_node_bs_1.con.types.xml.gz
2004-04-08 09:11
205
add_used_nodes.con.types.xml.gz
2004-04-08 09:11
205
set_closed.con.types.xml.gz
2004-04-08 09:11
198
dummy_mark.ind.types.xml.gz
2004-04-08 09:11
198
clean'2_1.con.types.xml.gz
2004-04-08 09:11
198
clean'1_1.con.types.xml.gz
2004-04-08 09:11
198
gc_x_opt.con.types.xml.gz
2004-04-08 09:11
196
clean3_1.con.types.xml.gz
2004-04-08 09:11
195
clean2_1.con.types.xml.gz
2004-04-08 09:11
195
clean'2.con.types.xml.gz
2004-04-08 09:11
194
clean'1.con.types.xml.gz
2004-04-08 09:11
193
new_fl.con.types.xml.gz
2004-04-08 09:11
192
gc_inf.con.types.xml.gz
2004-04-08 09:11
192
new_bs.con.types.xml.gz
2004-04-08 09:11
191
is_nil.con.types.xml.gz
2004-04-08 09:11
191
clean3.con.types.xml.gz
2004-04-08 09:11
191
clean2.con.types.xml.gz
2004-04-08 09:11
191
clean1.con.types.xml.gz
2004-04-08 09:11
190
mark.con.types.xml.gz
2004-04-08 09:11
188
gc_x.con.types.xml.gz
2004-04-08 09:11
188
gc_0.con.types.xml.gz
2004-04-08 09:11
188
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80