Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/xregular
Name
Last modified
Size
Description
Parent Directory
-
xregular__37_13.min1.thm1
2017-02-06 12:45
304
xregular__37_13.min1.thm1.tptp
2017-02-06 16:46
227
xregular__39_43.min1.thm1
2017-02-06 12:45
423
xregular__39_43.min1.thm1.tptp
2017-02-06 16:46
369
xregular__41_16.min1.thm1
2017-02-06 12:45
624
xregular__52_22.min1.thm1
2017-02-06 12:45
512
xregular__60_22.min1.thm1
2017-02-06 12:45
399
xregular__60_22.min1.thm1.tptp
2017-02-06 16:46
330
xregular__61_20.min1.thm1
2017-02-06 12:45
459
xregular__62_19.min1.thm1
2017-02-06 12:45
484
xregular__63_24.min1.thm1
2017-02-06 12:45
501
xregular__66_16.min1.thm1
2017-02-06 12:45
476
xregular__67_19.min1.thm1
2017-02-06 12:45
388
xregular__67_19.min1.thm1.tptp
2017-02-06 16:46
309
xregular__82_29.min1.thm1
2017-02-06 12:45
790
xregular__88_17.min1.thm1
2017-02-06 12:45
442
xregular__88_17.min1.thm1.tptp
2017-02-06 16:46
377
xregular__89_19.min1.thm1
2017-02-06 12:45
423
xregular__89_19.min1.thm1.tptp
2017-02-06 16:46
352
xregular__90_31.min1.thm1
2017-02-06 12:45
481
xregular__91_20.min1.thm1
2017-02-06 12:45
506
xregular__92_31.min1.thm1
2017-02-06 12:45
529
xregular__103_23.min1.thm1
2017-02-06 12:45
449
xregular__103_23.min1.thm1.tptp
2017-02-06 16:46
390
xregular__104_20.min1.thm1
2017-02-06 12:45
459
xregular__105_20.min1.thm1
2017-02-06 12:45
588
xregular__106_25.min1.thm1
2017-02-06 12:45
501
xregular__107_31.min1.thm1
2017-02-06 12:45
464
xregular__107_31.min1.thm1.tptp
2017-02-06 16:46
402
xregular__110_25.min1.thm1
2017-02-06 12:45
559
xregular__111_23.min1.thm1
2017-02-06 12:45
535
xregular__112_17.min1.thm1
2017-02-06 12:45
478
xregular__113_19.min1.thm1
2017-02-06 12:45
401
xregular__113_19.min1.thm1.tptp
2017-02-06 16:46
322
xregular__114_25.min1.thm1
2017-02-06 12:45
492
xregular__114_25.min1.thm1.tptp
2017-02-06 16:46
423
xregular__134_35.min1.thm1
2017-02-06 12:45
901
xregular__140_17.min1.thm1
2017-02-06 12:45
453
xregular__140_17.min1.thm1.tptp
2017-02-06 16:46
388
xregular__141_25.min1.thm1
2017-02-06 12:45
445
xregular__141_25.min1.thm1.tptp
2017-02-06 16:46
374
xregular__142_37.min1.thm1
2017-02-06 12:45
503
xregular__143_20.min1.thm1
2017-02-06 12:45
528
xregular__144_37.min1.thm1
2017-02-06 12:45
557
xregular__153_18.min1.thm1
2017-02-06 12:45
492
xregular__153_18.min1.thm1.tptp
2017-02-06 16:46
433
xregular__154_19.min1.thm1
2017-02-06 12:45
448
xregular__154_19.min1.thm1.tptp
2017-02-06 16:46
380
xregular__155_31.min1.thm1
2017-02-06 12:45
481
xregular__156_20.min1.thm1
2017-02-06 12:45
610
xregular__157_31.min1.thm1
2017-02-06 12:45
529
xregular__158_33.min1.thm1
2017-02-06 12:45
802
xregular__162_33.min1.thm1
2017-02-06 12:45
532
xregular__162_33.min1.thm1.tptp
2017-02-06 16:46
465
xregular__163_31.min1.thm1
2017-02-06 12:45
532
xregular__163_31.min1.thm1.tptp
2017-02-06 16:46
465
xregular__172_23.min1.thm1
2017-02-06 12:45
500
xregular__172_23.min1.thm1.tptp
2017-02-06 16:46
447
xregular__173_20.min1.thm1
2017-02-06 12:45
459
xregular__174_20.min1.thm1
2017-02-06 12:45
660
xregular__175_25.min1.thm1
2017-02-06 12:45
501
xregular__176_31.min1.thm1
2017-02-06 12:45
464
xregular__176_31.min1.thm1.tptp
2017-02-06 16:46
402
xregular__177_37.min1.thm1
2017-02-06 12:45
614
xregular__180_29.min1.thm1
2017-02-06 12:45
914
xregular__181_31.min1.thm1
2017-02-06 12:45
560
xregular__182_23.min1.thm1
2017-02-06 12:45
535
xregular__183_17.min1.thm1
2017-02-06 12:45
479
xregular__184_19.min1.thm1
2017-02-06 12:45
412
xregular__184_19.min1.thm1.tptp
2017-02-06 16:46
333
xregular__210_41.min1.thm1
2017-02-06 12:45
902
xregular__216_18.min1.thm1
2017-02-06 12:45
464
xregular__216_18.min1.thm1.tptp
2017-02-06 16:46
399
xregular__217_31.min1.thm1
2017-02-06 12:45
467
xregular__217_31.min1.thm1.tptp
2017-02-06 16:46
396
xregular__218_43.min1.thm1
2017-02-06 12:45
525
xregular__219_20.min1.thm1
2017-02-06 12:45
550
xregular__220_43.min1.thm1
2017-02-06 12:45
585
xregular__229_18.min1.thm1
2017-02-06 12:45
542
xregular__229_18.min1.thm1.tptp
2017-02-06 16:46
489
xregular__230_19.min1.thm1
2017-02-06 12:45
473
xregular__230_19.min1.thm1.tptp
2017-02-06 16:46
408
xregular__231_31.min1.thm1
2017-02-06 12:45
481
xregular__232_20.min1.thm1
2017-02-06 12:45
682
xregular__233_31.min1.thm1
2017-02-06 12:45
529
xregular__234_33.min1.thm1
2017-02-06 12:45
802
xregular__235_39.min1.thm1
2017-02-06 12:45
701
xregular__238_63.min1.thm1
2017-02-06 12:45
588
xregular__238_63.min1.thm1.tptp
2017-02-06 16:46
521
xregular__239_37.min1.thm1
2017-02-06 12:45
588
xregular__239_37.min1.thm1.tptp
2017-02-06 16:46
521
xregular__240_37.min1.thm1
2017-02-06 12:45
588
xregular__240_37.min1.thm1.tptp
2017-02-06 16:46
521
xregular__247_18.min1.thm1
2017-02-06 12:45
503
xregular__247_18.min1.thm1.tptp
2017-02-06 16:46
444
xregular__248_25.min1.thm1
2017-02-06 12:45
470
xregular__248_25.min1.thm1.tptp
2017-02-06 16:46
402
xregular__249_37.min1.thm1
2017-02-06 12:45
503
xregular__250_20.min1.thm1
2017-02-06 12:45
632
xregular__251_37.min1.thm1
2017-02-06 12:45
557
xregular__252_39.min1.thm1
2017-02-06 12:45
858
xregular__263_23.min1.thm1
2017-02-06 12:45
550
xregular__263_23.min1.thm1.tptp
2017-02-06 16:46
503
xregular__264_20.min1.thm1
2017-02-06 12:45
459
xregular__265_20.min1.thm1
2017-02-06 12:45
732
xregular__266_25.min1.thm1
2017-02-06 12:45
501
xregular__267_31.min1.thm1
2017-02-06 12:45
464
xregular__267_31.min1.thm1.tptp
2017-02-06 16:46
402
xregular__268_37.min1.thm1
2017-02-06 12:45
614
xregular__269_43.min1.thm1
2017-02-06 12:45
671
xregular__272_35.min1.thm1
2017-02-06 12:45
1.0K
xregular__273_37.min1.thm1
2017-02-06 12:45
616
xregular__274_37.min1.thm1
2017-02-06 12:45
616
xregular__275_29.min1.thm1
2017-02-06 12:45
684
xregular__276_31.min1.thm1
2017-02-06 12:45
560
xregular__277_23.min1.thm1
2017-02-06 12:45
535
xregular__278_17.min1.thm1
2017-02-06 12:45
479
xregular__279_19.min1.thm1
2017-02-06 12:45
423
xregular__279_19.min1.thm1.tptp
2017-02-06 16:46
344
xregular__312_17.min1.thm1
2017-02-06 12:45
959
xregular__313_44.min1.thm1
2017-02-06 12:45
644
xregular__313_44.min1.thm1.tptp
2017-02-06 16:46
577
xregular__314_43.min1.thm1
2017-02-06 12:45
644
xregular__314_43.min1.thm1.tptp
2017-02-06 16:46
577
xregular__315_43.min1.thm1
2017-02-06 12:45
644
xregular__315_43.min1.thm1.tptp
2017-02-06 16:46
577
xregular__316_43.min1.thm1
2017-02-06 12:45
644
xregular__316_43.min1.thm1.tptp
2017-02-06 16:46
577
xregular__323_18.min1.thm1
2017-02-06 12:45
592
xregular__323_18.min1.thm1.tptp
2017-02-06 16:46
545
xregular__324_19.min1.thm1
2017-02-06 12:45
498
xregular__324_19.min1.thm1.tptp
2017-02-06 16:46
436
xregular__325_31.min1.thm1
2017-02-06 12:45
481
xregular__326_20.min1.thm1
2017-02-06 12:45
754
xregular__327_31.min1.thm1
2017-02-06 12:45
529
xregular__328_33.min1.thm1
2017-02-06 12:45
802
xregular__329_39.min1.thm1
2017-02-06 12:45
701
xregular__330_45.min1.thm1
2017-02-06 12:45
757
xregular__339_18.min1.thm1
2017-02-06 12:45
553
xregular__339_18.min1.thm1.tptp
2017-02-06 16:46
500
xregular__340_25.min1.thm1
2017-02-06 12:45
495
xregular__340_25.min1.thm1.tptp
2017-02-06 16:46
430
xregular__341_37.min1.thm1
2017-02-06 12:45
503
xregular__342_20.min1.thm1
2017-02-06 12:45
704
xregular__343_37.min1.thm1
2017-02-06 12:45
557
xregular__344_43.min1.thm1
2017-02-06 12:45
670
xregular__345_19.min1.thm1
2017-02-06 12:45
727
xregular__354_18.min1.thm1
2017-02-06 12:45
514
xregular__354_18.min1.thm1.tptp
2017-02-06 16:46
455
xregular__355_31.min1.thm1
2017-02-06 12:45
492
xregular__355_31.min1.thm1.tptp
2017-02-06 16:46
424
xregular__356_43.min1.thm1
2017-02-06 12:45
525
xregular__357_20.min1.thm1
2017-02-06 12:45
655
xregular__358_43.min1.thm1
2017-02-06 12:45
585
xregular__359_19.min1.thm1
2017-02-06 12:45
726
xregular__367_18.min1.thm1
2017-02-06 12:45
476
xregular__367_18.min1.thm1.tptp
2017-02-06 16:46
411
xregular__368_37.min1.thm1
2017-02-06 12:45
490
xregular__368_37.min1.thm1.tptp
2017-02-06 16:46
419
xregular__369_49.min1.thm1
2017-02-06 12:45
547
xregular__370_20.min1.thm1
2017-02-06 12:45
572
xregular__371_19.min1.thm1
2017-02-06 12:45
613
xregular__382_23.min1.thm1
2017-02-06 12:45
600
xregular__382_23.min1.thm1.tptp
2017-02-06 16:46
559
xregular__383_20.min1.thm1
2017-02-06 12:45
459
xregular__384_20.min1.thm1
2017-02-06 12:45
804
xregular__385_25.min1.thm1
2017-02-06 12:45
501
xregular__386_31.min1.thm1
2017-02-06 12:45
464
xregular__386_31.min1.thm1.tptp
2017-02-06 16:46
402
xregular__387_37.min1.thm1
2017-02-06 12:45
614
xregular__388_39.min1.thm1
2017-02-06 12:45
859
xregular__389_45.min1.thm1
2017-02-06 12:45
757
xregular__392_41.min1.thm1
2017-02-06 12:45
1.1K
xregular__393_43.min1.thm1
2017-02-06 12:45
672
xregular__394_43.min1.thm1
2017-02-06 12:45
672
xregular__395_43.min1.thm1
2017-02-06 12:45
672
xregular__396_35.min1.thm1
2017-02-06 12:45
740
xregular__397_37.min1.thm1
2017-02-06 12:45
616
xregular__398_37.min1.thm1
2017-02-06 12:45
616
xregular__399_29.min1.thm1
2017-02-06 12:45
684
xregular__400_31.min1.thm1
2017-02-06 12:45
560
xregular__401_23.min1.thm1
2017-02-06 12:45
535
xregular__402_17.min1.thm1
2017-02-06 12:45
479
xregular__403_19.min1.thm1
2017-02-06 12:45
434
xregular__403_19.min1.thm1.tptp
2017-02-06 16:46
355
xregular__413_46.min1.thm1
2017-02-06 12:45
435
xregular__414_25.min1.thm1
2017-02-06 12:45
349
xregular__417_28.min1.thm1
2017-02-06 12:45
660
xregular__418_31.min1.thm1
2017-02-06 12:45
487
xregular__418_31.min1.thm1.tptp
2017-02-06 16:46
430
xregular__419_17.min1.thm1
2017-02-06 12:45
1.0K
xregular__425_52.min1.thm1
2017-02-06 12:45
485
xregular__426_28.min1.thm1
2017-02-06 12:45
384
xregular__427_28.min1.thm1
2017-02-06 12:45
384
xregular__430_31.min1.thm1
2017-02-06 12:45
705
xregular__431_41.min1.thm1
2017-02-06 12:45
557
xregular__431_41.min1.thm1.tptp
2017-02-06 16:46
503
xregular__432_17.min1.thm1
2017-02-06 12:45
1.2K
xregular__450_18.min1.thm1
2017-02-06 12:45
647
xregular__450_18.min1.thm1.tptp
2017-02-06 16:46
596
xregular__454_31.min1.thm1
2017-02-06 12:45
714
xregular__459_31.min1.thm1
2017-02-06 12:45
714
xregular__464_31.min1.thm1
2017-02-06 12:45
714
xregular__469_31.min1.thm1
2017-02-06 12:45
714
xregular__474_31.min1.thm1
2017-02-06 12:45
714
xregular__477_19.min1.thm1
2017-02-06 12:45
601
xregular__477_19.min1.thm1.tptp
2017-02-06 16:46
547
xregular__479_29.min1.thm1
2017-02-06 12:45
419
xregular__499_18.min1.thm1
2017-02-06 12:45
740
xregular__499_18.min1.thm1.tptp
2017-02-06 16:46
692
xregular__503_31.min1.thm1
2017-02-06 12:45
768
xregular__508_31.min1.thm1
2017-02-06 12:45
768
xregular__513_31.min1.thm1
2017-02-06 12:45
768
xregular__518_31.min1.thm1
2017-02-06 12:45
768
xregular__523_31.min1.thm1
2017-02-06 12:45
768
xregular__528_31.min1.thm1
2017-02-06 12:45
768
xregular__531_19.min1.thm1
2017-02-06 12:45
647
xregular__531_19.min1.thm1.tptp
2017-02-06 16:46
593
xregular__533_32.min1.thm1
2017-02-06 12:45
462
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80