Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/prob_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prob_3__63_17.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_3__71_24.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__79_37.min1.thm12017-02-06 12:45 658  
[ ]prob_3__80_17.min1.thm12017-02-06 12:45 825  
[ ]prob_3__91_40.min1.thm12017-02-06 12:45 911  
[ ]prob_3__99_21.min1.thm12017-02-06 12:45 1.7K 
[ ]prob_3__110_15.min1.thm12017-02-06 12:45 360  
[ ]prob_3__115_17.min1.thm12017-02-06 12:45 2.4K 
[ ]prob_3__121_15.min1.thm12017-02-06 12:45 360  
[ ]prob_3__178_15.min1.thm12017-02-06 12:45 1.8K 
[ ]prob_3__185_20.min1.thm12017-02-06 12:45 462  
[ ]prob_3__187_35.min1.thm12017-02-06 12:45 925  
[ ]prob_3__188_21.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_3__203_41.min1.thm12017-02-06 12:45 857  
[ ]prob_3__208_44.min1.thm12017-02-06 12:45 908  
[ ]prob_3__209_24.min1.thm12017-02-06 12:45 770  
[ ]prob_3__209_24.min1.thm1.tptp2017-02-06 16:47 693  
[ ]prob_3__235_15.min1.thm12017-02-06 12:45 1.8K 
[ ]prob_3__242_20.min1.thm12017-02-06 12:45 476  
[ ]prob_3__244_35.min1.thm12017-02-06 12:45 929  
[ ]prob_3__245_21.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_3__260_41.min1.thm12017-02-06 12:45 861  
[ ]prob_3__265_44.min1.thm12017-02-06 12:45 908  
[ ]prob_3__266_24.min1.thm12017-02-06 12:45 765  
[ ]prob_3__266_24.min1.thm1.tptp2017-02-06 16:47 688  
[ ]prob_3__280_14.min1.thm12017-02-06 12:45 401  
[ ]prob_3__280_14.min1.thm1.tptp2017-02-06 16:47 340  
[ ]prob_3__288_11.min1.thm12017-02-06 12:45 274  
[ ]prob_3__298_14.min1.thm12017-02-06 12:45 401  
[ ]prob_3__298_14.min1.thm1.tptp2017-02-06 16:47 340  
[ ]prob_3__306_11.min1.thm12017-02-06 12:45 274  
[ ]prob_3__360_49.min1.thm12017-02-06 12:45 675  
[ ]prob_3__363_44.min1.thm12017-02-06 12:45 875  
[ ]prob_3__364_28.min1.thm12017-02-06 12:45 479  
[ ]prob_3__367_49.min1.thm12017-02-06 12:45 687  
[ ]prob_3__368_21.min1.thm12017-02-06 12:45 966  
[ ]prob_3__370_16.min1.thm12017-02-06 12:45 380  
[ ]prob_3__379_14.min1.thm12017-02-06 12:45 626  
[ ]prob_3__379_14.min1.thm1.tptp2017-02-06 16:47 571  
[ ]prob_3__395_18.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__399_29.min1.thm12017-02-06 12:45 618  
[ ]prob_3__399_29.min1.thm1.tptp2017-02-06 16:47 550  
[ ]prob_3__401_22.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__408_16.min1.thm12017-02-06 12:45 785  
[ ]prob_3__418_68.min1.thm12017-02-06 12:45 634  
[ ]prob_3__418_68.min1.thm1.tptp2017-02-06 16:47 579  
[ ]prob_3__422_33.min1.thm12017-02-06 12:45 855  
[ ]prob_3__424_33.min1.thm12017-02-06 12:45 948  
[ ]prob_3__425_42.min1.thm12017-02-06 12:45 672  
[ ]prob_3__426_24.min1.thm12017-02-06 12:45 464  
[ ]prob_3__428_17.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__456_17.min1.thm12017-02-06 12:45 380  
[ ]prob_3__476_15.min1.thm12017-02-06 12:45 372  
[ ]prob_3__512_42.min1.thm12017-02-06 12:45 937  
[ ]prob_3__514_57.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__531_41.min1.thm12017-02-06 12:45 861  
[ ]prob_3__536_58.min1.thm12017-02-06 12:45 835  
[ ]prob_3__536_58.min1.thm1.tptp2017-02-06 16:47 758  
[ ]prob_3__537_24.min1.thm12017-02-06 12:45 835  
[ ]prob_3__537_24.min1.thm1.tptp2017-02-06 16:47 758  
[ ]prob_3__558_18.min1.thm12017-02-06 12:45 405  
[ ]prob_3__558_18.min1.thm1.tptp2017-02-06 16:47 344  
[ ]prob_3__566_16.min1.thm12017-02-06 12:45 282  
[ ]prob_3__574_25.min1.thm12017-02-06 12:45 672  
[ ]prob_3__580_16.min1.thm12017-02-06 12:45 796  
[ ]prob_3__586_16.min1.thm12017-02-06 12:45 403  
[ ]prob_3__586_16.min1.thm1.tptp2017-02-06 16:47 342  
[ ]prob_3__594_14.min1.thm12017-02-06 12:45 278  
[ ]prob_3__599_24.min1.thm12017-02-06 12:45 585  
[ ]prob_3__600_23.min1.thm12017-02-06 12:45 630  
[ ]prob_3__602_44.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__607_14.min1.thm12017-02-06 12:45 510  
[ ]prob_3__613_53.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__614_17.min1.thm12017-02-06 12:45 513  
[ ]prob_3__614_17.min1.thm1.tptp2017-02-06 16:47 449  
[ ]prob_3__620_69.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_3__622_17.min1.thm12017-02-06 12:45 630  
[ ]prob_3__622_17.min1.thm1.tptp2017-02-06 16:47 559  
[ ]prob_3__642_55.min1.thm12017-02-06 12:45 1.9K 
[ ]prob_3__643_16.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__644_32.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__656_8.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__658_18.min1.thm12017-02-06 12:45 754  
[ ]prob_3__669_8.min1.thm12017-02-06 12:45 858  
[ ]prob_3__676_15.min1.thm12017-02-06 12:45 417  
[ ]prob_3__679_33.min1.thm12017-02-06 12:45 1.6K 
[ ]prob_3__683_38.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_3__684_33.min1.thm12017-02-06 12:45 550  
[ ]prob_3__687_19.min1.thm12017-02-06 12:45 852  
[ ]prob_3__703_37.min1.thm12017-02-06 12:45 681  
[ ]prob_3__703_37.min1.thm1.tptp2017-02-06 16:47 627  
[ ]prob_3__704_16.min1.thm12017-02-06 12:45 732  
[ ]prob_3__733_60.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__758_53.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__780_20.min1.thm12017-02-06 12:45 433  
[ ]prob_3__780_20.min1.thm1.tptp2017-02-06 16:47 372  
[ ]prob_3__788_17.min1.thm12017-02-06 12:45 302  
[ ]prob_3__789_43.min1.thm12017-02-06 12:45 961  
[ ]prob_3__794_18.min1.thm12017-02-06 12:45 552  
[ ]prob_3__823_47.min1.thm12017-02-06 12:45 705  
[ ]prob_3__823_47.min1.thm1.tptp2017-02-06 16:47 660  
[ ]prob_3__826_41.min1.thm12017-02-06 12:45 705  
[ ]prob_3__826_41.min1.thm1.tptp2017-02-06 16:47 660  
[ ]prob_3__829_63.min1.thm12017-02-06 12:45 745  
[ ]prob_3__829_63.min1.thm1.tptp2017-02-06 16:47 704  
[ ]prob_3__832_42.min1.thm12017-02-06 12:45 753  
[ ]prob_3__832_42.min1.thm1.tptp2017-02-06 16:47 712  
[ ]prob_3__849_65.min1.thm12017-02-06 12:45 823  
[ ]prob_3__849_65.min1.thm1.tptp2017-02-06 16:47 778  
[ ]prob_3__852_47.min1.thm12017-02-06 12:45 753  
[ ]prob_3__852_47.min1.thm1.tptp2017-02-06 16:47 712  
[ ]prob_3__857_41.min1.thm12017-02-06 12:45 713  
[ ]prob_3__864_47.min1.thm12017-02-06 12:45 713  
[ ]prob_3__885_17.min1.thm12017-02-06 12:45 937  
[ ]prob_3__885_17.min1.thm1.tptp2017-02-06 16:47 855  
[ ]prob_3__895_43.min1.thm12017-02-06 12:45 713  
[ ]prob_3__900_22.min1.thm12017-02-06 12:45 848  
[ ]prob_3__915_18.min1.thm12017-02-06 12:45 595  
[ ]prob_3__915_18.min1.thm1.tptp2017-02-06 16:47 541  
[ ]prob_3__918_18.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__919_24.min1.thm12017-02-06 12:45 464  
[ ]prob_3__921_31.min1.thm12017-02-06 12:45 447  
[ ]prob_3__921_31.min1.thm1.tptp2017-02-06 16:47 373  
[ ]prob_3__939_14.min1.thm12017-02-06 12:45 637  
[ ]prob_3__942_37.min1.thm12017-02-06 12:45 921  
[ ]prob_3__955_14.min1.thm12017-02-06 12:45 664  
[ ]prob_3__955_14.min1.thm1.tptp2017-02-06 16:47 587  
[ ]prob_3__992_13.min1.thm12017-02-06 12:45 261  
[ ]prob_3__995_21.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__999_23.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_3__1000_21.min1.thm12017-02-06 12:45 376  
[ ]prob_3__1000_21.min1.thm1.tptp2017-02-06 16:47 293  
[ ]prob_3__1017_19.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_3__1018_21.min1.thm12017-02-06 12:45 504  
[ ]prob_3__1021_34.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__1022_52.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_3__1023_19.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_3__1025_14.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_3__1029_70.min1.thm12017-02-06 12:45 886  
[ ]prob_3__1036_30.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_3__1037_16.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__1053_20.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_3__1054_49.min1.thm12017-02-06 12:45 1.8K 
[ ]prob_3__1055_21.min1.thm12017-02-06 12:45 525  
[ ]prob_3__1055_21.min1.thm1.tptp2017-02-06 16:47 453  
[ ]prob_3__1062_23.min1.thm12017-02-06 12:45 1.7K 
[ ]prob_3__1066_17.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_3__1067_17.min1.thm12017-02-06 12:45 755  
[ ]prob_3__1067_17.min1.thm1.tptp2017-02-06 16:47 690  
[ ]prob_3__1083_18.min1.thm12017-02-06 12:45 678  
[ ]prob_3__1095_28.min1.thm12017-02-06 12:45 1.6K 
[ ]prob_3__1096_20.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_3__1100_29.min1.thm12017-02-06 12:45 695  
[ ]prob_3__1101_18.min1.thm12017-02-06 12:45 816  
[ ]prob_3__1113_14.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__1114_13.min1.thm12017-02-06 12:45 129  
[ ]prob_3__1120_51.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__1121_20.min1.thm12017-02-06 12:45 833  
[ ]prob_3__1122_16.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_3__1134_29.min1.thm12017-02-06 12:45 542  
[ ]prob_3__1135_51.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__1136_22.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__1137_13.min1.thm12017-02-06 12:45 897  
[ ]prob_3__1138_16.min1.thm12017-02-06 12:45 480  
[ ]prob_3__1143_19.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__1153_35.min1.thm12017-02-06 12:45 615  
[ ]prob_3__1154_40.min1.thm12017-02-06 12:45 709  
[ ]prob_3__1155_24.min1.thm12017-02-06 12:45 794  
[ ]prob_3__1162_18.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_3__1163_40.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__1164_50.min1.thm12017-02-06 12:45 676  
[ ]prob_3__1166_36.min1.thm12017-02-06 12:45 412  
[ ]prob_3__1167_19.min1.thm12017-02-06 12:45 2.1K 
[ ]prob_3__1169_31.min1.thm12017-02-06 12:45 453  
[ ]prob_3__1169_31.min1.thm1.tptp2017-02-06 16:47 379  
[ ]prob_3__1173_65.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__1183_19.min1.thm12017-02-06 12:45 890  
[ ]prob_3__1193_17.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__1194_20.min1.thm12017-02-06 12:45 1.7K 
[ ]prob_3__1196_29.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__1205_28.min1.thm12017-02-06 12:45 1.6K 
[ ]prob_3__1206_24.min1.thm12017-02-06 12:45 1.7K 
[ ]prob_3__1208_46.min1.thm12017-02-06 12:45 454  
[ ]prob_3__1210_17.min1.thm12017-02-06 12:45 920  
[ ]prob_3__1210_17.min1.thm1.tptp2017-02-06 16:47 879  
[ ]prob_3__1216_11.min1.thm12017-02-06 12:45 183  
[ ]prob_3__1221_70.min1.thm12017-02-06 12:45 746  
[ ]prob_3__1228_19.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_3__1246_26.min1.thm12017-02-06 12:45 742  
[ ]prob_3__1251_26.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_3__1252_16.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_3__1259_13.min1.thm12017-02-06 12:45 263  
[ ]prob_3__1262_22.min1.thm12017-02-06 12:45 636  
[ ]prob_3__1263_22.min1.thm12017-02-06 12:45 346  
[ ]prob_3__1263_22.min1.thm1.tptp2017-02-06 16:47 263  
[ ]prob_3__1264_18.min1.thm12017-02-06 12:45 647  
[ ]prob_3__1268_24.min1.thm12017-02-06 12:45 1.7K 
[ ]prob_3__1269_21.min1.thm12017-02-06 12:45 589  
[ ]prob_3__1274_47.min1.thm12017-02-06 12:45 1.9K 
[ ]prob_3__1276_13.min1.thm12017-02-06 12:45 364  
[ ]prob_3__1277_17.min1.thm12017-02-06 12:45 651  
[ ]prob_3__1304_30.min1.thm12017-02-06 12:45 674  
[ ]prob_3__1305_27.min1.thm12017-02-06 12:45 1.8K 
[ ]prob_3__1315_27.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_3__1324_13.min1.thm12017-02-06 12:45 261  
[ ]prob_3__1331_24.min1.thm12017-02-06 12:45 2.1K 
[ ]prob_3__1332_21.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_3__1349_13.min1.thm12017-02-06 12:45 263  
[ ]prob_3__1352_23.min1.thm12017-02-06 12:45 506  
[ ]prob_3__1353_21.min1.thm12017-02-06 12:45 894  
[ ]prob_3__1357_26.min1.thm12017-02-06 12:45 601  
[ ]prob_3__1362_44.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_3__1364_16.min1.thm12017-02-06 12:45 825  
[ ]prob_3__1387_15.min1.thm12017-02-06 12:45 2.1K 
[ ]prob_3__1388_26.min1.thm12017-02-06 12:45 1.9K 
[ ]prob_3__1390_29.min1.thm12017-02-06 12:45 1.6K 
[ ]prob_3__1391_18.min1.thm12017-02-06 12:45 2.2K 
[ ]prob_3__1399_11.min1.thm12017-02-06 12:45 183  
[ ]prob_3__1402_33.min1.thm12017-02-06 12:45 804  
[ ]prob_3__1403_19.min1.thm12017-02-06 12:45 884  
[ ]prob_3__1407_28.min1.thm12017-02-06 12:45 1.7K 
[ ]prob_3__1408_62.min1.thm12017-02-06 12:45 2.1K 
[ ]prob_3__1409_20.min1.thm12017-02-06 12:45 710  
[ ]prob_3__1410_49.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__1426_41.min1.thm12017-02-06 12:45 2.2K 
[ ]prob_3__1427_19.min1.thm12017-02-06 12:45 2.0K 
[ ]prob_3__1428_27.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__1437_30.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__1438_50.min1.thm12017-02-06 12:45 1.8K 
[ ]prob_3__1442_17.min1.thm12017-02-06 12:45 843  
[ ]prob_3__1455_39.min1.thm12017-02-06 12:45 2.4K 
[ ]prob_3__1464_32.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_3__1465_37.min1.thm12017-02-06 12:45 392  
[ ]prob_3__1465_37.min1.thm1.tptp2017-02-06 16:47 315  
[ ]prob_3__1484_40.min1.thm12017-02-06 12:45 921  
[ ]prob_3__1488_48.min1.thm12017-02-06 12:45 2.1K 
[ ]prob_3__1489_27.min1.thm12017-02-06 12:45 3.4K 
[ ]prob_3__1491_17.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_3__1506_11.min1.thm12017-02-06 12:45 2.3K 
[ ]prob_3__1511_15.min1.thm12017-02-06 12:45 372  
[ ]prob_3__1516_9.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__1527_25.min1.thm12017-02-06 12:45 1.6K 
[ ]prob_3__1536_44.min1.thm12017-02-06 12:45 929  
[ ]prob_3__1537_28.min1.thm12017-02-06 12:45 1.9K 
[ ]prob_3__1539_24.min1.thm12017-02-06 12:45 2.1K 
[ ]prob_3__1551_40.min1.thm12017-02-06 12:45 921  
[ ]prob_3__1554_44.min1.thm12017-02-06 12:45 2.1K 
[ ]prob_3__1566_42.min1.thm12017-02-06 12:45 921  
[ ]prob_3__1569_57.min1.thm12017-02-06 12:45 1.8K 
[ ]prob_3__1583_47.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__1602_15.min1.thm12017-02-06 12:45 212  
[ ]prob_3__1607_23.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__1611_29.min1.thm12017-02-06 12:45 1.7K 
[ ]prob_3__1613_30.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__1630_49.min1.thm12017-02-06 12:45 889  
[ ]prob_3__1632_23.min1.thm12017-02-06 12:45 521  
[ ]prob_3__1635_28.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__1639_35.min1.thm12017-02-06 12:45 2.5K 
[ ]prob_3__1643_63.min1.thm12017-02-06 12:45 2.3K 
[ ]prob_3__1646_24.min1.thm12017-02-06 12:45 4.0K 
[ ]prob_3__1657_52.min1.thm12017-02-06 12:45 1.7K 
[ ]prob_3__1657_52.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]prob_3__1660_47.min1.thm12017-02-06 12:45 1.6K 
[ ]prob_3__1663_21.min1.thm12017-02-06 12:45 408  
[ ]prob_3__1666_51.min1.thm12017-02-06 12:45 2.0K 
[ ]prob_3__1667_22.min1.thm12017-02-06 12:45 1.7K 
[ ]prob_3__1679_21.min1.thm12017-02-06 12:45 547  
[ ]prob_3__1707_55.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_3__1708_65.min1.thm12017-02-06 12:45 942  
[ ]prob_3__1708_65.min1.thm1.tptp2017-02-06 16:47 865  
[ ]prob_3__1709_50.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_3__1714_32.min1.thm12017-02-06 12:45 2.0K 
[ ]prob_3__1719_30.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__1722_29.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_3__1725_16.min1.thm12017-02-06 12:45 478  
[ ]prob_3__1757_15.min1.thm12017-02-06 12:45 407  
[ ]prob_3__1760_31.min1.thm12017-02-06 12:45 2.3K 
[ ]prob_3__1767_23.min1.thm12017-02-06 12:45 646  
[ ]prob_3__1808_27.min1.thm12017-02-06 12:45 930  
[ ]prob_3__1810_16.min1.thm12017-02-06 12:45 842  
[ ]prob_3__1810_16.min1.thm1.tptp2017-02-06 16:47 797  
[ ]prob_3__1822_19.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__1823_19.min1.thm12017-02-06 12:45 910  
[ ]prob_3__1845_27.min1.thm12017-02-06 12:45 926  
[ ]prob_3__1847_16.min1.thm12017-02-06 12:45 842  
[ ]prob_3__1847_16.min1.thm1.tptp2017-02-06 16:47 797  
[ ]prob_3__1859_19.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__1860_19.min1.thm12017-02-06 12:45 906  
[ ]prob_3__1862_17.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__1869_26.min1.thm12017-02-06 12:45 919  
[ ]prob_3__1872_33.min1.thm12017-02-06 12:45 913  
[ ]prob_3__1882_18.min1.thm12017-02-06 12:45 327  
[ ]prob_3__1901_43.min1.thm12017-02-06 12:45 372  
[ ]prob_3__1909_18.min1.thm12017-02-06 12:45 809  
[ ]prob_3__1919_16.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_3__1925_39.min1.thm12017-02-06 12:45 443  
[ ]prob_3__1932_55.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__1933_19.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__1941_55.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__1942_19.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__1955_40.min1.thm12017-02-06 12:45 721  
[ ]prob_3__1955_40.min1.thm1.tptp2017-02-06 16:47 630  
[ ]prob_3__1963_45.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_3__1965_18.min1.thm12017-02-06 12:45 378  
[ ]prob_3__1965_18.min1.thm1.tptp2017-02-06 16:47 292  
[ ]prob_3__1998_26.min1.thm12017-02-06 12:45 683  
[ ]prob_3__2000_19.min1.thm12017-02-06 12:45 841  
[ ]prob_3__2006_41.min1.thm12017-02-06 12:45 540  
[ ]prob_3__2025_26.min1.thm12017-02-06 12:45 964  
[ ]prob_3__2026_16.min1.thm12017-02-06 12:45 444  
[ ]prob_3__2028_41.min1.thm12017-02-06 12:45 585  
[ ]prob_3__2030_19.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_3__2043_29.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__2049_31.min1.thm12017-02-06 12:45 972  
[ ]prob_3__2052_19.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_3__2060_15.min1.thm12017-02-06 12:45 943  
[ ]prob_3__2061_19.min1.thm12017-02-06 12:45 488  
[ ]prob_3__2063_17.min1.thm12017-02-06 12:45 1.6K 
[ ]prob_3__2071_20.min1.thm12017-02-06 12:45 638  
[ ]prob_3__2071_20.min1.thm1.tptp2017-02-06 16:47 561  
[ ]prob_3__2072_18.min1.thm12017-02-06 12:45 671  
[ ]prob_3__2081_28.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__2082_73.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__2096_19.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_3__2097_18.min1.thm12017-02-06 12:45 1.8K 
[ ]prob_3__2112_25.min1.thm12017-02-06 12:45 781  
[ ]prob_3__2116_25.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__2125_25.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__2134_25.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__2140_30.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_3__2143_26.min1.thm12017-02-06 12:45 1.6K 
[ ]prob_3__2147_25.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__2153_29.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_3__2156_25.min1.thm12017-02-06 12:45 1.6K 
[ ]prob_3__2157_29.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_3__2159_30.min1.thm12017-02-06 12:45 1.6K 
[ ]prob_3__2163_19.min1.thm12017-02-06 12:45 367  
[ ]prob_3__2163_19.min1.thm1.tptp2017-02-06 16:47 303  
[ ]prob_3__2179_20.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_3__2180_32.min1.thm12017-02-06 12:45 1.7K 
[ ]prob_3__2183_10.min1.thm12017-02-06 12:45 863  
[ ]prob_3__2185_19.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_3__2203_13.min1.thm12017-02-06 12:45 795  
[ ]prob_3__2205_21.min1.thm12017-02-06 12:45 1.7K 
[ ]prob_3__2206_34.min1.thm12017-02-06 12:45 1.8K 
[ ]prob_3__2207_21.min1.thm12017-02-06 12:45 2.5K 
[ ]prob_3__2209_34.min1.thm12017-02-06 12:45 761  
[ ]prob_3__2210_19.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_3__2214_17.min1.thm12017-02-06 12:45 527  
[ ]prob_3__2214_17.min1.thm1.tptp2017-02-06 16:47 451  
[ ]prob_3__2216_19.min1.thm12017-02-06 12:45 857  
[ ]prob_3__2222_27.min1.thm12017-02-06 12:45 2.1K 
[ ]prob_3__2223_19.min1.thm12017-02-06 12:45 590  
[ ]prob_3__2233_25.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_3__2242_45.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_3__2244_45.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__2245_25.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_3__2246_37.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_3__2247_53.min1.thm12017-02-06 12:45 1.9K 
[ ]prob_3__2248_17.min1.thm12017-02-06 12:45 1.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80