Index of /~mptp/1147/MPTP2/ilp0/valuat_1
Name
Last modified
Size
Description
Parent Directory
-
valuat_1__46_11.min1.thm1
2017-02-06 12:44
130
valuat_1__52_11.min1.thm1
2017-02-06 12:44
648
valuat_1__62_18.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__73_32.min1.thm1
2017-02-06 12:44
725
valuat_1__74_19.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__98_23.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__99_73.min1.thm1
2017-02-06 12:44
1.5K
valuat_1__116_31.min1.thm1
2017-02-06 12:44
834
valuat_1__116_31.min1.thm1.tptp
2017-02-06 16:46
757
valuat_1__117_21.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__136_33.min1.thm1
2017-02-06 12:44
668
valuat_1__136_33.min1.thm1.tptp
2017-02-06 16:46
611
valuat_1__145_27.min1.thm1
2017-02-06 12:44
668
valuat_1__145_27.min1.thm1.tptp
2017-02-06 16:46
611
valuat_1__164_32.min1.thm1
2017-02-06 12:44
671
valuat_1__164_32.min1.thm1.tptp
2017-02-06 16:46
613
valuat_1__170_21.min1.thm1
2017-02-06 12:44
2.7K
valuat_1__175_69.min1.thm1
2017-02-06 12:44
1.4K
valuat_1__180_32.min1.thm1
2017-02-06 12:44
671
valuat_1__180_32.min1.thm1.tptp
2017-02-06 16:46
613
valuat_1__202_38.min1.thm1
2017-02-06 12:44
2.2K
valuat_1__204_22.min1.thm1
2017-02-06 12:44
500
valuat_1__204_22.min1.thm1.tptp
2017-02-06 16:46
429
valuat_1__205_17.min1.thm1
2017-02-06 12:44
937
valuat_1__207_27.min1.thm1
2017-02-06 12:44
801
valuat_1__208_30.min1.thm1
2017-02-06 12:44
2.1K
valuat_1__209_17.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__210_36.min1.thm1
2017-02-06 12:44
795
valuat_1__211_19.min1.thm1
2017-02-06 12:44
2.0K
valuat_1__216_17.min1.thm1
2017-02-06 12:44
937
valuat_1__219_22.min1.thm1
2017-02-06 12:44
801
valuat_1__226_24.min1.thm1
2017-02-06 12:44
2.3K
valuat_1__231_21.min1.thm1
2017-02-06 12:44
2.7K
valuat_1__242_28.min1.thm1
2017-02-06 12:44
1.7K
valuat_1__243_30.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__244_23.min1.thm1
2017-02-06 12:44
872
valuat_1__249_20.min1.thm1
2017-02-06 12:44
1.7K
valuat_1__256_45.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__258_21.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__280_49.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__285_24.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__286_73.min1.thm1
2017-02-06 12:44
1.5K
valuat_1__305_15.min1.thm1
2017-02-06 12:44
391
valuat_1__308_27.min1.thm1
2017-02-06 12:44
1.6K
valuat_1__309_23.min1.thm1
2017-02-06 12:44
1.8K
valuat_1__313_28.min1.thm1
2017-02-06 12:44
1.6K
valuat_1__314_23.min1.thm1
2017-02-06 12:44
1.8K
valuat_1__343_39.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__346_18.min1.thm1
2017-02-06 12:44
2.4K
valuat_1__392_37.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__393_54.min1.thm1
2017-02-06 12:44
1.6K
valuat_1__400_23.min1.thm1
2017-02-06 12:44
840
valuat_1__400_23.min1.thm1.tptp
2017-02-06 16:46
766
valuat_1__403_28.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__403_28.min1.thm1.tptp
2017-02-06 16:46
1.0K
valuat_1__433_18.min1.thm1
2017-02-06 12:44
850
valuat_1__433_18.min1.thm1.tptp
2017-02-06 16:46
776
valuat_1__436_26.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__436_26.min1.thm1.tptp
2017-02-06 16:46
1.0K
valuat_1__456_18.min1.thm1
2017-02-06 12:44
850
valuat_1__456_18.min1.thm1.tptp
2017-02-06 16:46
776
valuat_1__459_26.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__459_26.min1.thm1.tptp
2017-02-06 16:46
1.0K
valuat_1__508_17.min1.thm1
2017-02-06 12:44
504
valuat_1__516_17.min1.thm1
2017-02-06 12:44
840
valuat_1__516_17.min1.thm1.tptp
2017-02-06 16:46
766
valuat_1__519_22.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__519_22.min1.thm1.tptp
2017-02-06 16:46
1.0K
valuat_1__530_37.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__532_49.min1.thm1
2017-02-06 12:44
1.5K
valuat_1__546_22.min1.thm1
2017-02-06 12:44
834
valuat_1__546_22.min1.thm1.tptp
2017-02-06 16:46
760
valuat_1__549_26.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__549_26.min1.thm1.tptp
2017-02-06 16:46
1.0K
valuat_1__555_40.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__566_35.min1.thm1
2017-02-06 12:44
2.3K
valuat_1__572_38.min1.thm1
2017-02-06 12:44
2.5K
valuat_1__608_17.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__608_17.min1.thm1.tptp
2017-02-06 16:46
1.0K
valuat_1__627_17.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__627_17.min1.thm1.tptp
2017-02-06 16:46
1.0K
valuat_1__641_48.min1.thm1
2017-02-06 12:44
1.7K
valuat_1__651_46.min1.thm1
2017-02-06 12:44
1.7K
valuat_1__658_39.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__662_10.min1.thm1
2017-02-06 12:44
1.4K
valuat_1__672_21.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__673_17.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__696_17.min1.thm1
2017-02-06 12:44
1.4K
valuat_1__696_17.min1.thm1.tptp
2017-02-06 16:46
1.3K
valuat_1__704_35.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__706_38.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__709_27.min1.thm1
2017-02-06 12:44
1.9K
valuat_1__713_37.min1.thm1
2017-02-06 12:44
1.9K
valuat_1__717_25.min1.thm1
2017-02-06 12:44
1.6K
valuat_1__719_17.min1.thm1
2017-02-06 12:44
852
valuat_1__719_17.min1.thm1.tptp
2017-02-06 16:46
765
valuat_1__727_53.min1.thm1
2017-02-06 12:44
1.6K
valuat_1__728_49.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__739_32.min1.thm1
2017-02-06 12:44
1.6K
valuat_1__741_17.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__741_17.min1.thm1.tptp
2017-02-06 16:46
1.1K
valuat_1__757_17.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__757_17.min1.thm1.tptp
2017-02-06 16:46
1.2K
valuat_1__766_42.min1.thm1
2017-02-06 12:44
1.6K
valuat_1__773_17.min1.thm1
2017-02-06 12:44
1.6K
valuat_1__781_64.min1.thm1
2017-02-06 12:44
2.1K
valuat_1__782_38.min1.thm1
2017-02-06 12:44
1.4K
valuat_1__821_53.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__827_26.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__840_17.min1.thm1
2017-02-06 12:44
1.6K
valuat_1__840_17.min1.thm1.tptp
2017-02-06 16:46
1.6K
valuat_1__848_57.min1.thm1
2017-02-06 12:44
1.7K
valuat_1__849_38.min1.thm1
2017-02-06 12:44
2.0K
valuat_1__852_59.min1.thm1
2017-02-06 12:44
1.6K
valuat_1__854_17.min1.thm1
2017-02-06 12:44
1.7K
valuat_1__862_33.min1.thm1
2017-02-06 12:44
383
valuat_1__863_17.min1.thm1
2017-02-06 12:44
1.6K
valuat_1__877_14.min1.thm1
2017-02-06 12:44
851
valuat_1__880_34.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__881_48.min1.thm1
2017-02-06 12:44
1.5K
valuat_1__884_19.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__889_21.min1.thm1
2017-02-06 12:44
749
valuat_1__890_40.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__893_19.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__897_27.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__901_19.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__905_27.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__909_19.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__926_62.min1.thm1
2017-02-06 12:44
2.5K
valuat_1__930_48.min1.thm1
2017-02-06 12:44
1.4K
valuat_1__931_56.min1.thm1
2017-02-06 12:44
1.7K
valuat_1__939_25.min1.thm1
2017-02-06 12:44
755
valuat_1__939_25.min1.thm1.tptp
2017-02-06 16:46
685
valuat_1__941_35.min1.thm1
2017-02-06 12:44
624
valuat_1__942_36.min1.thm1
2017-02-06 12:44
2.2K
valuat_1__944_14.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__944_14.min1.thm1.tptp
2017-02-06 16:46
1.1K
valuat_1__972_38.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__973_23.min1.thm1
2017-02-06 12:44
1.4K
valuat_1__976_39.min1.thm1
2017-02-06 12:44
729
valuat_1__992_35.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__993_31.min1.thm1
2017-02-06 12:44
1.9K
valuat_1__994_34.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__995_66.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__996_23.min1.thm1
2017-02-06 12:44
412
valuat_1__999_57.min1.thm1
2017-02-06 12:44
141
valuat_1__1002_18.min1.thm1
2017-02-06 12:44
891
valuat_1__1008_24.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__1028_35.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__1029_31.min1.thm1
2017-02-06 12:44
1.9K
valuat_1__1030_34.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__1031_66.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__1034_57.min1.thm1
2017-02-06 12:44
141
valuat_1__1037_18.min1.thm1
2017-02-06 12:44
891
valuat_1__1044_24.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__1075_45.min1.thm1
2017-02-06 12:44
1.5K
valuat_1__1078_45.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__1079_25.min1.thm1
2017-02-06 12:44
1.9K
valuat_1__1084_44.min1.thm1
2017-02-06 12:44
1.5K
valuat_1__1087_44.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__1088_25.min1.thm1
2017-02-06 12:44
1.9K
valuat_1__1101_66.min1.thm1
2017-02-06 12:44
2.5K
valuat_1__1136_58.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__1148_46.min1.thm1
2017-02-06 12:44
2.1K
valuat_1__1174_35.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__1175_27.min1.thm1
2017-02-06 12:44
903
valuat_1__1176_28.min1.thm1
2017-02-06 12:44
915
valuat_1__1178_29.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__1181_52.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__1181_52.min1.thm1.tptp
2017-02-06 16:46
1.0K
valuat_1__1187_41.min1.thm1
2017-02-06 12:44
640
valuat_1__1187_41.min1.thm1.tptp
2017-02-06 16:46
558
valuat_1__1194_23.min1.thm1
2017-02-06 12:44
468
valuat_1__1195_32.min1.thm1
2017-02-06 12:44
911
valuat_1__1196_25.min1.thm1
2017-02-06 12:44
901
valuat_1__1198_50.min1.thm1
2017-02-06 12:44
826
valuat_1__1198_50.min1.thm1.tptp
2017-02-06 16:46
766
valuat_1__1225_37.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__1226_29.min1.thm1
2017-02-06 12:44
917
valuat_1__1227_30.min1.thm1
2017-02-06 12:44
935
valuat_1__1229_31.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__1229_31.min1.thm1.tptp
2017-02-06 16:46
1.1K
valuat_1__1237_22.min1.thm1
2017-02-06 12:44
363
valuat_1__1237_22.min1.thm1.tptp
2017-02-06 16:46
298
valuat_1__1243_34.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__1244_28.min1.thm1
2017-02-06 12:44
931
valuat_1__1272_26.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__1274_21.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__1276_14.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__1289_22.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__1290_21.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__1300_21.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__1302_17.min1.thm1
2017-02-06 12:44
1.9K
valuat_1__1302_17.min1.thm1.tptp
2017-02-06 16:46
1.9K
valuat_1__1326_18.min1.thm1
2017-02-06 12:44
920
valuat_1__1334_40.min1.thm1
2017-02-06 12:44
1.6K
valuat_1__1338_40.min1.thm1
2017-02-06 12:44
1.6K
valuat_1__1354_21.min1.thm1
2017-02-06 12:44
404
valuat_1__1355_23.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__1370_40.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__1370_40.min1.thm1.tptp
2017-02-06 16:46
1.2K
valuat_1__1396_22.min1.thm1
2017-02-06 12:44
672
valuat_1__1397_21.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__1413_46.min1.thm1
2017-02-06 12:44
966
valuat_1__1417_45.min1.thm1
2017-02-06 12:44
966
valuat_1__1428_46.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__1436_45.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__1461_12.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__1466_12.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__1499_62.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__1513_23.min1.thm1
2017-02-06 12:44
804
valuat_1__1514_24.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__1527_59.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__1530_36.min1.thm1
2017-02-06 12:44
2.5K
valuat_1__1534_61.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__1539_18.min1.thm1
2017-02-06 12:44
2.4K
valuat_1__1541_18.min1.thm1
2017-02-06 12:44
2.4K
valuat_1__1542_38.min1.thm1
2017-02-06 12:44
2.6K
valuat_1__1553_42.min1.thm1
2017-02-06 12:44
1.4K
valuat_1__1568_42.min1.thm1
2017-02-06 12:44
1.4K
valuat_1__1570_31.min1.thm1
2017-02-06 12:44
1.5K
valuat_1__1579_33.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__1580_27.min1.thm1
2017-02-06 12:44
1.6K
valuat_1__1582_25.min1.thm1
2017-02-06 12:44
1.4K
valuat_1__1582_25.min1.thm1.tptp
2017-02-06 16:46
1.3K
valuat_1__1587_31.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__1588_25.min1.thm1
2017-02-06 12:44
1.6K
valuat_1__1590_23.min1.thm1
2017-02-06 12:44
1.4K
valuat_1__1590_23.min1.thm1.tptp
2017-02-06 16:46
1.3K
valuat_1__1617_54.min1.thm1
2017-02-06 12:44
678
valuat_1__1618_55.min1.thm1
2017-02-06 12:44
775
valuat_1__1631_40.min1.thm1
2017-02-06 12:44
2.6K
valuat_1__1634_25.min1.thm1
2017-02-06 12:44
1.8K
valuat_1__1636_62.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__1641_21.min1.thm1
2017-02-06 12:44
922
valuat_1__1642_19.min1.thm1
2017-02-06 12:44
1.4K
valuat_1__1650_34.min1.thm1
2017-02-06 12:44
2.1K
valuat_1__1656_25.min1.thm1
2017-02-06 12:44
740
valuat_1__1666_21.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__1679_60.min1.thm1
2017-02-06 12:44
860
valuat_1__1683_37.min1.thm1
2017-02-06 12:44
2.2K
valuat_1__1684_21.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__1695_20.min1.thm1
2017-02-06 12:44
836
valuat_1__1700_58.min1.thm1
2017-02-06 12:44
1.9K
valuat_1__1703_57.min1.thm1
2017-02-06 12:44
2.8K
valuat_1__1705_32.min1.thm1
2017-02-06 12:44
415
valuat_1__1705_32.min1.thm1.tptp
2017-02-06 16:46
350
valuat_1__1706_25.min1.thm1
2017-02-06 12:44
2.0K
valuat_1__1712_12.min1.thm1
2017-02-06 12:44
2.4K
valuat_1__1714_12.min1.thm1
2017-02-06 12:44
2.1K
valuat_1__1715_25.min1.thm1
2017-02-06 12:44
1.5K
valuat_1__1722_14.min1.thm1
2017-02-06 12:44
752
valuat_1__1722_14.min1.thm1.tptp
2017-02-06 16:46
675
valuat_1__1730_17.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__1743_61.min1.thm1
2017-02-06 12:44
2.6K
valuat_1__1744_74.min1.thm1
2017-02-06 12:44
2.9K
valuat_1__1745_72.min1.thm1
2017-02-06 12:44
2.7K
valuat_1__1765_67.min1.thm1
2017-02-06 12:44
2.6K
valuat_1__1767_9.min1.thm1
2017-02-06 12:44
2.8K
valuat_1__1771_36.min1.thm1
2017-02-06 12:44
1.4K
valuat_1__1775_13.min1.thm1
2017-02-06 12:44
2.9K
valuat_1__1777_46.min1.thm1
2017-02-06 12:44
742
valuat_1__1787_70.min1.thm1
2017-02-06 12:44
2.7K
valuat_1__1789_9.min1.thm1
2017-02-06 12:44
3.0K
valuat_1__1791_26.min1.thm1
2017-02-06 12:44
2.6K
valuat_1__1792_54.min1.thm1
2017-02-06 12:44
2.5K
valuat_1__1801_49.min1.thm1
2017-02-06 12:44
1.7K
valuat_1__1814_34.min1.thm1
2017-02-06 12:44
3.3K
valuat_1__1816_50.min1.thm1
2017-02-06 12:44
3.5K
valuat_1__1821_71.min1.thm1
2017-02-06 12:44
2.9K
valuat_1__1822_75.min1.thm1
2017-02-06 12:44
2.9K
valuat_1__1826_75.min1.thm1
2017-02-06 12:44
2.8K
valuat_1__1828_75.min1.thm1
2017-02-06 12:44
2.9K
valuat_1__1830_74.min1.thm1
2017-02-06 12:44
2.7K
valuat_1__1871_16.min1.thm1
2017-02-06 12:44
830
valuat_1__1878_16.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__1885_16.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__1892_16.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__1899_16.min1.thm1
2017-02-06 12:44
1.7K
valuat_1__1910_21.min1.thm1
2017-02-06 12:44
1.5K
valuat_1__1912_17.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__1919_16.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__1937_22.min1.thm1
2017-02-06 12:44
703
valuat_1__1937_22.min1.thm1.tptp
2017-02-06 16:46
622
valuat_1__1938_23.min1.thm1
2017-02-06 12:44
1.5K
valuat_1__1963_18.min1.thm1
2017-02-06 12:44
929
valuat_1__1963_18.min1.thm1.tptp
2017-02-06 16:46
858
valuat_1__1966_17.min1.thm1
2017-02-06 12:44
1.1K
valuat_1__1968_28.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__1969_38.min1.thm1
2017-02-06 12:44
1.2K
valuat_1__1974_28.min1.thm1
2017-02-06 12:44
777
valuat_1__1974_28.min1.thm1.tptp
2017-02-06 16:46
700
valuat_1__1975_23.min1.thm1
2017-02-06 12:44
1.3K
valuat_1__1977_19.min1.thm1
2017-02-06 12:44
1.0K
valuat_1__1979_17.min1.thm1
2017-02-06 12:44
680
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80