Index of /~mptp/1147/MPTP2/ilp0/zfmodel1
Name
Last modified
Size
Description
Parent Directory
-
zfmodel1__63_22.min1.thm1
2017-02-06 12:44
2.2K
zfmodel1__64_51.min1.thm1
2017-02-06 12:44
1.2K
zfmodel1__76_20.min1.thm1
2017-02-06 12:44
2.2K
zfmodel1__77_49.min1.thm1
2017-02-06 12:44
1.1K
zfmodel1__87_31.min1.thm1
2017-02-06 12:44
1.6K
zfmodel1__106_13.min1.thm1
2017-02-06 12:44
510
zfmodel1__107_19.min1.thm1
2017-02-06 12:44
535
zfmodel1__135_49.min1.thm1
2017-02-06 12:44
2.2K
zfmodel1__137_21.min1.thm1
2017-02-06 12:44
2.6K
zfmodel1__153_44.min1.thm1
2017-02-06 12:44
447
zfmodel1__155_19.min1.thm1
2017-02-06 12:44
2.6K
zfmodel1__168_16.min1.thm1
2017-02-06 12:44
1.6K
zfmodel1__176_51.min1.thm1
2017-02-06 12:44
2.0K
zfmodel1__182_43.min1.thm1
2017-02-06 12:44
1.4K
zfmodel1__185_41.min1.thm1
2017-02-06 12:44
1.4K
zfmodel1__186_41.min1.thm1
2017-02-06 12:44
1.6K
zfmodel1__212_11.min1.thm1
2017-02-06 12:44
682
zfmodel1__214_33.min1.thm1
2017-02-06 12:44
557
zfmodel1__215_17.min1.thm1
2017-02-06 12:44
714
zfmodel1__243_20.min1.thm1
2017-02-06 12:44
2.0K
zfmodel1__248_20.min1.thm1
2017-02-06 12:44
2.2K
zfmodel1__249_49.min1.thm1
2017-02-06 12:44
1.1K
zfmodel1__251_19.min1.thm1
2017-02-06 12:44
2.6K
zfmodel1__263_34.min1.thm1
2017-02-06 12:44
135
zfmodel1__272_15.min1.thm1
2017-02-06 12:44
512
zfmodel1__273_42.min1.thm1
2017-02-06 12:44
545
zfmodel1__274_15.min1.thm1
2017-02-06 12:44
518
zfmodel1__275_47.min1.thm1
2017-02-06 12:44
626
zfmodel1__282_17.min1.thm1
2017-02-06 12:44
2.6K
zfmodel1__296_16.min1.thm1
2017-02-06 12:44
2.2K
zfmodel1__302_49.min1.thm1
2017-02-06 12:44
1.7K
zfmodel1__310_17.min1.thm1
2017-02-06 12:44
1.8K
zfmodel1__316_30.min1.thm1
2017-02-06 12:44
1.5K
zfmodel1__319_22.min1.thm1
2017-02-06 12:44
1.2K
zfmodel1__320_22.min1.thm1
2017-02-06 12:44
2.2K
zfmodel1__321_46.min1.thm1
2017-02-06 12:44
1.2K
zfmodel1__323_20.min1.thm1
2017-02-06 12:44
2.7K
zfmodel1__340_23.min1.thm1
2017-02-06 12:44
1.7K
zfmodel1__342_28.min1.thm1
2017-02-06 12:44
1.5K
zfmodel1__345_22.min1.thm1
2017-02-06 12:44
1.8K
zfmodel1__347_36.min1.thm1
2017-02-06 12:44
2.3K
zfmodel1__372_78.min1.thm1
2017-02-06 12:44
611
zfmodel1__375_31.min1.thm1
2017-02-06 12:44
474
zfmodel1__376_17.min1.thm1
2017-02-06 12:44
640
zfmodel1__390_37.min1.thm1
2017-02-06 12:44
690
zfmodel1__397_20.min1.thm1
2017-02-06 12:44
2.5K
zfmodel1__407_14.min1.thm1
2017-02-06 12:44
2.6K
zfmodel1__416_18.min1.thm1
2017-02-06 12:44
2.0K
zfmodel1__423_15.min1.thm1
2017-02-06 12:44
512
zfmodel1__424_47.min1.thm1
2017-02-06 12:44
545
zfmodel1__426_17.min1.thm1
2017-02-06 12:44
2.6K
zfmodel1__438_32.min1.thm1
2017-02-06 12:44
2.7K
zfmodel1__439_24.min1.thm1
2017-02-06 12:44
1.4K
zfmodel1__440_19.min1.thm1
2017-02-06 12:44
1.2K
zfmodel1__449_11.min1.thm1
2017-02-06 12:44
502
zfmodel1__450_38.min1.thm1
2017-02-06 12:44
1.0K
zfmodel1__461_21.min1.thm1
2017-02-06 12:44
1.6K
zfmodel1__467_16.min1.thm1
2017-02-06 12:44
2.6K
zfmodel1__468_17.min1.thm1
2017-02-06 12:44
462
zfmodel1__468_17.min1.thm1.tptp
2017-02-06 16:46
388
zfmodel1__475_25.min1.thm1
2017-02-06 12:44
1.5K
zfmodel1__476_24.min1.thm1
2017-02-06 12:44
1.9K
zfmodel1__531_27.min1.thm1
2017-02-06 12:44
130
zfmodel1__533_28.min1.thm1
2017-02-06 12:44
582
zfmodel1__536_13.min1.thm1
2017-02-06 12:44
640
zfmodel1__537_44.min1.thm1
2017-02-06 12:44
535
zfmodel1__539_22.min1.thm1
2017-02-06 12:44
738
zfmodel1__540_23.min1.thm1
2017-02-06 12:44
131
zfmodel1__542_18.min1.thm1
2017-02-06 12:44
561
zfmodel1__550_39.min1.thm1
2017-02-06 12:44
318
zfmodel1__550_39.min1.thm1.tptp
2017-02-06 16:46
240
zfmodel1__552_19.min1.thm1
2017-02-06 12:44
287
zfmodel1__552_19.min1.thm1.tptp
2017-02-06 16:46
201
zfmodel1__557_14.min1.thm1
2017-02-06 12:44
473
zfmodel1__558_13.min1.thm1
2017-02-06 12:44
396
zfmodel1__559_44.min1.thm1
2017-02-06 12:44
531
zfmodel1__561_18.min1.thm1
2017-02-06 12:44
516
zfmodel1__595_20.min1.thm1
2017-02-06 12:44
2.2K
zfmodel1__596_49.min1.thm1
2017-02-06 12:44
1.1K
zfmodel1__598_19.min1.thm1
2017-02-06 12:44
2.6K
zfmodel1__611_20.min1.thm1
2017-02-06 12:44
528
zfmodel1__612_51.min1.thm1
2017-02-06 12:44
573
zfmodel1__623_24.min1.thm1
2017-02-06 12:44
2.0K
zfmodel1__626_23.min1.thm1
2017-02-06 12:44
938
zfmodel1__632_20.min1.thm1
2017-02-06 12:44
446
zfmodel1__632_20.min1.thm1.tptp
2017-02-06 16:46
384
zfmodel1__633_37.min1.thm1
2017-02-06 12:44
511
zfmodel1__635_16.min1.thm1
2017-02-06 12:44
2.6K
zfmodel1__642_25.min1.thm1
2017-02-06 12:44
1.5K
zfmodel1__658_16.min1.thm1
2017-02-06 12:44
1.6K
zfmodel1__665_53.min1.thm1
2017-02-06 12:44
1.7K
zfmodel1__676_25.min1.thm1
2017-02-06 12:44
1.5K
zfmodel1__677_21.min1.thm1
2017-02-06 12:44
1.9K
zfmodel1__679_31.min1.thm1
2017-02-06 12:44
949
zfmodel1__686_29.min1.thm1
2017-02-06 12:44
1.5K
zfmodel1__701_22.min1.thm1
2017-02-06 12:44
2.2K
zfmodel1__702_51.min1.thm1
2017-02-06 12:44
1.2K
zfmodel1__704_21.min1.thm1
2017-02-06 12:44
2.7K
zfmodel1__716_22.min1.thm1
2017-02-06 12:44
1.8K
zfmodel1__718_34.min1.thm1
2017-02-06 12:44
1.5K
zfmodel1__739_9.min1.thm1
2017-02-06 12:44
661
zfmodel1__741_35.min1.thm1
2017-02-06 12:44
534
zfmodel1__742_17.min1.thm1
2017-02-06 12:44
690
zfmodel1__760_38.min1.thm1
2017-02-06 12:44
929
zfmodel1__762_32.min1.thm1
2017-02-06 12:44
558
zfmodel1__763_30.min1.thm1
2017-02-06 12:44
921
zfmodel1__769_63.min1.thm1
2017-02-06 12:44
1.3K
zfmodel1__778_42.min1.thm1
2017-02-06 12:44
921
zfmodel1__779_52.min1.thm1
2017-02-06 12:44
966
zfmodel1__781_59.min1.thm1
2017-02-06 12:44
1.3K
zfmodel1__799_20.min1.thm1
2017-02-06 12:44
695
zfmodel1__806_35.min1.thm1
2017-02-06 12:44
870
zfmodel1__818_56.min1.thm1
2017-02-06 12:44
693
zfmodel1__818_56.min1.thm1.tptp
2017-02-06 16:46
630
zfmodel1__822_21.min1.thm1
2017-02-06 12:44
1.4K
zfmodel1__824_19.min1.thm1
2017-02-06 12:44
561
zfmodel1__824_19.min1.thm1.tptp
2017-02-06 16:46
475
zfmodel1__830_64.min1.thm1
2017-02-06 12:44
921
zfmodel1__834_43.min1.thm1
2017-02-06 12:44
864
zfmodel1__837_42.min1.thm1
2017-02-06 12:44
864
zfmodel1__839_6.min1.thm1
2017-02-06 12:44
968
zfmodel1__861_38.min1.thm1
2017-02-06 12:44
929
zfmodel1__863_33.min1.thm1
2017-02-06 12:44
558
zfmodel1__864_32.min1.thm1
2017-02-06 12:44
921
zfmodel1__870_63.min1.thm1
2017-02-06 12:44
1.3K
zfmodel1__879_35.min1.thm1
2017-02-06 12:44
1.2K
zfmodel1__880_59.min1.thm1
2017-02-06 12:44
1.5K
zfmodel1__882_37.min1.thm1
2017-02-06 12:44
864
zfmodel1__883_39.min1.thm1
2017-02-06 12:44
1.0K
zfmodel1__893_17.min1.thm1
2017-02-06 12:44
1.2K
zfmodel1__899_17.min1.thm1
2017-02-06 12:44
181
zfmodel1__906_26.min1.thm1
2017-02-06 12:44
2.5K
zfmodel1__907_65.min1.thm1
2017-02-06 12:44
1.9K
zfmodel1__917_28.min1.thm1
2017-02-06 12:44
624
zfmodel1__921_17.min1.thm1
2017-02-06 12:44
303
zfmodel1__922_25.min1.thm1
2017-02-06 12:44
584
zfmodel1__924_29.min1.thm1
2017-02-06 12:44
1.1K
zfmodel1__925_17.min1.thm1
2017-02-06 12:44
390
zfmodel1__925_17.min1.thm1.tptp
2017-02-06 16:46
340
zfmodel1__926_25.min1.thm1
2017-02-06 12:44
672
zfmodel1__927_25.min1.thm1
2017-02-06 12:44
1.2K
zfmodel1__937_35.min1.thm1
2017-02-06 12:44
1.5K
zfmodel1__941_26.min1.thm1
2017-02-06 12:44
412
zfmodel1__941_26.min1.thm1.tptp
2017-02-06 16:46
358
zfmodel1__942_26.min1.thm1
2017-02-06 12:44
463
zfmodel1__942_26.min1.thm1.tptp
2017-02-06 16:46
407
zfmodel1__943_28.min1.thm1
2017-02-06 12:44
628
zfmodel1__945_31.min1.thm1
2017-02-06 12:44
533
zfmodel1__945_31.min1.thm1.tptp
2017-02-06 16:46
479
zfmodel1__947_24.min1.thm1
2017-02-06 12:44
1.4K
zfmodel1__949_19.min1.thm1
2017-02-06 12:44
354
zfmodel1__950_25.min1.thm1
2017-02-06 12:44
620
zfmodel1__951_33.min1.thm1
2017-02-06 12:44
941
zfmodel1__953_40.min1.thm1
2017-02-06 12:44
1.2K
zfmodel1__954_27.min1.thm1
2017-02-06 12:44
625
zfmodel1__959_17.min1.thm1
2017-02-06 12:44
2.8K
zfmodel1__986_28.min1.thm1
2017-02-06 12:44
1.0K
zfmodel1__986_28.min1.thm1.tptp
2017-02-06 16:46
1.0K
zfmodel1__987_23.min1.thm1
2017-02-06 12:44
678
zfmodel1__993_44.min1.thm1
2017-02-06 12:44
1.4K
zfmodel1__994_63.min1.thm1
2017-02-06 12:44
866
zfmodel1__1003_19.min1.thm1
2017-02-06 12:44
2.7K
zfmodel1__1019_33.min1.thm1
2017-02-06 12:44
732
zfmodel1__1025_19.min1.thm1
2017-02-06 12:44
2.7K
zfmodel1__1041_33.min1.thm1
2017-02-06 12:44
732
zfmodel1__1048_37.min1.thm1
2017-02-06 12:44
296
zfmodel1__1054_29.min1.thm1
2017-02-06 12:44
638
zfmodel1__1055_19.min1.thm1
2017-02-06 12:44
938
zfmodel1__1056_30.min1.thm1
2017-02-06 12:44
1.2K
zfmodel1__1057_21.min1.thm1
2017-02-06 12:44
567
zfmodel1__1063_44.min1.thm1
2017-02-06 12:44
346
zfmodel1__1063_44.min1.thm1.tptp
2017-02-06 16:46
268
zfmodel1__1071_18.min1.thm1
2017-02-06 12:44
2.6K
zfmodel1__1082_20.min1.thm1
2017-02-06 12:44
1.4K
zfmodel1__1087_20.min1.thm1
2017-02-06 12:44
1.8K
zfmodel1__1092_29.min1.thm1
2017-02-06 12:44
1.0K
zfmodel1__1104_26.min1.thm1
2017-02-06 12:44
2.6K
zfmodel1__1106_21.min1.thm1
2017-02-06 12:44
1.0K
zfmodel1__1113_19.min1.thm1
2017-02-06 12:44
621
zfmodel1__1114_25.min1.thm1
2017-02-06 12:44
1.2K
zfmodel1__1115_21.min1.thm1
2017-02-06 12:44
567
zfmodel1__1117_21.min1.thm1
2017-02-06 12:44
458
zfmodel1__1126_25.min1.thm1
2017-02-06 12:44
2.8K
zfmodel1__1136_30.min1.thm1
2017-02-06 12:44
1.3K
zfmodel1__1137_29.min1.thm1
2017-02-06 12:44
934
zfmodel1__1142_31.min1.thm1
2017-02-06 12:44
3.0K
zfmodel1__1144_21.min1.thm1
2017-02-06 12:44
3.5K
zfmodel1__1146_48.min1.thm1
2017-02-06 12:44
1.0K
zfmodel1__1147_17.min1.thm1
2017-02-06 12:44
836
zfmodel1__1167_19.min1.thm1
2017-02-06 12:44
2.0K
zfmodel1__1207_35.min1.thm1
2017-02-06 12:44
947
zfmodel1__1208_30.min1.thm1
2017-02-06 12:44
451
zfmodel1__1208_30.min1.thm1.tptp
2017-02-06 16:46
395
zfmodel1__1210_32.min1.thm1
2017-02-06 12:44
1.0K
zfmodel1__1211_25.min1.thm1
2017-02-06 12:44
538
zfmodel1__1213_32.min1.thm1
2017-02-06 12:44
1.0K
zfmodel1__1214_33.min1.thm1
2017-02-06 12:44
939
zfmodel1__1222_35.min1.thm1
2017-02-06 12:44
947
zfmodel1__1223_30.min1.thm1
2017-02-06 12:44
451
zfmodel1__1223_30.min1.thm1.tptp
2017-02-06 16:46
395
zfmodel1__1225_32.min1.thm1
2017-02-06 12:44
1.0K
zfmodel1__1226_25.min1.thm1
2017-02-06 12:44
538
zfmodel1__1228_32.min1.thm1
2017-02-06 12:44
1.0K
zfmodel1__1229_32.min1.thm1
2017-02-06 12:44
939
zfmodel1__1233_19.min1.thm1
2017-02-06 12:44
553
zfmodel1__1242_64.min1.thm1
2017-02-06 12:44
935
zfmodel1__1254_6.min1.thm1
2017-02-06 12:44
1.0K
zfmodel1__1258_29.min1.thm1
2017-02-06 12:44
736
zfmodel1__1264_29.min1.thm1
2017-02-06 12:44
736
zfmodel1__1280_42.min1.thm1
2017-02-06 12:44
935
zfmodel1__1287_53.min1.thm1
2017-02-06 12:44
1.0K
zfmodel1__1300_26.min1.thm1
2017-02-06 12:44
1.4K
zfmodel1__1301_34.min1.thm1
2017-02-06 12:44
395
zfmodel1__1301_34.min1.thm1.tptp
2017-02-06 16:46
327
zfmodel1__1316_39.min1.thm1
2017-02-06 12:44
914
zfmodel1__1324_35.min1.thm1
2017-02-06 12:44
1.2K
zfmodel1__1378_32.min1.thm1
2017-02-06 12:44
943
zfmodel1__1393_30.min1.thm1
2017-02-06 12:44
933
zfmodel1__1412_19.min1.thm1
2017-02-06 12:44
2.0K
zfmodel1__1455_28.min1.thm1
2017-02-06 12:44
913
zfmodel1__1457_40.min1.thm1
2017-02-06 12:44
682
zfmodel1__1460_41.min1.thm1
2017-02-06 12:44
1.0K
zfmodel1__1463_38.min1.thm1
2017-02-06 12:44
505
zfmodel1__1463_38.min1.thm1.tptp
2017-02-06 16:46
422
zfmodel1__1487_43.min1.thm1
2017-02-06 12:44
687
zfmodel1__1488_50.min1.thm1
2017-02-06 12:44
1.2K
zfmodel1__1494_25.min1.thm1
2017-02-06 12:44
374
zfmodel1__1496_23.min1.thm1
2017-02-06 12:44
666
zfmodel1__1500_30.min1.thm1
2017-02-06 12:44
430
zfmodel1__1500_30.min1.thm1.tptp
2017-02-06 16:46
376
zfmodel1__1501_31.min1.thm1
2017-02-06 12:44
488
zfmodel1__1501_31.min1.thm1.tptp
2017-02-06 16:46
432
zfmodel1__1502_30.min1.thm1
2017-02-06 12:44
2.0K
zfmodel1__1513_16.min1.thm1
2017-02-06 12:44
2.6K
zfmodel1__1522_29.min1.thm1
2017-02-06 12:44
2.2K
zfmodel1__1523_37.min1.thm1
2017-02-06 12:44
1.7K
zfmodel1__1524_41.min1.thm1
2017-02-06 12:44
1.5K
zfmodel1__1528_20.min1.thm1
2017-02-06 12:44
1.8K
zfmodel1__1533_17.min1.thm1
2017-02-06 12:44
2.6K
zfmodel1__1535_18.min1.thm1
2017-02-06 12:44
2.6K
zfmodel1__1553_19.min1.thm1
2017-02-06 12:44
852
zfmodel1__1589_15.min1.thm1
2017-02-06 12:44
2.2K
zfmodel1__1590_46.min1.thm1
2017-02-06 12:44
1.1K
zfmodel1__1592_17.min1.thm1
2017-02-06 12:44
2.6K
zfmodel1__1602_20.min1.thm1
2017-02-06 12:44
1.9K
zfmodel1__1618_18.min1.thm1
2017-02-06 12:44
3.5K
zfmodel1__1621_19.min1.thm1
2017-02-06 12:44
862
zfmodel1__1623_19.min1.thm1
2017-02-06 12:44
852
zfmodel1__1642_26.min1.thm1
2017-02-06 12:44
3.3K
zfmodel1__1644_21.min1.thm1
2017-02-06 12:44
1.5K
zfmodel1__1647_28.min1.thm1
2017-02-06 12:44
1.7K
zfmodel1__1649_31.min1.thm1
2017-02-06 12:44
1.5K
zfmodel1__1655_33.min1.thm1
2017-02-06 12:44
917
zfmodel1__1656_32.min1.thm1
2017-02-06 12:44
1.8K
zfmodel1__1668_30.min1.thm1
2017-02-06 12:44
430
zfmodel1__1668_30.min1.thm1.tptp
2017-02-06 16:46
376
zfmodel1__1669_31.min1.thm1
2017-02-06 12:44
488
zfmodel1__1669_31.min1.thm1.tptp
2017-02-06 16:46
432
zfmodel1__1670_30.min1.thm1
2017-02-06 12:44
2.0K
zfmodel1__1674_25.min1.thm1
2017-02-06 12:44
374
zfmodel1__1676_24.min1.thm1
2017-02-06 12:44
666
zfmodel1__1686_67.min1.thm1
2017-02-06 12:44
3.0K
zfmodel1__1696_29.min1.thm1
2017-02-06 12:44
1.5K
zfmodel1__1702_45.min1.thm1
2017-02-06 12:44
1.8K
zfmodel1__1704_25.min1.thm1
2017-02-06 12:44
2.7K
zfmodel1__1722_27.min1.thm1
2017-02-06 12:44
955
zfmodel1__1724_27.min1.thm1
2017-02-06 12:44
777
zfmodel1__1773_26.min1.thm1
2017-02-06 12:44
3.7K
zfmodel1__1776_27.min1.thm1
2017-02-06 12:44
777
zfmodel1__1778_27.min1.thm1
2017-02-06 12:44
955
zfmodel1__1779_27.min1.thm1
2017-02-06 12:44
801
zfmodel1__1785_34.min1.thm1
2017-02-06 12:44
3.4K
zfmodel1__1787_29.min1.thm1
2017-02-06 12:44
1.6K
zfmodel1__1800_36.min1.thm1
2017-02-06 12:44
1.8K
zfmodel1__1807_28.min1.thm1
2017-02-06 12:44
1.9K
zfmodel1__1853_41.min1.thm1
2017-02-06 12:44
330
zfmodel1__1853_41.min1.thm1.tptp
2017-02-06 16:46
252
zfmodel1__1855_19.min1.thm1
2017-02-06 12:44
1.6K
zfmodel1__1869_19.min1.thm1
2017-02-06 12:44
1.9K
zfmodel1__1881_13.min1.thm1
2017-02-06 12:44
513
zfmodel1__1887_44.min1.thm1
2017-02-06 12:44
538
zfmodel1__1888_13.min1.thm1
2017-02-06 12:44
547
zfmodel1__1889_16.min1.thm1
2017-02-06 12:44
324
zfmodel1__1889_16.min1.thm1.tptp
2017-02-06 16:46
238
zfmodel1__1894_11.min1.thm1
2017-02-06 12:44
513
zfmodel1__1895_42.min1.thm1
2017-02-06 12:44
530
zfmodel1__1896_11.min1.thm1
2017-02-06 12:44
529
zfmodel1__1897_14.min1.thm1
2017-02-06 12:44
310
zfmodel1__1897_14.min1.thm1.tptp
2017-02-06 16:46
224
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80