Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/triang_1
Name
Last modified
Size
Description
Parent Directory
-
triang_1__958_22.min1.thm1
2017-02-06 12:44
1.2K
triang_1__952_53.min1.thm1
2017-02-06 12:44
1.8K
triang_1__950_55.min1.thm1.tptp
2017-02-06 16:46
418
triang_1__950_55.min1.thm1
2017-02-06 12:44
496
triang_1__931_43.min1.thm1.tptp
2017-02-06 16:46
336
triang_1__931_43.min1.thm1
2017-02-06 12:44
414
triang_1__923_43.min1.thm1.tptp
2017-02-06 16:46
258
triang_1__923_43.min1.thm1
2017-02-06 12:44
336
triang_1__916_18.min1.thm1.tptp
2017-02-06 16:46
440
triang_1__916_18.min1.thm1
2017-02-06 12:44
522
triang_1__905_72.min1.thm1
2017-02-06 12:44
643
triang_1__902_17.min1.thm1
2017-02-06 12:44
207
triang_1__900_45.min1.thm1.tptp
2017-02-06 16:46
258
triang_1__900_45.min1.thm1
2017-02-06 12:44
336
triang_1__874_19.min1.thm1
2017-02-06 12:44
3.2K
triang_1__848_15.min1.thm1
2017-02-06 12:44
389
triang_1__836_21.min1.thm1
2017-02-06 12:44
1.1K
triang_1__831_52.min1.thm1.tptp
2017-02-06 16:46
632
triang_1__831_52.min1.thm1
2017-02-06 12:44
691
triang_1__827_24.min1.thm1.tptp
2017-02-06 16:46
315
triang_1__827_24.min1.thm1
2017-02-06 12:44
395
triang_1__824_38.min1.thm1
2017-02-06 12:44
493
triang_1__822_40.min1.thm1
2017-02-06 12:44
1.0K
triang_1__808_26.min1.thm1
2017-02-06 12:44
1.5K
triang_1__807_27.min1.thm1.tptp
2017-02-06 16:46
682
triang_1__807_27.min1.thm1
2017-02-06 12:44
768
triang_1__804_25.min1.thm1
2017-02-06 12:44
2.5K
triang_1__799_32.min1.thm1
2017-02-06 12:44
2.6K
triang_1__798_32.min1.thm1
2017-02-06 12:44
2.6K
triang_1__797_26.min1.thm1
2017-02-06 12:44
1.5K
triang_1__796_27.min1.thm1.tptp
2017-02-06 16:46
682
triang_1__796_27.min1.thm1
2017-02-06 12:44
768
triang_1__793_25.min1.thm1
2017-02-06 12:44
2.5K
triang_1__786_56.min1.thm1
2017-02-06 12:44
1.7K
triang_1__784_56.min1.thm1
2017-02-06 12:44
1.7K
triang_1__761_39.min1.thm1
2017-02-06 12:44
1.2K
triang_1__754_46.min1.thm1
2017-02-06 12:44
864
triang_1__749_23.min1.thm1
2017-02-06 12:44
1.2K
triang_1__741_25.min1.thm1
2017-02-06 12:44
723
triang_1__740_24.min1.thm1
2017-02-06 12:44
1.1K
triang_1__739_35.min1.thm1
2017-02-06 12:44
1.2K
triang_1__738_25.min1.thm1
2017-02-06 12:44
960
triang_1__735_17.min1.thm1
2017-02-06 12:44
207
triang_1__734_23.min1.thm1
2017-02-06 12:44
1.0K
triang_1__731_18.min1.thm1
2017-02-06 12:44
658
triang_1__726_24.min1.thm1
2017-02-06 12:44
832
triang_1__721_20.min1.thm1
2017-02-06 12:44
452
triang_1__711_22.min1.thm1
2017-02-06 12:44
958
triang_1__698_30.min1.thm1
2017-02-06 12:44
136
triang_1__697_49.min1.thm1
2017-02-06 12:44
833
triang_1__691_22.min1.thm1
2017-02-06 12:44
795
triang_1__687_65.min1.thm1
2017-02-06 12:44
137
triang_1__686_20.min1.thm1
2017-02-06 12:44
1.2K
triang_1__676_19.min1.thm1
2017-02-06 12:44
1.3K
triang_1__675_37.min1.thm1
2017-02-06 12:44
895
triang_1__670_75.min1.thm1
2017-02-06 12:44
903
triang_1__666_35.min1.thm1
2017-02-06 12:44
768
triang_1__665_40.min1.thm1
2017-02-06 12:44
492
triang_1__661_45.min1.thm1.tptp
2017-02-06 16:46
258
triang_1__661_45.min1.thm1
2017-02-06 12:44
336
triang_1__651_53.min1.thm1.tptp
2017-02-06 16:46
498
triang_1__651_53.min1.thm1
2017-02-06 12:44
586
triang_1__649_21.min1.thm1
2017-02-06 12:44
1.1K
triang_1__648_17.min1.thm1
2017-02-06 12:44
396
triang_1__631_25.min1.thm1
2017-02-06 12:44
520
triang_1__628_17.min1.thm1
2017-02-06 12:44
211
triang_1__619_23.min1.thm1
2017-02-06 12:44
1.3K
triang_1__614_24.min1.thm1.tptp
2017-02-06 16:46
356
triang_1__614_24.min1.thm1
2017-02-06 12:44
433
triang_1__602_18.min1.thm1.tptp
2017-02-06 16:46
387
triang_1__602_18.min1.thm1
2017-02-06 12:44
441
triang_1__598_35.min1.thm1
2017-02-06 12:44
582
triang_1__593_17.min1.thm1
2017-02-06 12:44
396
triang_1__569_19.min1.thm1
2017-02-06 12:44
1.5K
triang_1__568_15.min1.thm1
2017-02-06 12:44
1.4K
triang_1__552_42.min1.thm1
2017-02-06 12:44
456
triang_1__548_18.min1.thm1
2017-02-06 12:44
827
triang_1__542_48.min1.thm1
2017-02-06 12:44
725
triang_1__530_42.min1.thm1
2017-02-06 12:44
456
triang_1__503_14.min1.thm1
2017-02-06 12:44
1.2K
triang_1__496_14.min1.thm1.tptp
2017-02-06 16:46
289
triang_1__496_14.min1.thm1
2017-02-06 12:44
366
triang_1__488_33.min1.thm1
2017-02-06 12:44
865
triang_1__485_17.min1.thm1
2017-02-06 12:44
396
triang_1__476_41.min1.thm1
2017-02-06 12:44
1.1K
triang_1__447_18.min1.thm1
2017-02-06 12:44
629
triang_1__445_21.min1.thm1
2017-02-06 12:44
650
triang_1__443_42.min1.thm1
2017-02-06 12:44
456
triang_1__434_19.min1.thm1
2017-02-06 12:44
1.0K
triang_1__433_15.min1.thm1
2017-02-06 12:44
1.0K
triang_1__431_22.min1.thm1
2017-02-06 12:44
1.5K
triang_1__428_24.min1.thm1.tptp
2017-02-06 16:46
280
triang_1__428_24.min1.thm1
2017-02-06 12:44
356
triang_1__427_24.min1.thm1.tptp
2017-02-06 16:46
282
triang_1__427_24.min1.thm1
2017-02-06 12:44
358
triang_1__426_24.min1.thm1
2017-02-06 12:44
1.1K
triang_1__424_17.min1.thm1
2017-02-06 12:44
875
triang_1__398_15.min1.thm1
2017-02-06 12:44
388
triang_1__395_31.min1.thm1
2017-02-06 12:44
481
triang_1__380_19.min1.thm1
2017-02-06 12:44
401
triang_1__379_36.min1.thm1
2017-02-06 12:44
689
triang_1__378_23.min1.thm1
2017-02-06 12:44
1.2K
triang_1__362_19.min1.thm1
2017-02-06 12:44
870
triang_1__361_42.min1.thm1
2017-02-06 12:44
1.2K
triang_1__360_32.min1.thm1
2017-02-06 12:44
2.1K
triang_1__358_16.min1.thm1
2017-02-06 12:44
644
triang_1__347_33.min1.thm1
2017-02-06 12:44
1.4K
triang_1__345_33.min1.thm1
2017-02-06 12:44
1.4K
triang_1__336_19.min1.thm1
2017-02-06 12:44
1.4K
triang_1__335_15.min1.thm1
2017-02-06 12:44
388
triang_1__332_31.min1.thm1
2017-02-06 12:44
481
triang_1__316_21.min1.thm1
2017-02-06 12:44
1.5K
triang_1__315_17.min1.thm1
2017-02-06 12:44
396
triang_1__306_40.min1.thm1
2017-02-06 12:44
1.4K
triang_1__270_25.min1.thm1
2017-02-06 12:44
803
triang_1__257_14.min1.thm1
2017-02-06 12:44
682
triang_1__256_22.min1.thm1
2017-02-06 12:44
900
triang_1__253_43.min1.thm1
2017-02-06 12:44
1.0K
triang_1__251_62.min1.thm1
2017-02-06 12:44
1.6K
triang_1__250_31.min1.thm1
2017-02-06 12:44
500
triang_1__249_27.min1.thm1
2017-02-06 12:44
687
triang_1__248_46.min1.thm1
2017-02-06 12:44
964
triang_1__236_14.min1.thm1
2017-02-06 12:44
1.0K
triang_1__235_48.min1.thm1
2017-02-06 12:44
1.2K
triang_1__234_48.min1.thm1
2017-02-06 12:44
1.1K
triang_1__233_58.min1.thm1
2017-02-06 12:44
1.0K
triang_1__232_46.min1.thm1
2017-02-06 12:44
1.1K
triang_1__230_59.min1.thm1
2017-02-06 12:44
1.1K
triang_1__220_49.min1.thm1
2017-02-06 12:44
1.1K
triang_1__217_67.min1.thm1
2017-02-06 12:44
1.1K
triang_1__216_52.min1.thm1
2017-02-06 12:44
860
triang_1__215_62.min1.thm1
2017-02-06 12:44
958
triang_1__214_24.min1.thm1
2017-02-06 12:44
264
triang_1__208_14.min1.thm1
2017-02-06 12:44
1.1K
triang_1__207_48.min1.thm1
2017-02-06 12:44
1.2K
triang_1__206_48.min1.thm1
2017-02-06 12:44
1.5K
triang_1__205_58.min1.thm1
2017-02-06 12:44
1.0K
triang_1__204_46.min1.thm1
2017-02-06 12:44
1.5K
triang_1__202_59.min1.thm1
2017-02-06 12:44
1.1K
triang_1__201_49.min1.thm1
2017-02-06 12:44
1.5K
triang_1__198_67.min1.thm1
2017-02-06 12:44
1.1K
triang_1__197_52.min1.thm1
2017-02-06 12:44
860
triang_1__194_12.min1.thm1
2017-02-06 12:44
1.0K
triang_1__186_58.min1.thm1
2017-02-06 12:44
1.4K
triang_1__175_27.min1.thm1
2017-02-06 12:44
860
triang_1__173_50.min1.thm1
2017-02-06 12:44
1.2K
triang_1__171_60.min1.thm1
2017-02-06 12:44
1.0K
triang_1__167_61.min1.thm1
2017-02-06 12:44
1.1K
triang_1__163_69.min1.thm1
2017-02-06 12:44
1.1K
triang_1__162_52.min1.thm1
2017-02-06 12:44
864
triang_1__159_14.min1.thm1
2017-02-06 12:44
1.1K
triang_1__151_60.min1.thm1
2017-02-06 12:44
1.5K
triang_1__141_16.min1.thm1.tptp
2017-02-06 16:46
357
triang_1__141_16.min1.thm1
2017-02-06 12:44
435
triang_1__139_18.min1.thm1
2017-02-06 12:44
569
triang_1__138_28.min1.thm1
2017-02-06 12:44
827
triang_1__111_17.min1.thm1.tptp
2017-02-06 16:46
613
triang_1__111_17.min1.thm1
2017-02-06 12:44
659
triang_1__109_28.min1.thm1
2017-02-06 12:44
504
triang_1__107_21.min1.thm1
2017-02-06 12:44
1.2K
triang_1__104_23.min1.thm1
2017-02-06 12:44
1.6K
triang_1__103_23.min1.thm1
2017-02-06 12:44
1.4K
triang_1__102_17.min1.thm1
2017-02-06 12:44
673
triang_1__97_29.min1.thm1
2017-02-06 12:44
1.2K
triang_1__95_58.min1.thm1
2017-02-06 12:44
839
triang_1__92_17.min1.thm1
2017-02-06 12:44
436
triang_1__84_33.min1.thm1
2017-02-06 12:44
1.4K
triang_1__79_30.min1.thm1
2017-02-06 12:44
1.8K
triang_1__78_19.min1.thm1
2017-02-06 12:44
901
triang_1__73_15.min1.thm1
2017-02-06 12:44
403
triang_1__71_37.min1.thm1
2017-02-06 12:44
277
triang_1__52_14.min1.thm1
2017-02-06 12:44
680
triang_1__48_11.min1.thm1
2017-02-06 12:44
683
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80