Index of /~mptp/1147/MPTP2/ilp0/pdiff_2
Name
Last modified
Size
Description
Parent Directory
-
pdiff_2__59_45.min1.thm1
2017-02-06 12:45
312
pdiff_2__59_45.min1.thm1.tptp
2017-02-06 16:47
234
pdiff_2__61_16.min1.thm1
2017-02-06 12:45
1.3K
pdiff_2__62_19.min1.thm1
2017-02-06 12:45
1.8K
pdiff_2__63_16.min1.thm1
2017-02-06 12:45
1.1K
pdiff_2__67_45.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__68_41.min1.thm1
2017-02-06 12:45
2.2K
pdiff_2__69_34.min1.thm1
2017-02-06 12:45
782
pdiff_2__84_45.min1.thm1
2017-02-06 12:45
312
pdiff_2__84_45.min1.thm1.tptp
2017-02-06 16:47
234
pdiff_2__86_16.min1.thm1
2017-02-06 12:45
1.1K
pdiff_2__87_19.min1.thm1
2017-02-06 12:45
1.8K
pdiff_2__88_16.min1.thm1
2017-02-06 12:45
1.1K
pdiff_2__92_45.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__93_41.min1.thm1
2017-02-06 12:45
2.1K
pdiff_2__94_34.min1.thm1
2017-02-06 12:45
782
pdiff_2__117_20.min1.thm1
2017-02-06 12:45
705
pdiff_2__128_20.min1.thm1
2017-02-06 12:45
705
pdiff_2__140_20.min1.thm1
2017-02-06 12:45
1.3K
pdiff_2__145_23.min1.thm1
2017-02-06 12:45
723
pdiff_2__150_21.min1.thm1
2017-02-06 12:45
705
pdiff_2__154_7.min1.thm1
2017-02-06 12:45
634
pdiff_2__165_20.min1.thm1
2017-02-06 12:45
1.3K
pdiff_2__170_23.min1.thm1
2017-02-06 12:45
723
pdiff_2__175_21.min1.thm1
2017-02-06 12:45
705
pdiff_2__179_7.min1.thm1
2017-02-06 12:45
634
pdiff_2__190_68.min1.thm1
2017-02-06 12:45
960
pdiff_2__191_45.min1.thm1
2017-02-06 12:45
601
pdiff_2__203_68.min1.thm1
2017-02-06 12:45
960
pdiff_2__204_45.min1.thm1
2017-02-06 12:45
601
pdiff_2__225_44.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__260_44.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__305_12.min1.thm1
2017-02-06 12:45
445
pdiff_2__335_12.min1.thm1
2017-02-06 12:45
445
pdiff_2__402_12.min1.thm1
2017-02-06 12:45
445
pdiff_2__412_29.min1.thm1
2017-02-06 12:45
678
pdiff_2__412_29.min1.thm1.tptp
2017-02-06 16:47
641
pdiff_2__413_15.min1.thm1
2017-02-06 12:45
614
pdiff_2__416_43.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__426_31.min1.thm1
2017-02-06 12:45
683
pdiff_2__426_31.min1.thm1.tptp
2017-02-06 16:47
646
pdiff_2__427_15.min1.thm1
2017-02-06 12:45
450
pdiff_2__429_26.min1.thm1
2017-02-06 12:45
839
pdiff_2__432_26.min1.thm1
2017-02-06 12:45
1.1K
pdiff_2__438_19.min1.thm1
2017-02-06 12:45
3.2K
pdiff_2__439_22.min1.thm1
2017-02-06 12:45
533
pdiff_2__442_22.min1.thm1
2017-02-06 12:45
720
pdiff_2__445_6.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__450_18.min1.thm1
2017-02-06 12:45
3.3K
pdiff_2__451_25.min1.thm1
2017-02-06 12:45
3.6K
pdiff_2__454_18.min1.thm1
2017-02-06 12:45
3.2K
pdiff_2__459_35.min1.thm1
2017-02-06 12:45
670
pdiff_2__465_59.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__466_55.min1.thm1
2017-02-06 12:45
1.3K
pdiff_2__467_56.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__473_18.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__473_18.min1.thm1.tptp
2017-02-06 16:47
935
pdiff_2__474_25.min1.thm1
2017-02-06 12:45
797
pdiff_2__476_20.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__478_17.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__478_17.min1.thm1.tptp
2017-02-06 16:47
935
pdiff_2__479_24.min1.thm1
2017-02-06 12:45
797
pdiff_2__481_19.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__482_16.min1.thm1
2017-02-06 12:45
376
pdiff_2__483_49.min1.thm1
2017-02-06 12:45
1.1K
pdiff_2__484_69.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__484_69.min1.thm1.tptp
2017-02-06 16:47
1.1K
pdiff_2__492_16.min1.thm1
2017-02-06 12:45
1.3K
pdiff_2__536_12.min1.thm1
2017-02-06 12:45
445
pdiff_2__546_29.min1.thm1
2017-02-06 12:45
678
pdiff_2__546_29.min1.thm1.tptp
2017-02-06 16:47
641
pdiff_2__547_15.min1.thm1
2017-02-06 12:45
614
pdiff_2__550_43.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__560_31.min1.thm1
2017-02-06 12:45
683
pdiff_2__560_31.min1.thm1.tptp
2017-02-06 16:47
646
pdiff_2__561_15.min1.thm1
2017-02-06 12:45
450
pdiff_2__563_26.min1.thm1
2017-02-06 12:45
839
pdiff_2__566_26.min1.thm1
2017-02-06 12:45
1.1K
pdiff_2__572_19.min1.thm1
2017-02-06 12:45
3.2K
pdiff_2__573_22.min1.thm1
2017-02-06 12:45
533
pdiff_2__576_22.min1.thm1
2017-02-06 12:45
720
pdiff_2__579_5.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__584_18.min1.thm1
2017-02-06 12:45
3.3K
pdiff_2__585_25.min1.thm1
2017-02-06 12:45
3.6K
pdiff_2__588_18.min1.thm1
2017-02-06 12:45
3.2K
pdiff_2__593_35.min1.thm1
2017-02-06 12:45
670
pdiff_2__599_59.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__600_55.min1.thm1
2017-02-06 12:45
1.3K
pdiff_2__601_56.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__607_18.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__607_18.min1.thm1.tptp
2017-02-06 16:47
935
pdiff_2__608_25.min1.thm1
2017-02-06 12:45
797
pdiff_2__610_20.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__612_17.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__612_17.min1.thm1.tptp
2017-02-06 16:47
935
pdiff_2__613_24.min1.thm1
2017-02-06 12:45
797
pdiff_2__615_19.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__616_16.min1.thm1
2017-02-06 12:45
376
pdiff_2__617_49.min1.thm1
2017-02-06 12:45
1.1K
pdiff_2__618_69.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__618_69.min1.thm1.tptp
2017-02-06 16:47
1.1K
pdiff_2__626_16.min1.thm1
2017-02-06 12:45
1.3K
pdiff_2__677_21.min1.thm1
2017-02-06 12:45
761
pdiff_2__680_45.min1.thm1
2017-02-06 12:45
1.1K
pdiff_2__708_18.min1.thm1
2017-02-06 12:45
606
pdiff_2__710_15.min1.thm1
2017-02-06 12:45
493
pdiff_2__713_66.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__716_16.min1.thm1
2017-02-06 12:45
794
pdiff_2__723_26.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__741_21.min1.thm1
2017-02-06 12:45
761
pdiff_2__744_45.min1.thm1
2017-02-06 12:45
1.1K
pdiff_2__772_18.min1.thm1
2017-02-06 12:45
606
pdiff_2__774_15.min1.thm1
2017-02-06 12:45
493
pdiff_2__777_66.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__780_16.min1.thm1
2017-02-06 12:45
794
pdiff_2__787_26.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__794_33.min1.thm1
2017-02-06 12:45
778
pdiff_2__815_19.min1.thm1
2017-02-06 12:45
767
pdiff_2__819_25.min1.thm1
2017-02-06 12:45
1.9K
pdiff_2__822_17.min1.thm1
2017-02-06 12:45
441
pdiff_2__822_17.min1.thm1.tptp
2017-02-06 16:47
377
pdiff_2__824_22.min1.thm1
2017-02-06 12:45
441
pdiff_2__824_22.min1.thm1.tptp
2017-02-06 16:47
377
pdiff_2__825_22.min1.thm1
2017-02-06 12:45
500
pdiff_2__828_22.min1.thm1
2017-02-06 12:45
766
pdiff_2__829_19.min1.thm1
2017-02-06 12:45
829
pdiff_2__843_35.min1.thm1
2017-02-06 12:45
757
pdiff_2__844_24.min1.thm1
2017-02-06 12:45
895
pdiff_2__867_19.min1.thm1
2017-02-06 12:45
767
pdiff_2__871_25.min1.thm1
2017-02-06 12:45
1.9K
pdiff_2__874_17.min1.thm1
2017-02-06 12:45
441
pdiff_2__874_17.min1.thm1.tptp
2017-02-06 16:47
377
pdiff_2__876_22.min1.thm1
2017-02-06 12:45
441
pdiff_2__876_22.min1.thm1.tptp
2017-02-06 16:47
377
pdiff_2__877_22.min1.thm1
2017-02-06 12:45
500
pdiff_2__880_22.min1.thm1
2017-02-06 12:45
766
pdiff_2__881_19.min1.thm1
2017-02-06 12:45
829
pdiff_2__895_35.min1.thm1
2017-02-06 12:45
757
pdiff_2__896_24.min1.thm1
2017-02-06 12:45
895
pdiff_2__927_24.min1.thm1
2017-02-06 12:45
716
pdiff_2__930_15.min1.thm1
2017-02-06 12:45
828
pdiff_2__931_29.min1.thm1
2017-02-06 12:45
540
pdiff_2__939_26.min1.thm1
2017-02-06 12:45
1.1K
pdiff_2__947_18.min1.thm1
2017-02-06 12:45
578
pdiff_2__948_18.min1.thm1
2017-02-06 12:45
804
pdiff_2__949_19.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__953_18.min1.thm1
2017-02-06 12:45
510
pdiff_2__956_27.min1.thm1
2017-02-06 12:45
1.5K
pdiff_2__957_13.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__958_28.min1.thm1
2017-02-06 12:45
1.8K
pdiff_2__959_11.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__969_21.min1.thm1
2017-02-06 12:45
624
pdiff_2__977_29.min1.thm1
2017-02-06 12:45
2.4K
pdiff_2__989_25.min1.thm1
2017-02-06 12:45
742
pdiff_2__999_18.min1.thm1
2017-02-06 12:45
770
pdiff_2__1000_18.min1.thm1
2017-02-06 12:45
804
pdiff_2__1001_19.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__1003_18.min1.thm1
2017-02-06 12:45
606
pdiff_2__1003_18.min1.thm1.tptp
2017-02-06 16:47
553
pdiff_2__1021_64.min1.thm1
2017-02-06 12:45
1.1K
pdiff_2__1021_64.min1.thm1.tptp
2017-02-06 16:47
1.0K
pdiff_2__1023_32.min1.thm1
2017-02-06 12:45
1.4K
pdiff_2__1026_32.min1.thm1
2017-02-06 12:45
684
pdiff_2__1026_32.min1.thm1.tptp
2017-02-06 16:47
647
pdiff_2__1027_17.min1.thm1
2017-02-06 12:45
479
pdiff_2__1027_17.min1.thm1.tptp
2017-02-06 16:47
402
pdiff_2__1028_10.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1044_18.min1.thm1
2017-02-06 12:45
1.9K
pdiff_2__1055_19.min1.thm1
2017-02-06 12:45
1.1K
pdiff_2__1056_18.min1.thm1
2017-02-06 12:45
741
pdiff_2__1057_19.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__1064_19.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__1075_21.min1.thm1
2017-02-06 12:45
868
pdiff_2__1081_18.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1081_18.min1.thm1.tptp
2017-02-06 16:47
934
pdiff_2__1090_39.min1.thm1
2017-02-06 12:45
1.4K
pdiff_2__1090_39.min1.thm1.tptp
2017-02-06 16:47
1.3K
pdiff_2__1104_70.min1.thm1
2017-02-06 12:45
1.8K
pdiff_2__1113_11.min1.thm1
2017-02-06 12:45
1.3K
pdiff_2__1140_24.min1.thm1
2017-02-06 12:45
716
pdiff_2__1143_15.min1.thm1
2017-02-06 12:45
828
pdiff_2__1144_29.min1.thm1
2017-02-06 12:45
540
pdiff_2__1152_26.min1.thm1
2017-02-06 12:45
1.1K
pdiff_2__1160_18.min1.thm1
2017-02-06 12:45
578
pdiff_2__1161_18.min1.thm1
2017-02-06 12:45
804
pdiff_2__1162_19.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__1166_18.min1.thm1
2017-02-06 12:45
510
pdiff_2__1169_27.min1.thm1
2017-02-06 12:45
1.5K
pdiff_2__1170_13.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1171_28.min1.thm1
2017-02-06 12:45
1.8K
pdiff_2__1172_11.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1182_21.min1.thm1
2017-02-06 12:45
624
pdiff_2__1190_29.min1.thm1
2017-02-06 12:45
2.4K
pdiff_2__1202_25.min1.thm1
2017-02-06 12:45
742
pdiff_2__1212_18.min1.thm1
2017-02-06 12:45
770
pdiff_2__1213_18.min1.thm1
2017-02-06 12:45
804
pdiff_2__1214_19.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__1216_18.min1.thm1
2017-02-06 12:45
606
pdiff_2__1216_18.min1.thm1.tptp
2017-02-06 16:47
553
pdiff_2__1234_64.min1.thm1
2017-02-06 12:45
1.1K
pdiff_2__1234_64.min1.thm1.tptp
2017-02-06 16:47
1.0K
pdiff_2__1236_32.min1.thm1
2017-02-06 12:45
1.4K
pdiff_2__1239_32.min1.thm1
2017-02-06 12:45
684
pdiff_2__1239_32.min1.thm1.tptp
2017-02-06 16:47
647
pdiff_2__1240_17.min1.thm1
2017-02-06 12:45
479
pdiff_2__1240_17.min1.thm1.tptp
2017-02-06 16:47
402
pdiff_2__1241_10.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1257_18.min1.thm1
2017-02-06 12:45
1.9K
pdiff_2__1268_19.min1.thm1
2017-02-06 12:45
1.1K
pdiff_2__1269_18.min1.thm1
2017-02-06 12:45
741
pdiff_2__1270_19.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__1277_19.min1.thm1
2017-02-06 12:45
1.2K
pdiff_2__1288_21.min1.thm1
2017-02-06 12:45
868
pdiff_2__1294_18.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1294_18.min1.thm1.tptp
2017-02-06 16:47
934
pdiff_2__1303_39.min1.thm1
2017-02-06 12:45
1.4K
pdiff_2__1303_39.min1.thm1.tptp
2017-02-06 16:47
1.3K
pdiff_2__1317_70.min1.thm1
2017-02-06 12:45
1.8K
pdiff_2__1326_11.min1.thm1
2017-02-06 12:45
1.3K
pdiff_2__1354_12.min1.thm1
2017-02-06 12:45
448
pdiff_2__1364_15.min1.thm1
2017-02-06 12:45
774
pdiff_2__1365_30.min1.thm1
2017-02-06 12:45
545
pdiff_2__1366_30.min1.thm1
2017-02-06 12:45
542
pdiff_2__1380_63.min1.thm1
2017-02-06 12:45
1.5K
pdiff_2__1384_19.min1.thm1
2017-02-06 12:45
606
pdiff_2__1384_19.min1.thm1.tptp
2017-02-06 16:47
553
pdiff_2__1386_19.min1.thm1
2017-02-06 12:45
601
pdiff_2__1386_19.min1.thm1.tptp
2017-02-06 16:47
548
pdiff_2__1387_19.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1387_19.min1.thm1.tptp
2017-02-06 16:47
929
pdiff_2__1388_39.min1.thm1
2017-02-06 12:45
2.1K
pdiff_2__1389_52.min1.thm1
2017-02-06 12:45
2.5K
pdiff_2__1390_39.min1.thm1
2017-02-06 12:45
1.5K
pdiff_2__1391_39.min1.thm1
2017-02-06 12:45
2.1K
pdiff_2__1392_39.min1.thm1
2017-02-06 12:45
2.1K
pdiff_2__1393_20.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1393_20.min1.thm1.tptp
2017-02-06 16:47
934
pdiff_2__1394_20.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1394_20.min1.thm1.tptp
2017-02-06 16:47
934
pdiff_2__1395_19.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1395_19.min1.thm1.tptp
2017-02-06 16:47
934
pdiff_2__1396_39.min1.thm1
2017-02-06 12:45
2.1K
pdiff_2__1399_39.min1.thm1
2017-02-06 12:45
1.9K
pdiff_2__1400_39.min1.thm1
2017-02-06 12:45
2.1K
pdiff_2__1401_37.min1.thm1
2017-02-06 12:45
2.1K
pdiff_2__1402_20.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1402_20.min1.thm1.tptp
2017-02-06 16:47
934
pdiff_2__1403_35.min1.thm1
2017-02-06 12:45
821
pdiff_2__1418_15.min1.thm1
2017-02-06 12:45
496
pdiff_2__1423_35.min1.thm1
2017-02-06 12:45
1.6K
pdiff_2__1456_34.min1.thm1
2017-02-06 12:45
2.2K
pdiff_2__1464_25.min1.thm1
2017-02-06 12:45
2.2K
pdiff_2__1523_12.min1.thm1
2017-02-06 12:45
449
pdiff_2__1533_15.min1.thm1
2017-02-06 12:45
774
pdiff_2__1534_30.min1.thm1
2017-02-06 12:45
545
pdiff_2__1535_30.min1.thm1
2017-02-06 12:45
542
pdiff_2__1549_63.min1.thm1
2017-02-06 12:45
1.5K
pdiff_2__1553_19.min1.thm1
2017-02-06 12:45
606
pdiff_2__1553_19.min1.thm1.tptp
2017-02-06 16:47
553
pdiff_2__1555_19.min1.thm1
2017-02-06 12:45
601
pdiff_2__1555_19.min1.thm1.tptp
2017-02-06 16:47
548
pdiff_2__1556_39.min1.thm1
2017-02-06 12:45
1.9K
pdiff_2__1557_19.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1557_19.min1.thm1.tptp
2017-02-06 16:47
929
pdiff_2__1558_52.min1.thm1
2017-02-06 12:45
2.5K
pdiff_2__1559_39.min1.thm1
2017-02-06 12:45
1.5K
pdiff_2__1562_39.min1.thm1
2017-02-06 12:45
2.1K
pdiff_2__1563_52.min1.thm1
2017-02-06 12:45
3.1K
pdiff_2__1564_39.min1.thm1
2017-02-06 12:45
2.1K
pdiff_2__1565_39.min1.thm1
2017-02-06 12:45
2.1K
pdiff_2__1566_37.min1.thm1
2017-02-06 12:45
2.1K
pdiff_2__1567_20.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1567_20.min1.thm1.tptp
2017-02-06 16:47
934
pdiff_2__1568_20.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1568_20.min1.thm1.tptp
2017-02-06 16:47
934
pdiff_2__1569_20.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1569_20.min1.thm1.tptp
2017-02-06 16:47
934
pdiff_2__1570_19.min1.thm1
2017-02-06 12:45
1.0K
pdiff_2__1570_19.min1.thm1.tptp
2017-02-06 16:47
934
pdiff_2__1571_35.min1.thm1
2017-02-06 12:45
821
pdiff_2__1586_15.min1.thm1
2017-02-06 12:45
496
pdiff_2__1591_35.min1.thm1
2017-02-06 12:45
1.6K
pdiff_2__1624_34.min1.thm1
2017-02-06 12:45
2.2K
pdiff_2__1632_25.min1.thm1
2017-02-06 12:45
2.2K
pdiff_2__1675_43.min1.thm1
2017-02-06 12:45
972
pdiff_2__1677_17.min1.thm1
2017-02-06 12:45
880
pdiff_2__1688_43.min1.thm1
2017-02-06 12:45
972
pdiff_2__1690_17.min1.thm1
2017-02-06 12:45
880
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80