Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/openlatt
Name
Last modified
Size
Description
Parent Directory
-
openlatt__1226_17.min1.thm1
2017-02-06 12:46
1.9K
openlatt__1225_44.min1.thm1
2017-02-06 12:46
1.0K
openlatt__1218_17.min1.thm1
2017-02-06 12:46
1.9K
openlatt__1217_41.min1.thm1
2017-02-06 12:46
1.0K
openlatt__1216_36.min1.thm1
2017-02-06 12:46
862
openlatt__1198_29.min1.thm1
2017-02-06 12:46
1.5K
openlatt__1195_43.min1.thm1.tptp
2017-02-06 16:47
683
openlatt__1195_43.min1.thm1
2017-02-06 12:46
747
openlatt__1191_28.min1.thm1
2017-02-06 12:46
1.7K
openlatt__1187_58.min1.thm1
2017-02-06 12:46
2.0K
openlatt__1185_67.min1.thm1
2017-02-06 12:46
1.4K
openlatt__1172_18.min1.thm1
2017-02-06 12:46
918
openlatt__1170_49.min1.thm1
2017-02-06 12:46
1.7K
openlatt__1149_37.min1.thm1.tptp
2017-02-06 16:47
542
openlatt__1149_37.min1.thm1
2017-02-06 12:46
623
openlatt__1138_17.min1.thm1
2017-02-06 12:46
964
openlatt__1136_18.min1.thm1.tptp
2017-02-06 16:47
230
openlatt__1136_18.min1.thm1
2017-02-06 12:46
309
openlatt__1135_49.min1.thm1
2017-02-06 12:46
477
openlatt__1121_19.min1.thm1
2017-02-06 12:46
1.5K
openlatt__1120_35.min1.thm1.tptp
2017-02-06 16:47
384
openlatt__1120_35.min1.thm1
2017-02-06 12:46
460
openlatt__1119_62.min1.thm1.tptp
2017-02-06 16:47
381
openlatt__1119_62.min1.thm1
2017-02-06 12:46
459
openlatt__1111_19.min1.thm1.tptp
2017-02-06 16:47
509
openlatt__1111_19.min1.thm1
2017-02-06 12:46
551
openlatt__1103_19.min1.thm1
2017-02-06 12:46
906
openlatt__1101_19.min1.thm1
2017-02-06 12:46
905
openlatt__1094_44.min1.thm1
2017-02-06 12:46
1.5K
openlatt__1090_23.min1.thm1.tptp
2017-02-06 16:47
394
openlatt__1090_23.min1.thm1
2017-02-06 12:46
471
openlatt__1089_63.min1.thm1
2017-02-06 12:46
1.2K
openlatt__1088_14.min1.thm1
2017-02-06 12:46
1.1K
openlatt__1082_25.min1.thm1
2017-02-06 12:46
1.3K
openlatt__1080_22.min1.thm1
2017-02-06 12:46
928
openlatt__1078_41.min1.thm1
2017-02-06 12:46
924
openlatt__1064_52.min1.thm1
2017-02-06 12:46
1.1K
openlatt__1062_40.min1.thm1.tptp
2017-02-06 16:47
659
openlatt__1062_40.min1.thm1
2017-02-06 12:46
736
openlatt__1061_34.min1.thm1
2017-02-06 12:46
1.0K
openlatt__1060_40.min1.thm1
2017-02-06 12:46
864
openlatt__1059_21.min1.thm1
2017-02-06 12:46
867
openlatt__1048_12.min1.thm1
2017-02-06 12:46
546
openlatt__1044_46.min1.thm1
2017-02-06 12:46
521
openlatt__1042_18.min1.thm1
2017-02-06 12:46
564
openlatt__1041_31.min1.thm1
2017-02-06 12:46
803
openlatt__1040_32.min1.thm1
2017-02-06 12:46
930
openlatt__1039_21.min1.thm1
2017-02-06 12:46
717
openlatt__1038_15.min1.thm1
2017-02-06 12:46
789
openlatt__1032_27.min1.thm1.tptp
2017-02-06 16:47
514
openlatt__1032_27.min1.thm1
2017-02-06 12:46
595
openlatt__1017_16.min1.thm1
2017-02-06 12:46
670
openlatt__1016_56.min1.thm1
2017-02-06 12:46
1.4K
openlatt__1015_27.min1.thm1
2017-02-06 12:46
767
openlatt__1007_14.min1.thm1
2017-02-06 12:46
617
openlatt__1005_16.min1.thm1
2017-02-06 12:46
473
openlatt__1004_67.min1.thm1
2017-02-06 12:46
1.3K
openlatt__976_15.min1.thm1
2017-02-06 12:46
1.3K
openlatt__975_14.min1.thm1
2017-02-06 12:46
1.5K
openlatt__968_28.min1.thm1
2017-02-06 12:46
1.5K
openlatt__952_15.min1.thm1
2017-02-06 12:46
692
openlatt__950_42.min1.thm1
2017-02-06 12:46
814
openlatt__949_21.min1.thm1.tptp
2017-02-06 16:47
401
openlatt__949_21.min1.thm1
2017-02-06 12:46
472
openlatt__948_56.min1.thm1
2017-02-06 12:46
846
openlatt__947_32.min1.thm1.tptp
2017-02-06 16:47
385
openlatt__947_32.min1.thm1
2017-02-06 12:46
460
openlatt__938_13.min1.thm1
2017-02-06 12:46
854
openlatt__924_17.min1.thm1
2017-02-06 12:46
1.1K
openlatt__918_32.min1.thm1
2017-02-06 12:46
696
openlatt__903_43.min1.thm1
2017-02-06 12:46
2.9K
openlatt__897_39.min1.thm1
2017-02-06 12:46
897
openlatt__888_17.min1.thm1
2017-02-06 12:46
852
openlatt__872_14.min1.thm1.tptp
2017-02-06 16:47
914
openlatt__872_14.min1.thm1
2017-02-06 12:46
1.0K
openlatt__856_25.min1.thm1.tptp
2017-02-06 16:47
430
openlatt__856_25.min1.thm1
2017-02-06 12:46
497
openlatt__843_25.min1.thm1.tptp
2017-02-06 16:47
431
openlatt__843_25.min1.thm1
2017-02-06 12:46
498
openlatt__837_13.min1.thm1
2017-02-06 12:46
305
openlatt__831_13.min1.thm1
2017-02-06 12:46
491
openlatt__775_36.min1.thm1
2017-02-06 12:46
1.2K
openlatt__774_22.min1.thm1
2017-02-06 12:46
967
openlatt__772_22.min1.thm1
2017-02-06 12:46
967
openlatt__765_36.min1.thm1
2017-02-06 12:46
1.2K
openlatt__764_22.min1.thm1
2017-02-06 12:46
967
openlatt__762_22.min1.thm1
2017-02-06 12:46
967
openlatt__751_14.min1.thm1
2017-02-06 12:46
404
openlatt__750_10.min1.thm1
2017-02-06 12:46
1.1K
openlatt__749_43.min1.thm1
2017-02-06 12:46
1.2K
openlatt__736_14.min1.thm1
2017-02-06 12:46
621
openlatt__735_16.min1.thm1
2017-02-06 12:46
1.9K
openlatt__733_46.min1.thm1.tptp
2017-02-06 16:47
1.1K
openlatt__733_46.min1.thm1
2017-02-06 12:46
1.1K
openlatt__728_34.min1.thm1
2017-02-06 12:46
1.4K
openlatt__721_14.min1.thm1
2017-02-06 12:46
903
openlatt__718_34.min1.thm1
2017-02-06 12:46
1.4K
openlatt__711_17.min1.thm1
2017-02-06 12:46
949
openlatt__710_28.min1.thm1
2017-02-06 12:46
1.2K
openlatt__709_26.min1.thm1
2017-02-06 12:46
1.5K
openlatt__707_18.min1.thm1
2017-02-06 12:46
1.5K
openlatt__701_40.min1.thm1
2017-02-06 12:46
1.6K
openlatt__700_17.min1.thm1
2017-02-06 12:46
1.4K
openlatt__679_16.min1.thm1
2017-02-06 12:46
1.5K
openlatt__678_17.min1.thm1
2017-02-06 12:46
1.1K
openlatt__676_18.min1.thm1
2017-02-06 12:46
1.3K
openlatt__675_21.min1.thm1
2017-02-06 12:46
1.6K
openlatt__674_16.min1.thm1
2017-02-06 12:46
1.5K
openlatt__673_17.min1.thm1
2017-02-06 12:46
1.1K
openlatt__671_18.min1.thm1
2017-02-06 12:46
1.3K
openlatt__670_21.min1.thm1
2017-02-06 12:46
1.6K
openlatt__658_17.min1.thm1
2017-02-06 12:46
1.2K
openlatt__657_13.min1.thm1
2017-02-06 12:46
1.2K
openlatt__656_32.min1.thm1
2017-02-06 12:46
1.3K
openlatt__652_62.min1.thm1
2017-02-06 12:46
1.4K
openlatt__650_14.min1.thm1
2017-02-06 12:46
1.4K
openlatt__641_17.min1.thm1
2017-02-06 12:46
1.3K
openlatt__640_25.min1.thm1
2017-02-06 12:46
1.6K
openlatt__639_12.min1.thm1
2017-02-06 12:46
1.3K
openlatt__638_29.min1.thm1
2017-02-06 12:46
921
openlatt__636_24.min1.thm1
2017-02-06 12:46
882
openlatt__629_17.min1.thm1
2017-02-06 12:46
1.1K
openlatt__627_19.min1.thm1
2017-02-06 12:46
1.7K
openlatt__624_30.min1.thm1
2017-02-06 12:46
1.0K
openlatt__619_16.min1.thm1
2017-02-06 12:46
949
openlatt__614_23.min1.thm1
2017-02-06 12:46
1.2K
openlatt__613_48.min1.thm1
2017-02-06 12:46
2.1K
openlatt__611_31.min1.thm1
2017-02-06 12:46
530
openlatt__609_34.min1.thm1
2017-02-06 12:46
618
openlatt__608_18.min1.thm1
2017-02-06 12:46
855
openlatt__603_18.min1.thm1
2017-02-06 12:46
855
openlatt__594_13.min1.thm1
2017-02-06 12:46
1.4K
openlatt__592_13.min1.thm1
2017-02-06 12:46
1.2K
openlatt__590_33.min1.thm1
2017-02-06 12:46
1.4K
openlatt__587_37.min1.thm1
2017-02-06 12:46
769
openlatt__579_39.min1.thm1
2017-02-06 12:46
1.2K
openlatt__567_17.min1.thm1
2017-02-06 12:46
1.6K
openlatt__566_26.min1.thm1
2017-02-06 12:46
1.0K
openlatt__565_21.min1.thm1
2017-02-06 12:46
1.1K
openlatt__564_25.min1.thm1
2017-02-06 12:46
1.1K
openlatt__555_17.min1.thm1
2017-02-06 12:46
1.8K
openlatt__553_71.min1.thm1
2017-02-06 12:46
1.2K
openlatt__548_14.min1.thm1.tptp
2017-02-06 16:47
772
openlatt__548_14.min1.thm1
2017-02-06 12:46
840
openlatt__547_41.min1.thm1
2017-02-06 12:46
1.6K
openlatt__540_16.min1.thm1
2017-02-06 12:46
1.0K
openlatt__539_31.min1.thm1
2017-02-06 12:46
1.4K
openlatt__538_14.min1.thm1
2017-02-06 12:46
1.3K
openlatt__528_16.min1.thm1
2017-02-06 12:46
553
openlatt__526_18.min1.thm1
2017-02-06 12:46
701
openlatt__525_31.min1.thm1
2017-02-06 12:46
1.1K
openlatt__511_17.min1.thm1
2017-02-06 12:46
1.6K
openlatt__510_11.min1.thm1
2017-02-06 12:46
1.4K
openlatt__509_14.min1.thm1
2017-02-06 12:46
1.1K
openlatt__503_67.min1.thm1
2017-02-06 12:46
1.2K
openlatt__502_21.min1.thm1.tptp
2017-02-06 16:47
468
openlatt__502_21.min1.thm1
2017-02-06 12:46
530
openlatt__501_64.min1.thm1
2017-02-06 12:46
1.2K
openlatt__499_26.min1.thm1
2017-02-06 12:46
623
openlatt__494_44.min1.thm1
2017-02-06 12:46
732
openlatt__493_28.min1.thm1
2017-02-06 12:46
1.4K
openlatt__491_23.min1.thm1
2017-02-06 12:46
1.4K
openlatt__488_13.min1.thm1
2017-02-06 12:46
1.9K
openlatt__473_17.min1.thm1
2017-02-06 12:46
1.6K
openlatt__472_11.min1.thm1
2017-02-06 12:46
1.5K
openlatt__471_20.min1.thm1.tptp
2017-02-06 16:47
1.1K
openlatt__471_20.min1.thm1
2017-02-06 12:46
1.1K
openlatt__466_54.min1.thm1
2017-02-06 12:46
1.7K
openlatt__463_46.min1.thm1.tptp
2017-02-06 16:47
554
openlatt__463_46.min1.thm1
2017-02-06 12:46
616
openlatt__459_44.min1.thm1
2017-02-06 12:46
697
openlatt__458_48.min1.thm1
2017-02-06 12:46
1.6K
openlatt__456_13.min1.thm1
2017-02-06 12:46
1.9K
openlatt__441_17.min1.thm1
2017-02-06 12:46
1.0K
openlatt__440_28.min1.thm1
2017-02-06 12:46
1.0K
openlatt__439_23.min1.thm1
2017-02-06 12:46
804
openlatt__435_25.min1.thm1
2017-02-06 12:46
458
openlatt__433_35.min1.thm1
2017-02-06 12:46
1.0K
openlatt__432_22.min1.thm1
2017-02-06 12:46
1.0K
openlatt__421_19.min1.thm1
2017-02-06 12:46
1.3K
openlatt__420_39.min1.thm1
2017-02-06 12:46
897
openlatt__412_11.min1.thm1
2017-02-06 12:46
131
openlatt__405_17.min1.thm1
2017-02-06 12:46
1.5K
openlatt__404_23.min1.thm1
2017-02-06 12:46
1.2K
openlatt__396_70.min1.thm1
2017-02-06 12:46
1.0K
openlatt__395_28.min1.thm1
2017-02-06 12:46
916
openlatt__394_17.min1.thm1
2017-02-06 12:46
913
openlatt__393_13.min1.thm1
2017-02-06 12:46
1.3K
openlatt__387_53.min1.thm1
2017-02-06 12:46
951
openlatt__380_14.min1.thm1
2017-02-06 12:46
1.0K
openlatt__379_14.min1.thm1
2017-02-06 12:46
1.6K
openlatt__376_6.min1.thm1
2017-02-06 12:46
951
openlatt__368_19.min1.thm1
2017-02-06 12:46
1.3K
openlatt__366_18.min1.thm1
2017-02-06 12:46
656
openlatt__365_54.min1.thm1
2017-02-06 12:46
656
openlatt__364_41.min1.thm1.tptp
2017-02-06 16:47
294
openlatt__364_41.min1.thm1
2017-02-06 12:46
372
openlatt__338_14.min1.thm1.tptp
2017-02-06 16:47
778
openlatt__338_14.min1.thm1
2017-02-06 12:46
855
openlatt__337_28.min1.thm1
2017-02-06 12:46
1.3K
openlatt__330_11.min1.thm1
2017-02-06 12:46
131
openlatt__318_17.min1.thm1
2017-02-06 12:46
1.7K
openlatt__315_13.min1.thm1
2017-02-06 12:46
1.3K
openlatt__302_16.min1.thm1
2017-02-06 12:46
809
openlatt__301_19.min1.thm1
2017-02-06 12:46
860
openlatt__300_49.min1.thm1
2017-02-06 12:46
793
openlatt__292_17.min1.thm1
2017-02-06 12:46
1.6K
openlatt__284_10.min1.thm1
2017-02-06 12:46
419
openlatt__265_35.min1.thm1
2017-02-06 12:46
1.0K
openlatt__245_10.min1.thm1
2017-02-06 12:46
1.6K
openlatt__240_21.min1.thm1
2017-02-06 12:46
1.6K
openlatt__225_17.min1.thm1
2017-02-06 12:46
848
openlatt__223_30.min1.thm1
2017-02-06 12:46
1.8K
openlatt__209_14.min1.thm1.tptp
2017-02-06 16:47
834
openlatt__209_14.min1.thm1
2017-02-06 12:46
911
openlatt__194_25.min1.thm1.tptp
2017-02-06 16:47
423
openlatt__194_25.min1.thm1
2017-02-06 12:46
490
openlatt__181_25.min1.thm1.tptp
2017-02-06 16:47
424
openlatt__181_25.min1.thm1
2017-02-06 12:46
491
openlatt__175_13.min1.thm1
2017-02-06 12:46
300
openlatt__169_13.min1.thm1
2017-02-06 12:46
486
openlatt__109_19.min1.thm1
2017-02-06 12:46
1.9K
openlatt__108_26.min1.thm1
2017-02-06 12:46
1.2K
openlatt__107_16.min1.thm1
2017-02-06 12:46
1.5K
openlatt__106_16.min1.thm1
2017-02-06 12:46
1.5K
openlatt__105_42.min1.thm1
2017-02-06 12:46
1.1K
openlatt__100_19.min1.thm1
2017-02-06 12:46
2.1K
openlatt__99_26.min1.thm1
2017-02-06 12:46
1.3K
openlatt__98_16.min1.thm1
2017-02-06 12:46
1.5K
openlatt__97_16.min1.thm1
2017-02-06 12:46
1.5K
openlatt__96_42.min1.thm1
2017-02-06 12:46
1.1K
openlatt__88_11.min1.thm1
2017-02-06 12:46
637
openlatt__82_11.min1.thm1.tptp
2017-02-06 16:47
329
openlatt__82_11.min1.thm1
2017-02-06 12:46
410
openlatt__75_17.min1.thm1
2017-02-06 12:46
1.0K
openlatt__74_32.min1.thm1
2017-02-06 12:46
1.5K
openlatt__73_22.min1.thm1
2017-02-06 12:46
800
openlatt__72_28.min1.thm1
2017-02-06 12:46
1.7K
openlatt__71_17.min1.thm1
2017-02-06 12:46
1.5K
openlatt__70_28.min1.thm1
2017-02-06 12:46
1.0K
openlatt__69_44.min1.thm1
2017-02-06 12:46
1.7K
openlatt__68_19.min1.thm1
2017-02-06 12:46
839
openlatt__58_17.min1.thm1
2017-02-06 12:46
1.1K
openlatt__57_40.min1.thm1
2017-02-06 12:46
1.7K
openlatt__56_25.min1.thm1
2017-02-06 12:46
1.0K
openlatt__54_13.min1.thm1.tptp
2017-02-06 16:47
374
openlatt__54_13.min1.thm1
2017-02-06 12:46
447
openlatt__53_22.min1.thm1
2017-02-06 12:46
1.7K
openlatt__52_41.min1.thm1
2017-02-06 12:46
1.7K
openlatt__51_18.min1.thm1
2017-02-06 12:46
592
openlatt__42_11.min1.thm1
2017-02-06 12:46
414
openlatt__40_11.min1.thm1
2017-02-06 12:46
432
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80