Index of /~mptp/1147/MPTP2/ilp0/alg_1
Name
Last modified
Size
Description
Parent Directory
-
alg_1__50_47.min1.thm1
2017-02-06 12:46
1.2K
alg_1__60_33.min1.thm1
2017-02-06 12:46
1.1K
alg_1__80_47.min1.thm1
2017-02-06 12:46
934
alg_1__93_24.min1.thm1
2017-02-06 12:46
1.1K
alg_1__97_34.min1.thm1
2017-02-06 12:46
1.7K
alg_1__151_24.min1.thm1
2017-02-06 12:46
583
alg_1__151_24.min1.thm1.tptp
2017-02-06 16:48
506
alg_1__161_43.min1.thm1
2017-02-06 12:46
1.7K
alg_1__176_22.min1.thm1
2017-02-06 12:46
1.7K
alg_1__178_14.min1.thm1
2017-02-06 12:46
855
alg_1__179_22.min1.thm1
2017-02-06 12:46
1.7K
alg_1__180_18.min1.thm1
2017-02-06 12:46
934
alg_1__194_54.min1.thm1
2017-02-06 12:46
1.9K
alg_1__198_71.min1.thm1
2017-02-06 12:46
1.0K
alg_1__228_60.min1.thm1
2017-02-06 12:46
1.3K
alg_1__229_19.min1.thm1
2017-02-06 12:46
1.9K
alg_1__232_58.min1.thm1
2017-02-06 12:46
1.9K
alg_1__233_17.min1.thm1
2017-02-06 12:46
1.3K
alg_1__241_32.min1.thm1
2017-02-06 12:46
1.2K
alg_1__242_17.min1.thm1
2017-02-06 12:46
1.8K
alg_1__253_22.min1.thm1
2017-02-06 12:46
1.3K
alg_1__254_30.min1.thm1
2017-02-06 12:46
1.3K
alg_1__256_24.min1.thm1
2017-02-06 12:46
1.7K
alg_1__258_34.min1.thm1
2017-02-06 12:46
873
alg_1__264_33.min1.thm1
2017-02-06 12:46
1.3K
alg_1__274_25.min1.thm1
2017-02-06 12:46
1.1K
alg_1__279_24.min1.thm1
2017-02-06 12:46
1.2K
alg_1__280_38.min1.thm1
2017-02-06 12:46
605
alg_1__283_18.min1.thm1
2017-02-06 12:46
1.5K
alg_1__284_38.min1.thm1
2017-02-06 12:46
1.1K
alg_1__286_20.min1.thm1
2017-02-06 12:46
401
alg_1__286_20.min1.thm1.tptp
2017-02-06 16:48
319
alg_1__296_28.min1.thm1
2017-02-06 12:46
768
alg_1__307_70.min1.thm1
2017-02-06 12:46
1.0K
alg_1__309_32.min1.thm1
2017-02-06 12:46
1.1K
alg_1__311_39.min1.thm1
2017-02-06 12:46
2.5K
alg_1__312_12.min1.thm1
2017-02-06 12:46
768
alg_1__313_54.min1.thm1
2017-02-06 12:46
773
alg_1__319_55.min1.thm1
2017-02-06 12:46
2.4K
alg_1__321_19.min1.thm1
2017-02-06 12:46
2.0K
alg_1__325_25.min1.thm1
2017-02-06 12:46
1.6K
alg_1__327_21.min1.thm1
2017-02-06 12:46
1.1K
alg_1__340_31.min1.thm1
2017-02-06 12:46
1.7K
alg_1__341_22.min1.thm1
2017-02-06 12:46
1.3K
alg_1__342_24.min1.thm1
2017-02-06 12:46
1.6K
alg_1__343_27.min1.thm1
2017-02-06 12:46
1.1K
alg_1__344_17.min1.thm1
2017-02-06 12:46
2.1K
alg_1__356_59.min1.thm1
2017-02-06 12:46
2.3K
alg_1__360_27.min1.thm1
2017-02-06 12:46
1.3K
alg_1__361_55.min1.thm1
2017-02-06 12:46
1.8K
alg_1__363_35.min1.thm1
2017-02-06 12:46
2.2K
alg_1__364_39.min1.thm1
2017-02-06 12:46
1.8K
alg_1__372_56.min1.thm1
2017-02-06 12:46
1.0K
alg_1__374_17.min1.thm1
2017-02-06 12:46
1.3K
alg_1__382_29.min1.thm1
2017-02-06 12:46
1.1K
alg_1__383_28.min1.thm1
2017-02-06 12:46
1.2K
alg_1__385_22.min1.thm1
2017-02-06 12:46
1.2K
alg_1__387_22.min1.thm1
2017-02-06 12:46
1.1K
alg_1__388_27.min1.thm1
2017-02-06 12:46
1.1K
alg_1__389_29.min1.thm1
2017-02-06 12:46
1.2K
alg_1__390_20.min1.thm1
2017-02-06 12:46
1.1K
alg_1__391_27.min1.thm1
2017-02-06 12:46
1.3K
alg_1__394_16.min1.thm1
2017-02-06 12:46
1.7K
alg_1__402_29.min1.thm1
2017-02-06 12:46
1.1K
alg_1__405_29.min1.thm1
2017-02-06 12:46
1.1K
alg_1__406_31.min1.thm1
2017-02-06 12:46
2.2K
alg_1__419_32.min1.thm1
2017-02-06 12:46
1.1K
alg_1__437_48.min1.thm1
2017-02-06 12:46
1.0K
alg_1__438_20.min1.thm1
2017-02-06 12:46
868
alg_1__442_21.min1.thm1
2017-02-06 12:46
1.6K
alg_1__444_22.min1.thm1
2017-02-06 12:46
1.7K
alg_1__449_27.min1.thm1
2017-02-06 12:46
1.4K
alg_1__450_42.min1.thm1
2017-02-06 12:46
1.9K
alg_1__451_43.min1.thm1
2017-02-06 12:46
965
alg_1__452_57.min1.thm1
2017-02-06 12:46
789
alg_1__455_26.min1.thm1
2017-02-06 12:46
1.7K
alg_1__457_36.min1.thm1
2017-02-06 12:46
887
alg_1__458_48.min1.thm1
2017-02-06 12:46
913
alg_1__469_30.min1.thm1
2017-02-06 12:46
912
alg_1__483_58.min1.thm1
2017-02-06 12:46
2.2K
alg_1__485_21.min1.thm1
2017-02-06 12:46
2.1K
alg_1__491_41.min1.thm1
2017-02-06 12:46
1.0K
alg_1__498_6.min1.thm1
2017-02-06 12:46
1.4K
alg_1__499_39.min1.thm1
2017-02-06 12:46
1.4K
alg_1__500_19.min1.thm1
2017-02-06 12:46
2.0K
alg_1__509_30.min1.thm1
2017-02-06 12:46
1.1K
alg_1__511_37.min1.thm1
2017-02-06 12:46
1.4K
alg_1__513_17.min1.thm1
2017-02-06 12:46
2.0K
alg_1__526_70.min1.thm1
2017-02-06 12:46
2.2K
alg_1__530_32.min1.thm1
2017-02-06 12:46
1.3K
alg_1__531_22.min1.thm1
2017-02-06 12:46
1.4K
alg_1__532_34.min1.thm1
2017-02-06 12:46
1.9K
alg_1__533_34.min1.thm1
2017-02-06 12:46
2.1K
alg_1__534_44.min1.thm1
2017-02-06 12:46
2.2K
alg_1__538_52.min1.thm1
2017-02-06 12:46
2.1K
alg_1__539_20.min1.thm1
2017-02-06 12:46
1.9K
alg_1__540_15.min1.thm1
2017-02-06 12:46
1.3K
alg_1__541_17.min1.thm1
2017-02-06 12:46
1.4K
alg_1__566_69.min1.thm1
2017-02-06 12:46
959
alg_1__579_12.min1.thm1
2017-02-06 12:46
694
alg_1__605_54.min1.thm1
2017-02-06 12:46
1.9K
alg_1__615_34.min1.thm1
2017-02-06 12:46
1.6K
alg_1__618_45.min1.thm1
2017-02-06 12:46
789
alg_1__639_30.min1.thm1
2017-02-06 12:46
1.2K
alg_1__640_21.min1.thm1
2017-02-06 12:46
1.2K
alg_1__646_45.min1.thm1
2017-02-06 12:46
789
alg_1__657_63.min1.thm1
2017-02-06 12:46
541
alg_1__657_63.min1.thm1.tptp
2017-02-06 16:48
463
alg_1__659_58.min1.thm1
2017-02-06 12:46
1.5K
alg_1__669_35.min1.thm1
2017-02-06 12:46
863
alg_1__677_51.min1.thm1
2017-02-06 12:46
2.9K
alg_1__685_18.min1.thm1
2017-02-06 12:46
640
alg_1__691_49.min1.thm1
2017-02-06 12:46
1.9K
alg_1__697_19.min1.thm1
2017-02-06 12:46
3.0K
alg_1__719_34.min1.thm1
2017-02-06 12:46
1.3K
alg_1__720_27.min1.thm1
2017-02-06 12:46
2.1K
alg_1__721_21.min1.thm1
2017-02-06 12:46
1.9K
alg_1__746_78.min1.thm1
2017-02-06 12:46
1.9K
alg_1__749_17.min1.thm1
2017-02-06 12:46
552
alg_1__749_17.min1.thm1.tptp
2017-02-06 16:48
483
alg_1__754_47.min1.thm1
2017-02-06 12:46
477
alg_1__759_19.min1.thm1
2017-02-06 12:46
1.1K
alg_1__775_43.min1.thm1
2017-02-06 12:46
1.3K
alg_1__781_27.min1.thm1
2017-02-06 12:46
1.7K
alg_1__782_24.min1.thm1
2017-02-06 12:46
2.0K
alg_1__808_19.min1.thm1
2017-02-06 12:46
1.8K
alg_1__825_19.min1.thm1
2017-02-06 12:46
1.8K
alg_1__841_38.min1.thm1
2017-02-06 12:46
1.8K
alg_1__842_16.min1.thm1
2017-02-06 12:46
1.9K
alg_1__853_17.min1.thm1
2017-02-06 12:46
3.7K
alg_1__872_17.min1.thm1
2017-02-06 12:46
395
alg_1__877_18.min1.thm1
2017-02-06 12:46
634
alg_1__887_25.min1.thm1
2017-02-06 12:46
714
alg_1__887_25.min1.thm1.tptp
2017-02-06 16:48
637
alg_1__888_24.min1.thm1
2017-02-06 12:46
1.0K
alg_1__900_50.min1.thm1
2017-02-06 12:46
1.0K
alg_1__904_6.min1.thm1
2017-02-06 12:46
1.4K
alg_1__918_18.min1.thm1
2017-02-06 12:46
1.4K
alg_1__919_37.min1.thm1
2017-02-06 12:46
1.6K
alg_1__943_40.min1.thm1
2017-02-06 12:46
765
alg_1__945_44.min1.thm1
2017-02-06 12:46
843
alg_1__953_19.min1.thm1
2017-02-06 12:46
1.3K
alg_1__954_45.min1.thm1
2017-02-06 12:46
963
alg_1__955_31.min1.thm1
2017-02-06 12:46
1.6K
alg_1__963_44.min1.thm1
2017-02-06 12:46
1.8K
alg_1__964_37.min1.thm1
2017-02-06 12:46
1.9K
alg_1__967_59.min1.thm1
2017-02-06 12:46
1.3K
alg_1__969_20.min1.thm1
2017-02-06 12:46
414
alg_1__983_33.min1.thm1
2017-02-06 12:46
655
alg_1__984_19.min1.thm1
2017-02-06 12:46
1.4K
alg_1__992_34.min1.thm1
2017-02-06 12:46
330
alg_1__992_34.min1.thm1.tptp
2017-02-06 16:48
252
alg_1__993_15.min1.thm1
2017-02-06 12:46
1.6K
alg_1__995_17.min1.thm1
2017-02-06 12:46
1.9K
alg_1__1017_45.min1.thm1
2017-02-06 12:46
354
alg_1__1017_45.min1.thm1.tptp
2017-02-06 16:48
276
alg_1__1018_16.min1.thm1
2017-02-06 12:46
318
alg_1__1019_21.min1.thm1
2017-02-06 12:46
716
alg_1__1022_32.min1.thm1
2017-02-06 12:46
653
alg_1__1029_57.min1.thm1
2017-02-06 12:46
590
alg_1__1029_57.min1.thm1.tptp
2017-02-06 16:48
512
alg_1__1039_49.min1.thm1
2017-02-06 12:46
472
alg_1__1039_49.min1.thm1.tptp
2017-02-06 16:48
394
alg_1__1040_20.min1.thm1
2017-02-06 12:46
2.2K
alg_1__1043_54.min1.thm1
2017-02-06 12:46
1.4K
alg_1__1046_26.min1.thm1
2017-02-06 12:46
1.7K
alg_1__1048_36.min1.thm1
2017-02-06 12:46
885
alg_1__1054_31.min1.thm1
2017-02-06 12:46
1.3K
alg_1__1063_57.min1.thm1
2017-02-06 12:46
2.0K
alg_1__1073_26.min1.thm1
2017-02-06 12:46
1.6K
alg_1__1075_23.min1.thm1
2017-02-06 12:46
1.3K
alg_1__1076_21.min1.thm1
2017-02-06 12:46
1.5K
alg_1__1077_28.min1.thm1
2017-02-06 12:46
1.3K
alg_1__1078_62.min1.thm1
2017-02-06 12:46
1.3K
alg_1__1081_22.min1.thm1
2017-02-06 12:46
2.3K
alg_1__1093_40.min1.thm1
2017-02-06 12:46
2.0K
alg_1__1112_22.min1.thm1
2017-02-06 12:46
1.2K
alg_1__1118_20.min1.thm1
2017-02-06 12:46
1.2K
alg_1__1147_38.min1.thm1
2017-02-06 12:46
354
alg_1__1147_38.min1.thm1.tptp
2017-02-06 16:48
276
alg_1__1149_18.min1.thm1
2017-02-06 12:46
730
alg_1__1174_12.min1.thm1
2017-02-06 12:46
2.1K
alg_1__1178_21.min1.thm1
2017-02-06 12:46
3.5K
alg_1__1179_15.min1.thm1
2017-02-06 12:46
3.5K
alg_1__1195_46.min1.thm1
2017-02-06 12:46
1.5K
alg_1__1198_34.min1.thm1
2017-02-06 12:46
1.9K
alg_1__1199_24.min1.thm1
2017-02-06 12:46
1.7K
alg_1__1200_39.min1.thm1
2017-02-06 12:46
1.1K
alg_1__1206_29.min1.thm1
2017-02-06 12:46
2.3K
alg_1__1211_39.min1.thm1
2017-02-06 12:46
1.9K
alg_1__1221_50.min1.thm1
2017-02-06 12:46
956
alg_1__1224_37.min1.thm1
2017-02-06 12:46
773
alg_1__1236_19.min1.thm1
2017-02-06 12:46
1.2K
alg_1__1237_50.min1.thm1
2017-02-06 12:46
750
alg_1__1240_21.min1.thm1
2017-02-06 12:46
3.0K
alg_1__1255_47.min1.thm1
2017-02-06 12:46
1.8K
alg_1__1257_20.min1.thm1
2017-02-06 12:46
3.0K
alg_1__1260_19.min1.thm1
2017-02-06 12:46
2.0K
alg_1__1272_36.min1.thm1
2017-02-06 12:46
338
alg_1__1272_36.min1.thm1.tptp
2017-02-06 16:48
260
alg_1__1276_36.min1.thm1
2017-02-06 12:46
340
alg_1__1276_36.min1.thm1.tptp
2017-02-06 16:48
262
alg_1__1277_18.min1.thm1
2017-02-06 12:46
2.7K
alg_1__1278_17.min1.thm1
2017-02-06 12:46
2.7K
alg_1__1295_30.min1.thm1
2017-02-06 12:46
1.3K
alg_1__1296_33.min1.thm1
2017-02-06 12:46
1.4K
alg_1__1299_17.min1.thm1
2017-02-06 12:46
1.3K
alg_1__1307_14.min1.thm1
2017-02-06 12:46
1.4K
alg_1__1308_36.min1.thm1
2017-02-06 12:46
1.1K
alg_1__1312_14.min1.thm1
2017-02-06 12:46
3.0K
alg_1__1315_28.min1.thm1
2017-02-06 12:46
1.4K
alg_1__1325_16.min1.thm1
2017-02-06 12:46
1.4K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80