Index of /~mptp/1147/MPTP2/ilp0/fuzzy_4
Name
Last modified
Size
Description
Parent Directory
-
fuzzy_4__47_17.min1.thm1
2017-02-06 12:44
766
fuzzy_4__49_17.min1.thm1
2017-02-06 12:44
538
fuzzy_4__50_19.min1.thm1
2017-02-06 12:44
1.6K
fuzzy_4__51_16.min1.thm1
2017-02-06 12:44
381
fuzzy_4__51_16.min1.thm1.tptp
2017-02-06 16:47
301
fuzzy_4__61_58.min1.thm1
2017-02-06 12:44
1.4K
fuzzy_4__62_23.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__64_28.min1.thm1
2017-02-06 12:44
1.9K
fuzzy_4__70_19.min1.thm1
2017-02-06 12:44
1.6K
fuzzy_4__71_29.min1.thm1
2017-02-06 12:44
1.4K
fuzzy_4__72_19.min1.thm1
2017-02-06 12:44
2.2K
fuzzy_4__79_19.min1.thm1
2017-02-06 12:44
1.6K
fuzzy_4__80_29.min1.thm1
2017-02-06 12:44
1.4K
fuzzy_4__81_19.min1.thm1
2017-02-06 12:44
2.2K
fuzzy_4__83_17.min1.thm1
2017-02-06 12:44
2.6K
fuzzy_4__91_26.min1.thm1
2017-02-06 12:44
961
fuzzy_4__93_29.min1.thm1
2017-02-06 12:44
1.3K
fuzzy_4__106_14.min1.thm1
2017-02-06 12:44
1.6K
fuzzy_4__107_15.min1.thm1
2017-02-06 12:44
1.5K
fuzzy_4__117_35.min1.thm1
2017-02-06 12:44
703
fuzzy_4__118_14.min1.thm1
2017-02-06 12:44
1.2K
fuzzy_4__119_22.min1.thm1
2017-02-06 12:44
851
fuzzy_4__120_36.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__123_17.min1.thm1
2017-02-06 12:44
1.8K
fuzzy_4__131_11.min1.thm1
2017-02-06 12:44
263
fuzzy_4__134_45.min1.thm1
2017-02-06 12:44
372
fuzzy_4__134_45.min1.thm1.tptp
2017-02-06 16:47
294
fuzzy_4__135_28.min1.thm1
2017-02-06 12:44
1.2K
fuzzy_4__136_28.min1.thm1
2017-02-06 12:44
1.2K
fuzzy_4__141_24.min1.thm1
2017-02-06 12:44
874
fuzzy_4__142_19.min1.thm1
2017-02-06 12:44
2.7K
fuzzy_4__153_22.min1.thm1
2017-02-06 12:44
1.2K
fuzzy_4__154_16.min1.thm1
2017-02-06 12:44
1.2K
fuzzy_4__160_9.min1.thm1
2017-02-06 12:44
1.9K
fuzzy_4__181_24.min1.thm1
2017-02-06 12:44
874
fuzzy_4__183_25.min1.thm1
2017-02-06 12:44
1.2K
fuzzy_4__184_23.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__186_24.min1.thm1
2017-02-06 12:44
1.5K
fuzzy_4__187_26.min1.thm1
2017-02-06 12:44
1.2K
fuzzy_4__188_55.min1.thm1
2017-02-06 12:44
1.3K
fuzzy_4__189_41.min1.thm1
2017-02-06 12:44
2.1K
fuzzy_4__190_16.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__195_24.min1.thm1
2017-02-06 12:44
874
fuzzy_4__203_28.min1.thm1
2017-02-06 12:44
877
fuzzy_4__204_21.min1.thm1
2017-02-06 12:44
2.5K
fuzzy_4__206_25.min1.thm1
2017-02-06 12:44
898
fuzzy_4__218_22.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__232_24.min1.thm1
2017-02-06 12:44
870
fuzzy_4__241_16.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__242_25.min1.thm1
2017-02-06 12:44
605
fuzzy_4__244_19.min1.thm1
2017-02-06 12:44
2.1K
fuzzy_4__265_16.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__266_25.min1.thm1
2017-02-06 12:44
605
fuzzy_4__268_21.min1.thm1
2017-02-06 12:44
2.4K
fuzzy_4__291_16.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__292_25.min1.thm1
2017-02-06 12:44
616
fuzzy_4__295_43.min1.thm1
2017-02-06 12:44
2.6K
fuzzy_4__296_53.min1.thm1
2017-02-06 12:44
2.7K
fuzzy_4__318_16.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__319_25.min1.thm1
2017-02-06 12:44
616
fuzzy_4__322_43.min1.thm1
2017-02-06 12:44
2.6K
fuzzy_4__323_53.min1.thm1
2017-02-06 12:44
2.7K
fuzzy_4__340_25.min1.thm1
2017-02-06 12:44
602
fuzzy_4__342_35.min1.thm1
2017-02-06 12:44
2.1K
fuzzy_4__343_33.min1.thm1
2017-02-06 12:44
2.1K
fuzzy_4__355_44.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__359_13.min1.thm1
2017-02-06 12:44
464
fuzzy_4__359_13.min1.thm1.tptp
2017-02-06 16:47
408
fuzzy_4__360_23.min1.thm1
2017-02-06 12:44
602
fuzzy_4__411_58.min1.thm1
2017-02-06 12:44
532
fuzzy_4__412_47.min1.thm1
2017-02-06 12:44
1.9K
fuzzy_4__421_42.min1.thm1
2017-02-06 12:44
398
fuzzy_4__423_23.min1.thm1
2017-02-06 12:44
891
fuzzy_4__425_26.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__427_50.min1.thm1
2017-02-06 12:44
1.4K
fuzzy_4__429_25.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__435_27.min1.thm1
2017-02-06 12:44
794
fuzzy_4__436_28.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__438_26.min1.thm1
2017-02-06 12:44
1.8K
fuzzy_4__439_27.min1.thm1
2017-02-06 12:44
794
fuzzy_4__440_28.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__442_26.min1.thm1
2017-02-06 12:44
1.8K
fuzzy_4__443_47.min1.thm1
2017-02-06 12:44
556
fuzzy_4__443_47.min1.thm1.tptp
2017-02-06 16:47
481
fuzzy_4__445_24.min1.thm1
2017-02-06 12:44
1.9K
fuzzy_4__446_24.min1.thm1
2017-02-06 12:44
1.9K
fuzzy_4__447_27.min1.thm1
2017-02-06 12:44
2.6K
fuzzy_4__451_25.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__453_22.min1.thm1
2017-02-06 12:44
2.6K
fuzzy_4__454_22.min1.thm1
2017-02-06 12:44
2.6K
fuzzy_4__457_21.min1.thm1
2017-02-06 12:44
1.9K
fuzzy_4__460_35.min1.thm1
2017-02-06 12:44
1.6K
fuzzy_4__461_68.min1.thm1
2017-02-06 12:44
1.2K
fuzzy_4__473_37.min1.thm1
2017-02-06 12:44
839
fuzzy_4__474_21.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__476_18.min1.thm1
2017-02-06 12:44
801
fuzzy_4__477_17.min1.thm1
2017-02-06 12:44
801
fuzzy_4__493_74.min1.thm1
2017-02-06 12:44
483
fuzzy_4__494_61.min1.thm1
2017-02-06 12:44
2.6K
fuzzy_4__502_48.min1.thm1
2017-02-06 12:44
300
fuzzy_4__506_16.min1.thm1
2017-02-06 12:44
559
fuzzy_4__507_16.min1.thm1
2017-02-06 12:44
559
fuzzy_4__508_21.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__511_25.min1.thm1
2017-02-06 12:44
1.2K
fuzzy_4__512_25.min1.thm1
2017-02-06 12:44
1.2K
fuzzy_4__516_50.min1.thm1
2017-02-06 12:44
1.4K
fuzzy_4__522_47.min1.thm1
2017-02-06 12:44
555
fuzzy_4__522_47.min1.thm1.tptp
2017-02-06 16:47
480
fuzzy_4__524_24.min1.thm1
2017-02-06 12:44
1.9K
fuzzy_4__528_29.min1.thm1
2017-02-06 12:44
489
fuzzy_4__528_29.min1.thm1.tptp
2017-02-06 16:47
414
fuzzy_4__531_29.min1.thm1
2017-02-06 12:44
489
fuzzy_4__531_29.min1.thm1.tptp
2017-02-06 16:47
414
fuzzy_4__541_18.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__542_50.min1.thm1
2017-02-06 12:44
1.8K
fuzzy_4__545_24.min1.thm1
2017-02-06 12:44
1.9K
fuzzy_4__547_21.min1.thm1
2017-02-06 12:44
1.9K
fuzzy_4__549_43.min1.thm1
2017-02-06 12:44
1.9K
fuzzy_4__566_18.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__567_49.min1.thm1
2017-02-06 12:44
1.4K
fuzzy_4__568_49.min1.thm1
2017-02-06 12:44
1.4K
fuzzy_4__571_25.min1.thm1
2017-02-06 12:44
913
fuzzy_4__572_24.min1.thm1
2017-02-06 12:44
913
fuzzy_4__592_25.min1.thm1
2017-02-06 12:44
777
fuzzy_4__600_16.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__617_19.min1.thm1
2017-02-06 12:44
2.0K
fuzzy_4__617_19.min1.thm1.tptp
2017-02-06 16:47
2.0K
fuzzy_4__634_24.min1.thm1
2017-02-06 12:44
2.3K
fuzzy_4__643_19.min1.thm1
2017-02-06 12:44
2.3K
fuzzy_4__683_19.min1.thm1
2017-02-06 12:44
1.2K
fuzzy_4__683_19.min1.thm1.tptp
2017-02-06 16:47
1.1K
fuzzy_4__692_35.min1.thm1
2017-02-06 12:44
1.3K
fuzzy_4__714_19.min1.thm1
2017-02-06 12:44
1.2K
fuzzy_4__714_19.min1.thm1.tptp
2017-02-06 16:47
1.1K
fuzzy_4__723_35.min1.thm1
2017-02-06 12:44
1.3K
fuzzy_4__754_16.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__762_16.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__783_25.min1.thm1
2017-02-06 12:44
777
fuzzy_4__836_43.min1.thm1
2017-02-06 12:44
1.6K
fuzzy_4__839_50.min1.thm1
2017-02-06 12:44
2.0K
fuzzy_4__839_50.min1.thm1.tptp
2017-02-06 16:47
1.9K
fuzzy_4__870_43.min1.thm1
2017-02-06 12:44
1.6K
fuzzy_4__873_50.min1.thm1
2017-02-06 12:44
2.0K
fuzzy_4__873_50.min1.thm1.tptp
2017-02-06 16:47
1.9K
fuzzy_4__900_22.min1.thm1
2017-02-06 12:44
2.3K
fuzzy_4__902_32.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__902_32.min1.thm1.tptp
2017-02-06 16:47
1.0K
fuzzy_4__903_17.min1.thm1
2017-02-06 12:44
2.3K
fuzzy_4__904_36.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__904_36.min1.thm1.tptp
2017-02-06 16:47
1.0K
fuzzy_4__933_16.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__941_16.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__1018_36.min1.thm1
2017-02-06 12:44
1.6K
fuzzy_4__1020_22.min1.thm1
2017-02-06 12:44
2.3K
fuzzy_4__1021_36.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__1021_36.min1.thm1.tptp
2017-02-06 16:47
1.0K
fuzzy_4__1043_36.min1.thm1
2017-02-06 12:44
1.6K
fuzzy_4__1045_22.min1.thm1
2017-02-06 12:44
2.3K
fuzzy_4__1046_36.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__1046_36.min1.thm1.tptp
2017-02-06 16:47
1.0K
fuzzy_4__1062_16.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__1142_36.min1.thm1
2017-02-06 12:44
1.6K
fuzzy_4__1144_22.min1.thm1
2017-02-06 12:44
2.3K
fuzzy_4__1145_36.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__1145_36.min1.thm1.tptp
2017-02-06 16:47
1.0K
fuzzy_4__1167_36.min1.thm1
2017-02-06 12:44
1.6K
fuzzy_4__1169_22.min1.thm1
2017-02-06 12:44
2.3K
fuzzy_4__1170_36.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__1170_36.min1.thm1.tptp
2017-02-06 16:47
1.0K
fuzzy_4__1186_16.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__1229_43.min1.thm1
2017-02-06 12:44
2.3K
fuzzy_4__1254_34.min1.thm1
2017-02-06 12:44
2.3K
fuzzy_4__1260_32.min1.thm1
2017-02-06 12:44
2.3K
fuzzy_4__1283_15.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__1284_25.min1.thm1
2017-02-06 12:44
616
fuzzy_4__1307_25.min1.thm1
2017-02-06 12:44
602
fuzzy_4__1332_29.min1.thm1
2017-02-06 12:44
2.3K
fuzzy_4__1354_16.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__1361_25.min1.thm1
2017-02-06 12:44
612
fuzzy_4__1362_25.min1.thm1
2017-02-06 12:44
610
fuzzy_4__1383_74.min1.thm1
2017-02-06 12:44
315
fuzzy_4__1392_76.min1.thm1
2017-02-06 12:44
305
fuzzy_4__1396_16.min1.thm1
2017-02-06 12:44
559
fuzzy_4__1397_16.min1.thm1
2017-02-06 12:44
559
fuzzy_4__1398_21.min1.thm1
2017-02-06 12:44
1.6K
fuzzy_4__1401_25.min1.thm1
2017-02-06 12:44
1.2K
fuzzy_4__1412_18.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__1416_52.min1.thm1
2017-02-06 12:44
1.4K
fuzzy_4__1417_49.min1.thm1
2017-02-06 12:44
571
fuzzy_4__1417_49.min1.thm1.tptp
2017-02-06 16:47
496
fuzzy_4__1419_26.min1.thm1
2017-02-06 12:44
1.9K
fuzzy_4__1420_26.min1.thm1
2017-02-06 12:44
1.9K
fuzzy_4__1421_23.min1.thm1
2017-02-06 12:44
1.7K
fuzzy_4__1424_43.min1.thm1
2017-02-06 12:44
1.3K
fuzzy_4__1425_40.min1.thm1
2017-02-06 12:44
1.3K
fuzzy_4__1426_21.min1.thm1
2017-02-06 12:44
1.6K
fuzzy_4__1428_43.min1.thm1
2017-02-06 12:44
1.9K
fuzzy_4__1445_27.min1.thm1
2017-02-06 12:44
644
fuzzy_4__1447_36.min1.thm1
2017-02-06 12:44
829
fuzzy_4__1448_32.min1.thm1
2017-02-06 12:44
821
fuzzy_4__1449_21.min1.thm1
2017-02-06 12:44
1.2K
fuzzy_4__1451_25.min1.thm1
2017-02-06 12:44
913
fuzzy_4__1452_24.min1.thm1
2017-02-06 12:44
913
fuzzy_4__1488_25.min1.thm1
2017-02-06 12:44
604
fuzzy_4__1489_21.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__1501_48.min1.thm1
2017-02-06 12:44
1.4K
fuzzy_4__1502_26.min1.thm1
2017-02-06 12:44
463
fuzzy_4__1502_26.min1.thm1.tptp
2017-02-06 16:47
388
fuzzy_4__1506_45.min1.thm1
2017-02-06 12:44
523
fuzzy_4__1506_45.min1.thm1.tptp
2017-02-06 16:47
448
fuzzy_4__1508_23.min1.thm1
2017-02-06 12:44
1.8K
fuzzy_4__1511_25.min1.thm1
2017-02-06 12:44
604
fuzzy_4__1521_34.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__1529_16.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__1533_16.min1.thm1
2017-02-06 12:44
652
fuzzy_4__1562_25.min1.thm1
2017-02-06 12:44
604
fuzzy_4__1563_21.min1.thm1
2017-02-06 12:44
1.1K
fuzzy_4__1575_48.min1.thm1
2017-02-06 12:44
1.4K
fuzzy_4__1576_26.min1.thm1
2017-02-06 12:44
463
fuzzy_4__1576_26.min1.thm1.tptp
2017-02-06 16:47
388
fuzzy_4__1580_45.min1.thm1
2017-02-06 12:44
523
fuzzy_4__1580_45.min1.thm1.tptp
2017-02-06 16:47
448
fuzzy_4__1582_23.min1.thm1
2017-02-06 12:44
1.8K
fuzzy_4__1585_25.min1.thm1
2017-02-06 12:44
604
fuzzy_4__1595_34.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__1603_16.min1.thm1
2017-02-06 12:44
1.0K
fuzzy_4__1607_16.min1.thm1
2017-02-06 12:44
652
fuzzy_4__1631_21.min1.thm1
2017-02-06 12:44
840
fuzzy_4__1632_17.min1.thm1
2017-02-06 12:44
1.5K
fuzzy_4__1642_21.min1.thm1
2017-02-06 12:44
840
fuzzy_4__1643_17.min1.thm1
2017-02-06 12:44
2.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80