Index of /~mptp/1147/MPTP2/ilp0/clvect_3
Name
Last modified
Size
Description
Parent Directory
-
clvect_3__71_27.min1.thm1
2017-02-06 12:46
2.4K
clvect_3__72_25.min1.thm1
2017-02-06 12:46
2.1K
clvect_3__97_29.min1.thm1
2017-02-06 12:46
2.4K
clvect_3__98_25.min1.thm1
2017-02-06 12:46
2.1K
clvect_3__116_19.min1.thm1
2017-02-06 12:46
2.0K
clvect_3__124_58.min1.thm1
2017-02-06 12:46
1.7K
clvect_3__134_36.min1.thm1
2017-02-06 12:46
1.6K
clvect_3__135_59.min1.thm1
2017-02-06 12:46
1.6K
clvect_3__146_13.min1.thm1
2017-02-06 12:46
1.7K
clvect_3__155_74.min1.thm1
2017-02-06 12:46
1.6K
clvect_3__170_74.min1.thm1
2017-02-06 12:46
1.6K
clvect_3__184_38.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__186_45.min1.thm1
2017-02-06 12:46
1.5K
clvect_3__217_26.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__241_31.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__242_27.min1.thm1
2017-02-06 12:46
1.8K
clvect_3__251_31.min1.thm1
2017-02-06 12:46
1.9K
clvect_3__252_19.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__260_41.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__261_17.min1.thm1
2017-02-06 12:46
1.8K
clvect_3__274_50.min1.thm1
2017-02-06 12:46
1.8K
clvect_3__277_60.min1.thm1
2017-02-06 12:46
1.0K
clvect_3__277_60.min1.thm1.tptp
2017-02-06 16:48
962
clvect_3__285_42.min1.thm1
2017-02-06 12:46
818
clvect_3__285_42.min1.thm1.tptp
2017-02-06 16:48
741
clvect_3__288_37.min1.thm1
2017-02-06 12:46
3.8K
clvect_3__290_29.min1.thm1
2017-02-06 12:46
2.1K
clvect_3__291_21.min1.thm1
2017-02-06 12:46
2.9K
clvect_3__336_16.min1.thm1
2017-02-06 12:46
2.1K
clvect_3__353_16.min1.thm1
2017-02-06 12:46
1.1K
clvect_3__359_8.min1.thm1
2017-02-06 12:46
954
clvect_3__368_17.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__375_13.min1.thm1
2017-02-06 12:46
2.4K
clvect_3__385_34.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__392_41.min1.thm1
2017-02-06 12:46
1.4K
clvect_3__405_25.min1.thm1
2017-02-06 12:46
2.4K
clvect_3__413_14.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__420_13.min1.thm1
2017-02-06 12:46
2.3K
clvect_3__429_23.min1.thm1
2017-02-06 12:46
2.0K
clvect_3__520_38.min1.thm1
2017-02-06 12:46
1.0K
clvect_3__531_13.min1.thm1
2017-02-06 12:46
1.7K
clvect_3__538_13.min1.thm1
2017-02-06 12:46
1.4K
clvect_3__566_57.min1.thm1
2017-02-06 12:46
1.6K
clvect_3__583_31.min1.thm1
2017-02-06 12:46
2.6K
clvect_3__589_31.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__590_41.min1.thm1
2017-02-06 12:46
2.0K
clvect_3__603_19.min1.thm1
2017-02-06 12:46
2.5K
clvect_3__607_17.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__620_21.min1.thm1
2017-02-06 12:46
695
clvect_3__620_21.min1.thm1.tptp
2017-02-06 16:48
620
clvect_3__622_23.min1.thm1
2017-02-06 12:46
2.4K
clvect_3__623_23.min1.thm1
2017-02-06 12:46
2.3K
clvect_3__625_43.min1.thm1
2017-02-06 12:46
869
clvect_3__625_43.min1.thm1.tptp
2017-02-06 16:48
796
clvect_3__630_17.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__642_13.min1.thm1
2017-02-06 12:46
225
clvect_3__645_18.min1.thm1
2017-02-06 12:46
340
clvect_3__657_21.min1.thm1
2017-02-06 12:46
1.6K
clvect_3__658_24.min1.thm1
2017-02-06 12:46
2.4K
clvect_3__659_41.min1.thm1
2017-02-06 12:46
833
clvect_3__661_28.min1.thm1
2017-02-06 12:46
2.4K
clvect_3__662_21.min1.thm1
2017-02-06 12:46
1.2K
clvect_3__663_24.min1.thm1
2017-02-06 12:46
2.5K
clvect_3__668_18.min1.thm1
2017-02-06 12:46
369
clvect_3__671_14.min1.thm1
2017-02-06 12:46
404
clvect_3__690_27.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__692_29.min1.thm1
2017-02-06 12:46
3.0K
clvect_3__698_8.min1.thm1
2017-02-06 12:46
3.4K
clvect_3__702_16.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__703_15.min1.thm1
2017-02-06 12:46
380
clvect_3__706_19.min1.thm1
2017-02-06 12:46
463
clvect_3__706_19.min1.thm1.tptp
2017-02-06 16:48
382
clvect_3__707_26.min1.thm1
2017-02-06 12:46
2.4K
clvect_3__708_25.min1.thm1
2017-02-06 12:46
3.8K
clvect_3__710_17.min1.thm1
2017-02-06 12:46
1.4K
clvect_3__722_21.min1.thm1
2017-02-06 12:46
1.5K
clvect_3__728_17.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__729_43.min1.thm1
2017-02-06 12:46
785
clvect_3__729_43.min1.thm1.tptp
2017-02-06 16:48
708
clvect_3__731_18.min1.thm1
2017-02-06 12:46
2.0K
clvect_3__733_65.min1.thm1
2017-02-06 12:46
1.2K
clvect_3__753_29.min1.thm1
2017-02-06 12:46
2.5K
clvect_3__754_36.min1.thm1
2017-02-06 12:46
601
clvect_3__754_36.min1.thm1.tptp
2017-02-06 16:48
524
clvect_3__758_17.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__773_17.min1.thm1
2017-02-06 12:46
1.6K
clvect_3__775_13.min1.thm1
2017-02-06 12:46
2.2K
clvect_3__776_15.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__778_11.min1.thm1
2017-02-06 12:46
2.0K
clvect_3__779_36.min1.thm1
2017-02-06 12:46
587
clvect_3__779_36.min1.thm1.tptp
2017-02-06 16:48
510
clvect_3__786_17.min1.thm1
2017-02-06 12:46
1.4K
clvect_3__797_21.min1.thm1
2017-02-06 12:46
1.5K
clvect_3__805_36.min1.thm1
2017-02-06 12:46
587
clvect_3__805_36.min1.thm1.tptp
2017-02-06 16:48
510
clvect_3__807_17.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__808_18.min1.thm1
2017-02-06 12:46
2.0K
clvect_3__809_61.min1.thm1
2017-02-06 12:46
1.0K
clvect_3__816_17.min1.thm1
2017-02-06 12:46
1.6K
clvect_3__817_18.min1.thm1
2017-02-06 12:46
2.2K
clvect_3__821_17.min1.thm1
2017-02-06 12:46
1.4K
clvect_3__829_27.min1.thm1
2017-02-06 12:46
2.9K
clvect_3__844_23.min1.thm1
2017-02-06 12:46
1.9K
clvect_3__876_11.min1.thm1
2017-02-06 12:46
3.6K
clvect_3__894_38.min1.thm1
2017-02-06 12:46
1.0K
clvect_3__899_31.min1.thm1
2017-02-06 12:46
1.2K
clvect_3__932_50.min1.thm1
2017-02-06 12:46
1.2K
clvect_3__935_13.min1.thm1
2017-02-06 12:46
1.2K
clvect_3__939_19.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__942_38.min1.thm1
2017-02-06 12:46
1.0K
clvect_3__947_32.min1.thm1
2017-02-06 12:46
1.2K
clvect_3__976_50.min1.thm1
2017-02-06 12:46
1.2K
clvect_3__979_13.min1.thm1
2017-02-06 12:46
1.2K
clvect_3__983_19.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__985_17.min1.thm1
2017-02-06 12:46
2.6K
clvect_3__1017_28.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__1021_16.min1.thm1
2017-02-06 12:46
2.7K
clvect_3__1033_74.min1.thm1
2017-02-06 12:46
1.4K
clvect_3__1050_30.min1.thm1
2017-02-06 12:46
1.0K
clvect_3__1073_32.min1.thm1
2017-02-06 12:46
707
clvect_3__1073_32.min1.thm1.tptp
2017-02-06 16:48
630
clvect_3__1074_30.min1.thm1
2017-02-06 12:46
888
clvect_3__1086_38.min1.thm1
2017-02-06 12:46
4.4K
clvect_3__1167_22.min1.thm1
2017-02-06 12:46
661
clvect_3__1171_26.min1.thm1
2017-02-06 12:46
2.8K
clvect_3__1181_20.min1.thm1
2017-02-06 12:46
1.5K
clvect_3__1182_19.min1.thm1
2017-02-06 12:46
1.6K
clvect_3__1186_48.min1.thm1
2017-02-06 12:46
3.5K
clvect_3__1188_19.min1.thm1
2017-02-06 12:46
1.4K
clvect_3__1190_41.min1.thm1
2017-02-06 12:46
920
clvect_3__1191_23.min1.thm1
2017-02-06 12:46
490
clvect_3__1191_23.min1.thm1.tptp
2017-02-06 16:48
407
clvect_3__1212_70.min1.thm1
2017-02-06 12:46
3.2K
clvect_3__1216_70.min1.thm1
2017-02-06 12:46
4.1K
clvect_3__1252_36.min1.thm1
2017-02-06 12:46
1.5K
clvect_3__1258_26.min1.thm1
2017-02-06 12:46
1.4K
clvect_3__1261_27.min1.thm1
2017-02-06 12:46
2.4K
clvect_3__1265_40.min1.thm1
2017-02-06 12:46
3.3K
clvect_3__1268_58.min1.thm1
2017-02-06 12:46
3.5K
clvect_3__1280_20.min1.thm1
2017-02-06 12:46
659
clvect_3__1284_32.min1.thm1
2017-02-06 12:46
4.3K
clvect_3__1285_25.min1.thm1
2017-02-06 12:46
1.5K
clvect_3__1300_20.min1.thm1
2017-02-06 12:46
1.5K
clvect_3__1301_19.min1.thm1
2017-02-06 12:46
1.6K
clvect_3__1302_60.min1.thm1
2017-02-06 12:46
4.9K
clvect_3__1306_34.min1.thm1
2017-02-06 12:46
3.0K
clvect_3__1308_19.min1.thm1
2017-02-06 12:46
1.4K
clvect_3__1309_56.min1.thm1
2017-02-06 12:46
1.0K
clvect_3__1312_43.min1.thm1
2017-02-06 12:46
2.1K
clvect_3__1340_23.min1.thm1
2017-02-06 12:46
4.9K
clvect_3__1389_61.min1.thm1
2017-02-06 12:46
1.7K
clvect_3__1393_23.min1.thm1
2017-02-06 12:46
1.3K
clvect_3__1416_34.min1.thm1
2017-02-06 12:46
3.1K
clvect_3__1512_65.min1.thm1
2017-02-06 12:46
2.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80