Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/fomodel1
Name
Last modified
Size
Description
Parent Directory
-
fomodel1__52_12.min1.thm1
2017-02-06 12:45
1.6K
fomodel1__58_25.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__60_9.min1.thm1
2017-02-06 12:45
549
fomodel1__69_26.min1.thm1
2017-02-06 12:45
860
fomodel1__70_6.min1.thm1
2017-02-06 12:45
396
fomodel1__70_52.min1.thm1
2017-02-06 12:45
1.7K
fomodel1__89_9.min1.thm1
2017-02-06 12:45
130
fomodel1__91_9.min1.thm1
2017-02-06 12:45
130
fomodel1__93_9.min1.thm1
2017-02-06 12:45
130
fomodel1__95_9.min1.thm1
2017-02-06 12:45
130
fomodel1__97_9.min1.thm1
2017-02-06 12:45
130
fomodel1__99_9.min1.thm1
2017-02-06 12:45
130
fomodel1__101_9.min1.thm1
2017-02-06 12:45
130
fomodel1__103_9.min1.thm1
2017-02-06 12:45
130
fomodel1__105_9.min1.thm1
2017-02-06 12:45
130
fomodel1__112_9.min1.thm1
2017-02-06 12:45
130
fomodel1__114_9.min1.thm1
2017-02-06 12:45
130
fomodel1__138_9.min1.thm1
2017-02-06 12:45
936
fomodel1__139_11.min1.thm1
2017-02-06 12:45
130
fomodel1__146_12.min1.thm1
2017-02-06 12:45
718
fomodel1__160_14.min1.thm1
2017-02-06 12:45
882
fomodel1__165_28.min1.thm1
2017-02-06 12:45
2.0K
fomodel1__170_26.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__170_26.min1.thm1.tptp
2017-02-06 16:47
899
fomodel1__170_41.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__170_41.min1.thm1.tptp
2017-02-06 16:47
899
fomodel1__183_34.min1.thm1
2017-02-06 12:45
831
fomodel1__184_15.min1.thm1
2017-02-06 12:45
1.6K
fomodel1__184_48.min1.thm1
2017-02-06 12:45
711
fomodel1__185_31.min1.thm1
2017-02-06 12:45
1.4K
fomodel1__187_53.min1.thm1
2017-02-06 12:45
1.1K
fomodel1__189_11.min1.thm1
2017-02-06 12:45
1.4K
fomodel1__206_26.min1.thm1
2017-02-06 12:45
1.1K
fomodel1__209_28.min1.thm1
2017-02-06 12:45
2.8K
fomodel1__223_44.min1.thm1
2017-02-06 12:45
866
fomodel1__224_22.min1.thm1
2017-02-06 12:45
1.6K
fomodel1__226_22.min1.thm1
2017-02-06 12:45
1.6K
fomodel1__239_14.min1.thm1
2017-02-06 12:45
602
fomodel1__243_45.min1.thm1
2017-02-06 12:45
524
fomodel1__250_12.min1.thm1
2017-02-06 12:45
261
fomodel1__255_12.min1.thm1
2017-02-06 12:45
279
fomodel1__267_9.min1.thm1
2017-02-06 12:45
821
fomodel1__273_12.min1.thm1
2017-02-06 12:45
440
fomodel1__273_12.min1.thm1.tptp
2017-02-06 16:47
367
fomodel1__287_29.min1.thm1
2017-02-06 12:45
1.1K
fomodel1__288_34.min1.thm1
2017-02-06 12:45
1.9K
fomodel1__288_64.min1.thm1
2017-02-06 12:45
665
fomodel1__299_28.min1.thm1
2017-02-06 12:45
1.3K
fomodel1__300_16.min1.thm1
2017-02-06 12:45
547
fomodel1__302_32.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__303_45.min1.thm1
2017-02-06 12:45
634
fomodel1__338_25.min1.thm1
2017-02-06 12:45
1.6K
fomodel1__339_26.min1.thm1
2017-02-06 12:45
2.8K
fomodel1__341_24.min1.thm1
2017-02-06 12:45
2.4K
fomodel1__341_45.min1.thm1
2017-02-06 12:45
1.9K
fomodel1__353_25.min1.thm1
2017-02-06 12:45
641
fomodel1__353_38.min1.thm1
2017-02-06 12:45
605
fomodel1__354_19.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__359_35.min1.thm1
2017-02-06 12:45
547
fomodel1__360_18.min1.thm1
2017-02-06 12:45
595
fomodel1__360_60.min1.thm1
2017-02-06 12:45
755
fomodel1__368_49.min1.thm1
2017-02-06 12:45
972
fomodel1__368_49.min1.thm1.tptp
2017-02-06 16:47
903
fomodel1__368_67.min1.thm1
2017-02-06 12:45
821
fomodel1__373_45.min1.thm1
2017-02-06 12:45
1.3K
fomodel1__374_15.min1.thm1
2017-02-06 12:45
1.3K
fomodel1__381_2.min1.thm1
2017-02-06 12:45
1.3K
fomodel1__382_29.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__388_56.min1.thm1
2017-02-06 12:45
1.3K
fomodel1__389_15.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__395_52.min1.thm1
2017-02-06 12:45
1.5K
fomodel1__396_15.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__402_59.min1.thm1
2017-02-06 12:45
1.3K
fomodel1__403_15.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__410_2.min1.thm1
2017-02-06 12:45
1.3K
fomodel1__411_15.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__426_25.min1.thm1
2017-02-06 12:45
2.4K
fomodel1__427_9.min1.thm1
2017-02-06 12:45
2.1K
fomodel1__428_18.min1.thm1
2017-02-06 12:45
413
fomodel1__428_18.min1.thm1.tptp
2017-02-06 16:47
339
fomodel1__428_52.min1.thm1
2017-02-06 12:45
514
fomodel1__430_16.min1.thm1
2017-02-06 12:45
834
fomodel1__430_45.min1.thm1
2017-02-06 12:45
560
fomodel1__431_15.min1.thm1
2017-02-06 12:45
661
fomodel1__434_9.min1.thm1
2017-02-06 12:45
737
fomodel1__440_2.min1.thm1
2017-02-06 12:45
1.1K
fomodel1__463_52.min1.thm1
2017-02-06 12:45
620
fomodel1__464_34.min1.thm1
2017-02-06 12:45
706
fomodel1__465_14.min1.thm1
2017-02-06 12:45
559
fomodel1__465_49.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__466_15.min1.thm1
2017-02-06 12:45
706
fomodel1__484_57.min1.thm1
2017-02-06 12:45
2.0K
fomodel1__494_43.min1.thm1
2017-02-06 12:45
746
fomodel1__496_12.min1.thm1
2017-02-06 12:45
2.0K
fomodel1__504_9.min1.thm1
2017-02-06 12:45
1.8K
fomodel1__511_9.min1.thm1
2017-02-06 12:45
1.4K
fomodel1__518_9.min1.thm1
2017-02-06 12:45
1.5K
fomodel1__530_12.min1.thm1
2017-02-06 12:45
502
fomodel1__530_12.min1.thm1.tptp
2017-02-06 16:47
437
fomodel1__532_12.min1.thm1
2017-02-06 12:45
502
fomodel1__532_12.min1.thm1.tptp
2017-02-06 16:47
437
fomodel1__543_9.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__549_12.min1.thm1
2017-02-06 12:45
2.0K
fomodel1__557_27.min1.thm1
2017-02-06 12:45
544
fomodel1__564_64.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__575_9.min1.thm1
2017-02-06 12:45
131
fomodel1__586_32.min1.thm1
2017-02-06 12:45
1.1K
fomodel1__596_22.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__615_12.min1.thm1
2017-02-06 12:45
795
fomodel1__615_12.min1.thm1.tptp
2017-02-06 16:47
755
fomodel1__624_18.min1.thm1
2017-02-06 12:45
522
fomodel1__624_53.min1.thm1
2017-02-06 12:45
551
fomodel1__625_49.min1.thm1
2017-02-06 12:45
764
fomodel1__625_49.min1.thm1.tptp
2017-02-06 16:47
706
fomodel1__628_18.min1.thm1
2017-02-06 12:45
522
fomodel1__628_53.min1.thm1
2017-02-06 12:45
551
fomodel1__629_49.min1.thm1
2017-02-06 12:45
764
fomodel1__629_49.min1.thm1.tptp
2017-02-06 16:47
706
fomodel1__640_40.min1.thm1
2017-02-06 12:45
537
fomodel1__640_40.min1.thm1.tptp
2017-02-06 16:47
461
fomodel1__652_22.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__653_20.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__665_36.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__665_59.min1.thm1
2017-02-06 12:45
1.7K
fomodel1__670_64.min1.thm1
2017-02-06 12:45
529
fomodel1__670_64.min1.thm1.tptp
2017-02-06 16:47
448
fomodel1__677_8.min1.thm1
2017-02-06 12:45
560
fomodel1__684_57.min1.thm1
2017-02-06 12:45
729
fomodel1__684_57.min1.thm1.tptp
2017-02-06 16:47
649
fomodel1__685_15.min1.thm1
2017-02-06 12:45
1.4K
fomodel1__688_12.min1.thm1
2017-02-06 12:45
545
fomodel1__688_12.min1.thm1.tptp
2017-02-06 16:47
464
fomodel1__694_9.min1.thm1
2017-02-06 12:45
131
fomodel1__699_37.min1.thm1
2017-02-06 12:45
829
fomodel1__709_29.min1.thm1
2017-02-06 12:45
872
fomodel1__710_38.min1.thm1
2017-02-06 12:45
1.6K
fomodel1__711_26.min1.thm1
2017-02-06 12:45
672
fomodel1__733_36.min1.thm1
2017-02-06 12:45
925
fomodel1__745_16.min1.thm1
2017-02-06 12:45
833
fomodel1__748_21.min1.thm1
2017-02-06 12:45
851
fomodel1__749_35.min1.thm1
2017-02-06 12:45
1.6K
fomodel1__749_54.min1.thm1
2017-02-06 12:45
504
fomodel1__749_54.min1.thm1.tptp
2017-02-06 16:47
422
fomodel1__750_34.min1.thm1
2017-02-06 12:45
1.8K
fomodel1__751_16.min1.thm1
2017-02-06 12:45
734
fomodel1__751_50.min1.thm1
2017-02-06 12:45
669
fomodel1__753_27.min1.thm1
2017-02-06 12:45
515
fomodel1__753_27.min1.thm1.tptp
2017-02-06 16:47
451
fomodel1__777_9.min1.thm1
2017-02-06 12:45
629
fomodel1__800_12.min1.thm1
2017-02-06 12:45
846
fomodel1__812_60.min1.thm1
2017-02-06 12:45
316
fomodel1__812_60.min1.thm1.tptp
2017-02-06 16:47
228
fomodel1__840_29.min1.thm1
2017-02-06 12:45
318
fomodel1__840_29.min1.thm1.tptp
2017-02-06 16:47
232
fomodel1__855_13.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__857_15.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__871_55.min1.thm1
2017-02-06 12:45
759
fomodel1__871_55.min1.thm1.tptp
2017-02-06 16:47
696
fomodel1__872_61.min1.thm1
2017-02-06 12:45
471
fomodel1__872_61.min1.thm1.tptp
2017-02-06 16:47
416
fomodel1__875_43.min1.thm1
2017-02-06 12:45
945
fomodel1__881_69.min1.thm1
2017-02-06 12:45
1.9K
fomodel1__884_45.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__885_14.min1.thm1
2017-02-06 12:45
1.1K
fomodel1__901_16.min1.thm1
2017-02-06 12:45
147
fomodel1__905_9.min1.thm1
2017-02-06 12:45
259
fomodel1__911_32.min1.thm1
2017-02-06 12:45
759
fomodel1__913_31.min1.thm1
2017-02-06 12:45
506
fomodel1__913_42.min1.thm1
2017-02-06 12:45
467
fomodel1__914_34.min1.thm1
2017-02-06 12:45
597
fomodel1__915_58.min1.thm1
2017-02-06 12:45
792
fomodel1__918_30.min1.thm1
2017-02-06 12:45
1.8K
fomodel1__919_36.min1.thm1
2017-02-06 12:45
898
fomodel1__928_59.min1.thm1
2017-02-06 12:45
1.5K
fomodel1__930_32.min1.thm1
2017-02-06 12:45
273
fomodel1__932_9.min1.thm1
2017-02-06 12:45
267
fomodel1__940_35.min1.thm1
2017-02-06 12:45
3.4K
fomodel1__942_25.min1.thm1
2017-02-06 12:45
964
fomodel1__942_25.min1.thm1.tptp
2017-02-06 16:47
882
fomodel1__948_22.min1.thm1
2017-02-06 12:45
852
fomodel1__963_9.min1.thm1
2017-02-06 12:45
963
fomodel1__966_9.min1.thm1
2017-02-06 12:45
199
fomodel1__969_40.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__971_64.min1.thm1
2017-02-06 12:45
1.5K
fomodel1__972_36.min1.thm1
2017-02-06 12:45
953
fomodel1__1005_41.min1.thm1
2017-02-06 12:45
581
fomodel1__1005_41.min1.thm1.tptp
2017-02-06 16:47
504
fomodel1__1010_36.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__1011_20.min1.thm1
2017-02-06 12:45
729
fomodel1__1012_50.min1.thm1
2017-02-06 12:45
580
fomodel1__1013_26.min1.thm1
2017-02-06 12:45
2.1K
fomodel1__1020_45.min1.thm1
2017-02-06 12:45
1.5K
fomodel1__1034_46.min1.thm1
2017-02-06 12:45
1.1K
fomodel1__1046_32.min1.thm1
2017-02-06 12:45
305
fomodel1__1047_45.min1.thm1
2017-02-06 12:45
412
fomodel1__1047_45.min1.thm1.tptp
2017-02-06 16:47
340
fomodel1__1048_26.min1.thm1
2017-02-06 12:45
1.6K
fomodel1__1049_20.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__1069_60.min1.thm1
2017-02-06 12:45
2.2K
fomodel1__1073_23.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__1073_52.min1.thm1
2017-02-06 12:45
680
fomodel1__1075_65.min1.thm1
2017-02-06 12:45
409
fomodel1__1075_65.min1.thm1.tptp
2017-02-06 16:47
328
fomodel1__1081_12.min1.thm1
2017-02-06 12:45
578
fomodel1__1112_32.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__1128_32.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__1131_64.min1.thm1
2017-02-06 12:45
763
fomodel1__1131_64.min1.thm1.tptp
2017-02-06 16:47
690
fomodel1__1138_9.min1.thm1
2017-02-06 12:45
131
fomodel1__1149_28.min1.thm1
2017-02-06 12:45
698
fomodel1__1159_55.min1.thm1
2017-02-06 12:45
359
fomodel1__1159_55.min1.thm1.tptp
2017-02-06 16:47
279
fomodel1__1170_47.min1.thm1
2017-02-06 12:45
306
fomodel1__1192_18.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__1193_12.min1.thm1
2017-02-06 12:45
578
fomodel1__1199_12.min1.thm1
2017-02-06 12:45
445
fomodel1__1199_12.min1.thm1.tptp
2017-02-06 16:47
366
fomodel1__1213_10.min1.thm1
2017-02-06 12:45
963
fomodel1__1217_9.min1.thm1
2017-02-06 12:45
199
fomodel1__1218_61.min1.thm1
2017-02-06 12:45
752
fomodel1__1221_20.min1.thm1
2017-02-06 12:45
1.1K
fomodel1__1222_21.min1.thm1
2017-02-06 12:45
1.9K
fomodel1__1224_50.min1.thm1
2017-02-06 12:45
1.4K
fomodel1__1226_66.min1.thm1
2017-02-06 12:45
1.5K
fomodel1__1227_36.min1.thm1
2017-02-06 12:45
953
fomodel1__1228_49.min1.thm1
2017-02-06 12:45
844
fomodel1__1233_24.min1.thm1
2017-02-06 12:45
1.7K
fomodel1__1245_18.min1.thm1
2017-02-06 12:45
1.8K
fomodel1__1248_18.min1.thm1
2017-02-06 12:45
1.8K
fomodel1__1283_12.min1.thm1
2017-02-06 12:45
2.1K
fomodel1__1297_18.min1.thm1
2017-02-06 12:45
1.6K
fomodel1__1298_32.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__1302_58.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__1302_58.min1.thm1.tptp
2017-02-06 16:47
1.0K
fomodel1__1312_2.min1.thm1
2017-02-06 12:45
1.8K
fomodel1__1332_9.min1.thm1
2017-02-06 12:45
2.0K
fomodel1__1343_68.min1.thm1
2017-02-06 12:45
1.1K
fomodel1__1344_27.min1.thm1
2017-02-06 12:45
1.9K
fomodel1__1345_16.min1.thm1
2017-02-06 12:45
648
fomodel1__1367_14.min1.thm1
2017-02-06 12:45
872
fomodel1__1376_48.min1.thm1
2017-02-06 12:45
966
fomodel1__1376_48.min1.thm1.tptp
2017-02-06 16:47
889
fomodel1__1376_63.min1.thm1
2017-02-06 12:45
966
fomodel1__1376_63.min1.thm1.tptp
2017-02-06 16:47
889
fomodel1__1389_32.min1.thm1
2017-02-06 12:45
490
fomodel1__1389_32.min1.thm1.tptp
2017-02-06 16:47
434
fomodel1__1412_21.min1.thm1
2017-02-06 12:45
1.7K
fomodel1__1421_29.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__1422_49.min1.thm1
2017-02-06 12:45
662
fomodel1__1423_15.min1.thm1
2017-02-06 12:45
707
fomodel1__1429_9.min1.thm1
2017-02-06 12:45
1.3K
fomodel1__1437_43.min1.thm1
2017-02-06 12:45
620
fomodel1__1438_43.min1.thm1
2017-02-06 12:45
854
fomodel1__1440_15.min1.thm1
2017-02-06 12:45
852
fomodel1__1456_60.min1.thm1
2017-02-06 12:45
940
fomodel1__1457_17.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__1460_68.min1.thm1
2017-02-06 12:45
815
fomodel1__1460_68.min1.thm1.tptp
2017-02-06 16:47
760
fomodel1__1464_12.min1.thm1
2017-02-06 12:45
1.9K
fomodel1__1476_15.min1.thm1
2017-02-06 12:45
639
fomodel1__1485_26.min1.thm1
2017-02-06 12:45
437
fomodel1__1485_26.min1.thm1.tptp
2017-02-06 16:47
387
fomodel1__1486_15.min1.thm1
2017-02-06 12:45
792
fomodel1__1496_2.min1.thm1
2017-02-06 12:45
634
fomodel1__1496_2.min1.thm1.tptp
2017-02-06 16:47
569
fomodel1__1511_69.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__1512_10.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__1513_17.min1.thm1
2017-02-06 12:45
1.1K
fomodel1__1513_40.min1.thm1
2017-02-06 12:45
1.9K
fomodel1__1514_26.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__1517_14.min1.thm1
2017-02-06 12:45
540
fomodel1__1524_17.min1.thm1
2017-02-06 12:45
708
fomodel1__1525_13.min1.thm1
2017-02-06 12:45
708
fomodel1__1525_36.min1.thm1
2017-02-06 12:45
705
fomodel1__1541_28.min1.thm1
2017-02-06 12:45
616
fomodel1__1543_2.min1.thm1
2017-02-06 12:45
791
fomodel1__1544_15.min1.thm1
2017-02-06 12:45
1.6K
fomodel1__1553_52.min1.thm1
2017-02-06 12:45
616
fomodel1__1555_18.min1.thm1
2017-02-06 12:45
866
fomodel1__1555_32.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__1564_51.min1.thm1
2017-02-06 12:45
616
fomodel1__1566_36.min1.thm1
2017-02-06 12:45
2.0K
fomodel1__1567_36.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__1577_33.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__1580_8.min1.thm1
2017-02-06 12:45
1.1K
fomodel1__1581_35.min1.thm1
2017-02-06 12:45
1.9K
fomodel1__1583_24.min1.thm1
2017-02-06 12:45
638
fomodel1__1583_24.min1.thm1.tptp
2017-02-06 16:47
575
fomodel1__1584_24.min1.thm1
2017-02-06 12:45
480
fomodel1__1584_24.min1.thm1.tptp
2017-02-06 16:47
425
fomodel1__1591_30.min1.thm1
2017-02-06 12:45
1.4K
fomodel1__1591_71.min1.thm1
2017-02-06 12:45
762
fomodel1__1591_71.min1.thm1.tptp
2017-02-06 16:47
678
fomodel1__1592_34.min1.thm1
2017-02-06 12:45
2.1K
fomodel1__1593_30.min1.thm1
2017-02-06 12:45
1.3K
fomodel1__1593_44.min1.thm1
2017-02-06 12:45
360
fomodel1__1593_44.min1.thm1.tptp
2017-02-06 16:47
274
fomodel1__1609_30.min1.thm1
2017-02-06 12:45
1.5K
fomodel1__1611_27.min1.thm1
2017-02-06 12:45
716
fomodel1__1615_43.min1.thm1
2017-02-06 12:45
2.0K
fomodel1__1617_30.min1.thm1
2017-02-06 12:45
2.0K
fomodel1__1618_9.min1.thm1
2017-02-06 12:45
208
fomodel1__1619_47.min1.thm1
2017-02-06 12:45
1.9K
fomodel1__1623_35.min1.thm1
2017-02-06 12:45
1.6K
fomodel1__1636_8.min1.thm1
2017-02-06 12:45
1.8K
fomodel1__1657_28.min1.thm1
2017-02-06 12:45
717
fomodel1__1658_55.min1.thm1
2017-02-06 12:45
828
fomodel1__1659_56.min1.thm1
2017-02-06 12:45
910
fomodel1__1660_47.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__1661_16.min1.thm1
2017-02-06 12:45
799
fomodel1__1706_45.min1.thm1
2017-02-06 12:45
859
fomodel1__1731_55.min1.thm1
2017-02-06 12:45
712
fomodel1__1732_46.min1.thm1
2017-02-06 12:45
2.6K
fomodel1__1733_27.min1.thm1
2017-02-06 12:45
1.6K
fomodel1__1734_18.min1.thm1
2017-02-06 12:45
581
fomodel1__1739_51.min1.thm1
2017-02-06 12:45
1.5K
fomodel1__1742_42.min1.thm1
2017-02-06 12:45
2.0K
fomodel1__1744_67.min1.thm1
2017-02-06 12:45
746
fomodel1__1744_67.min1.thm1.tptp
2017-02-06 16:47
660
fomodel1__1745_9.min1.thm1
2017-02-06 12:45
264
fomodel1__1748_37.min1.thm1
2017-02-06 12:45
891
fomodel1__1751_27.min1.thm1
2017-02-06 12:45
1.3K
fomodel1__1752_30.min1.thm1
2017-02-06 12:45
1.6K
fomodel1__1757_12.min1.thm1
2017-02-06 12:45
518
fomodel1__1757_44.min1.thm1
2017-02-06 12:45
504
fomodel1__1765_55.min1.thm1
2017-02-06 12:45
464
fomodel1__1765_55.min1.thm1.tptp
2017-02-06 16:47
383
fomodel1__1772_63.min1.thm1
2017-02-06 12:45
2.5K
fomodel1__1781_42.min1.thm1
2017-02-06 12:45
629
fomodel1__1781_42.min1.thm1.tptp
2017-02-06 16:47
541
fomodel1__1782_39.min1.thm1
2017-02-06 12:45
2.1K
fomodel1__1795_56.min1.thm1
2017-02-06 12:45
595
fomodel1__1796_22.min1.thm1
2017-02-06 12:45
465
fomodel1__1796_22.min1.thm1.tptp
2017-02-06 16:47
401
fomodel1__1818_66.min1.thm1
2017-02-06 12:45
629
fomodel1__1818_66.min1.thm1.tptp
2017-02-06 16:47
541
fomodel1__1820_35.min1.thm1
2017-02-06 12:45
2.4K
fomodel1__1843_50.min1.thm1
2017-02-06 12:45
1.6K
fomodel1__1873_35.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__1882_32.min1.thm1
2017-02-06 12:45
459
fomodel1__1882_32.min1.thm1.tptp
2017-02-06 16:47
374
fomodel1__1882_54.min1.thm1
2017-02-06 12:45
610
fomodel1__1898_11.min1.thm1
2017-02-06 12:45
900
fomodel1__1920_24.min1.thm1
2017-02-06 12:45
678
fomodel1__1921_35.min1.thm1
2017-02-06 12:45
1.3K
fomodel1__1922_24.min1.thm1
2017-02-06 12:45
678
fomodel1__1923_35.min1.thm1
2017-02-06 12:45
1.3K
fomodel1__1925_52.min1.thm1
2017-02-06 12:45
839
fomodel1__1927_2.min1.thm1
2017-02-06 12:45
853
fomodel1__1942_48.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__1963_30.min1.thm1
2017-02-06 12:45
1.4K
fomodel1__1974_2.min1.thm1
2017-02-06 12:45
932
fomodel1__1974_36.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__1975_15.min1.thm1
2017-02-06 12:45
689
fomodel1__1992_58.min1.thm1
2017-02-06 12:45
815
fomodel1__1993_20.min1.thm1
2017-02-06 12:45
367
fomodel1__1993_20.min1.thm1.tptp
2017-02-06 16:47
285
fomodel1__1994_11.min1.thm1
2017-02-06 12:45
492
fomodel1__1994_11.min1.thm1.tptp
2017-02-06 16:47
422
fomodel1__1995_46.min1.thm1
2017-02-06 12:45
2.0K
fomodel1__1996_17.min1.thm1
2017-02-06 12:45
692
fomodel1__2003_12.min1.thm1
2017-02-06 12:45
479
fomodel1__2019_20.min1.thm1
2017-02-06 12:45
1.4K
fomodel1__2026_19.min1.thm1
2017-02-06 12:45
1.5K
fomodel1__2034_36.min1.thm1
2017-02-06 12:45
385
fomodel1__2035_20.min1.thm1
2017-02-06 12:45
1.0K
fomodel1__2035_34.min1.thm1
2017-02-06 12:45
727
fomodel1__2055_49.min1.thm1
2017-02-06 12:45
1.6K
fomodel1__2057_21.min1.thm1
2017-02-06 12:45
559
fomodel1__2058_25.min1.thm1
2017-02-06 12:45
1.8K
fomodel1__2059_31.min1.thm1
2017-02-06 12:45
2.4K
fomodel1__2060_39.min1.thm1
2017-02-06 12:45
1.2K
fomodel1__2063_43.min1.thm1
2017-02-06 12:45
3.3K
fomodel1__2064_12.min1.thm1
2017-02-06 12:45
895
fomodel1__2072_37.min1.thm1
2017-02-06 12:45
451
fomodel1__2072_37.min1.thm1.tptp
2017-02-06 16:47
363
fomodel1__2073_41.min1.thm1
2017-02-06 12:45
1.3K
fomodel1__2075_57.min1.thm1
2017-02-06 12:45
2.6K
fomodel1__2107_12.min1.thm1
2017-02-06 12:45
1.1K
fomodel1__2115_59.min1.thm1
2017-02-06 12:45
1.4K
fomodel1__2116_35.min1.thm1
2017-02-06 12:45
408
fomodel1__2116_35.min1.thm1.tptp
2017-02-06 16:47
334
fomodel1__2116_52.min1.thm1
2017-02-06 12:45
448
fomodel1__2116_66.min1.thm1
2017-02-06 12:45
514
fomodel1__2129_34.min1.thm1
2017-02-06 12:45
444
fomodel1__2129_34.min1.thm1.tptp
2017-02-06 16:47
370
fomodel1__2130_47.min1.thm1
2017-02-06 12:45
551
fomodel1__2135_49.min1.thm1
2017-02-06 12:45
1.4K
fomodel1__2137_33.min1.thm1
2017-02-06 12:45
847
fomodel1__2139_44.min1.thm1
2017-02-06 12:45
1.5K
fomodel1__2143_12.min1.thm1
2017-02-06 12:45
829
fomodel1__2154_53.min1.thm1
2017-02-06 12:45
1.4K
fomodel1__2155_13.min1.thm1
2017-02-06 12:45
1.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80