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