Index of /~mptp/1147/MPTP2/ilp0/normsp_2
Name
Last modified
Size
Description
Parent Directory
-
normsp_2__67_76.min1.thm1
2017-02-06 12:46
2.4K
normsp_2__72_19.min1.thm1
2017-02-06 12:46
636
normsp_2__73_34.min1.thm1
2017-02-06 12:46
1.3K
normsp_2__74_32.min1.thm1
2017-02-06 12:46
584
normsp_2__74_32.min1.thm1.tptp
2017-02-06 16:47
503
normsp_2__78_36.min1.thm1
2017-02-06 12:46
945
normsp_2__82_21.min1.thm1
2017-02-06 12:46
1.0K
normsp_2__83_32.min1.thm1
2017-02-06 12:46
1.9K
normsp_2__84_31.min1.thm1
2017-02-06 12:46
793
normsp_2__85_34.min1.thm1
2017-02-06 12:46
2.0K
normsp_2__87_30.min1.thm1
2017-02-06 12:46
1.5K
normsp_2__96_25.min1.thm1
2017-02-06 12:46
2.5K
normsp_2__100_29.min1.thm1
2017-02-06 12:46
2.2K
normsp_2__112_40.min1.thm1
2017-02-06 12:46
1.6K
normsp_2__124_58.min1.thm1
2017-02-06 12:46
2.2K
normsp_2__126_28.min1.thm1
2017-02-06 12:46
919
normsp_2__129_28.min1.thm1
2017-02-06 12:46
789
normsp_2__131_39.min1.thm1
2017-02-06 12:46
881
normsp_2__136_25.min1.thm1
2017-02-06 12:46
961
normsp_2__158_23.min1.thm1
2017-02-06 12:46
1.7K
normsp_2__183_9.min1.thm1
2017-02-06 12:46
949
normsp_2__196_48.min1.thm1
2017-02-06 12:46
2.8K
normsp_2__197_47.min1.thm1
2017-02-06 12:46
2.7K
normsp_2__198_22.min1.thm1
2017-02-06 12:46
4.1K
normsp_2__200_13.min1.thm1
2017-02-06 12:46
3.6K
normsp_2__218_32.min1.thm1
2017-02-06 12:46
2.0K
normsp_2__223_65.min1.thm1
2017-02-06 12:46
2.2K
normsp_2__248_15.min1.thm1
2017-02-06 12:46
889
normsp_2__252_16.min1.thm1
2017-02-06 12:46
840
normsp_2__259_17.min1.thm1
2017-02-06 12:46
1.6K
normsp_2__260_26.min1.thm1
2017-02-06 12:46
2.1K
normsp_2__263_17.min1.thm1
2017-02-06 12:46
1.6K
normsp_2__264_26.min1.thm1
2017-02-06 12:46
2.1K
normsp_2__281_19.min1.thm1
2017-02-06 12:46
1.3K
normsp_2__282_40.min1.thm1
2017-02-06 12:46
933
normsp_2__283_19.min1.thm1
2017-02-06 12:46
369
normsp_2__283_19.min1.thm1.tptp
2017-02-06 16:47
287
normsp_2__287_19.min1.thm1
2017-02-06 12:46
1.3K
normsp_2__288_40.min1.thm1
2017-02-06 12:46
934
normsp_2__291_19.min1.thm1
2017-02-06 12:46
370
normsp_2__291_19.min1.thm1.tptp
2017-02-06 16:47
288
normsp_2__302_24.min1.thm1
2017-02-06 12:46
1.0K
normsp_2__313_23.min1.thm1
2017-02-06 12:46
2.2K
normsp_2__323_22.min1.thm1
2017-02-06 12:46
1.6K
normsp_2__325_13.min1.thm1
2017-02-06 12:46
3.3K
normsp_2__331_15.min1.thm1
2017-02-06 12:46
1.0K
normsp_2__331_15.min1.thm1.tptp
2017-02-06 16:47
1.0K
normsp_2__332_24.min1.thm1
2017-02-06 12:46
1.9K
normsp_2__343_37.min1.thm1
2017-02-06 12:46
926
normsp_2__344_17.min1.thm1
2017-02-06 12:46
384
normsp_2__344_17.min1.thm1.tptp
2017-02-06 16:47
302
normsp_2__360_34.min1.thm1
2017-02-06 12:46
658
normsp_2__360_34.min1.thm1.tptp
2017-02-06 16:47
577
normsp_2__361_46.min1.thm1
2017-02-06 12:46
2.4K
normsp_2__370_18.min1.thm1
2017-02-06 12:46
1.4K
normsp_2__371_42.min1.thm1
2017-02-06 12:46
1.4K
normsp_2__393_16.min1.thm1
2017-02-06 12:46
1.1K
normsp_2__403_32.min1.thm1
2017-02-06 12:46
860
normsp_2__404_40.min1.thm1
2017-02-06 12:46
1.1K
normsp_2__415_53.min1.thm1
2017-02-06 12:46
2.0K
normsp_2__416_12.min1.thm1
2017-02-06 12:46
1.1K
normsp_2__428_48.min1.thm1
2017-02-06 12:46
2.1K
normsp_2__429_17.min1.thm1
2017-02-06 12:46
1.6K
normsp_2__439_53.min1.thm1
2017-02-06 12:46
2.1K
normsp_2__440_21.min1.thm1
2017-02-06 12:46
1.3K
normsp_2__441_41.min1.thm1
2017-02-06 12:46
2.1K
normsp_2__452_72.min1.thm1
2017-02-06 12:46
2.3K
normsp_2__453_73.min1.thm1
2017-02-06 12:46
2.4K
normsp_2__455_35.min1.thm1
2017-02-06 12:46
3.1K
normsp_2__468_49.min1.thm1
2017-02-06 12:46
2.8K
normsp_2__486_23.min1.thm1
2017-02-06 12:46
1.5K
normsp_2__493_21.min1.thm1
2017-02-06 12:46
614
normsp_2__498_23.min1.thm1
2017-02-06 12:46
1.5K
normsp_2__505_20.min1.thm1
2017-02-06 12:46
614
normsp_2__507_21.min1.thm1
2017-02-06 12:46
727
normsp_2__508_17.min1.thm1
2017-02-06 12:46
788
normsp_2__525_24.min1.thm1
2017-02-06 12:46
1.5K
normsp_2__528_62.min1.thm1
2017-02-06 12:46
1.9K
normsp_2__532_54.min1.thm1
2017-02-06 12:46
614
normsp_2__537_24.min1.thm1
2017-02-06 12:46
1.5K
normsp_2__544_21.min1.thm1
2017-02-06 12:46
614
normsp_2__547_21.min1.thm1
2017-02-06 12:46
727
normsp_2__548_17.min1.thm1
2017-02-06 12:46
790
normsp_2__574_32.min1.thm1
2017-02-06 12:46
847
normsp_2__590_29.min1.thm1
2017-02-06 12:46
813
normsp_2__611_29.min1.thm1
2017-02-06 12:46
1.9K
normsp_2__616_42.min1.thm1
2017-02-06 12:46
1.8K
normsp_2__622_17.min1.thm1
2017-02-06 12:46
502
normsp_2__622_17.min1.thm1.tptp
2017-02-06 16:47
414
normsp_2__635_20.min1.thm1
2017-02-06 12:46
2.0K
normsp_2__640_17.min1.thm1
2017-02-06 12:46
2.0K
normsp_2__650_11.min1.thm1
2017-02-06 12:46
1.5K
normsp_2__668_62.min1.thm1
2017-02-06 12:46
802
normsp_2__675_22.min1.thm1
2017-02-06 12:46
1.3K
normsp_2__684_44.min1.thm1
2017-02-06 12:46
1.3K
normsp_2__693_17.min1.thm1
2017-02-06 12:46
1.3K
normsp_2__726_36.min1.thm1
2017-02-06 12:46
534
normsp_2__727_17.min1.thm1
2017-02-06 12:46
553
normsp_2__784_16.min1.thm1
2017-02-06 12:46
1.9K
normsp_2__785_31.min1.thm1
2017-02-06 12:46
2.1K
normsp_2__787_16.min1.thm1
2017-02-06 12:46
363
normsp_2__808_26.min1.thm1
2017-02-06 12:46
1.0K
normsp_2__824_23.min1.thm1
2017-02-06 12:46
2.0K
normsp_2__834_33.min1.thm1
2017-02-06 12:46
1.2K
normsp_2__837_17.min1.thm1
2017-02-06 12:46
1.5K
normsp_2__849_17.min1.thm1
2017-02-06 12:46
1.5K
normsp_2__850_20.min1.thm1
2017-02-06 12:46
1.4K
normsp_2__855_19.min1.thm1
2017-02-06 12:46
563
normsp_2__855_19.min1.thm1.tptp
2017-02-06 16:47
499
normsp_2__861_17.min1.thm1
2017-02-06 12:46
1.5K
normsp_2__862_20.min1.thm1
2017-02-06 12:46
1.4K
normsp_2__866_19.min1.thm1
2017-02-06 12:46
563
normsp_2__866_19.min1.thm1.tptp
2017-02-06 16:47
499
normsp_2__867_17.min1.thm1
2017-02-06 12:46
683
normsp_2__888_54.min1.thm1
2017-02-06 12:46
1.5K
normsp_2__889_33.min1.thm1
2017-02-06 12:46
1.3K
normsp_2__896_19.min1.thm1
2017-02-06 12:46
1.1K
normsp_2__905_15.min1.thm1
2017-02-06 12:46
2.2K
normsp_2__908_54.min1.thm1
2017-02-06 12:46
1.7K
normsp_2__911_51.min1.thm1
2017-02-06 12:46
597
normsp_2__914_17.min1.thm1
2017-02-06 12:46
604
normsp_2__914_17.min1.thm1.tptp
2017-02-06 16:47
516
normsp_2__929_19.min1.thm1
2017-02-06 12:46
3.1K
normsp_2__938_19.min1.thm1
2017-02-06 12:46
2.7K
normsp_2__941_24.min1.thm1
2017-02-06 12:46
1.4K
normsp_2__949_34.min1.thm1
2017-02-06 12:46
1.7K
normsp_2__970_29.min1.thm1
2017-02-06 12:46
1.1K
normsp_2__977_48.min1.thm1
2017-02-06 12:46
2.8K
normsp_2__989_52.min1.thm1
2017-02-06 12:46
3.9K
normsp_2__1011_12.min1.thm1
2017-02-06 12:46
3.5K
normsp_2__1032_49.min1.thm1
2017-02-06 12:46
1.9K
normsp_2__1037_15.min1.thm1
2017-02-06 12:46
882
normsp_2__1067_23.min1.thm1
2017-02-06 12:46
1.1K
normsp_2__1069_24.min1.thm1
2017-02-06 12:46
1.6K
normsp_2__1073_66.min1.thm1
2017-02-06 12:46
2.0K
normsp_2__1077_66.min1.thm1
2017-02-06 12:46
2.0K
normsp_2__1080_24.min1.thm1
2017-02-06 12:46
1.6K
normsp_2__1082_21.min1.thm1
2017-02-06 12:46
1.3K
normsp_2__1087_39.min1.thm1
2017-02-06 12:46
1.9K
normsp_2__1102_49.min1.thm1
2017-02-06 12:46
1.9K
normsp_2__1107_14.min1.thm1
2017-02-06 12:46
881
normsp_2__1109_16.min1.thm1
2017-02-06 12:46
1.0K
normsp_2__1113_20.min1.thm1
2017-02-06 12:46
1.4K
normsp_2__1134_36.min1.thm1
2017-02-06 12:46
1.5K
normsp_2__1138_24.min1.thm1
2017-02-06 12:46
1.3K
normsp_2__1139_20.min1.thm1
2017-02-06 12:46
1.1K
normsp_2__1143_28.min1.thm1
2017-02-06 12:46
3.0K
normsp_2__1147_43.min1.thm1
2017-02-06 12:46
2.0K
normsp_2__1155_23.min1.thm1
2017-02-06 12:46
731
normsp_2__1167_34.min1.thm1
2017-02-06 12:46
2.0K
normsp_2__1168_28.min1.thm1
2017-02-06 12:46
1.8K
normsp_2__1178_23.min1.thm1
2017-02-06 12:46
731
normsp_2__1181_28.min1.thm1
2017-02-06 12:46
3.0K
normsp_2__1201_25.min1.thm1
2017-02-06 12:46
1.1K
normsp_2__1204_35.min1.thm1
2017-02-06 12:46
1.7K
normsp_2__1209_64.min1.thm1
2017-02-06 12:46
2.5K
normsp_2__1212_22.min1.thm1
2017-02-06 12:46
1.6K
normsp_2__1219_62.min1.thm1
2017-02-06 12:46
1.8K
normsp_2__1232_44.min1.thm1
2017-02-06 12:46
2.1K
normsp_2__1234_15.min1.thm1
2017-02-06 12:46
1.4K
normsp_2__1240_49.min1.thm1
2017-02-06 12:46
2.2K
normsp_2__1250_39.min1.thm1
2017-02-06 12:46
1.9K
normsp_2__1251_36.min1.thm1
2017-02-06 12:46
1.8K
normsp_2__1258_39.min1.thm1
2017-02-06 12:46
1.9K
normsp_2__1259_59.min1.thm1
2017-02-06 12:46
2.2K
normsp_2__1262_17.min1.thm1
2017-02-06 12:46
1.1K
normsp_2__1263_35.min1.thm1
2017-02-06 12:46
1.8K
normsp_2__1268_39.min1.thm1
2017-02-06 12:46
1.9K
normsp_2__1271_32.min1.thm1
2017-02-06 12:46
1.8K
normsp_2__1277_44.min1.thm1
2017-02-06 12:46
2.1K
normsp_2__1287_39.min1.thm1
2017-02-06 12:46
1.9K
normsp_2__1289_15.min1.thm1
2017-02-06 12:46
1.1K
normsp_2__1305_58.min1.thm1
2017-02-06 12:46
2.0K
normsp_2__1307_17.min1.thm1
2017-02-06 12:46
1.5K
normsp_2__1320_37.min1.thm1
2017-02-06 12:46
1.9K
normsp_2__1321_17.min1.thm1
2017-02-06 12:46
1.5K
normsp_2__1331_29.min1.thm1
2017-02-06 12:46
1.4K
normsp_2__1345_17.min1.thm1
2017-02-06 12:46
1.5K
normsp_2__1370_6.min1.thm1
2017-02-06 12:46
1.8K
normsp_2__1378_43.min1.thm1
2017-02-06 12:46
1.4K
normsp_2__1381_43.min1.thm1
2017-02-06 12:46
1.4K
normsp_2__1383_19.min1.thm1
2017-02-06 12:46
1.4K
normsp_2__1407_42.min1.thm1
2017-02-06 12:46
1.9K
normsp_2__1417_29.min1.thm1
2017-02-06 12:46
669
normsp_2__1420_28.min1.thm1
2017-02-06 12:46
3.0K
normsp_2__1424_45.min1.thm1
2017-02-06 12:46
1.5K
normsp_2__1426_50.min1.thm1
2017-02-06 12:46
1.9K
normsp_2__1436_31.min1.thm1
2017-02-06 12:46
635
normsp_2__1438_23.min1.thm1
2017-02-06 12:46
2.0K
normsp_2__1454_29.min1.thm1
2017-02-06 12:46
406
normsp_2__1512_17.min1.thm1
2017-02-06 12:46
637
normsp_2__1512_17.min1.thm1.tptp
2017-02-06 16:47
549
normsp_2__1527_27.min1.thm1
2017-02-06 12:46
1.6K
normsp_2__1538_28.min1.thm1
2017-02-06 12:46
1.7K
normsp_2__1540_17.min1.thm1
2017-02-06 12:46
541
normsp_2__1540_17.min1.thm1.tptp
2017-02-06 16:47
453
normsp_2__1555_27.min1.thm1
2017-02-06 12:46
1.6K
normsp_2__1569_17.min1.thm1
2017-02-06 12:46
653
normsp_2__1569_17.min1.thm1.tptp
2017-02-06 16:47
573
normsp_2__1584_56.min1.thm1
2017-02-06 12:46
718
normsp_2__1584_56.min1.thm1.tptp
2017-02-06 16:47
632
normsp_2__1598_56.min1.thm1
2017-02-06 12:46
718
normsp_2__1598_56.min1.thm1.tptp
2017-02-06 16:47
632
normsp_2__1614_56.min1.thm1
2017-02-06 12:46
718
normsp_2__1614_56.min1.thm1.tptp
2017-02-06 16:47
632
normsp_2__1629_35.min1.thm1
2017-02-06 12:46
1.4K
normsp_2__1630_17.min1.thm1
2017-02-06 12:46
1.6K
normsp_2__1642_31.min1.thm1
2017-02-06 12:46
1.4K
normsp_2__1643_17.min1.thm1
2017-02-06 12:46
1.6K
normsp_2__1663_13.min1.thm1
2017-02-06 12:46
2.2K
normsp_2__1665_15.min1.thm1
2017-02-06 12:46
389
normsp_2__1674_11.min1.thm1
2017-02-06 12:46
376
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80