Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/subset_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]subset_1__33_14.min1.thm12017-02-06 12:46 605  
[ ]subset_1__39_14.min1.thm12017-02-06 12:46 417  
[ ]subset_1__39_14.min1.thm1.tptp2017-02-06 16:47 365  
[ ]subset_1__42_14.min1.thm12017-02-06 12:46 637  
[ ]subset_1__45_14.min1.thm12017-02-06 12:46 672  
[ ]subset_1__48_14.min1.thm12017-02-06 12:46 522  
[ ]subset_1__48_14.min1.thm1.tptp2017-02-06 16:47 479  
[ ]subset_1__51_14.min1.thm12017-02-06 12:46 742  
[ ]subset_1__54_14.min1.thm12017-02-06 12:46 787  
[ ]subset_1__57_14.min1.thm12017-02-06 12:46 641  
[ ]subset_1__57_14.min1.thm1.tptp2017-02-06 16:47 607  
[ ]subset_1__60_14.min1.thm12017-02-06 12:46 681  
[ ]subset_1__60_14.min1.thm1.tptp2017-02-06 16:47 650  
[ ]subset_1__67_14.min1.thm12017-02-06 12:46 402  
[ ]subset_1__67_14.min1.thm1.tptp2017-02-06 16:47 332  
[ ]subset_1__68_13.min1.thm12017-02-06 12:46 130  
[ ]subset_1__71_12.min1.thm12017-02-06 12:46 192  
[ ]subset_1__74_15.min1.thm12017-02-06 12:46 197  
[ ]subset_1__79_18.min1.thm12017-02-06 12:46 385  
[ ]subset_1__79_18.min1.thm1.tptp2017-02-06 16:47 327  
[ ]subset_1__94_18.min1.thm12017-02-06 12:46 356  
[ ]subset_1__94_18.min1.thm1.tptp2017-02-06 16:47 293  
[ ]subset_1__95_28.min1.thm12017-02-06 12:46 511  
[ ]subset_1__96_16.min1.thm12017-02-06 12:46 356  
[ ]subset_1__96_16.min1.thm1.tptp2017-02-06 16:47 273  
[ ]subset_1__106_15.min1.thm12017-02-06 12:46 308  
[ ]subset_1__106_15.min1.thm1.tptp2017-02-06 16:47 231  
[ ]subset_1__108_15.min1.thm12017-02-06 12:46 308  
[ ]subset_1__108_15.min1.thm1.tptp2017-02-06 16:47 231  
[ ]subset_1__109_27.min1.thm12017-02-06 12:46 659  
[ ]subset_1__110_16.min1.thm12017-02-06 12:46 498  
[ ]subset_1__117_11.min1.thm12017-02-06 12:46 621  
[ ]subset_1__123_11.min1.thm12017-02-06 12:46 1.0K 
[ ]subset_1__132_18.min1.thm12017-02-06 12:46 535  
[ ]subset_1__134_13.min1.thm12017-02-06 12:46 365  
[ ]subset_1__134_13.min1.thm1.tptp2017-02-06 16:47 296  
[ ]subset_1__135_13.min1.thm12017-02-06 12:46 544  
[ ]subset_1__136_18.min1.thm12017-02-06 12:46 432  
[ ]subset_1__137_19.min1.thm12017-02-06 12:46 493  
[ ]subset_1__145_16.min1.thm12017-02-06 12:46 504  
[ ]subset_1__146_16.min1.thm12017-02-06 12:46 363  
[ ]subset_1__146_16.min1.thm1.tptp2017-02-06 16:47 294  
[ ]subset_1__147_17.min1.thm12017-02-06 12:46 421  
[ ]subset_1__155_14.min1.thm12017-02-06 12:46 227  
[ ]subset_1__156_24.min1.thm12017-02-06 12:46 363  
[ ]subset_1__156_24.min1.thm1.tptp2017-02-06 16:47 294  
[ ]subset_1__157_29.min1.thm12017-02-06 12:46 509  
[ ]subset_1__158_16.min1.thm12017-02-06 12:46 406  
[ ]subset_1__168_14.min1.thm12017-02-06 12:46 227  
[ ]subset_1__169_24.min1.thm12017-02-06 12:46 363  
[ ]subset_1__169_24.min1.thm1.tptp2017-02-06 16:47 294  
[ ]subset_1__170_19.min1.thm12017-02-06 12:46 339  
[ ]subset_1__170_19.min1.thm1.tptp2017-02-06 16:47 270  
[ ]subset_1__172_13.min1.thm12017-02-06 12:46 131  
[ ]subset_1__177_18.min1.thm12017-02-06 12:46 359  
[ ]subset_1__177_18.min1.thm1.tptp2017-02-06 16:47 296  
[ ]subset_1__178_19.min1.thm12017-02-06 12:46 517  
[ ]subset_1__180_13.min1.thm12017-02-06 12:46 131  
[ ]subset_1__186_11.min1.thm12017-02-06 12:46 285  
[ ]subset_1__186_11.min1.thm1.tptp2017-02-06 16:47 202  
[ ]subset_1__192_10.min1.thm12017-02-06 12:46 227  
[ ]subset_1__193_14.min1.thm12017-02-06 12:46 323  
[ ]subset_1__193_14.min1.thm1.tptp2017-02-06 16:47 243  
[ ]subset_1__206_16.min1.thm12017-02-06 12:46 455  
[ ]subset_1__207_27.min1.thm12017-02-06 12:46 483  
[ ]subset_1__208_17.min1.thm12017-02-06 12:46 457  
[ ]subset_1__215_26.min1.thm12017-02-06 12:46 739  
[ ]subset_1__223_13.min1.thm12017-02-06 12:46 370  
[ ]subset_1__224_11.min1.thm12017-02-06 12:46 455  
[ ]subset_1__225_27.min1.thm12017-02-06 12:46 483  
[ ]subset_1__226_17.min1.thm12017-02-06 12:46 347  
[ ]subset_1__226_17.min1.thm1.tptp2017-02-06 16:47 266  
[ ]subset_1__235_17.min1.thm12017-02-06 12:46 274  
[ ]subset_1__236_27.min1.thm12017-02-06 12:46 429  
[ ]subset_1__236_27.min1.thm1.tptp2017-02-06 16:47 360  
[ ]subset_1__237_19.min1.thm12017-02-06 12:46 575  
[ ]subset_1__239_13.min1.thm12017-02-06 12:46 131  
[ ]subset_1__245_18.min1.thm12017-02-06 12:46 520  
[ ]subset_1__246_18.min1.thm12017-02-06 12:46 379  
[ ]subset_1__246_18.min1.thm1.tptp2017-02-06 16:47 310  
[ ]subset_1__247_29.min1.thm12017-02-06 12:46 640  
[ ]subset_1__248_29.min1.thm12017-02-06 12:46 628  
[ ]subset_1__249_17.min1.thm12017-02-06 12:46 525  
[ ]subset_1__249_17.min1.thm1.tptp2017-02-06 16:47 452  
[ ]subset_1__255_18.min1.thm12017-02-06 12:46 508  
[ ]subset_1__257_13.min1.thm12017-02-06 12:46 371  
[ ]subset_1__257_13.min1.thm1.tptp2017-02-06 16:47 302  
[ ]subset_1__258_18.min1.thm12017-02-06 12:46 508  
[ ]subset_1__259_18.min1.thm12017-02-06 12:46 371  
[ ]subset_1__259_18.min1.thm1.tptp2017-02-06 16:47 302  
[ ]subset_1__260_23.min1.thm12017-02-06 12:46 478  
[ ]subset_1__261_28.min1.thm12017-02-06 12:46 429  
[ ]subset_1__261_28.min1.thm1.tptp2017-02-06 16:47 360  
[ ]subset_1__262_19.min1.thm12017-02-06 12:46 575  
[ ]subset_1__267_18.min1.thm12017-02-06 12:46 508  
[ ]subset_1__268_31.min1.thm12017-02-06 12:46 520  
[ ]subset_1__270_17.min1.thm12017-02-06 12:46 456  
[ ]subset_1__270_17.min1.thm1.tptp2017-02-06 16:47 385  
[ ]subset_1__271_18.min1.thm12017-02-06 12:46 508  
[ ]subset_1__272_31.min1.thm12017-02-06 12:46 520  
[ ]subset_1__273_22.min1.thm12017-02-06 12:46 456  
[ ]subset_1__273_22.min1.thm1.tptp2017-02-06 16:47 385  
[ ]subset_1__274_35.min1.thm12017-02-06 12:46 594  
[ ]subset_1__275_29.min1.thm12017-02-06 12:46 598  
[ ]subset_1__276_19.min1.thm12017-02-06 12:46 686  
[ ]subset_1__285_17.min1.thm12017-02-06 12:46 274  
[ ]subset_1__286_27.min1.thm12017-02-06 12:46 429  
[ ]subset_1__286_27.min1.thm1.tptp2017-02-06 16:47 360  
[ ]subset_1__287_19.min1.thm12017-02-06 12:46 575  
[ ]subset_1__296_18.min1.thm12017-02-06 12:46 508  
[ ]subset_1__297_31.min1.thm12017-02-06 12:46 612  
[ ]subset_1__298_22.min1.thm12017-02-06 12:46 456  
[ ]subset_1__298_22.min1.thm1.tptp2017-02-06 16:47 385  
[ ]subset_1__299_27.min1.thm12017-02-06 12:46 429  
[ ]subset_1__299_27.min1.thm1.tptp2017-02-06 16:47 360  
[ ]subset_1__300_33.min1.thm12017-02-06 12:46 575  
[ ]subset_1__309_18.min1.thm12017-02-06 12:46 508  
[ ]subset_1__310_32.min1.thm12017-02-06 12:46 520  
[ ]subset_1__311_23.min1.thm12017-02-06 12:46 456  
[ ]subset_1__311_23.min1.thm1.tptp2017-02-06 16:47 385  
[ ]subset_1__312_28.min1.thm12017-02-06 12:46 429  
[ ]subset_1__312_28.min1.thm1.tptp2017-02-06 16:47 360  
[ ]subset_1__313_19.min1.thm12017-02-06 12:46 575  
[ ]subset_1__322_25.min1.thm12017-02-06 12:46 460  
[ ]subset_1__322_25.min1.thm1.tptp2017-02-06 16:47 385  
[ ]subset_1__323_16.min1.thm12017-02-06 12:46 677  
[ ]subset_1__336_28.min1.thm12017-02-06 12:46 552  
[ ]subset_1__337_24.min1.thm12017-02-06 12:46 836  
[ ]subset_1__339_22.min1.thm12017-02-06 12:46 1.0K 
[ ]subset_1__343_28.min1.thm12017-02-06 12:46 836  
[ ]subset_1__344_19.min1.thm12017-02-06 12:46 552  
[ ]subset_1__346_17.min1.thm12017-02-06 12:46 1.0K 
[ ]subset_1__358_27.min1.thm12017-02-06 12:46 552  
[ ]subset_1__359_24.min1.thm12017-02-06 12:46 708  
[ ]subset_1__361_22.min1.thm12017-02-06 12:46 919  
[ ]subset_1__365_27.min1.thm12017-02-06 12:46 708  
[ ]subset_1__366_19.min1.thm12017-02-06 12:46 552  
[ ]subset_1__368_17.min1.thm12017-02-06 12:46 919  
[ ]subset_1__380_31.min1.thm12017-02-06 12:46 558  
[ ]subset_1__381_23.min1.thm12017-02-06 12:46 714  
[ ]subset_1__383_21.min1.thm12017-02-06 12:46 919  
[ ]subset_1__387_31.min1.thm12017-02-06 12:46 714  
[ ]subset_1__388_19.min1.thm12017-02-06 12:46 558  
[ ]subset_1__390_17.min1.thm12017-02-06 12:46 919  
[ ]subset_1__402_54.min1.thm12017-02-06 12:46 657  
[ ]subset_1__403_36.min1.thm12017-02-06 12:46 1.0K 
[ ]subset_1__404_25.min1.thm12017-02-06 12:46 1.1K 
[ ]subset_1__406_23.min1.thm12017-02-06 12:46 1.0K 
[ ]subset_1__410_36.min1.thm12017-02-06 12:46 1.1K 
[ ]subset_1__411_54.min1.thm12017-02-06 12:46 1.0K 
[ ]subset_1__412_19.min1.thm12017-02-06 12:46 657  
[ ]subset_1__414_17.min1.thm12017-02-06 12:46 1.0K 
[ ]subset_1__418_17.min1.thm12017-02-06 12:46 550  
[ ]subset_1__423_16.min1.thm12017-02-06 12:46 504  
[ ]subset_1__424_16.min1.thm12017-02-06 12:46 363  
[ ]subset_1__424_16.min1.thm1.tptp2017-02-06 16:47 294  
[ ]subset_1__425_17.min1.thm12017-02-06 12:46 1.0K 
[ ]subset_1__431_16.min1.thm12017-02-06 12:46 504  
[ ]subset_1__432_16.min1.thm12017-02-06 12:46 363  
[ ]subset_1__432_16.min1.thm1.tptp2017-02-06 16:47 294  
[ ]subset_1__433_17.min1.thm12017-02-06 12:46 880  
[ ]subset_1__439_33.min1.thm12017-02-06 12:46 689  
[ ]subset_1__440_16.min1.thm12017-02-06 12:46 700  
[ ]subset_1__440_21.min1.thm12017-02-06 12:46 438  
[ ]subset_1__440_21.min1.thm1.tptp2017-02-06 16:47 364  
[ ]subset_1__441_14.min1.thm12017-02-06 12:46 700  
[ ]subset_1__441_19.min1.thm12017-02-06 12:46 438  
[ ]subset_1__441_19.min1.thm1.tptp2017-02-06 16:47 364  
[ ]subset_1__442_17.min1.thm12017-02-06 12:46 725  
[ ]subset_1__448_16.min1.thm12017-02-06 12:46 504  
[ ]subset_1__450_13.min1.thm12017-02-06 12:46 363  
[ ]subset_1__450_13.min1.thm1.tptp2017-02-06 16:47 294  
[ ]subset_1__451_32.min1.thm12017-02-06 12:46 1.5K 
[ ]subset_1__452_15.min1.thm12017-02-06 12:46 775  
[ ]subset_1__458_16.min1.thm12017-02-06 12:46 504  
[ ]subset_1__460_13.min1.thm12017-02-06 12:46 363  
[ ]subset_1__460_13.min1.thm1.tptp2017-02-06 16:47 294  
[ ]subset_1__461_38.min1.thm12017-02-06 12:46 1.6K 
[ ]subset_1__462_17.min1.thm12017-02-06 12:46 1.1K 
[ ]subset_1__468_16.min1.thm12017-02-06 12:46 504  
[ ]subset_1__470_13.min1.thm12017-02-06 12:46 363  
[ ]subset_1__470_13.min1.thm1.tptp2017-02-06 16:47 294  
[ ]subset_1__472_34.min1.thm12017-02-06 12:46 1.5K 
[ ]subset_1__473_32.min1.thm12017-02-06 12:46 1.6K 
[ ]subset_1__480_18.min1.thm12017-02-06 12:46 861  
[ ]subset_1__481_14.min1.thm12017-02-06 12:46 581  
[ ]subset_1__488_19.min1.thm12017-02-06 12:46 861  
[ ]subset_1__489_14.min1.thm12017-02-06 12:46 581  
[ ]subset_1__495_33.min1.thm12017-02-06 12:46 607  
[ ]subset_1__496_16.min1.thm12017-02-06 12:46 504  
[ ]subset_1__497_17.min1.thm12017-02-06 12:46 763  
[ ]subset_1__506_24.min1.thm12017-02-06 12:46 908  
[ ]subset_1__507_16.min1.thm12017-02-06 12:46 525  
[ ]subset_1__510_17.min1.thm12017-02-06 12:46 671  
[ ]subset_1__511_17.min1.thm12017-02-06 12:46 346  
[ ]subset_1__511_17.min1.thm1.tptp2017-02-06 16:47 263  
[ ]subset_1__515_36.min1.thm12017-02-06 12:46 557  
[ ]subset_1__520_16.min1.thm12017-02-06 12:46 643  
[ ]subset_1__521_17.min1.thm12017-02-06 12:46 936  
[ ]subset_1__527_16.min1.thm12017-02-06 12:46 516  
[ ]subset_1__528_17.min1.thm12017-02-06 12:46 902  
[ ]subset_1__542_17.min1.thm12017-02-06 12:46 514  
[ ]subset_1__543_13.min1.thm12017-02-06 12:46 463  
[ ]subset_1__544_19.min1.thm12017-02-06 12:46 709  
[ ]subset_1__551_13.min1.thm12017-02-06 12:46 453  
[ ]subset_1__551_13.min1.thm1.tptp2017-02-06 16:47 399  
[ ]subset_1__552_15.min1.thm12017-02-06 12:46 779  
[ ]subset_1__559_8.min1.thm12017-02-06 12:46 436  
[ ]subset_1__559_8.min1.thm1.tptp2017-02-06 16:47 362  
[ ]subset_1__560_17.min1.thm12017-02-06 12:46 856  
[ ]subset_1__569_18.min1.thm12017-02-06 12:46 504  
[ ]subset_1__576_17.min1.thm12017-02-06 12:46 512  
[ ]subset_1__577_13.min1.thm12017-02-06 12:46 365  
[ ]subset_1__577_13.min1.thm1.tptp2017-02-06 16:47 296  
[ ]subset_1__578_18.min1.thm12017-02-06 12:46 431  
[ ]subset_1__579_19.min1.thm12017-02-06 12:46 709  
[ ]subset_1__582_34.min1.thm12017-02-06 12:46 589  
[ ]subset_1__582_34.min1.thm1.tptp2017-02-06 16:47 532  
[ ]subset_1__585_16.min1.thm12017-02-06 12:46 618  
[ ]subset_1__586_17.min1.thm12017-02-06 12:46 876  
[ ]subset_1__593_20.min1.thm12017-02-06 12:46 490  
[ ]subset_1__594_17.min1.thm12017-02-06 12:46 635  
[ ]subset_1__608_27.min1.thm12017-02-06 12:46 483  
[ ]subset_1__609_17.min1.thm12017-02-06 12:46 348  
[ ]subset_1__609_17.min1.thm1.tptp2017-02-06 16:47 267  
[ ]subset_1__621_29.min1.thm12017-02-06 12:46 491  
[ ]subset_1__622_19.min1.thm12017-02-06 12:46 356  
[ ]subset_1__622_19.min1.thm1.tptp2017-02-06 16:47 275  
[ ]subset_1__624_16.min1.thm12017-02-06 12:46 504  
[ ]subset_1__625_17.min1.thm12017-02-06 12:46 363  
[ ]subset_1__625_17.min1.thm1.tptp2017-02-06 16:47 294  
[ ]subset_1__637_11.min1.thm12017-02-06 12:46 540  
[ ]subset_1__638_17.min1.thm12017-02-06 12:46 697  
[ ]subset_1__652_18.min1.thm12017-02-06 12:46 506  
[ ]subset_1__653_18.min1.thm12017-02-06 12:46 367  
[ ]subset_1__653_18.min1.thm1.tptp2017-02-06 16:47 298  
[ ]subset_1__654_18.min1.thm12017-02-06 12:46 431  
[ ]subset_1__655_29.min1.thm12017-02-06 12:46 491  
[ ]subset_1__657_17.min1.thm12017-02-06 12:46 476  
[ ]subset_1__658_13.min1.thm12017-02-06 12:46 463  
[ ]subset_1__659_19.min1.thm12017-02-06 12:46 709  
[ ]subset_1__664_17.min1.thm12017-02-06 12:46 660  
[ ]subset_1__665_17.min1.thm12017-02-06 12:46 421  
[ ]subset_1__665_17.min1.thm1.tptp2017-02-06 16:47 352  
[ ]subset_1__666_16.min1.thm12017-02-06 12:46 479  
[ ]subset_1__667_38.min1.thm12017-02-06 12:46 483  
[ ]subset_1__668_15.min1.thm12017-02-06 12:46 689  
[ ]subset_1__669_17.min1.thm12017-02-06 12:46 535  
[ ]subset_1__677_59.min1.thm12017-02-06 12:46 372  
[ ]subset_1__678_17.min1.thm12017-02-06 12:46 725  
[ ]subset_1__686_59.min1.thm12017-02-06 12:46 372  
[ ]subset_1__687_17.min1.thm12017-02-06 12:46 725  
[ ]subset_1__697_14.min1.thm12017-02-06 12:46 540  
[ ]subset_1__702_19.min1.thm12017-02-06 12:46 430  
[ ]subset_1__704_24.min1.thm12017-02-06 12:46 385  
[ ]subset_1__704_24.min1.thm1.tptp2017-02-06 16:47 316  
[ ]subset_1__705_17.min1.thm12017-02-06 12:46 531  
[ ]subset_1__713_24.min1.thm12017-02-06 12:46 742  
[ ]subset_1__718_19.min1.thm12017-02-06 12:46 508  
[ ]subset_1__720_27.min1.thm12017-02-06 12:46 417  
[ ]subset_1__720_27.min1.thm1.tptp2017-02-06 16:47 348  
[ ]subset_1__721_17.min1.thm12017-02-06 12:46 563  
[ ]subset_1__730_14.min1.thm12017-02-06 12:46 540  
[ ]subset_1__731_24.min1.thm12017-02-06 12:46 742  
[ ]subset_1__736_19.min1.thm12017-02-06 12:46 635  
[ ]subset_1__738_30.min1.thm12017-02-06 12:46 453  
[ ]subset_1__738_30.min1.thm1.tptp2017-02-06 16:47 384  
[ ]subset_1__739_17.min1.thm12017-02-06 12:46 599  
[ ]subset_1__748_24.min1.thm12017-02-06 12:46 742  
[ ]subset_1__749_24.min1.thm12017-02-06 12:46 742  
[ ]subset_1__754_19.min1.thm12017-02-06 12:46 716  
[ ]subset_1__756_33.min1.thm12017-02-06 12:46 485  
[ ]subset_1__756_33.min1.thm1.tptp2017-02-06 16:47 416  
[ ]subset_1__757_17.min1.thm12017-02-06 12:46 631  
[ ]subset_1__769_6.min1.thm12017-02-06 12:46 628  
[ ]subset_1__771_19.min1.thm12017-02-06 12:46 1.4K 
[ ]subset_1__773_36.min1.thm12017-02-06 12:46 517  
[ ]subset_1__773_36.min1.thm1.tptp2017-02-06 16:47 448  
[ ]subset_1__774_17.min1.thm12017-02-06 12:46 663  
[ ]subset_1__786_14.min1.thm12017-02-06 12:46 703  
[ ]subset_1__788_19.min1.thm12017-02-06 12:46 1.5K 
[ ]subset_1__790_39.min1.thm12017-02-06 12:46 549  
[ ]subset_1__790_39.min1.thm1.tptp2017-02-06 16:47 480  
[ ]subset_1__791_17.min1.thm12017-02-06 12:46 695  
[ ]subset_1__803_26.min1.thm12017-02-06 12:46 778  
[ ]subset_1__805_19.min1.thm12017-02-06 12:46 1.6K 
[ ]subset_1__807_42.min1.thm12017-02-06 12:46 581  
[ ]subset_1__807_42.min1.thm1.tptp2017-02-06 16:47 512  
[ ]subset_1__808_17.min1.thm12017-02-06 12:46 727  
[ ]subset_1__820_38.min1.thm12017-02-06 12:46 863  
[ ]subset_1__822_19.min1.thm12017-02-06 12:46 1.8K 
[ ]subset_1__824_45.min1.thm12017-02-06 12:46 613  
[ ]subset_1__824_45.min1.thm1.tptp2017-02-06 16:47 544  
[ ]subset_1__825_17.min1.thm12017-02-06 12:46 759  
[ ]subset_1__832_18.min1.thm12017-02-06 12:46 344  
[ ]subset_1__832_18.min1.thm1.tptp2017-02-06 16:47 266  
[ ]subset_1__833_23.min1.thm12017-02-06 12:46 385  
[ ]subset_1__833_23.min1.thm1.tptp2017-02-06 16:47 316  
[ ]subset_1__834_17.min1.thm12017-02-06 12:46 531  
[ ]subset_1__845_18.min1.thm12017-02-06 12:46 357  
[ ]subset_1__847_23.min1.thm12017-02-06 12:46 369  
[ ]subset_1__847_23.min1.thm1.tptp2017-02-06 16:47 300  
[ ]subset_1__848_39.min1.thm12017-02-06 12:46 515  
[ ]subset_1__850_16.min1.thm12017-02-06 12:46 418  
[ ]subset_1__850_16.min1.thm1.tptp2017-02-06 16:47 354  
[ ]subset_1__864_18.min1.thm12017-02-06 12:46 463  
[ ]subset_1__865_24.min1.thm12017-02-06 12:46 463  
[ ]subset_1__868_16.min1.thm12017-02-06 12:46 459  
[ ]subset_1__869_19.min1.thm12017-02-06 12:46 459  
[ ]subset_1__871_17.min1.thm12017-02-06 12:46 666  
[ ]subset_1__880_31.min1.thm12017-02-06 12:46 324  
[ ]subset_1__880_31.min1.thm1.tptp2017-02-06 16:47 247  
[ ]subset_1__881_19.min1.thm12017-02-06 12:46 441  
[ ]subset_1__881_19.min1.thm1.tptp2017-02-06 16:47 383  
[ ]subset_1__891_23.min1.thm12017-02-06 12:46 379  
[ ]subset_1__891_23.min1.thm1.tptp2017-02-06 16:47 300  
[ ]subset_1__899_13.min1.thm12017-02-06 12:46 262  
[ ]subset_1__909_16.min1.thm12017-02-06 12:46 371  
[ ]subset_1__909_16.min1.thm1.tptp2017-02-06 16:47 307  
[ ]subset_1__910_21.min1.thm12017-02-06 12:46 363  
[ ]subset_1__910_21.min1.thm1.tptp2017-02-06 16:47 294  
[ ]subset_1__911_17.min1.thm12017-02-06 12:46 509  
[ ]subset_1__917_16.min1.thm12017-02-06 12:46 455  
[ ]subset_1__918_17.min1.thm12017-02-06 12:46 483  
[ ]subset_1__928_50.min1.thm12017-02-06 12:46 322  
[ ]subset_1__929_39.min1.thm12017-02-06 12:46 409  
[ ]subset_1__929_39.min1.thm1.tptp2017-02-06 16:47 345  
[ ]subset_1__932_13.min1.thm12017-02-06 12:46 482  
[ ]subset_1__933_17.min1.thm12017-02-06 12:46 490  
[ ]subset_1__949_46.min1.thm12017-02-06 12:46 471  
[ ]subset_1__950_11.min1.thm12017-02-06 12:46 539  
[ ]subset_1__951_19.min1.thm12017-02-06 12:46 539  
[ ]subset_1__956_44.min1.thm12017-02-06 12:46 463  
[ ]subset_1__957_9.min1.thm12017-02-06 12:46 521  
[ ]subset_1__958_17.min1.thm12017-02-06 12:46 521  
[ ]subset_1__967_15.min1.thm12017-02-06 12:46 561  
[ ]subset_1__967_20.min1.thm12017-02-06 12:46 438  
[ ]subset_1__967_20.min1.thm1.tptp2017-02-06 16:47 364  
[ ]subset_1__978_18.min1.thm12017-02-06 12:46 520  
[ ]subset_1__979_18.min1.thm12017-02-06 12:46 379  
[ ]subset_1__979_18.min1.thm1.tptp2017-02-06 16:47 310  
[ ]subset_1__980_19.min1.thm12017-02-06 12:46 509  
[ ]subset_1__998_17.min1.thm12017-02-06 12:46 226  
[ ]subset_1__1008_15.min1.thm12017-02-06 12:46 314  
[ ]subset_1__1008_15.min1.thm1.tptp2017-02-06 16:47 232  
[ ]subset_1__1019_16.min1.thm12017-02-06 12:46 304  
[ ]subset_1__1019_16.min1.thm1.tptp2017-02-06 16:47 216  
[ ]subset_1__1022_11.min1.thm12017-02-06 12:46 441  
[ ]subset_1__1022_11.min1.thm1.tptp2017-02-06 16:47 378  
[ ]subset_1__1031_18.min1.thm12017-02-06 12:46 361  
[ ]subset_1__1041_14.min1.thm12017-02-06 12:46 508  
[ ]subset_1__1056_16.min1.thm12017-02-06 12:46 751  
[ ]subset_1__1057_33.min1.thm12017-02-06 12:46 483  
[ ]subset_1__1058_33.min1.thm12017-02-06 12:46 483  
[ ]subset_1__1060_16.min1.thm12017-02-06 12:46 508  
[ ]subset_1__1073_17.min1.thm12017-02-06 12:46 961  
[ ]subset_1__1074_17.min1.thm12017-02-06 12:46 693  
[ ]subset_1__1076_11.min1.thm12017-02-06 12:46 336  
[ ]subset_1__1076_11.min1.thm1.tptp2017-02-06 16:47 262  
[ ]subset_1__1077_17.min1.thm12017-02-06 12:46 1.1K 
[ ]subset_1__1090_24.min1.thm12017-02-06 12:46 646  
[ ]subset_1__1091_19.min1.thm12017-02-06 12:46 493  
[ ]subset_1__1097_50.min1.thm12017-02-06 12:46 599  
[ ]subset_1__1098_19.min1.thm12017-02-06 12:46 429  
[ ]subset_1__1098_19.min1.thm1.tptp2017-02-06 16:47 359  
[ ]subset_1__1106_28.min1.thm12017-02-06 12:46 515  
[ ]subset_1__1107_35.min1.thm12017-02-06 12:46 384  
[ ]subset_1__1107_35.min1.thm1.tptp2017-02-06 16:47 306  
[ ]subset_1__1108_40.min1.thm12017-02-06 12:46 425  
[ ]subset_1__1108_40.min1.thm1.tptp2017-02-06 16:47 356  
[ ]subset_1__1109_60.min1.thm12017-02-06 12:46 571  
[ ]subset_1__1111_22.min1.thm12017-02-06 12:46 332  
[ ]subset_1__1111_22.min1.thm1.tptp2017-02-06 16:47 247  
[ ]subset_1__1114_55.min1.thm12017-02-06 12:46 570  
[ ]subset_1__1115_15.min1.thm12017-02-06 12:46 310  
[ ]subset_1__1127_28.min1.thm12017-02-06 12:46 585  
[ ]subset_1__1128_19.min1.thm12017-02-06 12:46 478  
[ ]subset_1__1138_15.min1.thm12017-02-06 12:46 294  
[ ]subset_1__1138_15.min1.thm1.tptp2017-02-06 16:47 209  
[ ]subset_1__1150_15.min1.thm12017-02-06 12:46 386  
[ ]subset_1__1150_15.min1.thm1.tptp2017-02-06 16:47 330  
[ ]subset_1__1151_24.min1.thm12017-02-06 12:46 545  
[ ]subset_1__1152_44.min1.thm12017-02-06 12:46 575  
[ ]subset_1__1154_39.min1.thm12017-02-06 12:46 573  
[ ]subset_1__1162_15.min1.thm12017-02-06 12:46 363  
[ ]subset_1__1162_15.min1.thm1.tptp2017-02-06 16:47 287  
[ ]subset_1__1163_11.min1.thm12017-02-06 12:46 335  
[ ]subset_1__1163_11.min1.thm1.tptp2017-02-06 16:47 270  
[ ]subset_1__1164_38.min1.thm12017-02-06 12:46 483  
[ ]subset_1__1166_16.min1.thm12017-02-06 12:46 310  
[ ]subset_1__1166_16.min1.thm1.tptp2017-02-06 16:47 228  
[ ]subset_1__1177_44.min1.thm12017-02-06 12:46 813  
[ ]subset_1__1178_14.min1.thm12017-02-06 12:46 723  
[ ]subset_1__1189_15.min1.thm12017-02-06 12:46 389  
[ ]subset_1__1189_15.min1.thm1.tptp2017-02-06 16:47 333  
[ ]subset_1__1190_24.min1.thm12017-02-06 12:46 260  
[ ]subset_1__1191_17.min1.thm12017-02-06 12:46 406  
[ ]subset_1__1191_17.min1.thm1.tptp2017-02-06 16:47 332  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80