Index of /~mptp/1147/mptp/ilp0/toler_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]toler_1__1239_17.min1.thm12017-02-06 12:45 1.4K 
[   ]toler_1__1238_20.min1.thm12017-02-06 12:45 856  
[   ]toler_1__1237_16.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__1228_17.min1.thm12017-02-06 12:45 1.4K 
[   ]toler_1__1227_28.min1.thm12017-02-06 12:45 922  
[   ]toler_1__1226_47.min1.thm1.tptp2017-02-06 16:47 350  
[   ]toler_1__1226_47.min1.thm12017-02-06 12:45 431  
[   ]toler_1__1224_16.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__1212_17.min1.thm12017-02-06 12:45 726  
[   ]toler_1__1211_26.min1.thm12017-02-06 12:45 749  
[   ]toler_1__1203_17.min1.thm12017-02-06 12:45 791  
[   ]toler_1__1202_26.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__1200_19.min1.thm12017-02-06 12:45 1.3K 
[   ]toler_1__1199_22.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__1194_41.min1.thm12017-02-06 12:45 726  
[   ]toler_1__1188_19.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__1187_28.min1.thm12017-02-06 12:45 1.3K 
[   ]toler_1__1186_21.min1.thm12017-02-06 12:45 798  
[   ]toler_1__1185_22.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__1172_17.min1.thm1.tptp2017-02-06 16:47 355  
[   ]toler_1__1172_17.min1.thm12017-02-06 12:45 419  
[   ]toler_1__1170_19.min1.thm12017-02-06 12:45 930  
[   ]toler_1__1169_22.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__1153_22.min1.thm12017-02-06 12:45 909  
[   ]toler_1__1152_22.min1.thm12017-02-06 12:45 495  
[   ]toler_1__1150_13.min1.thm12017-02-06 12:45 793  
[   ]toler_1__1142_19.min1.thm12017-02-06 12:45 2.1K 
[   ]toler_1__1141_17.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__1140_17.min1.thm12017-02-06 12:45 909  
[   ]toler_1__1138_17.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__1132_27.min1.thm12017-02-06 12:45 802  
[   ]toler_1__1130_16.min1.thm1.tptp2017-02-06 16:47 448  
[   ]toler_1__1130_16.min1.thm12017-02-06 12:45 518  
[   ]toler_1__1117_17.min1.thm12017-02-06 12:45 740  
[   ]toler_1__1114_19.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__1113_13.min1.thm12017-02-06 12:45 918  
[   ]toler_1__1112_13.min1.thm12017-02-06 12:45 918  
[   ]toler_1__1110_17.min1.thm12017-02-06 12:45 913  
[   ]toler_1__1109_55.min1.thm12017-02-06 12:45 515  
[   ]toler_1__1098_18.min1.thm1.tptp2017-02-06 16:47 448  
[   ]toler_1__1098_18.min1.thm12017-02-06 12:45 518  
[   ]toler_1__1089_17.min1.thm1.tptp2017-02-06 16:47 360  
[   ]toler_1__1089_17.min1.thm12017-02-06 12:45 420  
[   ]toler_1__1087_19.min1.thm12017-02-06 12:45 517  
[   ]toler_1__1086_21.min1.thm12017-02-06 12:45 798  
[   ]toler_1__1085_13.min1.thm12017-02-06 12:45 802  
[   ]toler_1__1081_21.min1.thm12017-02-06 12:45 827  
[   ]toler_1__1080_20.min1.thm12017-02-06 12:45 684  
[   ]toler_1__1079_25.min1.thm12017-02-06 12:45 742  
[   ]toler_1__1078_23.min1.thm1.tptp2017-02-06 16:47 412  
[   ]toler_1__1078_23.min1.thm12017-02-06 12:45 467  
[   ]toler_1__1064_17.min1.thm1.tptp2017-02-06 16:47 360  
[   ]toler_1__1064_17.min1.thm12017-02-06 12:45 420  
[   ]toler_1__1062_19.min1.thm12017-02-06 12:45 517  
[   ]toler_1__1061_24.min1.thm12017-02-06 12:45 821  
[   ]toler_1__1060_13.min1.thm12017-02-06 12:45 802  
[   ]toler_1__1056_21.min1.thm12017-02-06 12:45 827  
[   ]toler_1__1055_20.min1.thm12017-02-06 12:45 684  
[   ]toler_1__1054_25.min1.thm12017-02-06 12:45 765  
[   ]toler_1__1053_26.min1.thm1.tptp2017-02-06 16:47 412  
[   ]toler_1__1053_26.min1.thm12017-02-06 12:45 467  
[   ]toler_1__1039_17.min1.thm12017-02-06 12:45 1.2K 
[   ]toler_1__1037_19.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__1036_47.min1.thm12017-02-06 12:45 904  
[   ]toler_1__1024_17.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__1023_26.min1.thm12017-02-06 12:45 1.3K 
[   ]toler_1__1022_22.min1.thm12017-02-06 12:45 811  
[   ]toler_1__1021_22.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__1009_16.min1.thm12017-02-06 12:45 238  
[   ]toler_1__1000_19.min1.thm12017-02-06 12:45 887  
[   ]toler_1__999_18.min1.thm1.tptp2017-02-06 16:47 317  
[   ]toler_1__999_18.min1.thm12017-02-06 12:45 381  
[   ]toler_1__997_21.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__996_24.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__989_45.min1.thm12017-02-06 12:45 517  
[   ]toler_1__977_16.min1.thm12017-02-06 12:45 238  
[   ]toler_1__968_19.min1.thm12017-02-06 12:45 777  
[   ]toler_1__967_18.min1.thm1.tptp2017-02-06 16:47 317  
[   ]toler_1__967_18.min1.thm12017-02-06 12:45 381  
[   ]toler_1__965_21.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__964_24.min1.thm12017-02-06 12:45 972  
[   ]toler_1__957_43.min1.thm12017-02-06 12:45 407  
[   ]toler_1__938_17.min1.thm1.tptp2017-02-06 16:47 360  
[   ]toler_1__938_17.min1.thm12017-02-06 12:45 420  
[   ]toler_1__936_19.min1.thm12017-02-06 12:45 930  
[   ]toler_1__935_22.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__934_13.min1.thm12017-02-06 12:45 462  
[   ]toler_1__933_34.min1.thm1.tptp2017-02-06 16:47 330  
[   ]toler_1__933_34.min1.thm12017-02-06 12:45 407  
[   ]toler_1__932_13.min1.thm1.tptp2017-02-06 16:47 354  
[   ]toler_1__932_13.min1.thm12017-02-06 12:45 409  
[   ]toler_1__927_21.min1.thm12017-02-06 12:45 473  
[   ]toler_1__926_15.min1.thm12017-02-06 12:45 562  
[   ]toler_1__925_15.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__922_24.min1.thm12017-02-06 12:45 934  
[   ]toler_1__907_17.min1.thm1.tptp2017-02-06 16:47 360  
[   ]toler_1__907_17.min1.thm12017-02-06 12:45 420  
[   ]toler_1__905_19.min1.thm12017-02-06 12:45 930  
[   ]toler_1__904_22.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__903_13.min1.thm12017-02-06 12:45 509  
[   ]toler_1__902_36.min1.thm1.tptp2017-02-06 16:47 438  
[   ]toler_1__902_36.min1.thm12017-02-06 12:45 515  
[   ]toler_1__901_13.min1.thm1.tptp2017-02-06 16:47 354  
[   ]toler_1__901_13.min1.thm12017-02-06 12:45 409  
[   ]toler_1__896_21.min1.thm12017-02-06 12:45 473  
[   ]toler_1__895_15.min1.thm12017-02-06 12:45 609  
[   ]toler_1__894_15.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__891_24.min1.thm12017-02-06 12:45 934  
[   ]toler_1__876_17.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__875_20.min1.thm12017-02-06 12:45 901  
[   ]toler_1__872_23.min1.thm12017-02-06 12:45 905  
[   ]toler_1__871_22.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__851_19.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__850_20.min1.thm12017-02-06 12:45 340  
[   ]toler_1__849_36.min1.thm1.tptp2017-02-06 16:47 554  
[   ]toler_1__849_36.min1.thm12017-02-06 12:45 627  
[   ]toler_1__848_22.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__844_21.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__843_22.min1.thm12017-02-06 12:45 350  
[   ]toler_1__842_38.min1.thm1.tptp2017-02-06 16:47 566  
[   ]toler_1__842_38.min1.thm12017-02-06 12:45 639  
[   ]toler_1__841_24.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__822_19.min1.thm12017-02-06 12:45 679  
[   ]toler_1__821_44.min1.thm12017-02-06 12:45 592  
[   ]toler_1__818_21.min1.thm12017-02-06 12:45 683  
[   ]toler_1__817_46.min1.thm12017-02-06 12:45 596  
[   ]toler_1__799_17.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__797_19.min1.thm12017-02-06 12:45 968  
[   ]toler_1__796_39.min1.thm12017-02-06 12:45 558  
[   ]toler_1__784_64.min1.thm12017-02-06 12:45 367  
[   ]toler_1__782_16.min1.thm12017-02-06 12:45 327  
[   ]toler_1__781_35.min1.thm1.tptp2017-02-06 16:47 354  
[   ]toler_1__781_35.min1.thm12017-02-06 12:45 409  
[   ]toler_1__768_17.min1.thm12017-02-06 12:45 841  
[   ]toler_1__767_25.min1.thm12017-02-06 12:45 582  
[   ]toler_1__763_19.min1.thm12017-02-06 12:45 755  
[   ]toler_1__762_12.min1.thm12017-02-06 12:45 494  
[   ]toler_1__761_14.min1.thm12017-02-06 12:45 846  
[   ]toler_1__750_42.min1.thm12017-02-06 12:45 1.3K 
[   ]toler_1__749_21.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__748_22.min1.thm1.tptp2017-02-06 16:47 363  
[   ]toler_1__748_22.min1.thm12017-02-06 12:45 427  
[   ]toler_1__746_19.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__745_22.min1.thm12017-02-06 12:45 751  
[   ]toler_1__744_41.min1.thm12017-02-06 12:45 691  
[   ]toler_1__736_19.min1.thm12017-02-06 12:45 751  
[   ]toler_1__735_41.min1.thm12017-02-06 12:45 938  
[   ]toler_1__733_21.min1.thm12017-02-06 12:45 783  
[   ]toler_1__732_14.min1.thm12017-02-06 12:45 510  
[   ]toler_1__731_15.min1.thm12017-02-06 12:45 785  
[   ]toler_1__728_33.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__720_32.min1.thm12017-02-06 12:45 937  
[   ]toler_1__717_19.min1.thm12017-02-06 12:45 751  
[   ]toler_1__716_41.min1.thm12017-02-06 12:45 1.3K 
[   ]toler_1__711_28.min1.thm12017-02-06 12:45 544  
[   ]toler_1__710_45.min1.thm12017-02-06 12:45 532  
[   ]toler_1__709_43.min1.thm12017-02-06 12:45 406  
[   ]toler_1__696_17.min1.thm12017-02-06 12:45 801  
[   ]toler_1__695_24.min1.thm12017-02-06 12:45 701  
[   ]toler_1__687_17.min1.thm12017-02-06 12:45 494  
[   ]toler_1__686_23.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__678_14.min1.thm12017-02-06 12:45 443  
[   ]toler_1__677_53.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__676_20.min1.thm12017-02-06 12:45 856  
[   ]toler_1__668_17.min1.thm12017-02-06 12:45 920  
[   ]toler_1__667_15.min1.thm1.tptp2017-02-06 16:47 336  
[   ]toler_1__667_15.min1.thm12017-02-06 12:45 386  
[   ]toler_1__666_17.min1.thm12017-02-06 12:45 919  
[   ]toler_1__665_15.min1.thm12017-02-06 12:45 299  
[   ]toler_1__663_14.min1.thm12017-02-06 12:45 811  
[   ]toler_1__661_46.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__659_19.min1.thm12017-02-06 12:45 1.4K 
[   ]toler_1__658_21.min1.thm1.tptp2017-02-06 16:47 349  
[   ]toler_1__658_21.min1.thm12017-02-06 12:45 403  
[   ]toler_1__657_21.min1.thm1.tptp2017-02-06 16:47 349  
[   ]toler_1__657_21.min1.thm12017-02-06 12:45 403  
[   ]toler_1__650_22.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__640_16.min1.thm12017-02-06 12:45 558  
[   ]toler_1__638_37.min1.thm12017-02-06 12:45 388  
[   ]toler_1__635_20.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__634_19.min1.thm12017-02-06 12:45 738  
[   ]toler_1__633_19.min1.thm12017-02-06 12:45 522  
[   ]toler_1__629_17.min1.thm12017-02-06 12:45 275  
[   ]toler_1__626_15.min1.thm12017-02-06 12:45 534  
[   ]toler_1__624_25.min1.thm12017-02-06 12:45 652  
[   ]toler_1__623_25.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__619_28.min1.thm12017-02-06 12:45 931  
[   ]toler_1__616_25.min1.thm1.tptp2017-02-06 16:47 378  
[   ]toler_1__616_25.min1.thm12017-02-06 12:45 443  
[   ]toler_1__614_28.min1.thm1.tptp2017-02-06 16:47 427  
[   ]toler_1__614_28.min1.thm12017-02-06 12:45 489  
[   ]toler_1__613_25.min1.thm1.tptp2017-02-06 16:47 378  
[   ]toler_1__613_25.min1.thm12017-02-06 12:45 443  
[   ]toler_1__611_28.min1.thm1.tptp2017-02-06 16:47 427  
[   ]toler_1__611_28.min1.thm12017-02-06 12:45 489  
[   ]toler_1__604_16.min1.thm1.tptp2017-02-06 16:47 268  
[   ]toler_1__604_16.min1.thm12017-02-06 12:45 346  
[   ]toler_1__595_33.min1.thm1.tptp2017-02-06 16:47 390  
[   ]toler_1__595_33.min1.thm12017-02-06 12:45 458  
[   ]toler_1__594_50.min1.thm12017-02-06 12:45 724  
[   ]toler_1__590_19.min1.thm1.tptp2017-02-06 16:47 511  
[   ]toler_1__590_19.min1.thm12017-02-06 12:45 551  
[   ]toler_1__585_21.min1.thm12017-02-06 12:45 480  
[   ]toler_1__577_21.min1.thm1.tptp2017-02-06 16:47 279  
[   ]toler_1__577_21.min1.thm12017-02-06 12:45 357  
[   ]toler_1__574_28.min1.thm12017-02-06 12:45 913  
[   ]toler_1__573_31.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__571_21.min1.thm1.tptp2017-02-06 16:47 277  
[   ]toler_1__571_21.min1.thm12017-02-06 12:45 360  
[   ]toler_1__569_37.min1.thm1.tptp2017-02-06 16:47 319  
[   ]toler_1__569_37.min1.thm12017-02-06 12:45 397  
[   ]toler_1__568_20.min1.thm12017-02-06 12:45 448  
[   ]toler_1__563_17.min1.thm1.tptp2017-02-06 16:47 396  
[   ]toler_1__563_17.min1.thm12017-02-06 12:45 473  
[   ]toler_1__561_18.min1.thm12017-02-06 12:45 670  
[   ]toler_1__552_21.min1.thm12017-02-06 12:45 1.8K 
[   ]toler_1__551_34.min1.thm12017-02-06 12:45 506  
[   ]toler_1__550_33.min1.thm12017-02-06 12:45 687  
[   ]toler_1__549_37.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__548_16.min1.thm1.tptp2017-02-06 16:47 366  
[   ]toler_1__548_16.min1.thm12017-02-06 12:45 421  
[   ]toler_1__545_37.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__544_16.min1.thm1.tptp2017-02-06 16:47 366  
[   ]toler_1__544_16.min1.thm12017-02-06 12:45 421  
[   ]toler_1__528_19.min1.thm1.tptp2017-02-06 16:47 394  
[   ]toler_1__528_19.min1.thm12017-02-06 12:45 462  
[   ]toler_1__523_15.min1.thm12017-02-06 12:45 1.3K 
[   ]toler_1__521_11.min1.thm12017-02-06 12:45 671  
[   ]toler_1__519_18.min1.thm12017-02-06 12:45 537  
[   ]toler_1__517_18.min1.thm12017-02-06 12:45 262  
[   ]toler_1__516_29.min1.thm1.tptp2017-02-06 16:47 408  
[   ]toler_1__516_29.min1.thm12017-02-06 12:45 467  
[   ]toler_1__515_45.min1.thm1.tptp2017-02-06 16:47 459  
[   ]toler_1__515_45.min1.thm12017-02-06 12:45 527  
[   ]toler_1__498_17.min1.thm12017-02-06 12:45 769  
[   ]toler_1__497_20.min1.thm12017-02-06 12:45 930  
[   ]toler_1__487_17.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__486_25.min1.thm1.tptp2017-02-06 16:47 452  
[   ]toler_1__486_25.min1.thm12017-02-06 12:45 514  
[   ]toler_1__476_17.min1.thm1.tptp2017-02-06 16:47 289  
[   ]toler_1__476_17.min1.thm12017-02-06 12:45 372  
[   ]toler_1__475_30.min1.thm12017-02-06 12:45 939  
[   ]toler_1__474_20.min1.thm12017-02-06 12:45 856  
[   ]toler_1__466_17.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__464_19.min1.thm12017-02-06 12:45 1.4K 
[   ]toler_1__463_21.min1.thm1.tptp2017-02-06 16:47 349  
[   ]toler_1__463_21.min1.thm12017-02-06 12:45 403  
[   ]toler_1__462_21.min1.thm1.tptp2017-02-06 16:47 349  
[   ]toler_1__462_21.min1.thm12017-02-06 12:45 403  
[   ]toler_1__455_22.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__446_26.min1.thm12017-02-06 12:45 892  
[   ]toler_1__440_11.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__439_17.min1.thm12017-02-06 12:45 944  
[   ]toler_1__436_42.min1.thm12017-02-06 12:45 374  
[   ]toler_1__420_20.min1.thm12017-02-06 12:45 909  
[   ]toler_1__419_19.min1.thm12017-02-06 12:45 769  
[   ]toler_1__418_18.min1.thm12017-02-06 12:45 515  
[   ]toler_1__414_17.min1.thm12017-02-06 12:45 281  
[   ]toler_1__411_25.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__407_28.min1.thm12017-02-06 12:45 943  
[   ]toler_1__404_24.min1.thm1.tptp2017-02-06 16:47 402  
[   ]toler_1__404_24.min1.thm12017-02-06 12:45 467  
[   ]toler_1__402_27.min1.thm1.tptp2017-02-06 16:47 449  
[   ]toler_1__402_27.min1.thm12017-02-06 12:45 511  
[   ]toler_1__401_24.min1.thm1.tptp2017-02-06 16:47 402  
[   ]toler_1__401_24.min1.thm12017-02-06 12:45 467  
[   ]toler_1__399_27.min1.thm1.tptp2017-02-06 16:47 449  
[   ]toler_1__399_27.min1.thm12017-02-06 12:45 511  
[   ]toler_1__390_16.min1.thm1.tptp2017-02-06 16:47 278  
[   ]toler_1__390_16.min1.thm12017-02-06 12:45 356  
[   ]toler_1__384_34.min1.thm1.tptp2017-02-06 16:47 364  
[   ]toler_1__384_34.min1.thm12017-02-06 12:45 441  
[   ]toler_1__383_50.min1.thm12017-02-06 12:45 756  
[   ]toler_1__380_20.min1.thm12017-02-06 12:45 952  
[   ]toler_1__379_34.min1.thm12017-02-06 12:45 680  
[   ]toler_1__377_21.min1.thm1.tptp2017-02-06 16:47 296  
[   ]toler_1__377_21.min1.thm12017-02-06 12:45 374  
[   ]toler_1__374_28.min1.thm12017-02-06 12:45 822  
[   ]toler_1__373_26.min1.thm1.tptp2017-02-06 16:47 289  
[   ]toler_1__373_26.min1.thm12017-02-06 12:45 372  
[   ]toler_1__372_37.min1.thm1.tptp2017-02-06 16:47 331  
[   ]toler_1__372_37.min1.thm12017-02-06 12:45 409  
[   ]toler_1__371_20.min1.thm12017-02-06 12:45 474  
[   ]toler_1__369_31.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__366_23.min1.thm12017-02-06 12:45 1.9K 
[   ]toler_1__365_36.min1.thm12017-02-06 12:45 538  
[   ]toler_1__364_34.min1.thm12017-02-06 12:45 755  
[   ]toler_1__363_39.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__362_18.min1.thm1.tptp2017-02-06 16:47 390  
[   ]toler_1__362_18.min1.thm12017-02-06 12:45 445  
[   ]toler_1__359_39.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__358_18.min1.thm1.tptp2017-02-06 16:47 390  
[   ]toler_1__358_18.min1.thm12017-02-06 12:45 445  
[   ]toler_1__342_21.min1.thm1.tptp2017-02-06 16:47 368  
[   ]toler_1__342_21.min1.thm12017-02-06 12:45 445  
[   ]toler_1__287_14.min1.thm12017-02-06 12:45 1.8K 
[   ]toler_1__286_27.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__285_38.min1.thm1.tptp2017-02-06 16:47 265  
[   ]toler_1__285_38.min1.thm12017-02-06 12:45 343  
[   ]toler_1__277_38.min1.thm12017-02-06 12:45 1.7K 
[   ]toler_1__276_28.min1.thm12017-02-06 12:45 1.5K 
[   ]toler_1__275_29.min1.thm1.tptp2017-02-06 16:47 419  
[   ]toler_1__275_29.min1.thm12017-02-06 12:45 483  
[   ]toler_1__273_33.min1.thm12017-02-06 12:45 1.6K 
[   ]toler_1__272_30.min1.thm12017-02-06 12:45 1.3K 
[   ]toler_1__271_43.min1.thm12017-02-06 12:45 1.4K 
[   ]toler_1__259_17.min1.thm12017-02-06 12:45 919  
[   ]toler_1__258_46.min1.thm12017-02-06 12:45 1.3K 
[   ]toler_1__256_28.min1.thm12017-02-06 12:45 1.2K 
[   ]toler_1__255_22.min1.thm12017-02-06 12:45 1.2K 
[   ]toler_1__254_34.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__253_23.min1.thm12017-02-06 12:45 1.4K 
[   ]toler_1__252_17.min1.thm12017-02-06 12:45 1.1K 
[   ]toler_1__246_32.min1.thm12017-02-06 12:45 637  
[   ]toler_1__237_17.min1.thm12017-02-06 12:45 743  
[   ]toler_1__236_16.min1.thm1.tptp2017-02-06 16:47 448  
[   ]toler_1__236_16.min1.thm12017-02-06 12:45 518  
[   ]toler_1__229_17.min1.thm12017-02-06 12:45 742  
[   ]toler_1__228_16.min1.thm1.tptp2017-02-06 16:47 448  
[   ]toler_1__228_16.min1.thm12017-02-06 12:45 518  
[   ]toler_1__221_17.min1.thm12017-02-06 12:45 967  
[   ]toler_1__220_16.min1.thm1.tptp2017-02-06 16:47 419  
[   ]toler_1__220_16.min1.thm12017-02-06 12:45 489  
[   ]toler_1__217_35.min1.thm12017-02-06 12:45 797  
[   ]toler_1__210_17.min1.thm1.tptp2017-02-06 16:47 332  
[   ]toler_1__210_17.min1.thm12017-02-06 12:45 392  
[   ]toler_1__208_16.min1.thm12017-02-06 12:45 1.6K 
[   ]toler_1__206_21.min1.thm12017-02-06 12:45 1.2K 
[   ]toler_1__205_24.min1.thm12017-02-06 12:45 1.0K 
[   ]toler_1__203_28.min1.thm12017-02-06 12:45 736  
[   ]toler_1__201_20.min1.thm1.tptp2017-02-06 16:47 441  
[   ]toler_1__201_20.min1.thm12017-02-06 12:45 511  
[   ]toler_1__185_17.min1.thm12017-02-06 12:45 572  
[   ]toler_1__184_26.min1.thm12017-02-06 12:45 562  
[   ]toler_1__183_20.min1.thm12017-02-06 12:45 684  
[   ]toler_1__173_17.min1.thm12017-02-06 12:45 572  
[   ]toler_1__172_26.min1.thm12017-02-06 12:45 562  
[   ]toler_1__171_25.min1.thm12017-02-06 12:45 684  
[   ]toler_1__163_17.min1.thm12017-02-06 12:45 534  
[   ]toler_1__162_25.min1.thm12017-02-06 12:45 684  
[   ]toler_1__154_17.min1.thm12017-02-06 12:45 485  
[   ]toler_1__153_26.min1.thm12017-02-06 12:45 562  
[   ]toler_1__143_18.min1.thm12017-02-06 12:45 944  
[   ]toler_1__139_21.min1.thm12017-02-06 12:45 501  
[   ]toler_1__138_25.min1.thm12017-02-06 12:45 535  
[   ]toler_1__124_14.min1.thm12017-02-06 12:45 664  
[   ]toler_1__110_28.min1.thm12017-02-06 12:45 542  
[   ]toler_1__98_36.min1.thm12017-02-06 12:45 542  
[   ]toler_1__89_27.min1.thm12017-02-06 12:45 542  
[   ]toler_1__79_28.min1.thm12017-02-06 12:45 542  
[   ]toler_1__77_17.min1.thm12017-02-06 12:45 433  
[   ]toler_1__69_31.min1.thm12017-02-06 12:45 540  
[   ]toler_1__49_29.min1.thm12017-02-06 12:45 540  
[   ]toler_1__47_17.min1.thm12017-02-06 12:45 433  
[   ]toler_1__42_27.min1.thm12017-02-06 12:45 539  
[   ]toler_1__41_39.min1.thm12017-02-06 12:45 918  
[   ]toler_1__40_31.min1.thm1.tptp2017-02-06 16:47 259  
[   ]toler_1__40_31.min1.thm12017-02-06 12:45 331  

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