Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/zfmodel2
Name
Last modified
Size
Description
Parent Directory
-
zfmodel2__51_21.min1.thm1
2017-02-06 12:44
196
zfmodel2__52_21.min1.thm1
2017-02-06 12:44
196
zfmodel2__56_13.min1.thm1
2017-02-06 12:44
946
zfmodel2__61_50.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__62_53.min1.thm1
2017-02-06 12:44
708
zfmodel2__63_44.min1.thm1
2017-02-06 12:44
759
zfmodel2__64_21.min1.thm1
2017-02-06 12:44
716
zfmodel2__66_38.min1.thm1
2017-02-06 12:44
2.7K
zfmodel2__68_42.min1.thm1
2017-02-06 12:44
790
zfmodel2__69_36.min1.thm1
2017-02-06 12:44
2.7K
zfmodel2__70_46.min1.thm1
2017-02-06 12:44
790
zfmodel2__80_9.min1.thm1
2017-02-06 12:44
1.8K
zfmodel2__86_72.min1.thm1
2017-02-06 12:44
972
zfmodel2__88_66.min1.thm1
2017-02-06 12:44
890
zfmodel2__88_66.min1.thm1.tptp
2017-02-06 16:46
828
zfmodel2__90_71.min1.thm1
2017-02-06 12:44
1.4K
zfmodel2__92_64.min1.thm1
2017-02-06 12:44
1.4K
zfmodel2__94_57.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__95_21.min1.thm1
2017-02-06 12:44
723
zfmodel2__95_21.min1.thm1.tptp
2017-02-06 16:46
661
zfmodel2__97_53.min1.thm1
2017-02-06 12:44
1.9K
zfmodel2__98_45.min1.thm1
2017-02-06 12:44
708
zfmodel2__101_19.min1.thm1
2017-02-06 12:44
2.2K
zfmodel2__106_36.min1.thm1
2017-02-06 12:44
678
zfmodel2__107_19.min1.thm1
2017-02-06 12:44
196
zfmodel2__109_36.min1.thm1
2017-02-06 12:44
465
zfmodel2__109_36.min1.thm1.tptp
2017-02-06 16:46
399
zfmodel2__115_43.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__116_67.min1.thm1
2017-02-06 12:44
1.7K
zfmodel2__118_58.min1.thm1
2017-02-06 12:44
1.2K
zfmodel2__119_51.min1.thm1
2017-02-06 12:44
1.3K
zfmodel2__120_21.min1.thm1
2017-02-06 12:44
719
zfmodel2__120_21.min1.thm1.tptp
2017-02-06 16:46
657
zfmodel2__124_61.min1.thm1
2017-02-06 12:44
2.3K
zfmodel2__125_50.min1.thm1
2017-02-06 12:44
1.7K
zfmodel2__126_38.min1.thm1
2017-02-06 12:44
2.4K
zfmodel2__127_19.min1.thm1
2017-02-06 12:44
1.9K
zfmodel2__132_29.min1.thm1
2017-02-06 12:44
432
zfmodel2__132_29.min1.thm1.tptp
2017-02-06 16:46
359
zfmodel2__133_43.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__137_14.min1.thm1
2017-02-06 12:44
777
zfmodel2__155_6.min1.thm1
2017-02-06 12:44
1.8K
zfmodel2__157_44.min1.thm1
2017-02-06 12:44
708
zfmodel2__160_42.min1.thm1
2017-02-06 12:44
1.9K
zfmodel2__168_40.min1.thm1
2017-02-06 12:44
913
zfmodel2__177_40.min1.thm1
2017-02-06 12:44
913
zfmodel2__189_66.min1.thm1
2017-02-06 12:44
1.6K
zfmodel2__191_46.min1.thm1
2017-02-06 12:44
789
zfmodel2__192_34.min1.thm1
2017-02-06 12:44
540
zfmodel2__194_21.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__206_36.min1.thm1
2017-02-06 12:44
678
zfmodel2__207_19.min1.thm1
2017-02-06 12:44
196
zfmodel2__209_36.min1.thm1
2017-02-06 12:44
465
zfmodel2__209_36.min1.thm1.tptp
2017-02-06 16:46
399
zfmodel2__210_26.min1.thm1
2017-02-06 12:44
2.4K
zfmodel2__211_50.min1.thm1
2017-02-06 12:44
1.7K
zfmodel2__218_21.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__226_45.min1.thm1
2017-02-06 12:44
625
zfmodel2__226_45.min1.thm1.tptp
2017-02-06 16:46
563
zfmodel2__228_49.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__230_61.min1.thm1
2017-02-06 12:44
1.4K
zfmodel2__232_52.min1.thm1
2017-02-06 12:44
2.0K
zfmodel2__233_23.min1.thm1
2017-02-06 12:44
683
zfmodel2__233_23.min1.thm1.tptp
2017-02-06 16:46
621
zfmodel2__237_50.min1.thm1
2017-02-06 12:44
673
zfmodel2__237_50.min1.thm1.tptp
2017-02-06 16:46
611
zfmodel2__241_52.min1.thm1
2017-02-06 12:44
1.3K
zfmodel2__242_43.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__244_35.min1.thm1
2017-02-06 12:44
615
zfmodel2__244_35.min1.thm1.tptp
2017-02-06 16:46
553
zfmodel2__245_21.min1.thm1
2017-02-06 12:44
1.7K
zfmodel2__251_35.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__252_46.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__267_25.min1.thm1
2017-02-06 12:44
925
zfmodel2__272_22.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__274_23.min1.thm1
2017-02-06 12:44
359
zfmodel2__274_23.min1.thm1.tptp
2017-02-06 16:46
291
zfmodel2__275_37.min1.thm1
2017-02-06 12:44
1.3K
zfmodel2__285_21.min1.thm1
2017-02-06 12:44
1.7K
zfmodel2__287_19.min1.thm1
2017-02-06 12:44
799
zfmodel2__287_19.min1.thm1.tptp
2017-02-06 16:46
716
zfmodel2__292_22.min1.thm1
2017-02-06 12:44
196
zfmodel2__293_21.min1.thm1
2017-02-06 12:44
196
zfmodel2__297_13.min1.thm1
2017-02-06 12:44
946
zfmodel2__298_36.min1.thm1
2017-02-06 12:44
2.7K
zfmodel2__300_42.min1.thm1
2017-02-06 12:44
790
zfmodel2__301_34.min1.thm1
2017-02-06 12:44
578
zfmodel2__302_42.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__311_75.min1.thm1
2017-02-06 12:44
1.7K
zfmodel2__315_55.min1.thm1
2017-02-06 12:44
683
zfmodel2__315_55.min1.thm1.tptp
2017-02-06 16:46
621
zfmodel2__316_64.min1.thm1
2017-02-06 12:44
2.0K
zfmodel2__318_52.min1.thm1
2017-02-06 12:44
878
zfmodel2__319_23.min1.thm1
2017-02-06 12:44
1.6K
zfmodel2__322_21.min1.thm1
2017-02-06 12:44
2.0K
zfmodel2__324_35.min1.thm1
2017-02-06 12:44
579
zfmodel2__326_38.min1.thm1
2017-02-06 12:44
2.7K
zfmodel2__328_43.min1.thm1
2017-02-06 12:44
792
zfmodel2__334_75.min1.thm1
2017-02-06 12:44
1.7K
zfmodel2__338_54.min1.thm1
2017-02-06 12:44
673
zfmodel2__338_54.min1.thm1.tptp
2017-02-06 16:46
611
zfmodel2__339_63.min1.thm1
2017-02-06 12:44
1.9K
zfmodel2__340_50.min1.thm1
2017-02-06 12:44
861
zfmodel2__341_21.min1.thm1
2017-02-06 12:44
1.6K
zfmodel2__344_19.min1.thm1
2017-02-06 12:44
2.5K
zfmodel2__349_29.min1.thm1
2017-02-06 12:44
432
zfmodel2__349_29.min1.thm1.tptp
2017-02-06 16:46
359
zfmodel2__350_43.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__354_14.min1.thm1
2017-02-06 12:44
1.2K
zfmodel2__362_41.min1.thm1
2017-02-06 12:44
746
zfmodel2__363_14.min1.thm1
2017-02-06 12:44
1.2K
zfmodel2__377_14.min1.thm1
2017-02-06 12:44
410
zfmodel2__377_14.min1.thm1.tptp
2017-02-06 16:46
347
zfmodel2__379_14.min1.thm1
2017-02-06 12:44
410
zfmodel2__379_14.min1.thm1.tptp
2017-02-06 16:46
347
zfmodel2__380_15.min1.thm1
2017-02-06 12:44
747
zfmodel2__382_16.min1.thm1
2017-02-06 12:44
2.0K
zfmodel2__383_15.min1.thm1
2017-02-06 12:44
747
zfmodel2__385_16.min1.thm1
2017-02-06 12:44
1.8K
zfmodel2__386_37.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__392_36.min1.thm1
2017-02-06 12:44
793
zfmodel2__393_21.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__397_38.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__399_34.min1.thm1
2017-02-06 12:44
786
zfmodel2__400_19.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__409_23.min1.thm1
2017-02-06 12:44
226
zfmodel2__411_42.min1.thm1
2017-02-06 12:44
468
zfmodel2__411_42.min1.thm1.tptp
2017-02-06 16:46
399
zfmodel2__416_60.min1.thm1
2017-02-06 12:44
1.2K
zfmodel2__417_28.min1.thm1
2017-02-06 12:44
807
zfmodel2__418_19.min1.thm1
2017-02-06 12:44
1.3K
zfmodel2__426_16.min1.thm1
2017-02-06 12:44
410
zfmodel2__426_16.min1.thm1.tptp
2017-02-06 16:46
347
zfmodel2__427_27.min1.thm1
2017-02-06 12:44
258
zfmodel2__429_48.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__434_67.min1.thm1
2017-02-06 12:44
2.1K
zfmodel2__436_44.min1.thm1
2017-02-06 12:44
2.4K
zfmodel2__437_30.min1.thm1
2017-02-06 12:44
753
zfmodel2__443_44.min1.thm1
2017-02-06 12:44
871
zfmodel2__444_16.min1.thm1
2017-02-06 12:44
547
zfmodel2__448_47.min1.thm1
2017-02-06 12:44
596
zfmodel2__448_47.min1.thm1.tptp
2017-02-06 16:46
553
zfmodel2__449_60.min1.thm1
2017-02-06 12:44
503
zfmodel2__449_60.min1.thm1.tptp
2017-02-06 16:46
442
zfmodel2__451_16.min1.thm1
2017-02-06 12:44
802
zfmodel2__457_29.min1.thm1
2017-02-06 12:44
642
zfmodel2__459_43.min1.thm1
2017-02-06 12:44
755
zfmodel2__460_18.min1.thm1
2017-02-06 12:44
2.3K
zfmodel2__467_61.min1.thm1
2017-02-06 12:44
2.4K
zfmodel2__469_43.min1.thm1
2017-02-06 12:44
1.2K
zfmodel2__503_58.min1.thm1
2017-02-06 12:44
2.2K
zfmodel2__515_21.min1.thm1
2017-02-06 12:44
190
zfmodel2__523_21.min1.thm1
2017-02-06 12:44
190
zfmodel2__536_20.min1.thm1
2017-02-06 12:44
2.3K
zfmodel2__539_42.min1.thm1
2017-02-06 12:44
1.2K
zfmodel2__540_42.min1.thm1
2017-02-06 12:44
1.4K
zfmodel2__543_28.min1.thm1
2017-02-06 12:44
2.2K
zfmodel2__574_18.min1.thm1
2017-02-06 12:44
825
zfmodel2__576_18.min1.thm1
2017-02-06 12:44
825
zfmodel2__591_22.min1.thm1
2017-02-06 12:44
949
zfmodel2__593_31.min1.thm1
2017-02-06 12:44
2.5K
zfmodel2__607_21.min1.thm1
2017-02-06 12:44
201
zfmodel2__608_21.min1.thm1
2017-02-06 12:44
201
zfmodel2__616_17.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__619_38.min1.thm1
2017-02-06 12:44
2.8K
zfmodel2__623_27.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__633_15.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__638_39.min1.thm1
2017-02-06 12:44
2.8K
zfmodel2__642_26.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__647_19.min1.thm1
2017-02-06 12:44
2.3K
zfmodel2__664_41.min1.thm1
2017-02-06 12:44
2.1K
zfmodel2__665_29.min1.thm1
2017-02-06 12:44
2.2K
zfmodel2__667_26.min1.thm1
2017-02-06 12:44
2.2K
zfmodel2__668_24.min1.thm1
2017-02-06 12:44
2.2K
zfmodel2__669_31.min1.thm1
2017-02-06 12:44
2.1K
zfmodel2__670_21.min1.thm1
2017-02-06 12:44
2.9K
zfmodel2__674_29.min1.thm1
2017-02-06 12:44
2.6K
zfmodel2__676_23.min1.thm1
2017-02-06 12:44
2.1K
zfmodel2__677_24.min1.thm1
2017-02-06 12:44
2.6K
zfmodel2__678_27.min1.thm1
2017-02-06 12:44
2.1K
zfmodel2__679_44.min1.thm1
2017-02-06 12:44
2.4K
zfmodel2__680_19.min1.thm1
2017-02-06 12:44
2.1K
zfmodel2__687_19.min1.thm1
2017-02-06 12:44
201
zfmodel2__689_36.min1.thm1
2017-02-06 12:44
476
zfmodel2__689_36.min1.thm1.tptp
2017-02-06 16:46
410
zfmodel2__694_24.min1.thm1
2017-02-06 12:44
551
zfmodel2__696_14.min1.thm1
2017-02-06 12:44
349
zfmodel2__696_14.min1.thm1.tptp
2017-02-06 16:46
281
zfmodel2__698_31.min1.thm1
2017-02-06 12:44
660
zfmodel2__700_23.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__705_30.min1.thm1
2017-02-06 12:44
2.5K
zfmodel2__712_26.min1.thm1
2017-02-06 12:44
2.4K
zfmodel2__713_33.min1.thm1
2017-02-06 12:44
2.4K
zfmodel2__724_31.min1.thm1
2017-02-06 12:44
1.2K
zfmodel2__725_23.min1.thm1
2017-02-06 12:44
2.2K
zfmodel2__733_33.min1.thm1
2017-02-06 12:44
2.4K
zfmodel2__736_28.min1.thm1
2017-02-06 12:44
2.6K
zfmodel2__741_21.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__745_45.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__747_30.min1.thm1
2017-02-06 12:44
935
zfmodel2__752_24.min1.thm1
2017-02-06 12:44
2.1K
zfmodel2__754_31.min1.thm1
2017-02-06 12:44
2.3K
zfmodel2__757_32.min1.thm1
2017-02-06 12:44
2.3K
zfmodel2__759_33.min1.thm1
2017-02-06 12:44
2.4K
zfmodel2__760_24.min1.thm1
2017-02-06 12:44
2.4K
zfmodel2__761_37.min1.thm1
2017-02-06 12:44
2.8K
zfmodel2__763_35.min1.thm1
2017-02-06 12:44
2.2K
zfmodel2__764_21.min1.thm1
2017-02-06 12:44
1.9K
zfmodel2__777_35.min1.thm1
2017-02-06 12:44
2.3K
zfmodel2__778_21.min1.thm1
2017-02-06 12:44
2.0K
zfmodel2__780_19.min1.thm1
2017-02-06 12:44
948
zfmodel2__793_35.min1.thm1
2017-02-06 12:44
2.2K
zfmodel2__794_32.min1.thm1
2017-02-06 12:44
2.0K
zfmodel2__795_34.min1.thm1
2017-02-06 12:44
1.9K
zfmodel2__796_21.min1.thm1
2017-02-06 12:44
2.4K
zfmodel2__799_32.min1.thm1
2017-02-06 12:44
2.4K
zfmodel2__800_30.min1.thm1
2017-02-06 12:44
1.9K
zfmodel2__801_33.min1.thm1
2017-02-06 12:44
2.0K
zfmodel2__802_19.min1.thm1
2017-02-06 12:44
2.2K
zfmodel2__805_14.min1.thm1
2017-02-06 12:44
1.2K
zfmodel2__815_17.min1.thm1
2017-02-06 12:44
195
zfmodel2__818_20.min1.thm1
2017-02-06 12:44
2.3K
zfmodel2__819_21.min1.thm1
2017-02-06 12:44
2.1K
zfmodel2__829_17.min1.thm1
2017-02-06 12:44
828
zfmodel2__841_28.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__847_18.min1.thm1
2017-02-06 12:44
829
zfmodel2__893_32.min1.thm1
2017-02-06 12:44
649
zfmodel2__894_20.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__896_23.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__899_30.min1.thm1
2017-02-06 12:44
2.5K
zfmodel2__918_29.min1.thm1
2017-02-06 12:44
2.1K
zfmodel2__922_19.min1.thm1
2017-02-06 12:44
197
zfmodel2__928_19.min1.thm1
2017-02-06 12:44
2.2K
zfmodel2__933_21.min1.thm1
2017-02-06 12:44
2.0K
zfmodel2__934_17.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__961_51.min1.thm1
2017-02-06 12:44
692
zfmodel2__961_51.min1.thm1.tptp
2017-02-06 16:46
659
zfmodel2__962_24.min1.thm1
2017-02-06 12:44
213
zfmodel2__964_42.min1.thm1
2017-02-06 12:44
532
zfmodel2__964_42.min1.thm1.tptp
2017-02-06 16:46
463
zfmodel2__970_22.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__971_21.min1.thm1
2017-02-06 12:44
1.7K
zfmodel2__972_23.min1.thm1
2017-02-06 12:44
2.7K
zfmodel2__974_20.min1.thm1
2017-02-06 12:44
1.8K
zfmodel2__975_16.min1.thm1
2017-02-06 12:44
439
zfmodel2__977_20.min1.thm1
2017-02-06 12:44
629
zfmodel2__978_20.min1.thm1
2017-02-06 12:44
846
zfmodel2__979_35.min1.thm1
2017-02-06 12:44
1.8K
zfmodel2__989_19.min1.thm1
2017-02-06 12:44
667
zfmodel2__994_43.min1.thm1
2017-02-06 12:44
2.7K
zfmodel2__1000_25.min1.thm1
2017-02-06 12:44
338
zfmodel2__1002_46.min1.thm1
2017-02-06 12:44
774
zfmodel2__1004_19.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__1009_23.min1.thm1
2017-02-06 12:44
304
zfmodel2__1011_45.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__1012_27.min1.thm1
2017-02-06 12:44
412
zfmodel2__1012_27.min1.thm1.tptp
2017-02-06 16:46
344
zfmodel2__1014_64.min1.thm1
2017-02-06 12:44
1.2K
zfmodel2__1017_17.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__1020_21.min1.thm1
2017-02-06 12:44
935
zfmodel2__1027_25.min1.thm1
2017-02-06 12:44
837
zfmodel2__1030_28.min1.thm1
2017-02-06 12:44
2.7K
zfmodel2__1031_46.min1.thm1
2017-02-06 12:44
1.2K
zfmodel2__1032_19.min1.thm1
2017-02-06 12:44
621
zfmodel2__1033_19.min1.thm1
2017-02-06 12:44
621
zfmodel2__1045_31.min1.thm1
2017-02-06 12:44
2.5K
zfmodel2__1046_35.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__1047_48.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__1049_35.min1.thm1
2017-02-06 12:44
758
zfmodel2__1050_25.min1.thm1
2017-02-06 12:44
326
zfmodel2__1052_44.min1.thm1
2017-02-06 12:44
750
zfmodel2__1054_19.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__1056_25.min1.thm1
2017-02-06 12:44
387
zfmodel2__1056_25.min1.thm1.tptp
2017-02-06 16:46
319
zfmodel2__1057_15.min1.thm1
2017-02-06 12:44
937
zfmodel2__1059_19.min1.thm1
2017-02-06 12:44
677
zfmodel2__1061_26.min1.thm1
2017-02-06 12:44
397
zfmodel2__1061_26.min1.thm1.tptp
2017-02-06 16:46
329
zfmodel2__1062_29.min1.thm1
2017-02-06 12:44
523
zfmodel2__1063_53.min1.thm1
2017-02-06 12:44
748
zfmodel2__1064_62.min1.thm1
2017-02-06 12:44
838
zfmodel2__1067_66.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__1069_19.min1.thm1
2017-02-06 12:44
833
zfmodel2__1070_25.min1.thm1
2017-02-06 12:44
397
zfmodel2__1070_25.min1.thm1.tptp
2017-02-06 16:46
329
zfmodel2__1084_19.min1.thm1
2017-02-06 12:44
833
zfmodel2__1085_15.min1.thm1
2017-02-06 12:44
755
zfmodel2__1087_19.min1.thm1
2017-02-06 12:44
630
zfmodel2__1088_30.min1.thm1
2017-02-06 12:44
387
zfmodel2__1088_30.min1.thm1.tptp
2017-02-06 16:46
319
zfmodel2__1091_10.min1.thm1
2017-02-06 12:44
1.4K
zfmodel2__1098_30.min1.thm1
2017-02-06 12:44
2.7K
zfmodel2__1119_33.min1.thm1
2017-02-06 12:44
2.5K
zfmodel2__1154_19.min1.thm1
2017-02-06 12:44
1.2K
zfmodel2__1155_32.min1.thm1
2017-02-06 12:44
850
zfmodel2__1156_25.min1.thm1
2017-02-06 12:44
856
zfmodel2__1158_22.min1.thm1
2017-02-06 12:44
1.2K
zfmodel2__1170_18.min1.thm1
2017-02-06 12:44
2.4K
zfmodel2__1186_50.min1.thm1
2017-02-06 12:44
680
zfmodel2__1186_50.min1.thm1.tptp
2017-02-06 16:46
647
zfmodel2__1195_33.min1.thm1
2017-02-06 12:44
650
zfmodel2__1197_33.min1.thm1
2017-02-06 12:44
650
zfmodel2__1201_20.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__1202_35.min1.thm1
2017-02-06 12:44
1.4K
zfmodel2__1204_15.min1.thm1
2017-02-06 12:44
414
zfmodel2__1204_15.min1.thm1.tptp
2017-02-06 16:46
351
zfmodel2__1205_19.min1.thm1
2017-02-06 12:44
941
zfmodel2__1206_26.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__1207_19.min1.thm1
2017-02-06 12:44
554
zfmodel2__1209_16.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__1230_38.min1.thm1
2017-02-06 12:44
1.4K
zfmodel2__1236_29.min1.thm1
2017-02-06 12:44
862
zfmodel2__1238_16.min1.thm1
2017-02-06 12:44
442
zfmodel2__1238_16.min1.thm1.tptp
2017-02-06 16:46
381
zfmodel2__1263_16.min1.thm1
2017-02-06 12:44
829
zfmodel2__1265_16.min1.thm1
2017-02-06 12:44
442
zfmodel2__1265_16.min1.thm1.tptp
2017-02-06 16:46
381
zfmodel2__1269_51.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__1271_32.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__1272_32.min1.thm1
2017-02-06 12:44
1.2K
zfmodel2__1273_16.min1.thm1
2017-02-06 12:44
829
zfmodel2__1275_25.min1.thm1
2017-02-06 12:44
958
zfmodel2__1408_22.min1.thm1
2017-02-06 12:44
2.3K
zfmodel2__1415_26.min1.thm1
2017-02-06 12:44
2.8K
zfmodel2__1422_26.min1.thm1
2017-02-06 12:44
2.8K
zfmodel2__1509_42.min1.thm1
2017-02-06 12:44
765
zfmodel2__1517_23.min1.thm1
2017-02-06 12:44
765
zfmodel2__1536_32.min1.thm1
2017-02-06 12:44
318
zfmodel2__1537_41.min1.thm1
2017-02-06 12:44
392
zfmodel2__1549_25.min1.thm1
2017-02-06 12:44
832
zfmodel2__1561_16.min1.thm1
2017-02-06 12:44
664
zfmodel2__1562_35.min1.thm1
2017-02-06 12:44
330
zfmodel2__1562_35.min1.thm1.tptp
2017-02-06 16:46
252
zfmodel2__1563_50.min1.thm1
2017-02-06 12:44
2.3K
zfmodel2__1568_46.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__1570_31.min1.thm1
2017-02-06 12:44
427
zfmodel2__1570_31.min1.thm1.tptp
2017-02-06 16:46
354
zfmodel2__1571_40.min1.thm1
2017-02-06 12:44
698
zfmodel2__1573_36.min1.thm1
2017-02-06 12:44
1.7K
zfmodel2__1574_26.min1.thm1
2017-02-06 12:44
950
zfmodel2__1575_26.min1.thm1
2017-02-06 12:44
950
zfmodel2__1576_54.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__1578_42.min1.thm1
2017-02-06 12:44
1.8K
zfmodel2__1582_25.min1.thm1
2017-02-06 12:44
951
zfmodel2__1589_48.min1.thm1
2017-02-06 12:44
1.8K
zfmodel2__1592_48.min1.thm1
2017-02-06 12:44
1.8K
zfmodel2__1594_40.min1.thm1
2017-02-06 12:44
2.5K
zfmodel2__1597_59.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__1628_58.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__1659_49.min1.thm1
2017-02-06 12:44
2.0K
zfmodel2__1662_50.min1.thm1
2017-02-06 12:44
681
zfmodel2__1662_50.min1.thm1.tptp
2017-02-06 16:46
648
zfmodel2__1663_20.min1.thm1
2017-02-06 12:44
204
zfmodel2__1665_40.min1.thm1
2017-02-06 12:44
514
zfmodel2__1665_40.min1.thm1.tptp
2017-02-06 16:46
445
zfmodel2__1666_27.min1.thm1
2017-02-06 12:44
373
zfmodel2__1667_28.min1.thm1
2017-02-06 12:44
658
zfmodel2__1674_52.min1.thm1
2017-02-06 12:44
685
zfmodel2__1674_52.min1.thm1.tptp
2017-02-06 16:46
652
zfmodel2__1675_21.min1.thm1
2017-02-06 12:44
226
zfmodel2__1677_44.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__1690_15.min1.thm1
2017-02-06 12:44
604
zfmodel2__1691_31.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__1692_27.min1.thm1
2017-02-06 12:44
2.1K
zfmodel2__1693_16.min1.thm1
2017-02-06 12:44
1.7K
zfmodel2__1695_43.min1.thm1
2017-02-06 12:44
1.7K
zfmodel2__1699_14.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__1700_14.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__1704_20.min1.thm1
2017-02-06 12:44
688
zfmodel2__1705_34.min1.thm1
2017-02-06 12:44
655
zfmodel2__1706_36.min1.thm1
2017-02-06 12:44
533
zfmodel2__1706_36.min1.thm1.tptp
2017-02-06 16:46
476
zfmodel2__1729_38.min1.thm1
2017-02-06 12:44
595
zfmodel2__1729_38.min1.thm1.tptp
2017-02-06 16:46
541
zfmodel2__1730_25.min1.thm1
2017-02-06 12:44
373
zfmodel2__1732_25.min1.thm1
2017-02-06 12:44
506
zfmodel2__1732_25.min1.thm1.tptp
2017-02-06 16:46
423
zfmodel2__1735_18.min1.thm1
2017-02-06 12:44
610
zfmodel2__1736_15.min1.thm1
2017-02-06 12:44
1.6K
zfmodel2__1740_17.min1.thm1
2017-02-06 12:44
520
zfmodel2__1745_34.min1.thm1
2017-02-06 12:44
655
zfmodel2__1750_15.min1.thm1
2017-02-06 12:44
414
zfmodel2__1750_15.min1.thm1.tptp
2017-02-06 16:46
351
zfmodel2__1751_33.min1.thm1
2017-02-06 12:44
650
zfmodel2__1752_18.min1.thm1
2017-02-06 12:44
2.1K
zfmodel2__1753_19.min1.thm1
2017-02-06 12:44
1.2K
zfmodel2__1757_18.min1.thm1
2017-02-06 12:44
610
zfmodel2__1761_18.min1.thm1
2017-02-06 12:44
522
zfmodel2__1764_26.min1.thm1
2017-02-06 12:44
658
zfmodel2__1767_46.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__1769_47.min1.thm1
2017-02-06 12:44
1.8K
zfmodel2__1774_58.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__1786_56.min1.thm1
2017-02-06 12:44
3.3K
zfmodel2__1789_46.min1.thm1
2017-02-06 12:44
1.8K
zfmodel2__1798_76.min1.thm1
2017-02-06 12:44
806
zfmodel2__1806_58.min1.thm1
2017-02-06 12:44
3.3K
zfmodel2__1821_49.min1.thm1
2017-02-06 12:44
313
zfmodel2__1826_61.min1.thm1
2017-02-06 12:44
3.9K
zfmodel2__1836_19.min1.thm1
2017-02-06 12:44
767
zfmodel2__1842_21.min1.thm1
2017-02-06 12:44
829
zfmodel2__1846_35.min1.thm1
2017-02-06 12:44
824
zfmodel2__1852_58.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__1864_56.min1.thm1
2017-02-06 12:44
3.3K
zfmodel2__1866_46.min1.thm1
2017-02-06 12:44
1.1K
zfmodel2__1867_34.min1.thm1
2017-02-06 12:44
683
zfmodel2__1867_34.min1.thm1.tptp
2017-02-06 16:46
608
zfmodel2__1894_42.min1.thm1
2017-02-06 12:44
330
zfmodel2__1894_42.min1.thm1.tptp
2017-02-06 16:46
252
zfmodel2__1909_47.min1.thm1
2017-02-06 12:44
303
zfmodel2__1913_59.min1.thm1
2017-02-06 12:44
3.9K
zfmodel2__1918_74.min1.thm1
2017-02-06 12:44
786
zfmodel2__1924_56.min1.thm1
2017-02-06 12:44
4.3K
zfmodel2__1971_16.min1.thm1
2017-02-06 12:44
663
zfmodel2__1972_35.min1.thm1
2017-02-06 12:44
330
zfmodel2__1972_35.min1.thm1.tptp
2017-02-06 16:46
252
zfmodel2__1973_49.min1.thm1
2017-02-06 12:44
2.2K
zfmodel2__1974_58.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__1977_46.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__1978_28.min1.thm1
2017-02-06 12:44
373
zfmodel2__1980_26.min1.thm1
2017-02-06 12:44
658
zfmodel2__1982_29.min1.thm1
2017-02-06 12:44
427
zfmodel2__1982_29.min1.thm1.tptp
2017-02-06 16:46
354
zfmodel2__1985_55.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__1990_42.min1.thm1
2017-02-06 12:44
699
zfmodel2__1999_50.min1.thm1
2017-02-06 12:44
638
zfmodel2__1999_50.min1.thm1.tptp
2017-02-06 16:46
553
zfmodel2__2002_38.min1.thm1
2017-02-06 12:44
593
zfmodel2__2002_38.min1.thm1.tptp
2017-02-06 16:46
539
zfmodel2__2003_26.min1.thm1
2017-02-06 12:44
658
zfmodel2__2004_22.min1.thm1
2017-02-06 12:44
658
zfmodel2__2006_25.min1.thm1
2017-02-06 12:44
720
zfmodel2__2010_47.min1.thm1
2017-02-06 12:44
1.8K
zfmodel2__2012_47.min1.thm1
2017-02-06 12:44
1.8K
zfmodel2__2014_37.min1.thm1
2017-02-06 12:44
2.5K
zfmodel2__2017_55.min1.thm1
2017-02-06 12:44
1.5K
zfmodel2__2046_31.min1.thm1
2017-02-06 12:44
2.5K
zfmodel2__2065_26.min1.thm1
2017-02-06 12:44
1.0K
zfmodel2__2066_40.min1.thm1
2017-02-06 12:44
851
zfmodel2__2112_34.min1.thm1
2017-02-06 12:44
1.4K
zfmodel2__2118_42.min1.thm1
2017-02-06 12:44
710
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80