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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]simplex2__86_21.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__87_11.min1.thm12017-02-06 12:46 278  
[ ]simplex2__99_22.min1.thm12017-02-06 12:46 465  
[ ]simplex2__99_22.min1.thm1.tptp2017-02-06 16:47 408  
[ ]simplex2__104_26.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__105_29.min1.thm12017-02-06 12:46 891  
[ ]simplex2__106_23.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__109_44.min1.thm12017-02-06 12:46 720  
[ ]simplex2__110_22.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__111_16.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__112_62.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex2__122_13.min1.thm12017-02-06 12:46 296  
[ ]simplex2__125_19.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__125_19.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]simplex2__130_25.min1.thm12017-02-06 12:46 945  
[ ]simplex2__131_46.min1.thm12017-02-06 12:46 689  
[ ]simplex2__133_52.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__134_30.min1.thm12017-02-06 12:46 323  
[ ]simplex2__134_30.min1.thm1.tptp2017-02-06 16:47 242  
[ ]simplex2__156_57.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex2__157_46.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__159_22.min1.thm12017-02-06 12:46 529  
[ ]simplex2__172_13.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__184_48.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__186_53.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex2__190_34.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex2__201_41.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__201_41.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]simplex2__215_21.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex2__216_25.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex2__218_31.min1.thm12017-02-06 12:46 533  
[ ]simplex2__222_15.min1.thm12017-02-06 12:46 803  
[ ]simplex2__225_18.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex2__226_19.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__230_33.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__233_17.min1.thm12017-02-06 12:46 835  
[ ]simplex2__234_25.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__237_19.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__239_25.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__245_48.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__247_63.min1.thm12017-02-06 12:46 2.7K 
[ ]simplex2__251_35.min1.thm12017-02-06 12:46 2.8K 
[ ]simplex2__256_18.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex2__257_29.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__258_18.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__261_38.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__261_38.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]simplex2__266_37.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__273_32.min1.thm12017-02-06 12:46 2.7K 
[ ]simplex2__279_15.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__282_19.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__286_23.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__294_47.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__300_34.min1.thm12017-02-06 12:46 2.7K 
[ ]simplex2__306_14.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__307_20.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__314_18.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__316_19.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__338_69.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__341_38.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex2__342_26.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__361_16.min1.thm12017-02-06 12:46 481  
[ ]simplex2__362_34.min1.thm12017-02-06 12:46 589  
[ ]simplex2__364_32.min1.thm12017-02-06 12:46 780  
[ ]simplex2__366_38.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex2__367_26.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__384_34.min1.thm12017-02-06 12:46 763  
[ ]simplex2__403_11.min1.thm12017-02-06 12:46 200  
[ ]simplex2__405_15.min1.thm12017-02-06 12:46 730  
[ ]simplex2__409_57.min1.thm12017-02-06 12:46 533  
[ ]simplex2__412_17.min1.thm12017-02-06 12:46 453  
[ ]simplex2__412_17.min1.thm1.tptp2017-02-06 16:47 376  
[ ]simplex2__414_32.min1.thm12017-02-06 12:46 606  
[ ]simplex2__418_73.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__421_18.min1.thm12017-02-06 12:46 365  
[ ]simplex2__423_61.min1.thm12017-02-06 12:46 930  
[ ]simplex2__425_33.min1.thm12017-02-06 12:46 875  
[ ]simplex2__426_30.min1.thm12017-02-06 12:46 652  
[ ]simplex2__428_27.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex2__433_21.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__450_72.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__454_17.min1.thm12017-02-06 12:46 317  
[ ]simplex2__456_60.min1.thm12017-02-06 12:46 832  
[ ]simplex2__458_32.min1.thm12017-02-06 12:46 826  
[ ]simplex2__459_12.min1.thm12017-02-06 12:46 709  
[ ]simplex2__465_22.min1.thm12017-02-06 12:46 920  
[ ]simplex2__469_17.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex2__486_41.min1.thm12017-02-06 12:46 932  
[ ]simplex2__488_32.min1.thm12017-02-06 12:46 579  
[ ]simplex2__489_17.min1.thm12017-02-06 12:46 595  
[ ]simplex2__504_18.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex2__506_14.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__516_13.min1.thm12017-02-06 12:46 750  
[ ]simplex2__516_13.min1.thm1.tptp2017-02-06 16:47 673  
[ ]simplex2__526_47.min1.thm12017-02-06 12:46 827  
[ ]simplex2__528_76.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__533_17.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__542_11.min1.thm12017-02-06 12:46 910  
[ ]simplex2__550_21.min1.thm12017-02-06 12:46 395  
[ ]simplex2__551_50.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__555_36.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__556_22.min1.thm12017-02-06 12:46 658  
[ ]simplex2__557_15.min1.thm12017-02-06 12:46 658  
[ ]simplex2__559_17.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__564_17.min1.thm12017-02-06 12:46 401  
[ ]simplex2__586_45.min1.thm12017-02-06 12:46 946  
[ ]simplex2__587_19.min1.thm12017-02-06 12:46 876  
[ ]simplex2__589_44.min1.thm12017-02-06 12:46 411  
[ ]simplex2__589_44.min1.thm1.tptp2017-02-06 16:47 344  
[ ]simplex2__593_24.min1.thm12017-02-06 12:46 543  
[ ]simplex2__593_24.min1.thm1.tptp2017-02-06 16:47 489  
[ ]simplex2__594_33.min1.thm12017-02-06 12:46 767  
[ ]simplex2__596_72.min1.thm12017-02-06 12:46 919  
[ ]simplex2__601_22.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__602_17.min1.thm12017-02-06 12:46 797  
[ ]simplex2__605_33.min1.thm12017-02-06 12:46 603  
[ ]simplex2__606_18.min1.thm12017-02-06 12:46 734  
[ ]simplex2__607_20.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__612_16.min1.thm12017-02-06 12:46 725  
[ ]simplex2__613_18.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__614_21.min1.thm12017-02-06 12:46 898  
[ ]simplex2__621_22.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__622_16.min1.thm12017-02-06 12:46 766  
[ ]simplex2__625_18.min1.thm12017-02-06 12:46 787  
[ ]simplex2__637_17.min1.thm12017-02-06 12:46 857  
[ ]simplex2__639_14.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex2__641_12.min1.thm12017-02-06 12:46 131  
[ ]simplex2__648_11.min1.thm12017-02-06 12:46 301  
[ ]simplex2__652_24.min1.thm12017-02-06 12:46 539  
[ ]simplex2__652_24.min1.thm1.tptp2017-02-06 16:47 485  
[ ]simplex2__653_33.min1.thm12017-02-06 12:46 759  
[ ]simplex2__655_16.min1.thm12017-02-06 12:46 917  
[ ]simplex2__656_24.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__660_18.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex2__670_47.min1.thm12017-02-06 12:46 811  
[ ]simplex2__671_11.min1.thm12017-02-06 12:46 301  
[ ]simplex2__673_43.min1.thm12017-02-06 12:46 548  
[ ]simplex2__674_75.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex2__679_27.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex2__680_18.min1.thm12017-02-06 12:46 848  
[ ]simplex2__692_47.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__693_11.min1.thm12017-02-06 12:46 391  
[ ]simplex2__695_47.min1.thm12017-02-06 12:46 638  
[ ]simplex2__697_39.min1.thm12017-02-06 12:46 515  
[ ]simplex2__698_50.min1.thm12017-02-06 12:46 579  
[ ]simplex2__705_29.min1.thm12017-02-06 12:46 937  
[ ]simplex2__706_34.min1.thm12017-02-06 12:46 676  
[ ]simplex2__713_18.min1.thm12017-02-06 12:46 969  
[ ]simplex2__723_10.min1.thm12017-02-06 12:46 664  
[ ]simplex2__727_21.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__728_34.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__729_46.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__733_34.min1.thm12017-02-06 12:46 708  
[ ]simplex2__740_29.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__741_26.min1.thm12017-02-06 12:46 781  
[ ]simplex2__751_28.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__752_25.min1.thm12017-02-06 12:46 761  
[ ]simplex2__757_33.min1.thm12017-02-06 12:46 698  
[ ]simplex2__761_26.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__770_62.min1.thm12017-02-06 12:46 2.8K 
[ ]simplex2__772_33.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex2__775_22.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__776_34.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__779_7.min1.thm12017-02-06 12:46 234  
[ ]simplex2__780_27.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__782_17.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex2__792_10.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__798_14.min1.thm12017-02-06 12:46 496  
[ ]simplex2__798_14.min1.thm1.tptp2017-02-06 16:47 437  
[ ]simplex2__813_31.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__814_17.min1.thm12017-02-06 12:46 614  
[ ]simplex2__820_54.min1.thm12017-02-06 12:46 737  
[ ]simplex2__836_8.min1.thm12017-02-06 12:46 335  
[ ]simplex2__836_8.min1.thm1.tptp2017-02-06 16:47 270  
[ ]simplex2__837_17.min1.thm12017-02-06 12:46 485  
[ ]simplex2__865_33.min1.thm12017-02-06 12:46 660  
[ ]simplex2__883_18.min1.thm12017-02-06 12:46 730  
[ ]simplex2__885_31.min1.thm12017-02-06 12:46 716  
[ ]simplex2__886_18.min1.thm12017-02-06 12:46 731  
[ ]simplex2__887_54.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__890_19.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__892_14.min1.thm12017-02-06 12:46 624  
[ ]simplex2__893_19.min1.thm12017-02-06 12:46 716  
[ ]simplex2__901_20.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__908_12.min1.thm12017-02-06 12:46 207  
[ ]simplex2__910_29.min1.thm12017-02-06 12:46 491  
[ ]simplex2__912_17.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__918_23.min1.thm12017-02-06 12:46 575  
[ ]simplex2__919_58.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__920_25.min1.thm12017-02-06 12:46 810  
[ ]simplex2__924_22.min1.thm12017-02-06 12:46 949  
[ ]simplex2__939_27.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__947_29.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__952_27.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__962_14.min1.thm12017-02-06 12:46 427  
[ ]simplex2__966_45.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__971_33.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__973_23.min1.thm12017-02-06 12:46 809  
[ ]simplex2__976_31.min1.thm12017-02-06 12:46 759  
[ ]simplex2__981_34.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__985_29.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__990_36.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex2__1000_20.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex2__1004_14.min1.thm12017-02-06 12:46 392  
[ ]simplex2__1004_14.min1.thm1.tptp2017-02-06 16:47 318  
[ ]simplex2__1017_18.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex2__1047_19.min1.thm12017-02-06 12:46 419  
[ ]simplex2__1047_19.min1.thm1.tptp2017-02-06 16:47 342  
[ ]simplex2__1052_12.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__1056_15.min1.thm12017-02-06 12:46 614  
[ ]simplex2__1062_19.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__1067_21.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex2__1086_15.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__1103_29.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__1105_20.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__1105_20.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]simplex2__1109_27.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__1111_17.min1.thm12017-02-06 12:46 673  
[ ]simplex2__1113_21.min1.thm12017-02-06 12:46 823  
[ ]simplex2__1125_11.min1.thm12017-02-06 12:46 568  
[ ]simplex2__1142_17.min1.thm12017-02-06 12:46 372  
[ ]simplex2__1143_58.min1.thm12017-02-06 12:46 737  
[ ]simplex2__1153_44.min1.thm12017-02-06 12:46 636  
[ ]simplex2__1160_47.min1.thm12017-02-06 12:46 644  
[ ]simplex2__1176_54.min1.thm12017-02-06 12:46 737  
[ ]simplex2__1179_53.min1.thm12017-02-06 12:46 972  
[ ]simplex2__1188_10.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__1190_29.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__1193_23.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__1195_17.min1.thm12017-02-06 12:46 883  
[ ]simplex2__1206_11.min1.thm12017-02-06 12:46 191  
[ ]simplex2__1219_18.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex2__1241_34.min1.thm12017-02-06 12:46 385  
[ ]simplex2__1241_34.min1.thm1.tptp2017-02-06 16:47 308  
[ ]simplex2__1243_25.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__1245_31.min1.thm12017-02-06 12:46 865  
[ ]simplex2__1246_27.min1.thm12017-02-06 12:46 726  
[ ]simplex2__1247_21.min1.thm12017-02-06 12:46 693  
[ ]simplex2__1250_60.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex2__1252_12.min1.thm12017-02-06 12:46 823  
[ ]simplex2__1277_38.min1.thm12017-02-06 12:46 450  
[ ]simplex2__1279_39.min1.thm12017-02-06 12:46 568  
[ ]simplex2__1283_73.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex2__1286_38.min1.thm12017-02-06 12:46 909  
[ ]simplex2__1287_38.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex2__1288_41.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__1289_23.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__1291_48.min1.thm12017-02-06 12:46 501  
[ ]simplex2__1291_48.min1.thm1.tptp2017-02-06 16:47 418  
[ ]simplex2__1292_27.min1.thm12017-02-06 12:46 384  
[ ]simplex2__1292_27.min1.thm1.tptp2017-02-06 16:47 307  
[ ]simplex2__1293_46.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__1295_12.min1.thm12017-02-06 12:46 193  
[ ]simplex2__1297_22.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__1302_21.min1.thm12017-02-06 12:46 586  
[ ]simplex2__1307_33.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__1308_17.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__1311_13.min1.thm12017-02-06 12:46 201  
[ ]simplex2__1316_22.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__1317_27.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__1318_32.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__1319_66.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex2__1324_43.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__1330_15.min1.thm12017-02-06 12:46 810  
[ ]simplex2__1331_25.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__1332_22.min1.thm12017-02-06 12:46 3.1K 
[ ]simplex2__1337_38.min1.thm12017-02-06 12:46 2.6K 
[ ]simplex2__1358_54.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__1367_16.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex2__1370_25.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__1399_22.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__1404_22.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__1405_23.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__1406_23.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__1412_44.min1.thm12017-02-06 12:46 501  
[ ]simplex2__1412_44.min1.thm1.tptp2017-02-06 16:47 418  
[ ]simplex2__1414_12.min1.thm12017-02-06 12:46 333  
[ ]simplex2__1417_13.min1.thm12017-02-06 12:46 329  
[ ]simplex2__1420_33.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex2__1424_18.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__1427_25.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex2__1432_17.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__1438_17.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex2__1448_23.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex2__1451_14.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__1451_14.min1.thm1.tptp2017-02-06 16:47 909  
[ ]simplex2__1465_11.min1.thm12017-02-06 12:46 447  
[ ]simplex2__1473_18.min1.thm12017-02-06 12:46 692  
[ ]simplex2__1476_12.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__1477_16.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__1480_13.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__1481_20.min1.thm12017-02-06 12:46 2.9K 
[ ]simplex2__1484_25.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__1487_36.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__1489_27.min1.thm12017-02-06 12:46 2.6K 
[ ]simplex2__1492_15.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__1507_34.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__1508_62.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex2__1516_49.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex2__1518_28.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__1519_19.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__1530_28.min1.thm12017-02-06 12:46 4.2K 
[ ]simplex2__1538_54.min1.thm12017-02-06 12:46 737  
[ ]simplex2__1559_39.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__1560_47.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__1561_47.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__1562_39.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__1579_14.min1.thm12017-02-06 12:46 678  
[ ]simplex2__1589_47.min1.thm12017-02-06 12:46 754  
[ ]simplex2__1594_19.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__1597_37.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex2__1604_41.min1.thm12017-02-06 12:46 500  
[ ]simplex2__1609_27.min1.thm12017-02-06 12:46 768  
[ ]simplex2__1610_12.min1.thm12017-02-06 12:46 193  
[ ]simplex2__1613_18.min1.thm12017-02-06 12:46 424  
[ ]simplex2__1617_18.min1.thm12017-02-06 12:46 385  
[ ]simplex2__1618_42.min1.thm12017-02-06 12:46 530  
[ ]simplex2__1628_45.min1.thm12017-02-06 12:46 538  
[ ]simplex2__1632_38.min1.thm12017-02-06 12:46 848  
[ ]simplex2__1633_36.min1.thm12017-02-06 12:46 760  
[ ]simplex2__1638_11.min1.thm12017-02-06 12:46 189  
[ ]simplex2__1640_31.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__1641_23.min1.thm12017-02-06 12:46 872  
[ ]simplex2__1647_18.min1.thm12017-02-06 12:46 891  
[ ]simplex2__1660_43.min1.thm12017-02-06 12:46 685  
[ ]simplex2__1664_47.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex2__1665_17.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex2__1666_19.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__1669_21.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex2__1674_40.min1.thm12017-02-06 12:46 494  
[ ]simplex2__1676_18.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__1677_19.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex2__1678_28.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__1679_13.min1.thm12017-02-06 12:46 609  
[ ]simplex2__1682_30.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex2__1683_23.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex2__1684_14.min1.thm12017-02-06 12:46 583  
[ ]simplex2__1684_14.min1.thm1.tptp2017-02-06 16:47 506  
[ ]simplex2__1687_24.min1.thm12017-02-06 12:46 671  
[ ]simplex2__1688_27.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__1689_21.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__1704_12.min1.thm12017-02-06 12:46 195  
[ ]simplex2__1706_19.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__1719_19.min1.thm12017-02-06 12:46 384  
[ ]simplex2__1725_15.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex2__1732_42.min1.thm12017-02-06 12:46 916  
[ ]simplex2__1733_37.min1.thm12017-02-06 12:46 917  
[ ]simplex2__1734_43.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__1735_43.min1.thm12017-02-06 12:46 767  
[ ]simplex2__1737_59.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__1742_71.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex2__1744_35.min1.thm12017-02-06 12:46 770  
[ ]simplex2__1744_35.min1.thm1.tptp2017-02-06 16:47 699  
[ ]simplex2__1755_27.min1.thm12017-02-06 12:46 3.4K 
[ ]simplex2__1767_14.min1.thm12017-02-06 12:46 626  
[ ]simplex2__1767_14.min1.thm1.tptp2017-02-06 16:47 575  
[ ]simplex2__1773_13.min1.thm12017-02-06 12:46 625  
[ ]simplex2__1773_13.min1.thm1.tptp2017-02-06 16:47 574  
[ ]simplex2__1782_13.min1.thm12017-02-06 12:46 376  
[ ]simplex2__1784_14.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__1815_45.min1.thm12017-02-06 12:46 737  
[ ]simplex2__1822_44.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__1826_17.min1.thm12017-02-06 12:46 2.9K 
[ ]simplex2__1870_24.min1.thm12017-02-06 12:46 2.8K 
[ ]simplex2__1872_18.min1.thm12017-02-06 12:46 907  
[ ]simplex2__1877_25.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__1885_19.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__1887_17.min1.thm12017-02-06 12:46 309  
[ ]simplex2__1887_17.min1.thm1.tptp2017-02-06 16:47 232  
[ ]simplex2__1910_44.min1.thm12017-02-06 12:46 548  
[ ]simplex2__1915_32.min1.thm12017-02-06 12:46 786  
[ ]simplex2__1938_45.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__1940_47.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__1940_47.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]simplex2__1951_16.min1.thm12017-02-06 12:46 769  
[ ]simplex2__1960_18.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__1962_62.min1.thm12017-02-06 12:46 767  
[ ]simplex2__1963_16.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__1964_31.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex2__1966_32.min1.thm12017-02-06 12:46 344  
[ ]simplex2__1967_48.min1.thm12017-02-06 12:46 606  
[ ]simplex2__1987_19.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__2013_17.min1.thm12017-02-06 12:46 684  
[ ]simplex2__2016_23.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__2028_12.min1.thm12017-02-06 12:46 197  
[ ]simplex2__2031_19.min1.thm12017-02-06 12:46 886  
[ ]simplex2__2061_24.min1.thm12017-02-06 12:46 584  
[ ]simplex2__2075_16.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__2081_20.min1.thm12017-02-06 12:46 325  
[ ]simplex2__2081_20.min1.thm1.tptp2017-02-06 16:47 248  
[ ]simplex2__2082_27.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__2097_26.min1.thm12017-02-06 12:46 667  
[ ]simplex2__2097_26.min1.thm1.tptp2017-02-06 16:47 590  
[ ]simplex2__2099_37.min1.thm12017-02-06 12:46 544  
[ ]simplex2__2115_34.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex2__2129_12.min1.thm12017-02-06 12:46 225  
[ ]simplex2__2139_31.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__2141_27.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__2162_17.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__2176_46.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__2177_19.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__2178_35.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__2184_21.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__2187_18.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__2194_17.min1.thm12017-02-06 12:46 784  
[ ]simplex2__2195_15.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex2__2197_19.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__2199_57.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__2214_16.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__2215_22.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__2226_13.min1.thm12017-02-06 12:46 701  
[ ]simplex2__2229_33.min1.thm12017-02-06 12:46 879  
[ ]simplex2__2270_17.min1.thm12017-02-06 12:46 817  
[ ]simplex2__2284_15.min1.thm12017-02-06 12:46 187  
[ ]simplex2__2285_16.min1.thm12017-02-06 12:46 562  
[ ]simplex2__2291_26.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__2298_18.min1.thm12017-02-06 12:46 791  
[ ]simplex2__2299_26.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__2300_19.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex2__2302_40.min1.thm12017-02-06 12:46 2.8K 
[ ]simplex2__2305_51.min1.thm12017-02-06 12:46 789  
[ ]simplex2__2312_24.min1.thm12017-02-06 12:46 875  
[ ]simplex2__2318_18.min1.thm12017-02-06 12:46 509  
[ ]simplex2__2322_26.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__2325_16.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__2328_30.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__2330_26.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__2331_20.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__2337_32.min1.thm12017-02-06 12:46 944  
[ ]simplex2__2340_43.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__2353_13.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex2__2355_18.min1.thm12017-02-06 12:46 463  
[ ]simplex2__2361_77.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__2366_20.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex2__2371_14.min1.thm12017-02-06 12:46 552  
[ ]simplex2__2374_30.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex2__2380_23.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__2381_31.min1.thm12017-02-06 12:46 2.7K 
[ ]simplex2__2382_16.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__2384_26.min1.thm12017-02-06 12:46 776  
[ ]simplex2__2385_38.min1.thm12017-02-06 12:46 710  
[ ]simplex2__2396_26.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__2398_16.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__2404_21.min1.thm12017-02-06 12:46 551  
[ ]simplex2__2404_21.min1.thm1.tptp2017-02-06 16:47 474  
[ ]simplex2__2406_20.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__2410_48.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__2416_28.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__2424_18.min1.thm12017-02-06 12:46 639  
[ ]simplex2__2429_28.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__2434_20.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__2452_17.min1.thm12017-02-06 12:46 838  
[ ]simplex2__2454_45.min1.thm12017-02-06 12:46 759  
[ ]simplex2__2455_28.min1.thm12017-02-06 12:46 641  
[ ]simplex2__2455_28.min1.thm1.tptp2017-02-06 16:47 563  
[ ]simplex2__2456_16.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__2468_18.min1.thm12017-02-06 12:46 566  
[ ]simplex2__2472_19.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__2480_20.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__2485_16.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__2490_12.min1.thm12017-02-06 12:46 621  
[ ]simplex2__2490_12.min1.thm1.tptp2017-02-06 16:47 544  
[ ]simplex2__2491_21.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex2__2495_48.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__2502_29.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__2503_22.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__2512_16.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__2520_43.min1.thm12017-02-06 12:46 2.8K 
[ ]simplex2__2533_21.min1.thm12017-02-06 12:46 824  
[ ]simplex2__2540_30.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex2__2541_30.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__2542_16.min1.thm12017-02-06 12:46 555  
[ ]simplex2__2564_27.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex2__2565_42.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex2__2566_16.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__2571_38.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex2__2578_33.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex2__2589_17.min1.thm12017-02-06 12:46 605  
[ ]simplex2__2600_29.min1.thm12017-02-06 12:46 683  
[ ]simplex2__2600_29.min1.thm1.tptp2017-02-06 16:47 606  
[ ]simplex2__2609_34.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex2__2613_16.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__2620_14.min1.thm12017-02-06 12:46 547  
[ ]simplex2__2620_14.min1.thm1.tptp2017-02-06 16:47 470  
[ ]simplex2__2629_22.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__2633_30.min1.thm12017-02-06 12:46 685  
[ ]simplex2__2651_21.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__2664_21.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__2670_19.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex2__2672_28.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex2__2673_24.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex2__2679_17.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__2687_23.min1.thm12017-02-06 12:46 749  
[ ]simplex2__2695_26.min1.thm12017-02-06 12:46 841  
[ ]simplex2__2699_33.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex2__2702_32.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__2717_18.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__2718_36.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__2723_30.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex2__2725_17.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex2__2734_20.min1.thm12017-02-06 12:46 727  
[ ]simplex2__2735_40.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex2__2739_18.min1.thm12017-02-06 12:46 1.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80