Index of /~mptp/1147/MPTP2/ilp0/memstr_0
Name
Last modified
Size
Description
Parent Directory
-
memstr_0__73_18.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__74_19.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__75_13.min1.thm1
2017-02-06 12:46
312
memstr_0__75_13.min1.thm1.tptp
2017-02-06 16:47
229
memstr_0__76_22.min1.thm1
2017-02-06 12:46
760
memstr_0__77_22.min1.thm1
2017-02-06 12:46
807
memstr_0__79_41.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__83_12.min1.thm1
2017-02-06 12:46
1.6K
memstr_0__90_41.min1.thm1
2017-02-06 12:46
732
memstr_0__91_51.min1.thm1
2017-02-06 12:46
771
memstr_0__100_15.min1.thm1
2017-02-06 12:46
368
memstr_0__100_15.min1.thm1.tptp
2017-02-06 16:47
289
memstr_0__113_13.min1.thm1
2017-02-06 12:46
711
memstr_0__151_36.min1.thm1
2017-02-06 12:46
781
memstr_0__155_16.min1.thm1
2017-02-06 12:46
1.1K
memstr_0__156_25.min1.thm1
2017-02-06 12:46
520
memstr_0__165_14.min1.thm1
2017-02-06 12:46
377
memstr_0__165_14.min1.thm1.tptp
2017-02-06 16:47
298
memstr_0__172_13.min1.thm1
2017-02-06 12:46
517
memstr_0__192_13.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__200_13.min1.thm1
2017-02-06 12:46
131
memstr_0__221_38.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__223_34.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__224_26.min1.thm1
2017-02-06 12:46
734
memstr_0__225_27.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__226_14.min1.thm1
2017-02-06 12:46
312
memstr_0__226_14.min1.thm1.tptp
2017-02-06 16:47
229
memstr_0__227_20.min1.thm1
2017-02-06 12:46
756
memstr_0__230_14.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__232_19.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__237_13.min1.thm1
2017-02-06 12:46
923
memstr_0__238_43.min1.thm1
2017-02-06 12:46
1.7K
memstr_0__239_27.min1.thm1
2017-02-06 12:46
766
memstr_0__240_17.min1.thm1
2017-02-06 12:46
779
memstr_0__241_17.min1.thm1
2017-02-06 12:46
614
memstr_0__248_28.min1.thm1
2017-02-06 12:46
880
memstr_0__251_13.min1.thm1
2017-02-06 12:46
552
memstr_0__261_15.min1.thm1
2017-02-06 12:46
621
memstr_0__273_12.min1.thm1
2017-02-06 12:46
275
memstr_0__279_45.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__281_15.min1.thm1
2017-02-06 12:46
670
memstr_0__286_22.min1.thm1
2017-02-06 12:46
852
memstr_0__287_15.min1.thm1
2017-02-06 12:46
409
memstr_0__287_15.min1.thm1.tptp
2017-02-06 16:47
323
memstr_0__299_32.min1.thm1
2017-02-06 12:46
720
memstr_0__301_21.min1.thm1
2017-02-06 12:46
811
memstr_0__306_17.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__331_19.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__337_20.min1.thm1
2017-02-06 12:46
647
memstr_0__338_40.min1.thm1
2017-02-06 12:46
1.7K
memstr_0__343_11.min1.thm1
2017-02-06 12:46
2.3K
memstr_0__352_29.min1.thm1
2017-02-06 12:46
720
memstr_0__365_11.min1.thm1
2017-02-06 12:46
1.7K
memstr_0__366_17.min1.thm1
2017-02-06 12:46
630
memstr_0__384_32.min1.thm1
2017-02-06 12:46
610
memstr_0__393_42.min1.thm1
2017-02-06 12:46
1.1K
memstr_0__395_15.min1.thm1
2017-02-06 12:46
287
memstr_0__395_15.min1.thm1.tptp
2017-02-06 16:47
201
memstr_0__414_54.min1.thm1
2017-02-06 12:46
715
memstr_0__414_54.min1.thm1.tptp
2017-02-06 16:47
683
memstr_0__422_15.min1.thm1
2017-02-06 12:46
610
memstr_0__422_15.min1.thm1.tptp
2017-02-06 16:47
532
memstr_0__426_32.min1.thm1
2017-02-06 12:46
596
memstr_0__426_32.min1.thm1.tptp
2017-02-06 16:47
522
memstr_0__446_40.min1.thm1
2017-02-06 12:46
1.1K
memstr_0__457_32.min1.thm1
2017-02-06 12:46
533
memstr_0__457_32.min1.thm1.tptp
2017-02-06 16:47
459
memstr_0__471_33.min1.thm1
2017-02-06 12:46
896
memstr_0__472_19.min1.thm1
2017-02-06 12:46
1.1K
memstr_0__480_29.min1.thm1
2017-02-06 12:46
720
memstr_0__481_14.min1.thm1
2017-02-06 12:46
781
memstr_0__487_30.min1.thm1
2017-02-06 12:46
1.1K
memstr_0__488_17.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__495_30.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__496_17.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__504_24.min1.thm1
2017-02-06 12:46
1.1K
memstr_0__511_54.min1.thm1
2017-02-06 12:46
724
memstr_0__511_54.min1.thm1.tptp
2017-02-06 16:47
699
memstr_0__516_28.min1.thm1
2017-02-06 12:46
720
memstr_0__517_16.min1.thm1
2017-02-06 12:46
857
memstr_0__521_47.min1.thm1
2017-02-06 12:46
1.1K
memstr_0__531_19.min1.thm1
2017-02-06 12:46
761
memstr_0__532_12.min1.thm1
2017-02-06 12:46
235
memstr_0__536_28.min1.thm1
2017-02-06 12:46
881
memstr_0__537_24.min1.thm1
2017-02-06 12:46
668
memstr_0__538_50.min1.thm1
2017-02-06 12:46
2.0K
memstr_0__541_33.min1.thm1
2017-02-06 12:46
819
memstr_0__542_50.min1.thm1
2017-02-06 12:46
1.6K
memstr_0__558_37.min1.thm1
2017-02-06 12:46
925
memstr_0__559_24.min1.thm1
2017-02-06 12:46
664
memstr_0__560_47.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__561_34.min1.thm1
2017-02-06 12:46
2.1K
memstr_0__562_16.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__583_38.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__592_17.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__600_33.min1.thm1
2017-02-06 12:46
815
memstr_0__629_22.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__630_26.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__631_30.min1.thm1
2017-02-06 12:46
958
memstr_0__632_16.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__646_43.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__650_20.min1.thm1
2017-02-06 12:46
318
memstr_0__664_20.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__665_15.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__669_25.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__680_20.min1.thm1
2017-02-06 12:46
1.8K
memstr_0__697_32.min1.thm1
2017-02-06 12:46
531
memstr_0__697_32.min1.thm1.tptp
2017-02-06 16:47
457
memstr_0__706_42.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__708_56.min1.thm1
2017-02-06 12:46
802
memstr_0__709_16.min1.thm1
2017-02-06 12:46
1.1K
memstr_0__710_37.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__719_57.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__721_52.min1.thm1
2017-02-06 12:46
1.1K
memstr_0__725_52.min1.thm1
2017-02-06 12:46
678
memstr_0__728_33.min1.thm1
2017-02-06 12:46
531
memstr_0__728_33.min1.thm1.tptp
2017-02-06 16:47
457
memstr_0__736_15.min1.thm1
2017-02-06 12:46
411
memstr_0__736_15.min1.thm1.tptp
2017-02-06 16:47
337
memstr_0__760_43.min1.thm1
2017-02-06 12:46
723
memstr_0__761_39.min1.thm1
2017-02-06 12:46
864
memstr_0__768_33.min1.thm1
2017-02-06 12:46
744
memstr_0__780_33.min1.thm1
2017-02-06 12:46
744
memstr_0__791_17.min1.thm1
2017-02-06 12:46
1.6K
memstr_0__803_41.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__806_13.min1.thm1
2017-02-06 12:46
530
memstr_0__824_20.min1.thm1
2017-02-06 12:46
1.9K
memstr_0__826_44.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__836_36.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__837_17.min1.thm1
2017-02-06 12:46
1.6K
memstr_0__845_38.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__847_12.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__863_20.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__865_34.min1.thm1
2017-02-06 12:46
1.6K
memstr_0__872_19.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__880_34.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__881_32.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__882_23.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__892_23.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__893_35.min1.thm1
2017-02-06 12:46
1.4K
memstr_0__894_31.min1.thm1
2017-02-06 12:46
631
memstr_0__895_24.min1.thm1
2017-02-06 12:46
1.1K
memstr_0__897_12.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__905_17.min1.thm1
2017-02-06 12:46
873
memstr_0__916_10.min1.thm1
2017-02-06 12:46
271
memstr_0__926_41.min1.thm1
2017-02-06 12:46
1.4K
memstr_0__927_31.min1.thm1
2017-02-06 12:46
1.8K
memstr_0__934_22.min1.thm1
2017-02-06 12:46
1.8K
memstr_0__935_44.min1.thm1
2017-02-06 12:46
2.3K
memstr_0__946_19.min1.thm1
2017-02-06 12:46
573
memstr_0__946_19.min1.thm1.tptp
2017-02-06 16:47
496
memstr_0__948_41.min1.thm1
2017-02-06 12:46
2.2K
memstr_0__960_41.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__961_16.min1.thm1
2017-02-06 12:46
1.6K
memstr_0__965_61.min1.thm1
2017-02-06 12:46
856
memstr_0__985_38.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__987_12.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__1003_24.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__1004_18.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__1014_14.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__1026_31.min1.thm1
2017-02-06 12:46
565
memstr_0__1026_31.min1.thm1.tptp
2017-02-06 16:47
490
memstr_0__1027_39.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__1028_50.min1.thm1
2017-02-06 12:46
889
memstr_0__1044_49.min1.thm1
2017-02-06 12:46
1.8K
memstr_0__1045_31.min1.thm1
2017-02-06 12:46
518
memstr_0__1075_35.min1.thm1
2017-02-06 12:46
769
memstr_0__1076_17.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__1083_30.min1.thm1
2017-02-06 12:46
1.5K
memstr_0__1093_29.min1.thm1
2017-02-06 12:46
1.1K
memstr_0__1094_20.min1.thm1
2017-02-06 12:46
1.5K
memstr_0__1126_19.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__1127_34.min1.thm1
2017-02-06 12:46
737
memstr_0__1133_58.min1.thm1
2017-02-06 12:46
2.1K
memstr_0__1134_29.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__1135_40.min1.thm1
2017-02-06 12:46
799
memstr_0__1148_16.min1.thm1
2017-02-06 12:46
561
memstr_0__1148_16.min1.thm1.tptp
2017-02-06 16:47
490
memstr_0__1168_17.min1.thm1
2017-02-06 12:46
1.5K
memstr_0__1185_41.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__1207_31.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__1208_31.min1.thm1
2017-02-06 12:46
1.1K
memstr_0__1260_43.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__1285_48.min1.thm1
2017-02-06 12:46
3.2K
memstr_0__1286_33.min1.thm1
2017-02-06 12:46
531
memstr_0__1286_33.min1.thm1.tptp
2017-02-06 16:47
457
memstr_0__1288_42.min1.thm1
2017-02-06 12:46
879
memstr_0__1291_9.min1.thm1
2017-02-06 12:46
1.6K
memstr_0__1293_32.min1.thm1
2017-02-06 12:46
1.6K
memstr_0__1299_17.min1.thm1
2017-02-06 12:46
1.1K
memstr_0__1306_39.min1.thm1
2017-02-06 12:46
1.1K
memstr_0__1312_18.min1.thm1
2017-02-06 12:46
645
memstr_0__1313_31.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__1317_17.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__1320_20.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__1355_17.min1.thm1
2017-02-06 12:46
1.5K
memstr_0__1372_42.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__1396_32.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__1397_31.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__1442_29.min1.thm1
2017-02-06 12:46
1.4K
memstr_0__1451_42.min1.thm1
2017-02-06 12:46
1.4K
memstr_0__1491_33.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__1492_36.min1.thm1
2017-02-06 12:46
1.4K
memstr_0__1493_21.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__1494_16.min1.thm1
2017-02-06 12:46
526
memstr_0__1522_15.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__1531_11.min1.thm1
2017-02-06 12:46
1.0K
memstr_0__1562_16.min1.thm1
2017-02-06 12:46
511
memstr_0__1562_16.min1.thm1.tptp
2017-02-06 16:47
433
memstr_0__1580_14.min1.thm1
2017-02-06 12:46
1.2K
memstr_0__1590_18.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__1593_14.min1.thm1
2017-02-06 12:46
1.5K
memstr_0__1608_64.min1.thm1
2017-02-06 12:46
524
memstr_0__1611_14.min1.thm1
2017-02-06 12:46
818
memstr_0__1623_29.min1.thm1
2017-02-06 12:46
733
memstr_0__1639_26.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__1640_26.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__1643_43.min1.thm1
2017-02-06 12:46
858
memstr_0__1644_25.min1.thm1
2017-02-06 12:46
1.4K
memstr_0__1645_8.min1.thm1
2017-02-06 12:46
587
memstr_0__1645_8.min1.thm1.tptp
2017-02-06 16:47
510
memstr_0__1654_37.min1.thm1
2017-02-06 12:46
1.6K
memstr_0__1655_49.min1.thm1
2017-02-06 12:46
1.6K
memstr_0__1670_21.min1.thm1
2017-02-06 12:46
1.3K
memstr_0__1675_45.min1.thm1
2017-02-06 12:46
614
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80