Index of /~mptp/1147/MPTP2/ilp0/topgen_2
Name
Last modified
Size
Description
Parent Directory
-
topgen_2__60_16.min1.thm1
2017-02-06 12:45
348
topgen_2__62_45.min1.thm1
2017-02-06 12:45
769
topgen_2__65_29.min1.thm1
2017-02-06 12:45
680
topgen_2__66_35.min1.thm1
2017-02-06 12:45
599
topgen_2__68_17.min1.thm1
2017-02-06 12:45
667
topgen_2__75_18.min1.thm1
2017-02-06 12:45
364
topgen_2__86_19.min1.thm1
2017-02-06 12:45
534
topgen_2__88_17.min1.thm1
2017-02-06 12:45
593
topgen_2__90_14.min1.thm1
2017-02-06 12:45
773
topgen_2__90_14.min1.thm1.tptp
2017-02-06 16:47
687
topgen_2__109_15.min1.thm1
2017-02-06 12:45
857
topgen_2__110_33.min1.thm1
2017-02-06 12:45
754
topgen_2__111_24.min1.thm1
2017-02-06 12:45
796
topgen_2__111_24.min1.thm1.tptp
2017-02-06 16:46
719
topgen_2__112_19.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__114_51.min1.thm1
2017-02-06 12:45
497
topgen_2__115_31.min1.thm1
2017-02-06 12:45
536
topgen_2__115_31.min1.thm1.tptp
2017-02-06 16:46
470
topgen_2__121_24.min1.thm1
2017-02-06 12:45
796
topgen_2__121_24.min1.thm1.tptp
2017-02-06 16:47
719
topgen_2__126_18.min1.thm1
2017-02-06 12:45
1.5K
topgen_2__127_18.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__128_18.min1.thm1
2017-02-06 12:45
319
topgen_2__128_18.min1.thm1.tptp
2017-02-06 16:46
233
topgen_2__136_16.min1.thm1
2017-02-06 12:45
922
topgen_2__137_33.min1.thm1
2017-02-06 12:45
754
topgen_2__138_24.min1.thm1
2017-02-06 12:45
796
topgen_2__138_24.min1.thm1.tptp
2017-02-06 16:47
719
topgen_2__139_36.min1.thm1
2017-02-06 12:45
812
topgen_2__140_19.min1.thm1
2017-02-06 12:45
968
topgen_2__156_22.min1.thm1
2017-02-06 12:45
324
topgen_2__156_22.min1.thm1.tptp
2017-02-06 16:47
246
topgen_2__158_37.min1.thm1
2017-02-06 12:45
918
topgen_2__164_18.min1.thm1
2017-02-06 12:45
542
topgen_2__166_18.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__176_31.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__192_32.min1.thm1
2017-02-06 12:45
313
topgen_2__192_32.min1.thm1.tptp
2017-02-06 16:47
232
topgen_2__193_66.min1.thm1
2017-02-06 12:45
415
topgen_2__195_17.min1.thm1
2017-02-06 12:45
457
topgen_2__195_17.min1.thm1.tptp
2017-02-06 16:47
400
topgen_2__204_46.min1.thm1
2017-02-06 12:45
605
topgen_2__205_30.min1.thm1
2017-02-06 12:45
530
topgen_2__207_37.min1.thm1
2017-02-06 12:45
378
topgen_2__207_37.min1.thm1.tptp
2017-02-06 16:47
311
topgen_2__212_17.min1.thm1
2017-02-06 12:45
594
topgen_2__213_26.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__220_46.min1.thm1
2017-02-06 12:45
605
topgen_2__221_19.min1.thm1
2017-02-06 12:45
948
topgen_2__223_17.min1.thm1
2017-02-06 12:45
805
topgen_2__236_48.min1.thm1
2017-02-06 12:45
651
topgen_2__236_48.min1.thm1.tptp
2017-02-06 16:47
618
topgen_2__238_18.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__250_31.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__262_46.min1.thm1
2017-02-06 12:45
647
topgen_2__262_46.min1.thm1.tptp
2017-02-06 16:47
614
topgen_2__264_19.min1.thm1
2017-02-06 12:45
843
topgen_2__265_47.min1.thm1
2017-02-06 12:45
798
topgen_2__276_17.min1.thm1
2017-02-06 12:45
586
topgen_2__277_21.min1.thm1
2017-02-06 12:45
409
topgen_2__277_21.min1.thm1.tptp
2017-02-06 16:46
334
topgen_2__278_17.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__297_18.min1.thm1
2017-02-06 12:45
661
topgen_2__299_23.min1.thm1
2017-02-06 12:45
646
topgen_2__299_23.min1.thm1.tptp
2017-02-06 16:46
579
topgen_2__300_24.min1.thm1
2017-02-06 12:45
338
topgen_2__300_24.min1.thm1.tptp
2017-02-06 16:46
257
topgen_2__301_27.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__302_25.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__304_19.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__310_24.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__312_23.min1.thm1
2017-02-06 12:45
587
topgen_2__313_26.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__331_17.min1.thm1
2017-02-06 12:45
494
topgen_2__331_17.min1.thm1.tptp
2017-02-06 16:47
417
topgen_2__344_53.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__345_19.min1.thm1
2017-02-06 12:45
1.6K
topgen_2__349_14.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__373_26.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__377_14.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__378_17.min1.thm1
2017-02-06 12:45
622
topgen_2__395_42.min1.thm1
2017-02-06 12:45
1.4K
topgen_2__396_14.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__397_12.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__398_21.min1.thm1
2017-02-06 12:45
802
topgen_2__402_14.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__403_17.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__414_16.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__415_22.min1.thm1
2017-02-06 12:45
653
topgen_2__416_20.min1.thm1
2017-02-06 12:45
1.6K
topgen_2__431_22.min1.thm1
2017-02-06 12:45
645
topgen_2__448_20.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__450_48.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__465_64.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__467_17.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__468_16.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__477_15.min1.thm1
2017-02-06 12:45
516
topgen_2__493_24.min1.thm1
2017-02-06 12:45
632
topgen_2__493_24.min1.thm1.tptp
2017-02-06 16:46
568
topgen_2__503_16.min1.thm1
2017-02-06 12:45
381
topgen_2__506_24.min1.thm1
2017-02-06 12:45
463
topgen_2__506_24.min1.thm1.tptp
2017-02-06 16:47
385
topgen_2__513_33.min1.thm1
2017-02-06 12:45
406
topgen_2__521_37.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__528_13.min1.thm1
2017-02-06 12:45
746
topgen_2__529_39.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__530_33.min1.thm1
2017-02-06 12:45
630
topgen_2__536_21.min1.thm1
2017-02-06 12:45
874
topgen_2__538_23.min1.thm1
2017-02-06 12:45
740
topgen_2__539_17.min1.thm1
2017-02-06 12:45
495
topgen_2__539_17.min1.thm1.tptp
2017-02-06 16:47
414
topgen_2__540_21.min1.thm1
2017-02-06 12:45
888
topgen_2__541_19.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__543_22.min1.thm1
2017-02-06 12:45
845
topgen_2__566_49.min1.thm1
2017-02-06 12:45
595
topgen_2__566_49.min1.thm1.tptp
2017-02-06 16:46
532
topgen_2__567_31.min1.thm1
2017-02-06 12:45
801
topgen_2__570_11.min1.thm1
2017-02-06 12:45
280
topgen_2__578_11.min1.thm1
2017-02-06 12:45
189
topgen_2__581_19.min1.thm1
2017-02-06 12:45
408
topgen_2__585_38.min1.thm1
2017-02-06 12:45
293
topgen_2__585_38.min1.thm1.tptp
2017-02-06 16:47
213
topgen_2__590_35.min1.thm1
2017-02-06 12:45
847
topgen_2__595_21.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__599_16.min1.thm1
2017-02-06 12:45
747
topgen_2__600_16.min1.thm1
2017-02-06 12:45
1.4K
topgen_2__601_21.min1.thm1
2017-02-06 12:45
1.7K
topgen_2__610_23.min1.thm1
2017-02-06 12:45
1.6K
topgen_2__611_17.min1.thm1
2017-02-06 12:45
1.4K
topgen_2__612_21.min1.thm1
2017-02-06 12:45
435
topgen_2__614_16.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__615_30.min1.thm1
2017-02-06 12:45
1.6K
topgen_2__616_19.min1.thm1
2017-02-06 12:45
553
topgen_2__631_36.min1.thm1
2017-02-06 12:45
600
topgen_2__632_16.min1.thm1
2017-02-06 12:45
664
topgen_2__633_19.min1.thm1
2017-02-06 12:45
740
topgen_2__641_37.min1.thm1
2017-02-06 12:45
783
topgen_2__643_19.min1.thm1
2017-02-06 12:45
942
topgen_2__644_18.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__645_18.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__654_14.min1.thm1
2017-02-06 12:45
797
topgen_2__655_32.min1.thm1
2017-02-06 12:45
592
topgen_2__656_13.min1.thm1
2017-02-06 12:45
968
topgen_2__657_14.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__662_11.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__663_17.min1.thm1
2017-02-06 12:45
554
topgen_2__672_69.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__673_16.min1.thm1
2017-02-06 12:45
804
topgen_2__674_38.min1.thm1
2017-02-06 12:45
361
topgen_2__674_38.min1.thm1.tptp
2017-02-06 16:47
282
topgen_2__676_44.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__677_47.min1.thm1
2017-02-06 12:45
631
topgen_2__677_47.min1.thm1.tptp
2017-02-06 16:47
567
topgen_2__678_44.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__686_47.min1.thm1
2017-02-06 12:45
385
topgen_2__686_47.min1.thm1.tptp
2017-02-06 16:47
305
topgen_2__690_39.min1.thm1
2017-02-06 12:45
485
topgen_2__690_39.min1.thm1.tptp
2017-02-06 16:46
410
topgen_2__691_30.min1.thm1
2017-02-06 12:45
1.5K
topgen_2__701_25.min1.thm1
2017-02-06 12:45
632
topgen_2__701_25.min1.thm1.tptp
2017-02-06 16:47
568
topgen_2__711_18.min1.thm1
2017-02-06 12:45
366
topgen_2__714_48.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__720_25.min1.thm1
2017-02-06 12:45
1.4K
topgen_2__721_27.min1.thm1
2017-02-06 12:45
132
topgen_2__723_13.min1.thm1
2017-02-06 12:45
754
topgen_2__724_21.min1.thm1
2017-02-06 12:45
601
topgen_2__725_18.min1.thm1
2017-02-06 12:45
1.4K
topgen_2__730_31.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__732_20.min1.thm1
2017-02-06 12:45
747
topgen_2__733_55.min1.thm1
2017-02-06 12:45
712
topgen_2__735_29.min1.thm1
2017-02-06 12:45
694
topgen_2__736_36.min1.thm1
2017-02-06 12:45
541
topgen_2__745_16.min1.thm1
2017-02-06 12:45
584
topgen_2__745_16.min1.thm1.tptp
2017-02-06 16:46
511
topgen_2__748_16.min1.thm1
2017-02-06 12:45
648
topgen_2__749_14.min1.thm1
2017-02-06 12:45
585
topgen_2__750_14.min1.thm1
2017-02-06 12:45
861
topgen_2__751_64.min1.thm1
2017-02-06 12:45
960
topgen_2__759_40.min1.thm1
2017-02-06 12:45
598
topgen_2__760_31.min1.thm1
2017-02-06 12:45
684
topgen_2__765_17.min1.thm1
2017-02-06 12:45
884
topgen_2__766_25.min1.thm1
2017-02-06 12:45
402
topgen_2__766_25.min1.thm1.tptp
2017-02-06 16:47
323
topgen_2__767_30.min1.thm1
2017-02-06 12:45
722
topgen_2__768_16.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__779_24.min1.thm1
2017-02-06 12:45
663
topgen_2__779_24.min1.thm1.tptp
2017-02-06 16:47
599
topgen_2__781_18.min1.thm1
2017-02-06 12:45
618
topgen_2__783_29.min1.thm1
2017-02-06 12:45
725
topgen_2__784_54.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__786_39.min1.thm1
2017-02-06 12:45
713
topgen_2__789_39.min1.thm1
2017-02-06 12:45
356
topgen_2__789_39.min1.thm1.tptp
2017-02-06 16:46
278
topgen_2__800_18.min1.thm1
2017-02-06 12:45
366
topgen_2__802_46.min1.thm1
2017-02-06 12:45
796
topgen_2__817_39.min1.thm1
2017-02-06 12:45
356
topgen_2__817_39.min1.thm1.tptp
2017-02-06 16:47
278
topgen_2__827_18.min1.thm1
2017-02-06 12:45
368
topgen_2__845_20.min1.thm1
2017-02-06 12:45
697
topgen_2__846_21.min1.thm1
2017-02-06 12:45
612
topgen_2__855_28.min1.thm1
2017-02-06 12:45
1.4K
topgen_2__856_42.min1.thm1
2017-02-06 12:45
870
topgen_2__860_18.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__864_17.min1.thm1
2017-02-06 12:45
376
topgen_2__864_17.min1.thm1.tptp
2017-02-06 16:47
294
topgen_2__866_16.min1.thm1
2017-02-06 12:45
2.1K
topgen_2__886_38.min1.thm1
2017-02-06 12:45
600
topgen_2__889_14.min1.thm1
2017-02-06 12:45
1.4K
topgen_2__890_16.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__891_33.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__892_11.min1.thm1
2017-02-06 12:45
790
topgen_2__897_14.min1.thm1
2017-02-06 12:45
927
topgen_2__898_16.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__899_17.min1.thm1
2017-02-06 12:45
554
topgen_2__915_16.min1.thm1
2017-02-06 12:45
751
topgen_2__917_30.min1.thm1
2017-02-06 12:45
932
topgen_2__918_47.min1.thm1
2017-02-06 12:45
598
topgen_2__918_47.min1.thm1.tptp
2017-02-06 16:47
535
topgen_2__935_16.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__945_44.min1.thm1
2017-02-06 12:45
189
topgen_2__946_17.min1.thm1
2017-02-06 12:45
1.4K
topgen_2__958_12.min1.thm1
2017-02-06 12:45
735
topgen_2__958_12.min1.thm1.tptp
2017-02-06 16:46
708
topgen_2__967_32.min1.thm1
2017-02-06 12:45
671
topgen_2__970_34.min1.thm1
2017-02-06 12:45
904
topgen_2__971_18.min1.thm1
2017-02-06 12:45
852
topgen_2__973_43.min1.thm1
2017-02-06 12:45
710
topgen_2__975_15.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__987_27.min1.thm1
2017-02-06 12:45
512
topgen_2__987_27.min1.thm1.tptp
2017-02-06 16:47
467
topgen_2__988_28.min1.thm1
2017-02-06 12:45
682
topgen_2__989_14.min1.thm1
2017-02-06 12:45
524
topgen_2__990_16.min1.thm1
2017-02-06 12:45
820
topgen_2__991_50.min1.thm1
2017-02-06 12:45
878
topgen_2__995_15.min1.thm1
2017-02-06 12:45
301
topgen_2__1000_22.min1.thm1
2017-02-06 12:45
472
topgen_2__1000_22.min1.thm1.tptp
2017-02-06 16:46
406
topgen_2__1001_18.min1.thm1
2017-02-06 12:45
1.4K
topgen_2__1003_54.min1.thm1
2017-02-06 12:45
544
topgen_2__1003_54.min1.thm1.tptp
2017-02-06 16:46
484
topgen_2__1004_29.min1.thm1
2017-02-06 12:45
891
topgen_2__1005_23.min1.thm1
2017-02-06 12:45
751
topgen_2__1006_36.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1007_29.min1.thm1
2017-02-06 12:45
1.5K
topgen_2__1008_45.min1.thm1
2017-02-06 12:45
893
topgen_2__1016_19.min1.thm1
2017-02-06 12:45
799
topgen_2__1017_20.min1.thm1
2017-02-06 12:45
875
topgen_2__1018_60.min1.thm1
2017-02-06 12:45
553
topgen_2__1018_60.min1.thm1.tptp
2017-02-06 16:47
494
topgen_2__1021_29.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1022_45.min1.thm1
2017-02-06 12:45
814
topgen_2__1029_16.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__1034_18.min1.thm1
2017-02-06 12:45
593
topgen_2__1034_18.min1.thm1.tptp
2017-02-06 16:46
533
topgen_2__1037_21.min1.thm1
2017-02-06 12:45
593
topgen_2__1037_21.min1.thm1.tptp
2017-02-06 16:46
533
topgen_2__1038_25.min1.thm1
2017-02-06 12:45
1.6K
topgen_2__1039_24.min1.thm1
2017-02-06 12:45
1.6K
topgen_2__1040_21.min1.thm1
2017-02-06 12:45
924
topgen_2__1045_40.min1.thm1
2017-02-06 12:45
734
topgen_2__1045_40.min1.thm1.tptp
2017-02-06 16:47
692
topgen_2__1046_28.min1.thm1
2017-02-06 12:45
964
topgen_2__1047_24.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1048_21.min1.thm1
2017-02-06 12:45
846
topgen_2__1056_14.min1.thm1
2017-02-06 12:45
925
topgen_2__1068_35.min1.thm1
2017-02-06 12:45
678
topgen_2__1069_27.min1.thm1
2017-02-06 12:45
508
topgen_2__1069_27.min1.thm1.tptp
2017-02-06 16:46
463
topgen_2__1073_30.min1.thm1
2017-02-06 12:45
794
topgen_2__1075_32.min1.thm1
2017-02-06 12:45
872
topgen_2__1076_19.min1.thm1
2017-02-06 12:45
786
topgen_2__1079_30.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1090_31.min1.thm1
2017-02-06 12:45
769
topgen_2__1092_52.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1093_25.min1.thm1
2017-02-06 12:45
508
topgen_2__1093_25.min1.thm1.tptp
2017-02-06 16:46
463
topgen_2__1094_17.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1103_25.min1.thm1
2017-02-06 12:45
508
topgen_2__1103_25.min1.thm1.tptp
2017-02-06 16:46
463
topgen_2__1104_17.min1.thm1
2017-02-06 12:45
934
topgen_2__1116_27.min1.thm1
2017-02-06 12:45
508
topgen_2__1116_27.min1.thm1.tptp
2017-02-06 16:46
463
topgen_2__1117_18.min1.thm1
2017-02-06 12:45
341
topgen_2__1117_18.min1.thm1.tptp
2017-02-06 16:46
273
topgen_2__1132_25.min1.thm1
2017-02-06 12:45
508
topgen_2__1132_25.min1.thm1.tptp
2017-02-06 16:47
463
topgen_2__1133_24.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1135_21.min1.thm1
2017-02-06 12:45
734
topgen_2__1136_12.min1.thm1
2017-02-06 12:45
335
topgen_2__1136_12.min1.thm1.tptp
2017-02-06 16:46
270
topgen_2__1137_17.min1.thm1
2017-02-06 12:45
785
topgen_2__1147_21.min1.thm1
2017-02-06 12:45
609
topgen_2__1148_17.min1.thm1
2017-02-06 12:45
783
topgen_2__1158_16.min1.thm1
2017-02-06 12:45
574
topgen_2__1174_39.min1.thm1
2017-02-06 12:45
807
topgen_2__1175_36.min1.thm1
2017-02-06 12:45
743
topgen_2__1177_35.min1.thm1
2017-02-06 12:45
776
topgen_2__1178_34.min1.thm1
2017-02-06 12:45
427
topgen_2__1178_34.min1.thm1.tptp
2017-02-06 16:47
341
topgen_2__1179_15.min1.thm1
2017-02-06 12:45
270
topgen_2__1180_23.min1.thm1
2017-02-06 12:45
1.5K
topgen_2__1185_37.min1.thm1
2017-02-06 12:45
848
topgen_2__1196_20.min1.thm1
2017-02-06 12:45
920
topgen_2__1197_22.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__1198_8.min1.thm1
2017-02-06 12:45
564
topgen_2__1198_8.min1.thm1.tptp
2017-02-06 16:47
490
topgen_2__1208_39.min1.thm1
2017-02-06 12:45
807
topgen_2__1209_36.min1.thm1
2017-02-06 12:45
743
topgen_2__1211_34.min1.thm1
2017-02-06 12:45
427
topgen_2__1211_34.min1.thm1.tptp
2017-02-06 16:46
341
topgen_2__1214_32.min1.thm1
2017-02-06 12:45
1.4K
topgen_2__1216_15.min1.thm1
2017-02-06 12:45
1.7K
topgen_2__1234_31.min1.thm1
2017-02-06 12:45
794
topgen_2__1235_41.min1.thm1
2017-02-06 12:45
660
topgen_2__1239_41.min1.thm1
2017-02-06 12:45
717
topgen_2__1240_16.min1.thm1
2017-02-06 12:45
784
topgen_2__1241_23.min1.thm1
2017-02-06 12:45
680
topgen_2__1243_19.min1.thm1
2017-02-06 12:45
698
topgen_2__1245_27.min1.thm1
2017-02-06 12:45
508
topgen_2__1245_27.min1.thm1.tptp
2017-02-06 16:46
463
topgen_2__1250_55.min1.thm1
2017-02-06 12:45
512
topgen_2__1250_55.min1.thm1.tptp
2017-02-06 16:47
452
topgen_2__1251_19.min1.thm1
2017-02-06 12:45
859
topgen_2__1258_34.min1.thm1
2017-02-06 12:45
768
topgen_2__1261_41.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1262_41.min1.thm1
2017-02-06 12:45
684
topgen_2__1266_31.min1.thm1
2017-02-06 12:45
704
topgen_2__1267_31.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1272_64.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__1280_16.min1.thm1
2017-02-06 12:45
512
topgen_2__1280_16.min1.thm1.tptp
2017-02-06 16:46
452
topgen_2__1281_20.min1.thm1
2017-02-06 12:45
507
topgen_2__1282_33.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__1283_19.min1.thm1
2017-02-06 12:45
698
topgen_2__1288_13.min1.thm1
2017-02-06 12:45
567
topgen_2__1288_13.min1.thm1.tptp
2017-02-06 16:46
485
topgen_2__1304_23.min1.thm1
2017-02-06 12:45
461
topgen_2__1306_16.min1.thm1
2017-02-06 12:45
418
topgen_2__1306_16.min1.thm1.tptp
2017-02-06 16:46
355
topgen_2__1307_13.min1.thm1
2017-02-06 12:45
475
topgen_2__1308_33.min1.thm1
2017-02-06 12:45
714
topgen_2__1310_14.min1.thm1
2017-02-06 12:45
378
topgen_2__1310_14.min1.thm1.tptp
2017-02-06 16:47
309
topgen_2__1311_24.min1.thm1
2017-02-06 12:45
780
topgen_2__1312_19.min1.thm1
2017-02-06 12:45
680
topgen_2__1314_30.min1.thm1
2017-02-06 12:45
786
topgen_2__1315_28.min1.thm1
2017-02-06 12:45
673
topgen_2__1321_65.min1.thm1
2017-02-06 12:45
833
topgen_2__1322_43.min1.thm1
2017-02-06 12:45
540
topgen_2__1323_19.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__1325_28.min1.thm1
2017-02-06 12:45
419
topgen_2__1325_28.min1.thm1.tptp
2017-02-06 16:46
341
topgen_2__1326_17.min1.thm1
2017-02-06 12:45
663
topgen_2__1344_15.min1.thm1
2017-02-06 12:45
602
topgen_2__1346_16.min1.thm1
2017-02-06 12:45
418
topgen_2__1346_16.min1.thm1.tptp
2017-02-06 16:47
355
topgen_2__1347_28.min1.thm1
2017-02-06 12:45
824
topgen_2__1349_14.min1.thm1
2017-02-06 12:45
378
topgen_2__1349_14.min1.thm1.tptp
2017-02-06 16:46
309
topgen_2__1350_24.min1.thm1
2017-02-06 12:45
809
topgen_2__1351_19.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__1353_30.min1.thm1
2017-02-06 12:45
821
topgen_2__1354_28.min1.thm1
2017-02-06 12:45
679
topgen_2__1364_14.min1.thm1
2017-02-06 12:45
598
topgen_2__1365_35.min1.thm1
2017-02-06 12:45
536
topgen_2__1366_14.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1376_37.min1.thm1
2017-02-06 12:45
678
topgen_2__1377_17.min1.thm1
2017-02-06 12:45
1.5K
topgen_2__1378_16.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__1379_21.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1382_17.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__1397_23.min1.thm1
2017-02-06 12:45
267
topgen_2__1398_22.min1.thm1
2017-02-06 12:45
399
topgen_2__1399_18.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1400_30.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1402_34.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1403_21.min1.thm1
2017-02-06 12:45
363
topgen_2__1403_21.min1.thm1.tptp
2017-02-06 16:47
284
topgen_2__1404_37.min1.thm1
2017-02-06 12:45
929
topgen_2__1405_28.min1.thm1
2017-02-06 12:45
663
topgen_2__1406_16.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__1417_22.min1.thm1
2017-02-06 12:45
399
topgen_2__1418_23.min1.thm1
2017-02-06 12:45
267
topgen_2__1420_27.min1.thm1
2017-02-06 12:45
508
topgen_2__1420_27.min1.thm1.tptp
2017-02-06 16:46
463
topgen_2__1427_27.min1.thm1
2017-02-06 12:45
821
topgen_2__1429_16.min1.thm1
2017-02-06 12:45
371
topgen_2__1429_16.min1.thm1.tptp
2017-02-06 16:47
303
topgen_2__1430_14.min1.thm1
2017-02-06 12:45
809
topgen_2__1431_46.min1.thm1
2017-02-06 12:45
631
topgen_2__1434_14.min1.thm1
2017-02-06 12:45
911
topgen_2__1435_14.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__1436_28.min1.thm1
2017-02-06 12:45
1.4K
topgen_2__1441_13.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1442_19.min1.thm1
2017-02-06 12:45
506
topgen_2__1444_19.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1445_30.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1446_37.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1447_17.min1.thm1
2017-02-06 12:45
640
topgen_2__1460_21.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__1461_29.min1.thm1
2017-02-06 12:45
922
topgen_2__1462_47.min1.thm1
2017-02-06 12:45
728
topgen_2__1462_47.min1.thm1.tptp
2017-02-06 16:46
675
topgen_2__1463_17.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__1476_40.min1.thm1
2017-02-06 12:45
738
topgen_2__1481_44.min1.thm1
2017-02-06 12:45
588
topgen_2__1482_16.min1.thm1
2017-02-06 12:45
911
topgen_2__1484_45.min1.thm1
2017-02-06 12:45
842
topgen_2__1488_27.min1.thm1
2017-02-06 12:45
508
topgen_2__1488_27.min1.thm1.tptp
2017-02-06 16:47
463
topgen_2__1495_18.min1.thm1
2017-02-06 12:45
796
topgen_2__1497_23.min1.thm1
2017-02-06 12:45
720
topgen_2__1498_47.min1.thm1
2017-02-06 12:45
919
topgen_2__1499_13.min1.thm1
2017-02-06 12:45
195
topgen_2__1502_21.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1506_48.min1.thm1
2017-02-06 12:45
545
topgen_2__1507_28.min1.thm1
2017-02-06 12:45
419
topgen_2__1508_56.min1.thm1
2017-02-06 12:45
815
topgen_2__1514_40.min1.thm1
2017-02-06 12:45
914
topgen_2__1515_19.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__1519_16.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__1520_39.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1521_18.min1.thm1
2017-02-06 12:45
669
topgen_2__1524_21.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1526_31.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__1527_32.min1.thm1
2017-02-06 12:45
1.4K
topgen_2__1532_26.min1.thm1
2017-02-06 12:45
508
topgen_2__1532_26.min1.thm1.tptp
2017-02-06 16:46
430
topgen_2__1541_31.min1.thm1
2017-02-06 12:45
794
topgen_2__1546_44.min1.thm1
2017-02-06 12:45
656
topgen_2__1547_16.min1.thm1
2017-02-06 12:45
931
topgen_2__1550_33.min1.thm1
2017-02-06 12:45
510
topgen_2__1552_43.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__1554_29.min1.thm1
2017-02-06 12:45
1.8K
topgen_2__1571_40.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1573_20.min1.thm1
2017-02-06 12:45
2.0K
topgen_2__1574_41.min1.thm1
2017-02-06 12:45
474
topgen_2__1574_41.min1.thm1.tptp
2017-02-06 16:46
394
topgen_2__1583_33.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__1584_23.min1.thm1
2017-02-06 12:45
756
topgen_2__1587_17.min1.thm1
2017-02-06 12:45
858
topgen_2__1591_21.min1.thm1
2017-02-06 12:45
1.7K
topgen_2__1592_30.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__1594_38.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1595_21.min1.thm1
2017-02-06 12:45
1.5K
topgen_2__1596_44.min1.thm1
2017-02-06 12:45
1.5K
topgen_2__1597_53.min1.thm1
2017-02-06 12:45
1.7K
topgen_2__1605_14.min1.thm1
2017-02-06 12:45
786
topgen_2__1610_18.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1611_50.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1612_27.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__1613_19.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1617_26.min1.thm1
2017-02-06 12:45
1.7K
topgen_2__1619_33.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__1620_23.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1621_19.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__1635_13.min1.thm1
2017-02-06 12:45
640
topgen_2__1637_19.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__1638_41.min1.thm1
2017-02-06 12:45
442
topgen_2__1638_41.min1.thm1.tptp
2017-02-06 16:46
362
topgen_2__1645_33.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__1646_23.min1.thm1
2017-02-06 12:45
724
topgen_2__1649_17.min1.thm1
2017-02-06 12:45
826
topgen_2__1653_20.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__1654_21.min1.thm1
2017-02-06 12:45
1.7K
topgen_2__1655_30.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__1657_38.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1658_21.min1.thm1
2017-02-06 12:45
1.1K
topgen_2__1659_44.min1.thm1
2017-02-06 12:45
1.5K
topgen_2__1660_53.min1.thm1
2017-02-06 12:45
1.7K
topgen_2__1662_32.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1668_14.min1.thm1
2017-02-06 12:45
754
topgen_2__1673_18.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1674_50.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1675_27.min1.thm1
2017-02-06 12:45
1.2K
topgen_2__1676_19.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1680_19.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1699_50.min1.thm1
2017-02-06 12:45
576
topgen_2__1702_22.min1.thm1
2017-02-06 12:45
307
topgen_2__1706_55.min1.thm1
2017-02-06 12:45
523
topgen_2__1710_49.min1.thm1
2017-02-06 12:45
604
topgen_2__1711_37.min1.thm1
2017-02-06 12:45
915
topgen_2__1714_50.min1.thm1
2017-02-06 12:45
1.6K
topgen_2__1722_51.min1.thm1
2017-02-06 12:45
612
topgen_2__1723_17.min1.thm1
2017-02-06 12:45
724
topgen_2__1726_39.min1.thm1
2017-02-06 12:45
935
topgen_2__1738_49.min1.thm1
2017-02-06 12:45
604
topgen_2__1739_15.min1.thm1
2017-02-06 12:45
1.8K
topgen_2__1740_37.min1.thm1
2017-02-06 12:45
915
topgen_2__1741_15.min1.thm1
2017-02-06 12:45
1.8K
topgen_2__1746_21.min1.thm1
2017-02-06 12:45
597
topgen_2__1752_50.min1.thm1
2017-02-06 12:45
821
topgen_2__1753_23.min1.thm1
2017-02-06 12:45
640
topgen_2__1755_16.min1.thm1
2017-02-06 12:45
444
topgen_2__1755_16.min1.thm1.tptp
2017-02-06 16:46
358
topgen_2__1757_34.min1.thm1
2017-02-06 12:45
597
topgen_2__1766_47.min1.thm1
2017-02-06 12:45
596
topgen_2__1767_45.min1.thm1
2017-02-06 12:45
660
topgen_2__1770_43.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1772_14.min1.thm1
2017-02-06 12:45
374
topgen_2__1772_14.min1.thm1.tptp
2017-02-06 16:46
288
topgen_2__1785_63.min1.thm1
2017-02-06 12:45
757
topgen_2__1786_66.min1.thm1
2017-02-06 12:45
596
topgen_2__1789_62.min1.thm1
2017-02-06 12:45
940
topgen_2__1791_34.min1.thm1
2017-02-06 12:45
423
topgen_2__1792_61.min1.thm1
2017-02-06 12:45
1.5K
topgen_2__1794_25.min1.thm1
2017-02-06 12:45
960
topgen_2__1795_19.min1.thm1
2017-02-06 12:45
700
topgen_2__1796_29.min1.thm1
2017-02-06 12:45
960
topgen_2__1801_34.min1.thm1
2017-02-06 12:45
1.5K
topgen_2__1802_50.min1.thm1
2017-02-06 12:45
2.1K
topgen_2__1803_41.min1.thm1
2017-02-06 12:45
3.2K
topgen_2__1810_29.min1.thm1
2017-02-06 12:45
1.0K
topgen_2__1813_19.min1.thm1
2017-02-06 12:45
717
topgen_2__1814_35.min1.thm1
2017-02-06 12:45
743
topgen_2__1815_34.min1.thm1
2017-02-06 12:45
737
topgen_2__1817_50.min1.thm1
2017-02-06 12:45
1.4K
topgen_2__1823_60.min1.thm1
2017-02-06 12:45
850
topgen_2__1824_38.min1.thm1
2017-02-06 12:45
605
topgen_2__1829_47.min1.thm1
2017-02-06 12:45
596
topgen_2__1830_44.min1.thm1
2017-02-06 12:45
661
topgen_2__1833_38.min1.thm1
2017-02-06 12:45
789
topgen_2__1834_58.min1.thm1
2017-02-06 12:45
1.3K
topgen_2__1837_27.min1.thm1
2017-02-06 12:45
870
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80