Index of /~mptp/1147/MPTP2/ilp0/substut1
Name
Last modified
Size
Description
Parent Directory
-
substut1__56_11.min1.thm1
2017-02-06 12:46
130
substut1__62_11.min1.thm1
2017-02-06 12:46
544
substut1__73_11.min1.thm1
2017-02-06 12:46
415
substut1__90_20.min1.thm1
2017-02-06 12:46
1.2K
substut1__91_17.min1.thm1
2017-02-06 12:46
1.4K
substut1__111_35.min1.thm1
2017-02-06 12:46
543
substut1__112_18.min1.thm1
2017-02-06 12:46
448
substut1__124_16.min1.thm1
2017-02-06 12:46
967
substut1__125_39.min1.thm1
2017-02-06 12:46
838
substut1__127_17.min1.thm1
2017-02-06 12:46
314
substut1__130_33.min1.thm1
2017-02-06 12:46
1.8K
substut1__131_47.min1.thm1
2017-02-06 12:46
860
substut1__135_23.min1.thm1
2017-02-06 12:46
1.5K
substut1__137_25.min1.thm1
2017-02-06 12:46
1.4K
substut1__138_22.min1.thm1
2017-02-06 12:46
1.7K
substut1__139_41.min1.thm1
2017-02-06 12:46
1.4K
substut1__142_21.min1.thm1
2017-02-06 12:46
1.7K
substut1__144_58.min1.thm1
2017-02-06 12:46
675
substut1__153_28.min1.thm1
2017-02-06 12:46
1.4K
substut1__154_21.min1.thm1
2017-02-06 12:46
1.4K
substut1__170_17.min1.thm1
2017-02-06 12:46
392
substut1__172_46.min1.thm1
2017-02-06 12:46
1.0K
substut1__173_48.min1.thm1
2017-02-06 12:46
1.1K
substut1__174_26.min1.thm1
2017-02-06 12:46
1.4K
substut1__187_31.min1.thm1
2017-02-06 12:46
1.1K
substut1__188_19.min1.thm1
2017-02-06 12:46
1.1K
substut1__201_37.min1.thm1
2017-02-06 12:46
1.6K
substut1__203_41.min1.thm1
2017-02-06 12:46
2.1K
substut1__209_34.min1.thm1
2017-02-06 12:46
2.0K
substut1__221_17.min1.thm1
2017-02-06 12:46
370
substut1__224_50.min1.thm1
2017-02-06 12:46
2.0K
substut1__225_63.min1.thm1
2017-02-06 12:46
1.2K
substut1__229_40.min1.thm1
2017-02-06 12:46
836
substut1__230_24.min1.thm1
2017-02-06 12:46
1.9K
substut1__232_27.min1.thm1
2017-02-06 12:46
1.8K
substut1__233_39.min1.thm1
2017-02-06 12:46
2.0K
substut1__234_63.min1.thm1
2017-02-06 12:46
2.1K
substut1__237_21.min1.thm1
2017-02-06 12:46
1.0K
substut1__239_19.min1.thm1
2017-02-06 12:46
1.7K
substut1__250_18.min1.thm1
2017-02-06 12:46
959
substut1__262_6.min1.thm1
2017-02-06 12:46
573
substut1__263_39.min1.thm1
2017-02-06 12:46
1.0K
substut1__264_15.min1.thm1
2017-02-06 12:46
358
substut1__279_56.min1.thm1
2017-02-06 12:46
474
substut1__290_23.min1.thm1
2017-02-06 12:46
813
substut1__296_22.min1.thm1
2017-02-06 12:46
535
substut1__296_22.min1.thm1.tptp
2017-02-06 16:47
473
substut1__299_17.min1.thm1
2017-02-06 12:46
491
substut1__299_17.min1.thm1.tptp
2017-02-06 16:47
429
substut1__304_19.min1.thm1
2017-02-06 12:46
945
substut1__305_16.min1.thm1
2017-02-06 12:46
1.0K
substut1__323_77.min1.thm1
2017-02-06 12:46
953
substut1__324_18.min1.thm1
2017-02-06 12:46
462
substut1__326_16.min1.thm1
2017-02-06 12:46
447
substut1__326_16.min1.thm1.tptp
2017-02-06 16:47
369
substut1__401_9.min1.thm1
2017-02-06 12:46
311
substut1__401_9.min1.thm1.tptp
2017-02-06 16:47
237
substut1__402_56.min1.thm1
2017-02-06 12:46
458
substut1__422_16.min1.thm1
2017-02-06 12:46
1.4K
substut1__436_53.min1.thm1
2017-02-06 12:46
1.1K
substut1__437_33.min1.thm1
2017-02-06 12:46
458
substut1__442_25.min1.thm1
2017-02-06 12:46
878
substut1__446_34.min1.thm1
2017-02-06 12:46
878
substut1__451_4.min1.thm1
2017-02-06 12:46
943
substut1__455_47.min1.thm1
2017-02-06 12:46
956
substut1__476_32.min1.thm1
2017-02-06 12:46
489
substut1__479_62.min1.thm1
2017-02-06 12:46
1.1K
substut1__483_20.min1.thm1
2017-02-06 12:46
1.7K
substut1__485_44.min1.thm1
2017-02-06 12:46
574
substut1__487_32.min1.thm1
2017-02-06 12:46
1.1K
substut1__496_47.min1.thm1
2017-02-06 12:46
1.2K
substut1__502_69.min1.thm1
2017-02-06 12:46
1.2K
substut1__506_16.min1.thm1
2017-02-06 12:46
415
substut1__506_16.min1.thm1.tptp
2017-02-06 16:47
334
substut1__524_47.min1.thm1
2017-02-06 12:46
825
substut1__525_18.min1.thm1
2017-02-06 12:46
646
substut1__531_45.min1.thm1
2017-02-06 12:46
372
substut1__531_45.min1.thm1.tptp
2017-02-06 16:47
294
substut1__534_17.min1.thm1
2017-02-06 12:46
363
substut1__545_20.min1.thm1
2017-02-06 12:46
1.0K
substut1__546_15.min1.thm1
2017-02-06 12:46
644
substut1__548_42.min1.thm1
2017-02-06 12:46
825
substut1__549_29.min1.thm1
2017-02-06 12:46
1.0K
substut1__550_37.min1.thm1
2017-02-06 12:46
805
substut1__551_21.min1.thm1
2017-02-06 12:46
587
substut1__551_21.min1.thm1.tptp
2017-02-06 16:47
519
substut1__558_68.min1.thm1
2017-02-06 12:46
1.0K
substut1__559_21.min1.thm1
2017-02-06 12:46
1.1K
substut1__561_29.min1.thm1
2017-02-06 12:46
518
substut1__563_26.min1.thm1
2017-02-06 12:46
1.5K
substut1__564_46.min1.thm1
2017-02-06 12:46
447
substut1__564_46.min1.thm1.tptp
2017-02-06 16:47
369
substut1__565_44.min1.thm1
2017-02-06 12:46
569
substut1__565_44.min1.thm1.tptp
2017-02-06 16:47
513
substut1__586_44.min1.thm1
2017-02-06 12:46
857
substut1__587_18.min1.thm1
2017-02-06 12:46
631
substut1__593_45.min1.thm1
2017-02-06 12:46
372
substut1__593_45.min1.thm1.tptp
2017-02-06 16:47
294
substut1__596_17.min1.thm1
2017-02-06 12:46
363
substut1__607_20.min1.thm1
2017-02-06 12:46
1.0K
substut1__608_15.min1.thm1
2017-02-06 12:46
644
substut1__610_39.min1.thm1
2017-02-06 12:46
857
substut1__611_29.min1.thm1
2017-02-06 12:46
1.0K
substut1__612_37.min1.thm1
2017-02-06 12:46
805
substut1__613_21.min1.thm1
2017-02-06 12:46
557
substut1__613_21.min1.thm1.tptp
2017-02-06 16:47
489
substut1__620_68.min1.thm1
2017-02-06 12:46
1.0K
substut1__621_21.min1.thm1
2017-02-06 12:46
1.1K
substut1__623_29.min1.thm1
2017-02-06 12:46
518
substut1__625_26.min1.thm1
2017-02-06 12:46
1.7K
substut1__626_46.min1.thm1
2017-02-06 12:46
447
substut1__626_46.min1.thm1.tptp
2017-02-06 16:47
369
substut1__627_44.min1.thm1
2017-02-06 12:46
569
substut1__627_44.min1.thm1.tptp
2017-02-06 16:47
513
substut1__629_19.min1.thm1
2017-02-06 12:46
1.1K
substut1__639_11.min1.thm1
2017-02-06 12:46
442
substut1__640_26.min1.thm1
2017-02-06 12:46
367
substut1__640_26.min1.thm1.tptp
2017-02-06 16:47
289
substut1__681_47.min1.thm1
2017-02-06 12:46
522
substut1__687_26.min1.thm1
2017-02-06 12:46
484
substut1__687_26.min1.thm1.tptp
2017-02-06 16:47
422
substut1__692_21.min1.thm1
2017-02-06 12:46
583
substut1__696_69.min1.thm1
2017-02-06 12:46
1.9K
substut1__700_25.min1.thm1
2017-02-06 12:46
1.4K
substut1__708_47.min1.thm1
2017-02-06 12:46
522
substut1__714_26.min1.thm1
2017-02-06 12:46
484
substut1__714_26.min1.thm1.tptp
2017-02-06 16:47
422
substut1__719_21.min1.thm1
2017-02-06 12:46
490
substut1__719_21.min1.thm1.tptp
2017-02-06 16:47
428
substut1__723_69.min1.thm1
2017-02-06 12:46
1.8K
substut1__731_19.min1.thm1
2017-02-06 12:46
1.6K
substut1__731_19.min1.thm1.tptp
2017-02-06 16:47
1.5K
substut1__733_13.min1.thm1
2017-02-06 12:46
131
substut1__761_25.min1.thm1
2017-02-06 12:46
696
substut1__765_25.min1.thm1
2017-02-06 12:46
696
substut1__768_15.min1.thm1
2017-02-06 12:46
241
substut1__777_23.min1.thm1
2017-02-06 12:46
1.0K
substut1__778_23.min1.thm1
2017-02-06 12:46
1.2K
substut1__792_20.min1.thm1
2017-02-06 12:46
683
substut1__793_50.min1.thm1
2017-02-06 12:46
1.1K
substut1__794_23.min1.thm1
2017-02-06 12:46
925
substut1__811_19.min1.thm1
2017-02-06 12:46
374
substut1__811_19.min1.thm1.tptp
2017-02-06 16:47
314
substut1__841_26.min1.thm1
2017-02-06 12:46
332
substut1__841_26.min1.thm1.tptp
2017-02-06 16:47
251
substut1__842_56.min1.thm1
2017-02-06 12:46
1.5K
substut1__855_23.min1.thm1
2017-02-06 12:46
646
substut1__962_23.min1.thm1
2017-02-06 12:46
371
substut1__962_23.min1.thm1.tptp
2017-02-06 16:47
294
substut1__969_45.min1.thm1
2017-02-06 12:46
402
substut1__969_45.min1.thm1.tptp
2017-02-06 16:47
321
substut1__970_56.min1.thm1
2017-02-06 12:46
717
substut1__974_48.min1.thm1
2017-02-06 12:46
950
substut1__995_48.min1.thm1
2017-02-06 12:46
402
substut1__995_48.min1.thm1.tptp
2017-02-06 16:47
321
substut1__999_45.min1.thm1
2017-02-06 12:46
402
substut1__999_45.min1.thm1.tptp
2017-02-06 16:47
321
substut1__1000_41.min1.thm1
2017-02-06 12:46
1.2K
substut1__1001_54.min1.thm1
2017-02-06 12:46
1.0K
substut1__1004_44.min1.thm1
2017-02-06 12:46
620
substut1__1004_44.min1.thm1.tptp
2017-02-06 16:47
551
substut1__1023_25.min1.thm1
2017-02-06 12:46
375
substut1__1023_25.min1.thm1.tptp
2017-02-06 16:47
298
substut1__1033_20.min1.thm1
2017-02-06 12:46
698
substut1__1033_20.min1.thm1.tptp
2017-02-06 16:47
635
substut1__1035_61.min1.thm1
2017-02-06 12:46
551
substut1__1035_61.min1.thm1.tptp
2017-02-06 16:47
473
substut1__1050_27.min1.thm1
2017-02-06 12:46
377
substut1__1050_27.min1.thm1.tptp
2017-02-06 16:47
300
substut1__1070_26.min1.thm1
2017-02-06 12:46
1.1K
substut1__1071_23.min1.thm1
2017-02-06 12:46
3.4K
substut1__1073_27.min1.thm1
2017-02-06 12:46
377
substut1__1073_27.min1.thm1.tptp
2017-02-06 16:47
300
substut1__1079_50.min1.thm1
2017-02-06 12:46
792
substut1__1098_39.min1.thm1
2017-02-06 12:46
1.5K
substut1__1101_27.min1.thm1
2017-02-06 12:46
377
substut1__1101_27.min1.thm1.tptp
2017-02-06 16:47
300
substut1__1107_52.min1.thm1
2017-02-06 12:46
1.0K
substut1__1128_57.min1.thm1
2017-02-06 12:46
1.6K
substut1__1132_59.min1.thm1
2017-02-06 12:46
852
substut1__1132_59.min1.thm1.tptp
2017-02-06 16:47
783
substut1__1141_19.min1.thm1
2017-02-06 12:46
797
substut1__1149_28.min1.thm1
2017-02-06 12:46
718
substut1__1150_19.min1.thm1
2017-02-06 12:46
396
substut1__1150_19.min1.thm1.tptp
2017-02-06 16:47
326
substut1__1179_48.min1.thm1
2017-02-06 12:46
1.0K
substut1__1180_36.min1.thm1
2017-02-06 12:46
816
substut1__1185_43.min1.thm1
2017-02-06 12:46
348
substut1__1185_43.min1.thm1.tptp
2017-02-06 16:47
270
substut1__1186_45.min1.thm1
2017-02-06 12:46
349
substut1__1186_45.min1.thm1.tptp
2017-02-06 16:47
271
substut1__1194_14.min1.thm1
2017-02-06 12:46
535
substut1__1211_15.min1.thm1
2017-02-06 12:46
797
substut1__1213_46.min1.thm1
2017-02-06 12:46
914
substut1__1228_64.min1.thm1
2017-02-06 12:46
711
substut1__1229_15.min1.thm1
2017-02-06 12:46
884
substut1__1247_26.min1.thm1
2017-02-06 12:46
716
substut1__1253_26.min1.thm1
2017-02-06 12:46
716
substut1__1261_24.min1.thm1
2017-02-06 12:46
712
substut1__1272_44.min1.thm1
2017-02-06 12:46
678
substut1__1289_20.min1.thm1
2017-02-06 12:46
1.0K
substut1__1321_14.min1.thm1
2017-02-06 12:46
1.2K
substut1__1337_48.min1.thm1
2017-02-06 12:46
1.4K
substut1__1377_26.min1.thm1
2017-02-06 12:46
830
substut1__1378_18.min1.thm1
2017-02-06 12:46
490
substut1__1379_15.min1.thm1
2017-02-06 12:46
508
substut1__1380_16.min1.thm1
2017-02-06 12:46
317
substut1__1380_16.min1.thm1.tptp
2017-02-06 16:47
237
substut1__1382_36.min1.thm1
2017-02-06 12:46
222
substut1__1387_26.min1.thm1
2017-02-06 12:46
845
substut1__1388_18.min1.thm1
2017-02-06 12:46
490
substut1__1389_16.min1.thm1
2017-02-06 12:46
856
substut1__1402_10.min1.thm1
2017-02-06 12:46
841
substut1__1403_21.min1.thm1
2017-02-06 12:46
524
substut1__1405_19.min1.thm1
2017-02-06 12:46
852
substut1__1408_19.min1.thm1
2017-02-06 12:46
721
substut1__1426_11.min1.thm1
2017-02-06 12:46
1.3K
substut1__1428_14.min1.thm1
2017-02-06 12:46
205
substut1__1430_2.min1.thm1
2017-02-06 12:46
1.3K
substut1__1432_14.min1.thm1
2017-02-06 12:46
1.1K
substut1__1438_24.min1.thm1
2017-02-06 12:46
1.3K
substut1__1439_26.min1.thm1
2017-02-06 12:46
1.1K
substut1__1448_65.min1.thm1
2017-02-06 12:46
541
substut1__1452_17.min1.thm1
2017-02-06 12:46
753
substut1__1453_10.min1.thm1
2017-02-06 12:46
479
substut1__1454_42.min1.thm1
2017-02-06 12:46
777
substut1__1466_12.min1.thm1
2017-02-06 12:46
841
substut1__1470_12.min1.thm1
2017-02-06 12:46
841
substut1__1479_26.min1.thm1
2017-02-06 12:46
1.0K
substut1__1497_31.min1.thm1
2017-02-06 12:46
687
substut1__1498_16.min1.thm1
2017-02-06 12:46
750
substut1__1499_63.min1.thm1
2017-02-06 12:46
633
substut1__1500_14.min1.thm1
2017-02-06 12:46
291
substut1__1521_24.min1.thm1
2017-02-06 12:46
1.0K
substut1__1564_71.min1.thm1
2017-02-06 12:46
399
substut1__1568_9.min1.thm1
2017-02-06 12:46
2.3K
substut1__1571_71.min1.thm1
2017-02-06 12:46
1.1K
substut1__1590_24.min1.thm1
2017-02-06 12:46
1.0K
substut1__1591_51.min1.thm1
2017-02-06 12:46
344
substut1__1593_18.min1.thm1
2017-02-06 12:46
1.6K
substut1__1612_20.min1.thm1
2017-02-06 12:46
596
substut1__1630_14.min1.thm1
2017-02-06 12:46
650
substut1__1634_42.min1.thm1
2017-02-06 12:46
967
substut1__1650_14.min1.thm1
2017-02-06 12:46
861
substut1__1658_60.min1.thm1
2017-02-06 12:46
2.7K
substut1__1668_42.min1.thm1
2017-02-06 12:46
968
substut1__1685_37.min1.thm1
2017-02-06 12:46
863
substut1__1687_18.min1.thm1
2017-02-06 12:46
663
substut1__1687_18.min1.thm1.tptp
2017-02-06 16:47
590
substut1__1694_42.min1.thm1
2017-02-06 12:46
967
substut1__1704_38.min1.thm1
2017-02-06 12:46
1.2K
substut1__1705_14.min1.thm1
2017-02-06 12:46
1.2K
substut1__1720_44.min1.thm1
2017-02-06 12:46
857
substut1__1722_18.min1.thm1
2017-02-06 12:46
865
substut1__1735_25.min1.thm1
2017-02-06 12:46
724
substut1__1740_25.min1.thm1
2017-02-06 12:46
724
substut1__1741_36.min1.thm1
2017-02-06 12:46
1.2K
substut1__1742_35.min1.thm1
2017-02-06 12:46
1.2K
substut1__1758_45.min1.thm1
2017-02-06 12:46
857
substut1__1760_18.min1.thm1
2017-02-06 12:46
865
substut1__1770_36.min1.thm1
2017-02-06 12:46
1.2K
substut1__1771_52.min1.thm1
2017-02-06 12:46
1.5K
substut1__1777_63.min1.thm1
2017-02-06 12:46
1.4K
substut1__1778_37.min1.thm1
2017-02-06 12:46
1.2K
substut1__1792_15.min1.thm1
2017-02-06 12:46
219
substut1__1802_16.min1.thm1
2017-02-06 12:46
466
substut1__1811_16.min1.thm1
2017-02-06 12:46
372
substut1__1820_41.min1.thm1
2017-02-06 12:46
923
substut1__1825_40.min1.thm1
2017-02-06 12:46
719
substut1__1841_49.min1.thm1
2017-02-06 12:46
923
substut1__1842_47.min1.thm1
2017-02-06 12:46
923
substut1__1852_17.min1.thm1
2017-02-06 12:46
1.2K
substut1__1861_17.min1.thm1
2017-02-06 12:46
1.2K
substut1__1875_21.min1.thm1
2017-02-06 12:46
1.7K
substut1__1887_62.min1.thm1
2017-02-06 12:46
1.3K
substut1__1888_50.min1.thm1
2017-02-06 12:46
1.4K
substut1__1897_40.min1.thm1
2017-02-06 12:46
809
substut1__1898_17.min1.thm1
2017-02-06 12:46
1.5K
substut1__1930_30.min1.thm1
2017-02-06 12:46
1.7K
substut1__1935_42.min1.thm1
2017-02-06 12:46
882
substut1__1936_28.min1.thm1
2017-02-06 12:46
1.4K
substut1__1939_43.min1.thm1
2017-02-06 12:46
792
substut1__1951_21.min1.thm1
2017-02-06 12:46
648
substut1__1952_31.min1.thm1
2017-02-06 12:46
865
substut1__1955_55.min1.thm1
2017-02-06 12:46
1.2K
substut1__1956_40.min1.thm1
2017-02-06 12:46
1.0K
substut1__1957_17.min1.thm1
2017-02-06 12:46
1.2K
substut1__1966_37.min1.thm1
2017-02-06 12:46
859
substut1__1970_37.min1.thm1
2017-02-06 12:46
1.1K
substut1__1973_57.min1.thm1
2017-02-06 12:46
1.7K
substut1__1984_44.min1.thm1
2017-02-06 12:46
853
substut1__1985_30.min1.thm1
2017-02-06 12:46
1.1K
substut1__1990_54.min1.thm1
2017-02-06 12:46
1.4K
substut1__1991_38.min1.thm1
2017-02-06 12:46
971
substut1__2005_36.min1.thm1
2017-02-06 12:46
764
substut1__2017_24.min1.thm1
2017-02-06 12:46
1.0K
substut1__2022_16.min1.thm1
2017-02-06 12:46
700
substut1__2028_21.min1.thm1
2017-02-06 12:46
652
substut1__2037_37.min1.thm1
2017-02-06 12:46
863
substut1__2048_44.min1.thm1
2017-02-06 12:46
857
substut1__2049_32.min1.thm1
2017-02-06 12:46
1.2K
substut1__2062_72.min1.thm1
2017-02-06 12:46
1.5K
substut1__2075_49.min1.thm1
2017-02-06 12:46
1.1K
substut1__2076_52.min1.thm1
2017-02-06 12:46
1.1K
substut1__2077_50.min1.thm1
2017-02-06 12:46
1.1K
substut1__2078_46.min1.thm1
2017-02-06 12:46
1.1K
substut1__2130_20.min1.thm1
2017-02-06 12:46
1.5K
substut1__2134_22.min1.thm1
2017-02-06 12:46
435
substut1__2139_31.min1.thm1
2017-02-06 12:46
2.2K
substut1__2144_31.min1.thm1
2017-02-06 12:46
2.2K
substut1__2149_31.min1.thm1
2017-02-06 12:46
2.3K
substut1__2155_31.min1.thm1
2017-02-06 12:46
2.4K
substut1__2160_31.min1.thm1
2017-02-06 12:46
2.3K
substut1__2176_19.min1.thm1
2017-02-06 12:46
401
substut1__2180_27.min1.thm1
2017-02-06 12:46
2.0K
substut1__2184_27.min1.thm1
2017-02-06 12:46
2.2K
substut1__2187_20.min1.thm1
2017-02-06 12:46
504
substut1__2192_19.min1.thm1
2017-02-06 12:46
401
substut1__2196_27.min1.thm1
2017-02-06 12:46
2.1K
substut1__2200_27.min1.thm1
2017-02-06 12:46
2.2K
substut1__2203_20.min1.thm1
2017-02-06 12:46
550
substut1__2209_55.min1.thm1
2017-02-06 12:46
1.0K
substut1__2211_60.min1.thm1
2017-02-06 12:46
2.5K
substut1__2213_19.min1.thm1
2017-02-06 12:46
401
substut1__2217_27.min1.thm1
2017-02-06 12:46
2.5K
substut1__2221_27.min1.thm1
2017-02-06 12:46
2.6K
substut1__2224_20.min1.thm1
2017-02-06 12:46
654
substut1__2231_61.min1.thm1
2017-02-06 12:46
1.1K
substut1__2233_73.min1.thm1
2017-02-06 12:46
2.5K
substut1__2234_55.min1.thm1
2017-02-06 12:46
1.1K
substut1__2236_70.min1.thm1
2017-02-06 12:46
2.5K
substut1__2238_19.min1.thm1
2017-02-06 12:46
401
substut1__2242_27.min1.thm1
2017-02-06 12:46
2.9K
substut1__2246_27.min1.thm1
2017-02-06 12:46
3.1K
substut1__2249_20.min1.thm1
2017-02-06 12:46
908
substut1__2255_52.min1.thm1
2017-02-06 12:46
1.0K
substut1__2257_54.min1.thm1
2017-02-06 12:46
2.5K
substut1__2259_19.min1.thm1
2017-02-06 12:46
401
substut1__2263_27.min1.thm1
2017-02-06 12:46
2.5K
substut1__2267_27.min1.thm1
2017-02-06 12:46
2.7K
substut1__2270_20.min1.thm1
2017-02-06 12:46
728
substut1__2287_57.min1.thm1
2017-02-06 12:46
364
substut1__2287_57.min1.thm1.tptp
2017-02-06 16:47
286
substut1__2291_15.min1.thm1
2017-02-06 12:46
247
substut1__2302_27.min1.thm1
2017-02-06 12:46
2.0K
substut1__2303_19.min1.thm1
2017-02-06 12:46
2.0K
substut1__2309_26.min1.thm1
2017-02-06 12:46
2.0K
substut1__2310_19.min1.thm1
2017-02-06 12:46
2.0K
substut1__2318_56.min1.thm1
2017-02-06 12:46
1.1K
substut1__2320_19.min1.thm1
2017-02-06 12:46
2.1K
substut1__2331_55.min1.thm1
2017-02-06 12:46
1.5K
substut1__2335_19.min1.thm1
2017-02-06 12:46
2.3K
substut1__2343_53.min1.thm1
2017-02-06 12:46
1.1K
substut1__2346_19.min1.thm1
2017-02-06 12:46
2.2K
substut1__2350_16.min1.thm1
2017-02-06 12:46
3.3K
substut1__2361_39.min1.thm1
2017-02-06 12:46
711
substut1__2397_38.min1.thm1
2017-02-06 12:46
3.2K
substut1__2409_26.min1.thm1
2017-02-06 12:46
1.1K
substut1__2426_27.min1.thm1
2017-02-06 12:46
1.2K
substut1__2429_23.min1.thm1
2017-02-06 12:46
1.2K
substut1__2442_24.min1.thm1
2017-02-06 12:46
1.1K
substut1__2522_42.min1.thm1
2017-02-06 12:46
882
substut1__2538_26.min1.thm1
2017-02-06 12:46
716
substut1__2552_19.min1.thm1
2017-02-06 12:46
621
substut1__2558_19.min1.thm1
2017-02-06 12:46
621
substut1__2570_13.min1.thm1
2017-02-06 12:46
131
substut1__2578_11.min1.thm1
2017-02-06 12:46
1.7K
substut1__2668_18.min1.thm1
2017-02-06 12:46
341
substut1__2703_31.min1.thm1
2017-02-06 12:46
867
substut1__2704_17.min1.thm1
2017-02-06 12:46
1.0K
substut1__2793_55.min1.thm1
2017-02-06 12:46
706
substut1__2794_18.min1.thm1
2017-02-06 12:46
700
substut1__2796_16.min1.thm1
2017-02-06 12:46
417
substut1__2796_16.min1.thm1.tptp
2017-02-06 16:47
339
substut1__2808_39.min1.thm1
2017-02-06 12:46
1.2K
substut1__2809_16.min1.thm1
2017-02-06 12:46
459
substut1__2809_16.min1.thm1.tptp
2017-02-06 16:47
379
substut1__2851_42.min1.thm1
2017-02-06 12:46
629
substut1__2852_54.min1.thm1
2017-02-06 12:46
657
substut1__2853_18.min1.thm1
2017-02-06 12:46
700
substut1__2861_37.min1.thm1
2017-02-06 12:46
648
substut1__2863_19.min1.thm1
2017-02-06 12:46
1.2K
substut1__2872_62.min1.thm1
2017-02-06 12:46
1.5K
substut1__2875_14.min1.thm1
2017-02-06 12:46
1.4K
substut1__2882_45.min1.thm1
2017-02-06 12:46
1.6K
substut1__2904_35.min1.thm1
2017-02-06 12:46
606
substut1__2905_17.min1.thm1
2017-02-06 12:46
1.1K
substut1__2916_9.min1.thm1
2017-02-06 12:46
966
substut1__2917_17.min1.thm1
2017-02-06 12:46
1.7K
substut1__2967_39.min1.thm1
2017-02-06 12:46
1.0K
substut1__2970_38.min1.thm1
2017-02-06 12:46
1.1K
substut1__2972_43.min1.thm1
2017-02-06 12:46
1.1K
substut1__2973_31.min1.thm1
2017-02-06 12:46
821
substut1__2983_43.min1.thm1
2017-02-06 12:46
1.1K
substut1__2986_28.min1.thm1
2017-02-06 12:46
918
substut1__3006_42.min1.thm1
2017-02-06 12:46
1.0K
substut1__3009_39.min1.thm1
2017-02-06 12:46
878
substut1__3013_44.min1.thm1
2017-02-06 12:46
1.3K
substut1__3015_28.min1.thm1
2017-02-06 12:46
823
substut1__3016_39.min1.thm1
2017-02-06 12:46
1.3K
substut1__3017_32.min1.thm1
2017-02-06 12:46
823
substut1__3031_47.min1.thm1
2017-02-06 12:46
1.1K
substut1__3034_39.min1.thm1
2017-02-06 12:46
1.0K
substut1__3045_14.min1.thm1
2017-02-06 12:46
964
substut1__3067_16.min1.thm1
2017-02-06 12:46
595
substut1__3067_16.min1.thm1.tptp
2017-02-06 16:47
514
substut1__3072_35.min1.thm1
2017-02-06 12:46
1.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80