Index of /~mptp/1147/MPTP2/ilp0/prob_4

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]prob_4__63_63.min1.thm12017-02-06 12:44 659  
[   ]prob_4__64_45.min1.thm12017-02-06 12:44 767  
[   ]prob_4__65_43.min1.thm12017-02-06 12:44 862  
[   ]prob_4__66_19.min1.thm12017-02-06 12:44 617  
[   ]prob_4__66_19.min1.thm1.tptp2017-02-06 16:47 555  
[   ]prob_4__70_43.min1.thm12017-02-06 12:44 607  
[   ]prob_4__70_43.min1.thm1.tptp2017-02-06 16:47 545  
[   ]prob_4__72_40.min1.thm12017-02-06 12:44 848  
[   ]prob_4__73_20.min1.thm12017-02-06 12:44 1.1K 
[   ]prob_4__74_17.min1.thm12017-02-06 12:44 681  
[   ]prob_4__102_42.min1.thm12017-02-06 12:44 674  
[   ]prob_4__102_42.min1.thm1.tptp2017-02-06 16:47 591  
[   ]prob_4__108_42.min1.thm12017-02-06 12:45 1.2K 
[   ]prob_4__109_27.min1.thm12017-02-06 12:44 1.0K 
[   ]prob_4__110_14.min1.thm12017-02-06 12:44 814  
[   ]prob_4__119_26.min1.thm12017-02-06 12:44 790  
[   ]prob_4__119_26.min1.thm1.tptp2017-02-06 16:47 739  
[   ]prob_4__123_15.min1.thm12017-02-06 12:44 376  
[   ]prob_4__125_16.min1.thm12017-02-06 12:45 1.0K 
[   ]prob_4__142_17.min1.thm12017-02-06 12:44 384  
[   ]prob_4__143_23.min1.thm12017-02-06 12:45 855  
[   ]prob_4__144_21.min1.thm12017-02-06 12:45 530  
[   ]prob_4__155_42.min1.thm12017-02-06 12:45 505  
[   ]prob_4__157_40.min1.thm12017-02-06 12:45 1.8K 
[   ]prob_4__159_15.min1.thm12017-02-06 12:44 817  
[   ]prob_4__177_13.min1.thm12017-02-06 12:44 273  
[   ]prob_4__180_20.min1.thm12017-02-06 12:44 444  
[   ]prob_4__182_18.min1.thm12017-02-06 12:44 754  
[   ]prob_4__183_18.min1.thm12017-02-06 12:44 869  
[   ]prob_4__187_23.min1.thm12017-02-06 12:44 379  
[   ]prob_4__187_23.min1.thm1.tptp2017-02-06 16:47 296  
[   ]prob_4__196_22.min1.thm12017-02-06 12:45 838  
[   ]prob_4__198_31.min1.thm12017-02-06 12:44 1.2K 
[   ]prob_4__199_18.min1.thm12017-02-06 12:45 1.3K 
[   ]prob_4__203_23.min1.thm12017-02-06 12:44 379  
[   ]prob_4__203_23.min1.thm1.tptp2017-02-06 16:47 296  
[   ]prob_4__212_20.min1.thm12017-02-06 12:44 408  
[   ]prob_4__213_22.min1.thm12017-02-06 12:45 754  
[   ]prob_4__215_21.min1.thm12017-02-06 12:44 462  
[   ]prob_4__232_40.min1.thm12017-02-06 12:44 502  
[   ]prob_4__239_18.min1.thm12017-02-06 12:44 363  
[   ]prob_4__239_18.min1.thm1.tptp2017-02-06 16:47 277  
[   ]prob_4__241_19.min1.thm12017-02-06 12:44 2.0K 
[   ]prob_4__254_42.min1.thm12017-02-06 12:44 925  
[   ]prob_4__261_19.min1.thm12017-02-06 12:44 867  
[   ]prob_4__303_15.min1.thm12017-02-06 12:44 528  
[   ]prob_4__303_15.min1.thm1.tptp2017-02-06 16:47 451  
[   ]prob_4__305_10.min1.thm12017-02-06 12:44 432  
[   ]prob_4__308_59.min1.thm12017-02-06 12:44 536  
[   ]prob_4__326_31.min1.thm12017-02-06 12:44 3.9K 
[   ]prob_4__380_31.min1.thm12017-02-06 12:44 1.8K 
[   ]prob_4__381_38.min1.thm12017-02-06 12:44 1.9K 
[   ]prob_4__386_18.min1.thm12017-02-06 12:44 3.5K 
[   ]prob_4__387_22.min1.thm12017-02-06 12:44 2.3K 
[   ]prob_4__389_8.min1.thm12017-02-06 12:44 416  
[   ]prob_4__402_44.min1.thm12017-02-06 12:44 867  
[   ]prob_4__403_21.min1.thm12017-02-06 12:44 757  
[   ]prob_4__407_57.min1.thm12017-02-06 12:44 1.6K 
[   ]prob_4__410_19.min1.thm12017-02-06 12:44 2.3K 
[   ]prob_4__411_38.min1.thm12017-02-06 12:45 845  
[   ]prob_4__419_54.min1.thm12017-02-06 12:44 1.2K 
[   ]prob_4__425_32.min1.thm12017-02-06 12:45 1.7K 
[   ]prob_4__428_41.min1.thm12017-02-06 12:44 2.0K 
[   ]prob_4__429_45.min1.thm12017-02-06 12:45 1.2K 
[   ]prob_4__433_22.min1.thm12017-02-06 12:45 1.3K 
[   ]prob_4__434_17.min1.thm12017-02-06 12:44 1.6K 
[   ]prob_4__445_42.min1.thm12017-02-06 12:44 867  
[   ]prob_4__446_21.min1.thm12017-02-06 12:44 757  
[   ]prob_4__450_57.min1.thm12017-02-06 12:45 1.6K 
[   ]prob_4__453_19.min1.thm12017-02-06 12:44 2.3K 
[   ]prob_4__454_38.min1.thm12017-02-06 12:44 845  
[   ]prob_4__462_54.min1.thm12017-02-06 12:44 1.2K 
[   ]prob_4__468_32.min1.thm12017-02-06 12:44 1.7K 
[   ]prob_4__471_41.min1.thm12017-02-06 12:44 2.0K 
[   ]prob_4__472_45.min1.thm12017-02-06 12:44 1.2K 
[   ]prob_4__476_22.min1.thm12017-02-06 12:44 1.3K 
[   ]prob_4__477_17.min1.thm12017-02-06 12:44 1.6K 
[   ]prob_4__487_29.min1.thm12017-02-06 12:44 2.0K 
[   ]prob_4__488_35.min1.thm12017-02-06 12:45 642  
[   ]prob_4__490_31.min1.thm12017-02-06 12:45 1.0K 
[   ]prob_4__493_17.min1.thm12017-02-06 12:45 2.6K 
[   ]prob_4__500_47.min1.thm12017-02-06 12:45 1.4K 
[   ]prob_4__506_21.min1.thm12017-02-06 12:44 771  
[   ]prob_4__509_15.min1.thm12017-02-06 12:44 1.3K 
[   ]prob_4__510_40.min1.thm12017-02-06 12:45 753  
[   ]prob_4__512_19.min1.thm12017-02-06 12:45 2.0K 
[   ]prob_4__515_28.min1.thm12017-02-06 12:44 461  
[   ]prob_4__515_28.min1.thm1.tptp2017-02-06 16:47 402  
[   ]prob_4__519_62.min1.thm12017-02-06 12:45 1.6K 
[   ]prob_4__536_14.min1.thm12017-02-06 12:44 1.1K 
[   ]prob_4__548_35.min1.thm12017-02-06 12:44 1.1K 
[   ]prob_4__551_19.min1.thm12017-02-06 12:44 1.7K 
[   ]prob_4__557_37.min1.thm12017-02-06 12:44 854  
[   ]prob_4__558_35.min1.thm12017-02-06 12:45 1.1K 
[   ]prob_4__559_34.min1.thm12017-02-06 12:45 2.4K 
[   ]prob_4__562_14.min1.thm12017-02-06 12:44 885  
[   ]prob_4__564_37.min1.thm12017-02-06 12:45 473  
[   ]prob_4__581_22.min1.thm12017-02-06 12:44 2.4K 
[   ]prob_4__602_35.min1.thm12017-02-06 12:44 1.1K 
[   ]prob_4__603_45.min1.thm12017-02-06 12:45 477  
[   ]prob_4__603_45.min1.thm1.tptp2017-02-06 16:47 389  
[   ]prob_4__606_16.min1.thm12017-02-06 12:44 830  
[   ]prob_4__608_56.min1.thm12017-02-06 12:44 3.0K 
[   ]prob_4__619_14.min1.thm12017-02-06 12:44 1.2K 
[   ]prob_4__693_61.min1.thm12017-02-06 12:45 801  
[   ]prob_4__693_61.min1.thm1.tptp2017-02-06 16:47 764  
[   ]prob_4__725_17.min1.thm12017-02-06 12:44 1.1K 
[   ]prob_4__735_43.min1.thm12017-02-06 12:45 330  
[   ]prob_4__735_43.min1.thm1.tptp2017-02-06 16:47 255  
[   ]prob_4__738_22.min1.thm12017-02-06 12:44 845  
[   ]prob_4__739_15.min1.thm12017-02-06 12:44 376  
[   ]prob_4__740_18.min1.thm12017-02-06 12:44 1.8K 
[   ]prob_4__755_17.min1.thm12017-02-06 12:45 1.5K 
[   ]prob_4__761_27.min1.thm12017-02-06 12:45 2.1K 
[   ]prob_4__762_17.min1.thm12017-02-06 12:44 1.4K 
[   ]prob_4__776_21.min1.thm12017-02-06 12:44 374  
[   ]prob_4__776_21.min1.thm1.tptp2017-02-06 16:47 294  
[   ]prob_4__777_21.min1.thm12017-02-06 12:44 374  
[   ]prob_4__777_21.min1.thm1.tptp2017-02-06 16:47 294  
[   ]prob_4__782_27.min1.thm12017-02-06 12:44 493  
[   ]prob_4__787_28.min1.thm12017-02-06 12:44 495  
[   ]prob_4__788_45.min1.thm12017-02-06 12:44 1.1K 
[   ]prob_4__796_17.min1.thm12017-02-06 12:44 2.6K 
[   ]prob_4__808_22.min1.thm12017-02-06 12:45 786  
[   ]prob_4__815_19.min1.thm12017-02-06 12:45 787  
[   ]prob_4__817_15.min1.thm12017-02-06 12:44 306  
[   ]prob_4__819_24.min1.thm12017-02-06 12:44 470  
[   ]prob_4__820_21.min1.thm12017-02-06 12:45 571  
[   ]prob_4__838_26.min1.thm12017-02-06 12:44 1.3K 
[   ]prob_4__839_23.min1.thm12017-02-06 12:45 1.0K 
[   ]prob_4__841_21.min1.thm12017-02-06 12:45 809  
[   ]prob_4__841_21.min1.thm1.tptp2017-02-06 16:47 787  
[   ]prob_4__847_21.min1.thm12017-02-06 12:44 533  
[   ]prob_4__847_21.min1.thm1.tptp2017-02-06 16:47 479  
[   ]prob_4__849_18.min1.thm12017-02-06 12:45 223  
[   ]prob_4__868_13.min1.thm12017-02-06 12:45 555  
[   ]prob_4__868_13.min1.thm1.tptp2017-02-06 16:47 506  
[   ]prob_4__869_23.min1.thm12017-02-06 12:45 555  
[   ]prob_4__869_23.min1.thm1.tptp2017-02-06 16:47 506  
[   ]prob_4__874_8.min1.thm12017-02-06 12:45 551  
[   ]prob_4__874_8.min1.thm1.tptp2017-02-06 16:47 502  
[   ]prob_4__875_21.min1.thm12017-02-06 12:44 551  
[   ]prob_4__875_21.min1.thm1.tptp2017-02-06 16:47 502  
[   ]prob_4__877_19.min1.thm12017-02-06 12:45 362  
[   ]prob_4__877_19.min1.thm1.tptp2017-02-06 16:47 302  
[   ]prob_4__885_42.min1.thm12017-02-06 12:44 1.1K 
[   ]prob_4__887_14.min1.thm12017-02-06 12:44 1.6K 
[   ]prob_4__901_17.min1.thm12017-02-06 12:44 462  
[   ]prob_4__902_35.min1.thm12017-02-06 12:44 2.5K 
[   ]prob_4__903_18.min1.thm12017-02-06 12:44 346  
[   ]prob_4__903_18.min1.thm1.tptp2017-02-06 16:47 264  
[   ]prob_4__912_41.min1.thm12017-02-06 12:44 1.5K 
[   ]prob_4__914_17.min1.thm12017-02-06 12:44 380  
[   ]prob_4__915_40.min1.thm12017-02-06 12:45 1.2K 
[   ]prob_4__916_18.min1.thm12017-02-06 12:44 346  
[   ]prob_4__916_18.min1.thm1.tptp2017-02-06 16:47 264  
[   ]prob_4__919_17.min1.thm12017-02-06 12:45 734  
[   ]prob_4__927_16.min1.thm12017-02-06 12:44 1.0K 
[   ]prob_4__933_33.min1.thm12017-02-06 12:44 782  
[   ]prob_4__936_12.min1.thm12017-02-06 12:44 299  
[   ]prob_4__936_12.min1.thm1.tptp2017-02-06 16:47 220  
[   ]prob_4__963_20.min1.thm12017-02-06 12:44 602  
[   ]prob_4__963_20.min1.thm1.tptp2017-02-06 16:47 527  
[   ]prob_4__964_23.min1.thm12017-02-06 12:44 1.2K 
[   ]prob_4__966_21.min1.thm12017-02-06 12:45 1.0K 
[   ]prob_4__966_21.min1.thm1.tptp2017-02-06 16:47 921  
[   ]prob_4__972_24.min1.thm12017-02-06 12:44 492  
[   ]prob_4__972_24.min1.thm1.tptp2017-02-06 16:47 415  
[   ]prob_4__973_18.min1.thm12017-02-06 12:45 764  
[   ]prob_4__979_43.min1.thm12017-02-06 12:44 1.9K 
[   ]prob_4__981_19.min1.thm12017-02-06 12:44 392  
[   ]prob_4__986_22.min1.thm12017-02-06 12:45 2.1K 
[   ]prob_4__987_24.min1.thm12017-02-06 12:44 1.3K 
[   ]prob_4__988_24.min1.thm12017-02-06 12:44 541  
[   ]prob_4__991_15.min1.thm12017-02-06 12:45 351  
[   ]prob_4__991_15.min1.thm1.tptp2017-02-06 16:47 271  
[   ]prob_4__992_21.min1.thm12017-02-06 12:45 907  
[   ]prob_4__994_60.min1.thm12017-02-06 12:44 549  
[   ]prob_4__996_18.min1.thm12017-02-06 12:45 632  
[   ]prob_4__996_18.min1.thm1.tptp2017-02-06 16:47 568  
[   ]prob_4__1013_29.min1.thm12017-02-06 12:45 565  
[   ]prob_4__1013_29.min1.thm1.tptp2017-02-06 16:47 488  
[   ]prob_4__1014_30.min1.thm12017-02-06 12:45 543  
[   ]prob_4__1014_30.min1.thm1.tptp2017-02-06 16:47 466  
[   ]prob_4__1015_23.min1.thm12017-02-06 12:45 696  
[   ]prob_4__1020_27.min1.thm12017-02-06 12:44 561  
[   ]prob_4__1020_27.min1.thm1.tptp2017-02-06 16:47 484  
[   ]prob_4__1021_28.min1.thm12017-02-06 12:44 539  
[   ]prob_4__1021_28.min1.thm1.tptp2017-02-06 16:47 462  
[   ]prob_4__1022_21.min1.thm12017-02-06 12:44 690  
[   ]prob_4__1024_19.min1.thm12017-02-06 12:44 362  
[   ]prob_4__1024_19.min1.thm1.tptp2017-02-06 16:47 302  
[   ]prob_4__1039_25.min1.thm12017-02-06 12:44 2.2K 
[   ]prob_4__1041_19.min1.thm12017-02-06 12:44 2.7K 
[   ]prob_4__1049_43.min1.thm12017-02-06 12:44 1.8K 
[   ]prob_4__1053_17.min1.thm12017-02-06 12:44 1.0K 
[   ]prob_4__1094_48.min1.thm12017-02-06 12:44 1.3K 
[   ]prob_4__1095_41.min1.thm12017-02-06 12:44 1.0K 
[   ]prob_4__1111_34.min1.thm12017-02-06 12:44 2.0K 
[   ]prob_4__1112_61.min1.thm12017-02-06 12:44 2.8K 
[   ]prob_4__1114_15.min1.thm12017-02-06 12:45 624  
[   ]prob_4__1138_26.min1.thm12017-02-06 12:44 545  
[   ]prob_4__1138_26.min1.thm1.tptp2017-02-06 16:47 464  
[   ]prob_4__1141_28.min1.thm12017-02-06 12:44 1.5K 
[   ]prob_4__1142_39.min1.thm12017-02-06 12:44 854  
[   ]prob_4__1144_18.min1.thm12017-02-06 12:44 1.4K 
[   ]prob_4__1151_48.min1.thm12017-02-06 12:45 1.3K 
[   ]prob_4__1152_41.min1.thm12017-02-06 12:44 1.0K 
[   ]prob_4__1169_51.min1.thm12017-02-06 12:44 621  
[   ]prob_4__1169_51.min1.thm1.tptp2017-02-06 16:47 538  
[   ]prob_4__1170_18.min1.thm12017-02-06 12:44 813  
[   ]prob_4__1184_11.min1.thm12017-02-06 12:45 687  
[   ]prob_4__1184_11.min1.thm1.tptp2017-02-06 16:47 638  
[   ]prob_4__1187_62.min1.thm12017-02-06 12:44 1.5K 
[   ]prob_4__1197_32.min1.thm12017-02-06 12:44 760  
[   ]prob_4__1197_32.min1.thm1.tptp2017-02-06 16:47 679  
[   ]prob_4__1203_34.min1.thm12017-02-06 12:44 1.0K 
[   ]prob_4__1203_34.min1.thm1.tptp2017-02-06 16:47 939  
[   ]prob_4__1220_25.min1.thm12017-02-06 12:44 941  
[   ]prob_4__1224_41.min1.thm12017-02-06 12:44 861  
[   ]prob_4__1226_22.min1.thm12017-02-06 12:44 972  
[   ]prob_4__1226_22.min1.thm1.tptp2017-02-06 16:47 895  
[   ]prob_4__1232_23.min1.thm12017-02-06 12:44 1.3K 
[   ]prob_4__1252_43.min1.thm12017-02-06 12:44 869  
[   ]prob_4__1256_29.min1.thm12017-02-06 12:44 945  
[   ]prob_4__1263_30.min1.thm12017-02-06 12:45 2.1K 
[   ]prob_4__1267_29.min1.thm12017-02-06 12:45 901  
[   ]prob_4__1275_27.min1.thm12017-02-06 12:44 943  
[   ]prob_4__1289_27.min1.thm12017-02-06 12:45 899  
[   ]prob_4__1293_43.min1.thm12017-02-06 12:45 869  
[   ]prob_4__1294_26.min1.thm12017-02-06 12:44 1.1K 
[   ]prob_4__1297_29.min1.thm12017-02-06 12:44 750  
[   ]prob_4__1297_29.min1.thm1.tptp2017-02-06 16:47 675  
[   ]prob_4__1300_35.min1.thm12017-02-06 12:44 1.0K 
[   ]prob_4__1306_28.min1.thm12017-02-06 12:44 1.0K 
[   ]prob_4__1306_28.min1.thm1.tptp2017-02-06 16:47 905  
[   ]prob_4__1308_22.min1.thm12017-02-06 12:45 536  
[   ]prob_4__1313_19.min1.thm12017-02-06 12:44 575  
[   ]prob_4__1313_19.min1.thm1.tptp2017-02-06 16:47 526  
[   ]prob_4__1324_43.min1.thm12017-02-06 12:44 525  
[   ]prob_4__1324_43.min1.thm1.tptp2017-02-06 16:47 476  
[   ]prob_4__1326_19.min1.thm12017-02-06 12:44 388  
[   ]prob_4__1327_40.min1.thm12017-02-06 12:44 594  
[   ]prob_4__1334_26.min1.thm12017-02-06 12:44 871  
[   ]prob_4__1338_17.min1.thm12017-02-06 12:44 611  
[   ]prob_4__1345_20.min1.thm12017-02-06 12:44 883  
[   ]prob_4__1348_19.min1.thm12017-02-06 12:44 875  
[   ]prob_4__1367_14.min1.thm12017-02-06 12:44 1.7K 
[   ]prob_4__1381_41.min1.thm12017-02-06 12:45 1.7K 
[   ]prob_4__1383_17.min1.thm12017-02-06 12:44 376  
[   ]prob_4__1384_37.min1.thm12017-02-06 12:44 753  
[   ]prob_4__1389_37.min1.thm12017-02-06 12:45 754  
[   ]prob_4__1390_43.min1.thm12017-02-06 12:44 1.7K 
[   ]prob_4__1392_28.min1.thm12017-02-06 12:45 2.2K 
[   ]prob_4__1409_40.min1.thm12017-02-06 12:45 854  
[   ]prob_4__1410_40.min1.thm12017-02-06 12:44 854  
[   ]prob_4__1414_48.min1.thm12017-02-06 12:45 1.4K 
[   ]prob_4__1419_36.min1.thm12017-02-06 12:44 566  
[   ]prob_4__1420_23.min1.thm12017-02-06 12:44 2.3K 
[   ]prob_4__1422_24.min1.thm12017-02-06 12:44 1.1K 
[   ]prob_4__1425_18.min1.thm12017-02-06 12:44 544  
[   ]prob_4__1442_32.min1.thm12017-02-06 12:44 595  
[   ]prob_4__1445_17.min1.thm12017-02-06 12:44 416  
[   ]prob_4__1445_17.min1.thm1.tptp2017-02-06 16:47 356  
[   ]prob_4__1455_37.min1.thm12017-02-06 12:44 1.0K 
[   ]prob_4__1460_22.min1.thm12017-02-06 12:44 1.0K 
[   ]prob_4__1466_56.min1.thm12017-02-06 12:45 1.8K 
[   ]prob_4__1488_55.min1.thm12017-02-06 12:45 740  
[   ]prob_4__1488_55.min1.thm1.tptp2017-02-06 16:47 657  
[   ]prob_4__1489_30.min1.thm12017-02-06 12:45 1.4K 
[   ]prob_4__1494_24.min1.thm12017-02-06 12:45 237  
[   ]prob_4__1503_34.min1.thm12017-02-06 12:45 800  
[   ]prob_4__1503_34.min1.thm1.tptp2017-02-06 16:47 719  
[   ]prob_4__1509_36.min1.thm12017-02-06 12:44 1.0K 
[   ]prob_4__1509_36.min1.thm1.tptp2017-02-06 16:47 1.0K 
[   ]prob_4__1514_23.min1.thm12017-02-06 12:45 1.0K 
[   ]prob_4__1522_25.min1.thm12017-02-06 12:44 967  
[   ]prob_4__1526_41.min1.thm12017-02-06 12:44 869  
[   ]prob_4__1528_22.min1.thm12017-02-06 12:45 1.0K 
[   ]prob_4__1528_22.min1.thm1.tptp2017-02-06 16:47 937  
[   ]prob_4__1554_43.min1.thm12017-02-06 12:44 877  
[   ]prob_4__1558_29.min1.thm12017-02-06 12:45 971  
[   ]prob_4__1565_30.min1.thm12017-02-06 12:44 2.2K 
[   ]prob_4__1569_29.min1.thm12017-02-06 12:45 923  
[   ]prob_4__1577_27.min1.thm12017-02-06 12:45 969  
[   ]prob_4__1594_27.min1.thm12017-02-06 12:45 921  
[   ]prob_4__1598_43.min1.thm12017-02-06 12:44 877  
[   ]prob_4__1599_26.min1.thm12017-02-06 12:45 1.1K 
[   ]prob_4__1602_29.min1.thm12017-02-06 12:45 784  
[   ]prob_4__1602_29.min1.thm1.tptp2017-02-06 16:47 709  
[   ]prob_4__1605_35.min1.thm12017-02-06 12:44 791  
[   ]prob_4__1608_31.min1.thm12017-02-06 12:44 1.1K 
[   ]prob_4__1610_22.min1.thm12017-02-06 12:44 562  
[   ]prob_4__1615_22.min1.thm12017-02-06 12:44 1.1K 
[   ]prob_4__1616_24.min1.thm12017-02-06 12:44 969  
[   ]prob_4__1620_19.min1.thm12017-02-06 12:44 299  
[   ]prob_4__1627_28.min1.thm12017-02-06 12:44 1.8K 
[   ]prob_4__1628_26.min1.thm12017-02-06 12:44 1.5K 
[   ]prob_4__1629_24.min1.thm12017-02-06 12:44 483  
[   ]prob_4__1629_24.min1.thm1.tptp2017-02-06 16:47 403  
[   ]prob_4__1633_37.min1.thm12017-02-06 12:45 495  
[   ]prob_4__1635_30.min1.thm12017-02-06 12:45 1.4K 
[   ]prob_4__1636_31.min1.thm12017-02-06 12:44 517  
[   ]prob_4__1636_31.min1.thm1.tptp2017-02-06 16:47 443  
[   ]prob_4__1637_37.min1.thm12017-02-06 12:44 934  
[   ]prob_4__1638_23.min1.thm12017-02-06 12:45 517  
[   ]prob_4__1638_23.min1.thm1.tptp2017-02-06 16:47 443  
[   ]prob_4__1641_32.min1.thm12017-02-06 12:44 948  
[   ]prob_4__1647_38.min1.thm12017-02-06 12:44 1.1K 
[   ]prob_4__1647_38.min1.thm1.tptp2017-02-06 16:47 1.0K 
[   ]prob_4__1649_26.min1.thm12017-02-06 12:44 724  
[   ]prob_4__1651_29.min1.thm12017-02-06 12:44 3.7K 
[   ]prob_4__1658_28.min1.thm12017-02-06 12:44 1.0K 
[   ]prob_4__1658_28.min1.thm1.tptp2017-02-06 16:47 899  
[   ]prob_4__1660_22.min1.thm12017-02-06 12:44 908  
[   ]prob_4__1676_43.min1.thm12017-02-06 12:44 2.2K 
[   ]prob_4__1677_41.min1.thm12017-02-06 12:44 870  
[   ]prob_4__1681_15.min1.thm12017-02-06 12:44 311  
[   ]prob_4__1681_15.min1.thm1.tptp2017-02-06 16:47 232  
[   ]prob_4__1683_22.min1.thm12017-02-06 12:44 1.5K 
[   ]prob_4__1684_13.min1.thm12017-02-06 12:44 1.7K 
[   ]prob_4__1697_17.min1.thm12017-02-06 12:44 205  
[   ]prob_4__1704_24.min1.thm12017-02-06 12:44 424  
[   ]prob_4__1706_22.min1.thm12017-02-06 12:44 796  
[   ]prob_4__1707_22.min1.thm12017-02-06 12:45 918  
[   ]prob_4__1711_27.min1.thm12017-02-06 12:44 1.7K 
[   ]prob_4__1725_13.min1.thm12017-02-06 12:44 1.0K 
[   ]prob_4__1738_26.min1.thm12017-02-06 12:44 3.7K 
[   ]prob_4__1745_15.min1.thm12017-02-06 12:45 648  
[   ]prob_4__1752_14.min1.thm12017-02-06 12:44 1.0K 
[   ]prob_4__1758_16.min1.thm12017-02-06 12:45 1.5K 
[   ]prob_4__1759_19.min1.thm12017-02-06 12:44 396  
[   ]prob_4__1760_23.min1.thm12017-02-06 12:44 1.8K 
[   ]prob_4__1782_44.min1.thm12017-02-06 12:44 1.5K 
[   ]prob_4__1803_35.min1.thm12017-02-06 12:45 397  
[   ]prob_4__1803_35.min1.thm1.tptp2017-02-06 16:47 324  
[   ]prob_4__1803_49.min1.thm12017-02-06 12:44 1.5K 
[   ]prob_4__1804_13.min1.thm12017-02-06 12:44 2.2K 
[   ]prob_4__1807_54.min1.thm12017-02-06 12:44 1.3K 
[   ]prob_4__1825_38.min1.thm12017-02-06 12:44 1.1K 
[   ]prob_4__1865_12.min1.thm12017-02-06 12:44 844  
[   ]prob_4__1869_30.min1.thm12017-02-06 12:44 1.9K 
[   ]prob_4__1876_18.min1.thm12017-02-06 12:44 595  
[   ]prob_4__1876_18.min1.thm1.tptp2017-02-06 16:47 541  
[   ]prob_4__1890_56.min1.thm12017-02-06 12:44 1.8K 
[   ]prob_4__1891_19.min1.thm12017-02-06 12:44 644  
[   ]prob_4__1891_19.min1.thm1.tptp2017-02-06 16:47 583  
[   ]prob_4__1892_18.min1.thm12017-02-06 12:44 644  
[   ]prob_4__1892_18.min1.thm1.tptp2017-02-06 16:47 583  
[   ]prob_4__1893_18.min1.thm12017-02-06 12:44 364  
[   ]prob_4__1903_36.min1.thm12017-02-06 12:45 891  
[   ]prob_4__1904_65.min1.thm12017-02-06 12:45 3.1K 
[   ]prob_4__1911_35.min1.thm12017-02-06 12:44 2.8K 
[   ]prob_4__1912_24.min1.thm12017-02-06 12:44 1.5K 
[   ]prob_4__1913_16.min1.thm12017-02-06 12:44 2.1K 
[   ]prob_4__1936_46.min1.thm12017-02-06 12:44 1.7K 
[   ]prob_4__1939_21.min1.thm12017-02-06 12:45 388  
[   ]prob_4__1946_22.min1.thm12017-02-06 12:44 659  
[   ]prob_4__1948_38.min1.thm12017-02-06 12:45 1.0K 
[   ]prob_4__1951_47.min1.thm12017-02-06 12:45 1.0K 
[   ]prob_4__1958_28.min1.thm12017-02-06 12:44 723  
[   ]prob_4__1960_21.min1.thm12017-02-06 12:45 1.7K 
[   ]prob_4__1970_35.min1.thm12017-02-06 12:44 1.0K 
[   ]prob_4__1972_32.min1.thm12017-02-06 12:44 3.0K 
[   ]prob_4__1973_16.min1.thm12017-02-06 12:44 1.3K 
[   ]prob_4__1984_35.min1.thm12017-02-06 12:44 745  
[   ]prob_4__1986_26.min1.thm12017-02-06 12:45 797  
[   ]prob_4__1987_47.min1.thm12017-02-06 12:44 1.9K 
[   ]prob_4__2003_26.min1.thm12017-02-06 12:44 797  
[   ]prob_4__2004_47.min1.thm12017-02-06 12:44 1.8K 
[   ]prob_4__2005_39.min1.thm12017-02-06 12:44 1.8K 
[   ]prob_4__2009_23.min1.thm12017-02-06 12:44 1.3K 
[   ]prob_4__2013_14.min1.thm12017-02-06 12:44 1.9K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80