Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/c0sp2
Name
Last modified
Size
Description
Parent Directory
-
c0sp2__1953_55.min1.thm1.tptp
2017-02-06 16:48
1.1K
c0sp2__1953_55.min1.thm1
2017-02-06 12:44
1.1K
c0sp2__1945_54.min1.thm1
2017-02-06 12:44
1.1K
c0sp2__1942_55.min1.thm1.tptp
2017-02-06 16:48
922
c0sp2__1942_55.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__1920_17.min1.thm1
2017-02-06 12:44
1.3K
c0sp2__1917_71.min1.thm1.tptp
2017-02-06 16:48
350
c0sp2__1917_71.min1.thm1
2017-02-06 12:44
438
c0sp2__1916_65.min1.thm1
2017-02-06 12:44
1.8K
c0sp2__1913_16.min1.thm1
2017-02-06 12:44
1.3K
c0sp2__1890_50.min1.thm1.tptp
2017-02-06 16:48
376
c0sp2__1890_50.min1.thm1
2017-02-06 12:44
451
c0sp2__1835_14.min1.thm1
2017-02-06 12:44
290
c0sp2__1834_23.min1.thm1.tptp
2017-02-06 16:48
376
c0sp2__1834_23.min1.thm1
2017-02-06 12:44
451
c0sp2__1813_16.min1.thm1
2017-02-06 12:44
1.3K
c0sp2__1812_35.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1778_58.min1.thm1.tptp
2017-02-06 16:48
363
c0sp2__1778_58.min1.thm1
2017-02-06 12:44
427
c0sp2__1777_45.min1.thm1.tptp
2017-02-06 16:48
440
c0sp2__1777_45.min1.thm1
2017-02-06 12:44
505
c0sp2__1767_49.min1.thm1
2017-02-06 12:44
1.3K
c0sp2__1766_42.min1.thm1
2017-02-06 12:44
1.5K
c0sp2__1765_65.min1.thm1
2017-02-06 12:44
287
c0sp2__1758_51.min1.thm1.tptp
2017-02-06 16:48
662
c0sp2__1758_51.min1.thm1
2017-02-06 12:44
725
c0sp2__1754_21.min1.thm1
2017-02-06 12:44
1.2K
c0sp2__1749_14.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1748_28.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__1747_24.min1.thm1
2017-02-06 12:44
672
c0sp2__1746_28.min1.thm1
2017-02-06 12:44
634
c0sp2__1745_31.min1.thm1
2017-02-06 12:44
611
c0sp2__1742_16.min1.thm1
2017-02-06 12:44
900
c0sp2__1738_57.min1.thm1.tptp
2017-02-06 16:48
756
c0sp2__1738_57.min1.thm1
2017-02-06 12:44
821
c0sp2__1732_20.min1.thm1.tptp
2017-02-06 16:48
289
c0sp2__1732_20.min1.thm1
2017-02-06 12:44
366
c0sp2__1728_21.min1.thm1.tptp
2017-02-06 16:48
299
c0sp2__1728_21.min1.thm1
2017-02-06 12:44
376
c0sp2__1727_30.min1.thm1
2017-02-06 12:44
711
c0sp2__1726_28.min1.thm1
2017-02-06 12:44
903
c0sp2__1717_52.min1.thm1
2017-02-06 12:44
938
c0sp2__1716_31.min1.thm1
2017-02-06 12:44
1.2K
c0sp2__1713_44.min1.thm1
2017-02-06 12:44
1.1K
c0sp2__1712_29.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1711_55.min1.thm1
2017-02-06 12:44
759
c0sp2__1708_59.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1678_16.min1.thm1
2017-02-06 12:44
936
c0sp2__1669_16.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__1659_17.min1.thm1
2017-02-06 12:44
1.2K
c0sp2__1640_25.min1.thm1
2017-02-06 12:44
1.1K
c0sp2__1639_50.min1.thm1
2017-02-06 12:44
751
c0sp2__1623_17.min1.thm1
2017-02-06 12:44
1.2K
c0sp2__1622_13.min1.thm1
2017-02-06 12:44
1.7K
c0sp2__1621_49.min1.thm1
2017-02-06 12:44
2.0K
c0sp2__1603_32.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1596_28.min1.thm1
2017-02-06 12:44
611
c0sp2__1594_46.min1.thm1
2017-02-06 12:44
1.1K
c0sp2__1592_33.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1591_46.min1.thm1
2017-02-06 12:44
1.1K
c0sp2__1590_32.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1589_13.min1.thm1
2017-02-06 12:44
1.1K
c0sp2__1586_33.min1.thm1
2017-02-06 12:44
1.3K
c0sp2__1585_57.min1.thm1
2017-02-06 12:44
759
c0sp2__1582_60.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1552_27.min1.thm1
2017-02-06 12:44
611
c0sp2__1551_30.min1.thm1
2017-02-06 12:44
611
c0sp2__1547_62.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1545_41.min1.thm1
2017-02-06 12:44
288
c0sp2__1544_53.min1.thm1
2017-02-06 12:44
1.7K
c0sp2__1542_54.min1.thm1
2017-02-06 12:44
2.5K
c0sp2__1541_62.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1540_61.min1.thm1
2017-02-06 12:44
1.7K
c0sp2__1539_25.min1.thm1
2017-02-06 12:44
1.3K
c0sp2__1538_42.min1.thm1
2017-02-06 12:44
1.1K
c0sp2__1534_33.min1.thm1
2017-02-06 12:44
1.3K
c0sp2__1533_33.min1.thm1
2017-02-06 12:44
1.3K
c0sp2__1532_57.min1.thm1
2017-02-06 12:44
759
c0sp2__1529_61.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1524_57.min1.thm1
2017-02-06 12:44
759
c0sp2__1521_61.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1496_16.min1.thm1.tptp
2017-02-06 16:48
256
c0sp2__1496_16.min1.thm1
2017-02-06 12:44
336
c0sp2__1490_20.min1.thm1
2017-02-06 12:44
966
c0sp2__1488_23.min1.thm1
2017-02-06 12:44
777
c0sp2__1487_20.min1.thm1
2017-02-06 12:44
1.1K
c0sp2__1484_19.min1.thm1
2017-02-06 12:44
1.5K
c0sp2__1483_18.min1.thm1
2017-02-06 12:44
1.2K
c0sp2__1467_21.min1.thm1
2017-02-06 12:44
1.1K
c0sp2__1460_29.min1.thm1
2017-02-06 12:44
637
c0sp2__1459_26.min1.thm1
2017-02-06 12:44
1.6K
c0sp2__1457_17.min1.thm1
2017-02-06 12:44
230
c0sp2__1449_35.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1441_19.min1.thm1.tptp
2017-02-06 16:48
399
c0sp2__1441_19.min1.thm1
2017-02-06 12:44
463
c0sp2__1439_48.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1438_77.min1.thm1
2017-02-06 12:44
1.3K
c0sp2__1406_17.min1.thm1
2017-02-06 12:44
1.8K
c0sp2__1405_6.min1.thm1
2017-02-06 12:44
2.2K
c0sp2__1403_61.min1.thm1.tptp
2017-02-06 16:48
685
c0sp2__1403_61.min1.thm1
2017-02-06 12:44
762
c0sp2__1401_6.min1.thm1
2017-02-06 12:44
1.9K
c0sp2__1399_59.min1.thm1
2017-02-06 12:44
893
c0sp2__1397_63.min1.thm1
2017-02-06 12:44
971
c0sp2__1395_40.min1.thm1
2017-02-06 12:44
953
c0sp2__1387_30.min1.thm1
2017-02-06 12:44
1.2K
c0sp2__1386_42.min1.thm1
2017-02-06 12:44
793
c0sp2__1381_43.min1.thm1
2017-02-06 12:44
1.6K
c0sp2__1370_19.min1.thm1.tptp
2017-02-06 16:48
473
c0sp2__1370_19.min1.thm1
2017-02-06 12:44
537
c0sp2__1368_30.min1.thm1
2017-02-06 12:44
747
c0sp2__1367_17.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__1365_22.min1.thm1
2017-02-06 12:44
1.7K
c0sp2__1351_17.min1.thm1
2017-02-06 12:44
1.8K
c0sp2__1350_6.min1.thm1
2017-02-06 12:44
2.2K
c0sp2__1348_59.min1.thm1.tptp
2017-02-06 16:48
683
c0sp2__1348_59.min1.thm1
2017-02-06 12:44
760
c0sp2__1347_6.min1.thm1
2017-02-06 12:44
1.9K
c0sp2__1345_57.min1.thm1
2017-02-06 12:44
891
c0sp2__1343_61.min1.thm1
2017-02-06 12:44
969
c0sp2__1342_49.min1.thm1
2017-02-06 12:44
951
c0sp2__1332_31.min1.thm1
2017-02-06 12:44
1.2K
c0sp2__1331_42.min1.thm1
2017-02-06 12:44
793
c0sp2__1326_42.min1.thm1
2017-02-06 12:44
1.6K
c0sp2__1311_14.min1.thm1.tptp
2017-02-06 16:48
1.7K
c0sp2__1311_14.min1.thm1
2017-02-06 12:44
1.8K
c0sp2__1284_20.min1.thm1
2017-02-06 12:44
947
c0sp2__1260_61.min1.thm1.tptp
2017-02-06 16:48
810
c0sp2__1260_61.min1.thm1
2017-02-06 12:44
859
c0sp2__1249_71.min1.thm1
2017-02-06 12:44
650
c0sp2__1246_36.min1.thm1
2017-02-06 12:44
938
c0sp2__1229_16.min1.thm1
2017-02-06 12:44
770
c0sp2__1225_26.min1.thm1
2017-02-06 12:44
1.1K
c0sp2__1220_41.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__1203_42.min1.thm1.tptp
2017-02-06 16:48
355
c0sp2__1203_42.min1.thm1
2017-02-06 12:44
419
c0sp2__1200_46.min1.thm1.tptp
2017-02-06 16:48
482
c0sp2__1200_46.min1.thm1
2017-02-06 12:44
547
c0sp2__1185_24.min1.thm1
2017-02-06 12:44
1.3K
c0sp2__1175_41.min1.thm1
2017-02-06 12:44
2.6K
c0sp2__1148_45.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1134_25.min1.thm1
2017-02-06 12:44
2.2K
c0sp2__1132_16.min1.thm1
2017-02-06 12:44
878
c0sp2__1110_59.min1.thm1.tptp
2017-02-06 16:48
327
c0sp2__1110_59.min1.thm1
2017-02-06 12:44
405
c0sp2__1103_36.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__1084_49.min1.thm1.tptp
2017-02-06 16:48
595
c0sp2__1084_49.min1.thm1
2017-02-06 12:44
657
c0sp2__1060_28.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__1041_24.min1.thm1.tptp
2017-02-06 16:48
677
c0sp2__1041_24.min1.thm1
2017-02-06 12:44
754
c0sp2__1036_53.min1.thm1
2017-02-06 12:44
668
c0sp2__905_17.min1.thm1
2017-02-06 12:44
1.1K
c0sp2__904_65.min1.thm1
2017-02-06 12:44
1.5K
c0sp2__903_14.min1.thm1
2017-02-06 12:44
551
c0sp2__888_17.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__874_57.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__873_14.min1.thm1.tptp
2017-02-06 16:48
391
c0sp2__873_14.min1.thm1
2017-02-06 12:44
466
c0sp2__862_65.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__861_62.min1.thm1.tptp
2017-02-06 16:48
422
c0sp2__861_62.min1.thm1
2017-02-06 12:44
497
c0sp2__851_50.min1.thm1.tptp
2017-02-06 16:48
401
c0sp2__851_50.min1.thm1
2017-02-06 12:44
476
c0sp2__672_17.min1.thm1
2017-02-06 12:44
1.7K
c0sp2__665_19.min1.thm1
2017-02-06 12:44
908
c0sp2__638_18.min1.thm1
2017-02-06 12:44
1.5K
c0sp2__621_16.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__591_47.min1.thm1.tptp
2017-02-06 16:48
391
c0sp2__591_47.min1.thm1
2017-02-06 12:44
466
c0sp2__557_64.min1.thm1.tptp
2017-02-06 16:48
363
c0sp2__557_64.min1.thm1
2017-02-06 12:44
427
c0sp2__555_45.min1.thm1.tptp
2017-02-06 16:48
486
c0sp2__555_45.min1.thm1
2017-02-06 12:44
551
c0sp2__543_48.min1.thm1
2017-02-06 12:44
628
c0sp2__537_47.min1.thm1.tptp
2017-02-06 16:48
484
c0sp2__537_47.min1.thm1
2017-02-06 12:44
549
c0sp2__524_49.min1.thm1
2017-02-06 12:44
1.3K
c0sp2__523_37.min1.thm1
2017-02-06 12:44
1.5K
c0sp2__521_65.min1.thm1
2017-02-06 12:44
287
c0sp2__511_42.min1.thm1
2017-02-06 12:44
1.2K
c0sp2__508_45.min1.thm1
2017-02-06 12:44
1.6K
c0sp2__507_9.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__494_17.min1.thm1
2017-02-06 12:44
3.0K
c0sp2__491_35.min1.thm1
2017-02-06 12:44
2.9K
c0sp2__485_33.min1.thm1
2017-02-06 12:44
2.7K
c0sp2__479_33.min1.thm1
2017-02-06 12:44
2.7K
c0sp2__475_55.min1.thm1
2017-02-06 12:44
2.4K
c0sp2__460_17.min1.thm1
2017-02-06 12:44
2.0K
c0sp2__449_17.min1.thm1
2017-02-06 12:44
2.0K
c0sp2__308_13.min1.thm1
2017-02-06 12:44
1.7K
c0sp2__307_62.min1.thm1
2017-02-06 12:44
1.2K
c0sp2__301_42.min1.thm1
2017-02-06 12:44
1.7K
c0sp2__298_54.min1.thm1
2017-02-06 12:44
2.4K
c0sp2__289_37.min1.thm1
2017-02-06 12:44
2.4K
c0sp2__288_47.min1.thm1
2017-02-06 12:44
1.9K
c0sp2__287_57.min1.thm1
2017-02-06 12:44
1.2K
c0sp2__286_41.min1.thm1.tptp
2017-02-06 16:48
569
c0sp2__286_41.min1.thm1
2017-02-06 12:44
655
c0sp2__276_13.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__274_13.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__265_21.min1.thm1
2017-02-06 12:44
1.5K
c0sp2__261_32.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__252_23.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__251_33.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__250_41.min1.thm1.tptp
2017-02-06 16:48
569
c0sp2__250_41.min1.thm1
2017-02-06 12:44
655
c0sp2__239_13.min1.thm1
2017-02-06 12:44
958
c0sp2__230_20.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__221_31.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__218_15.min1.thm1
2017-02-06 12:44
1.8K
c0sp2__216_37.min1.thm1
2017-02-06 12:44
2.8K
c0sp2__215_13.min1.thm1
2017-02-06 12:44
958
c0sp2__203_42.min1.thm1
2017-02-06 12:44
1.7K
c0sp2__200_54.min1.thm1
2017-02-06 12:44
2.4K
c0sp2__194_13.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__192_13.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__186_50.min1.thm1
2017-02-06 12:44
2.0K
c0sp2__174_14.min1.thm1
2017-02-06 12:44
636
c0sp2__162_46.min1.thm1
2017-02-06 12:44
1.2K
c0sp2__161_47.min1.thm1
2017-02-06 12:44
842
c0sp2__148_26.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__145_29.min1.thm1
2017-02-06 12:44
1.2K
c0sp2__137_19.min1.thm1
2017-02-06 12:44
810
c0sp2__136_38.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__134_41.min1.thm1
2017-02-06 12:44
1.1K
c0sp2__132_41.min1.thm1
2017-02-06 12:44
851
c0sp2__122_17.min1.thm1
2017-02-06 12:44
623
c0sp2__120_17.min1.thm1
2017-02-06 12:44
466
c0sp2__112_62.min1.thm1
2017-02-06 12:44
934
c0sp2__108_22.min1.thm1
2017-02-06 12:44
1.5K
c0sp2__107_20.min1.thm1
2017-02-06 12:44
1.4K
c0sp2__80_24.min1.thm1
2017-02-06 12:44
1.1K
c0sp2__76_24.min1.thm1
2017-02-06 12:44
601
c0sp2__73_11.min1.thm1
2017-02-06 12:44
211
c0sp2__61_14.min1.thm1
2017-02-06 12:44
734
c0sp2__60_45.min1.thm1
2017-02-06 12:44
1.0K
c0sp2__59_14.min1.thm1.tptp
2017-02-06 16:48
210
c0sp2__59_14.min1.thm1
2017-02-06 12:44
291
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80