Index of /~mptp/1147/MPTP2/ilp0/simplex2
Name
Last modified
Size
Description
Parent Directory
-
simplex2__86_21.min1.thm1
2017-02-06 12:46
1.3K
simplex2__87_11.min1.thm1
2017-02-06 12:46
278
simplex2__99_22.min1.thm1
2017-02-06 12:46
465
simplex2__99_22.min1.thm1.tptp
2017-02-06 16:47
408
simplex2__104_26.min1.thm1
2017-02-06 12:46
1.3K
simplex2__105_29.min1.thm1
2017-02-06 12:46
891
simplex2__106_23.min1.thm1
2017-02-06 12:46
1.4K
simplex2__109_44.min1.thm1
2017-02-06 12:46
720
simplex2__110_22.min1.thm1
2017-02-06 12:46
1.4K
simplex2__111_16.min1.thm1
2017-02-06 12:46
1.8K
simplex2__112_62.min1.thm1
2017-02-06 12:46
2.1K
simplex2__122_13.min1.thm1
2017-02-06 12:46
296
simplex2__125_19.min1.thm1
2017-02-06 12:46
1.5K
simplex2__125_19.min1.thm1.tptp
2017-02-06 16:47
1.5K
simplex2__130_25.min1.thm1
2017-02-06 12:46
945
simplex2__131_46.min1.thm1
2017-02-06 12:46
689
simplex2__133_52.min1.thm1
2017-02-06 12:46
1.6K
simplex2__134_30.min1.thm1
2017-02-06 12:46
323
simplex2__134_30.min1.thm1.tptp
2017-02-06 16:47
242
simplex2__156_57.min1.thm1
2017-02-06 12:46
1.9K
simplex2__157_46.min1.thm1
2017-02-06 12:46
1.6K
simplex2__159_22.min1.thm1
2017-02-06 12:46
529
simplex2__172_13.min1.thm1
2017-02-06 12:46
1.1K
simplex2__184_48.min1.thm1
2017-02-06 12:46
1.4K
simplex2__186_53.min1.thm1
2017-02-06 12:46
1.9K
simplex2__190_34.min1.thm1
2017-02-06 12:46
2.0K
simplex2__201_41.min1.thm1
2017-02-06 12:46
1.2K
simplex2__201_41.min1.thm1.tptp
2017-02-06 16:47
1.1K
simplex2__215_21.min1.thm1
2017-02-06 12:46
2.0K
simplex2__216_25.min1.thm1
2017-02-06 12:46
2.5K
simplex2__218_31.min1.thm1
2017-02-06 12:46
533
simplex2__222_15.min1.thm1
2017-02-06 12:46
803
simplex2__225_18.min1.thm1
2017-02-06 12:46
2.2K
simplex2__226_19.min1.thm1
2017-02-06 12:46
1.2K
simplex2__230_33.min1.thm1
2017-02-06 12:46
1.3K
simplex2__233_17.min1.thm1
2017-02-06 12:46
835
simplex2__234_25.min1.thm1
2017-02-06 12:46
1.0K
simplex2__237_19.min1.thm1
2017-02-06 12:46
1.2K
simplex2__239_25.min1.thm1
2017-02-06 12:46
1.3K
simplex2__245_48.min1.thm1
2017-02-06 12:46
1.1K
simplex2__247_63.min1.thm1
2017-02-06 12:46
2.7K
simplex2__251_35.min1.thm1
2017-02-06 12:46
2.8K
simplex2__256_18.min1.thm1
2017-02-06 12:46
2.1K
simplex2__257_29.min1.thm1
2017-02-06 12:46
1.0K
simplex2__258_18.min1.thm1
2017-02-06 12:46
1.2K
simplex2__261_38.min1.thm1
2017-02-06 12:46
1.1K
simplex2__261_38.min1.thm1.tptp
2017-02-06 16:47
1.1K
simplex2__266_37.min1.thm1
2017-02-06 12:46
1.2K
simplex2__273_32.min1.thm1
2017-02-06 12:46
2.7K
simplex2__279_15.min1.thm1
2017-02-06 12:46
1.2K
simplex2__282_19.min1.thm1
2017-02-06 12:46
1.1K
simplex2__286_23.min1.thm1
2017-02-06 12:46
1.6K
simplex2__294_47.min1.thm1
2017-02-06 12:46
1.1K
simplex2__300_34.min1.thm1
2017-02-06 12:46
2.7K
simplex2__306_14.min1.thm1
2017-02-06 12:46
1.6K
simplex2__307_20.min1.thm1
2017-02-06 12:46
1.0K
simplex2__314_18.min1.thm1
2017-02-06 12:46
1.6K
simplex2__316_19.min1.thm1
2017-02-06 12:46
1.3K
simplex2__338_69.min1.thm1
2017-02-06 12:46
1.4K
simplex2__341_38.min1.thm1
2017-02-06 12:46
1.7K
simplex2__342_26.min1.thm1
2017-02-06 12:46
1.3K
simplex2__361_16.min1.thm1
2017-02-06 12:46
481
simplex2__362_34.min1.thm1
2017-02-06 12:46
589
simplex2__364_32.min1.thm1
2017-02-06 12:46
780
simplex2__366_38.min1.thm1
2017-02-06 12:46
1.7K
simplex2__367_26.min1.thm1
2017-02-06 12:46
1.3K
simplex2__384_34.min1.thm1
2017-02-06 12:46
763
simplex2__403_11.min1.thm1
2017-02-06 12:46
200
simplex2__405_15.min1.thm1
2017-02-06 12:46
730
simplex2__409_57.min1.thm1
2017-02-06 12:46
533
simplex2__412_17.min1.thm1
2017-02-06 12:46
453
simplex2__412_17.min1.thm1.tptp
2017-02-06 16:47
376
simplex2__414_32.min1.thm1
2017-02-06 12:46
606
simplex2__418_73.min1.thm1
2017-02-06 12:46
1.2K
simplex2__421_18.min1.thm1
2017-02-06 12:46
365
simplex2__423_61.min1.thm1
2017-02-06 12:46
930
simplex2__425_33.min1.thm1
2017-02-06 12:46
875
simplex2__426_30.min1.thm1
2017-02-06 12:46
652
simplex2__428_27.min1.thm1
2017-02-06 12:46
1.7K
simplex2__433_21.min1.thm1
2017-02-06 12:46
1.0K
simplex2__450_72.min1.thm1
2017-02-06 12:46
1.1K
simplex2__454_17.min1.thm1
2017-02-06 12:46
317
simplex2__456_60.min1.thm1
2017-02-06 12:46
832
simplex2__458_32.min1.thm1
2017-02-06 12:46
826
simplex2__459_12.min1.thm1
2017-02-06 12:46
709
simplex2__465_22.min1.thm1
2017-02-06 12:46
920
simplex2__469_17.min1.thm1
2017-02-06 12:46
2.0K
simplex2__486_41.min1.thm1
2017-02-06 12:46
932
simplex2__488_32.min1.thm1
2017-02-06 12:46
579
simplex2__489_17.min1.thm1
2017-02-06 12:46
595
simplex2__504_18.min1.thm1
2017-02-06 12:46
1.9K
simplex2__506_14.min1.thm1
2017-02-06 12:46
1.4K
simplex2__516_13.min1.thm1
2017-02-06 12:46
750
simplex2__516_13.min1.thm1.tptp
2017-02-06 16:47
673
simplex2__526_47.min1.thm1
2017-02-06 12:46
827
simplex2__528_76.min1.thm1
2017-02-06 12:46
1.0K
simplex2__533_17.min1.thm1
2017-02-06 12:46
1.6K
simplex2__542_11.min1.thm1
2017-02-06 12:46
910
simplex2__550_21.min1.thm1
2017-02-06 12:46
395
simplex2__551_50.min1.thm1
2017-02-06 12:46
1.3K
simplex2__555_36.min1.thm1
2017-02-06 12:46
1.1K
simplex2__556_22.min1.thm1
2017-02-06 12:46
658
simplex2__557_15.min1.thm1
2017-02-06 12:46
658
simplex2__559_17.min1.thm1
2017-02-06 12:46
1.4K
simplex2__564_17.min1.thm1
2017-02-06 12:46
401
simplex2__586_45.min1.thm1
2017-02-06 12:46
946
simplex2__587_19.min1.thm1
2017-02-06 12:46
876
simplex2__589_44.min1.thm1
2017-02-06 12:46
411
simplex2__589_44.min1.thm1.tptp
2017-02-06 16:47
344
simplex2__593_24.min1.thm1
2017-02-06 12:46
543
simplex2__593_24.min1.thm1.tptp
2017-02-06 16:47
489
simplex2__594_33.min1.thm1
2017-02-06 12:46
767
simplex2__596_72.min1.thm1
2017-02-06 12:46
919
simplex2__601_22.min1.thm1
2017-02-06 12:46
1.0K
simplex2__602_17.min1.thm1
2017-02-06 12:46
797
simplex2__605_33.min1.thm1
2017-02-06 12:46
603
simplex2__606_18.min1.thm1
2017-02-06 12:46
734
simplex2__607_20.min1.thm1
2017-02-06 12:46
1.2K
simplex2__612_16.min1.thm1
2017-02-06 12:46
725
simplex2__613_18.min1.thm1
2017-02-06 12:46
1.1K
simplex2__614_21.min1.thm1
2017-02-06 12:46
898
simplex2__621_22.min1.thm1
2017-02-06 12:46
1.0K
simplex2__622_16.min1.thm1
2017-02-06 12:46
766
simplex2__625_18.min1.thm1
2017-02-06 12:46
787
simplex2__637_17.min1.thm1
2017-02-06 12:46
857
simplex2__639_14.min1.thm1
2017-02-06 12:46
2.0K
simplex2__641_12.min1.thm1
2017-02-06 12:46
131
simplex2__648_11.min1.thm1
2017-02-06 12:46
301
simplex2__652_24.min1.thm1
2017-02-06 12:46
539
simplex2__652_24.min1.thm1.tptp
2017-02-06 16:47
485
simplex2__653_33.min1.thm1
2017-02-06 12:46
759
simplex2__655_16.min1.thm1
2017-02-06 12:46
917
simplex2__656_24.min1.thm1
2017-02-06 12:46
1.1K
simplex2__660_18.min1.thm1
2017-02-06 12:46
2.0K
simplex2__670_47.min1.thm1
2017-02-06 12:46
811
simplex2__671_11.min1.thm1
2017-02-06 12:46
301
simplex2__673_43.min1.thm1
2017-02-06 12:46
548
simplex2__674_75.min1.thm1
2017-02-06 12:46
2.2K
simplex2__679_27.min1.thm1
2017-02-06 12:46
2.3K
simplex2__680_18.min1.thm1
2017-02-06 12:46
848
simplex2__692_47.min1.thm1
2017-02-06 12:46
1.0K
simplex2__693_11.min1.thm1
2017-02-06 12:46
391
simplex2__695_47.min1.thm1
2017-02-06 12:46
638
simplex2__697_39.min1.thm1
2017-02-06 12:46
515
simplex2__698_50.min1.thm1
2017-02-06 12:46
579
simplex2__705_29.min1.thm1
2017-02-06 12:46
937
simplex2__706_34.min1.thm1
2017-02-06 12:46
676
simplex2__713_18.min1.thm1
2017-02-06 12:46
969
simplex2__723_10.min1.thm1
2017-02-06 12:46
664
simplex2__727_21.min1.thm1
2017-02-06 12:46
1.0K
simplex2__728_34.min1.thm1
2017-02-06 12:46
1.1K
simplex2__729_46.min1.thm1
2017-02-06 12:46
1.2K
simplex2__733_34.min1.thm1
2017-02-06 12:46
708
simplex2__740_29.min1.thm1
2017-02-06 12:46
1.4K
simplex2__741_26.min1.thm1
2017-02-06 12:46
781
simplex2__751_28.min1.thm1
2017-02-06 12:46
1.4K
simplex2__752_25.min1.thm1
2017-02-06 12:46
761
simplex2__757_33.min1.thm1
2017-02-06 12:46
698
simplex2__761_26.min1.thm1
2017-02-06 12:46
1.4K
simplex2__770_62.min1.thm1
2017-02-06 12:46
2.8K
simplex2__772_33.min1.thm1
2017-02-06 12:46
2.1K
simplex2__775_22.min1.thm1
2017-02-06 12:46
1.0K
simplex2__776_34.min1.thm1
2017-02-06 12:46
1.4K
simplex2__779_7.min1.thm1
2017-02-06 12:46
234
simplex2__780_27.min1.thm1
2017-02-06 12:46
1.3K
simplex2__782_17.min1.thm1
2017-02-06 12:46
2.2K
simplex2__792_10.min1.thm1
2017-02-06 12:46
1.3K
simplex2__798_14.min1.thm1
2017-02-06 12:46
496
simplex2__798_14.min1.thm1.tptp
2017-02-06 16:47
437
simplex2__813_31.min1.thm1
2017-02-06 12:46
1.3K
simplex2__814_17.min1.thm1
2017-02-06 12:46
614
simplex2__820_54.min1.thm1
2017-02-06 12:46
737
simplex2__836_8.min1.thm1
2017-02-06 12:46
335
simplex2__836_8.min1.thm1.tptp
2017-02-06 16:47
270
simplex2__837_17.min1.thm1
2017-02-06 12:46
485
simplex2__865_33.min1.thm1
2017-02-06 12:46
660
simplex2__883_18.min1.thm1
2017-02-06 12:46
730
simplex2__885_31.min1.thm1
2017-02-06 12:46
716
simplex2__886_18.min1.thm1
2017-02-06 12:46
731
simplex2__887_54.min1.thm1
2017-02-06 12:46
1.8K
simplex2__890_19.min1.thm1
2017-02-06 12:46
1.2K
simplex2__892_14.min1.thm1
2017-02-06 12:46
624
simplex2__893_19.min1.thm1
2017-02-06 12:46
716
simplex2__901_20.min1.thm1
2017-02-06 12:46
1.6K
simplex2__908_12.min1.thm1
2017-02-06 12:46
207
simplex2__910_29.min1.thm1
2017-02-06 12:46
491
simplex2__912_17.min1.thm1
2017-02-06 12:46
1.3K
simplex2__918_23.min1.thm1
2017-02-06 12:46
575
simplex2__919_58.min1.thm1
2017-02-06 12:46
1.2K
simplex2__920_25.min1.thm1
2017-02-06 12:46
810
simplex2__924_22.min1.thm1
2017-02-06 12:46
949
simplex2__939_27.min1.thm1
2017-02-06 12:46
1.3K
simplex2__947_29.min1.thm1
2017-02-06 12:46
1.3K
simplex2__952_27.min1.thm1
2017-02-06 12:46
1.3K
simplex2__962_14.min1.thm1
2017-02-06 12:46
427
simplex2__966_45.min1.thm1
2017-02-06 12:46
1.6K
simplex2__971_33.min1.thm1
2017-02-06 12:46
1.0K
simplex2__973_23.min1.thm1
2017-02-06 12:46
809
simplex2__976_31.min1.thm1
2017-02-06 12:46
759
simplex2__981_34.min1.thm1
2017-02-06 12:46
1.0K
simplex2__985_29.min1.thm1
2017-02-06 12:46
1.0K
simplex2__990_36.min1.thm1
2017-02-06 12:46
2.0K
simplex2__1000_20.min1.thm1
2017-02-06 12:46
2.2K
simplex2__1004_14.min1.thm1
2017-02-06 12:46
392
simplex2__1004_14.min1.thm1.tptp
2017-02-06 16:47
318
simplex2__1017_18.min1.thm1
2017-02-06 12:46
2.0K
simplex2__1047_19.min1.thm1
2017-02-06 12:46
419
simplex2__1047_19.min1.thm1.tptp
2017-02-06 16:47
342
simplex2__1052_12.min1.thm1
2017-02-06 12:46
1.0K
simplex2__1056_15.min1.thm1
2017-02-06 12:46
614
simplex2__1062_19.min1.thm1
2017-02-06 12:46
1.0K
simplex2__1067_21.min1.thm1
2017-02-06 12:46
1.7K
simplex2__1086_15.min1.thm1
2017-02-06 12:46
1.0K
simplex2__1103_29.min1.thm1
2017-02-06 12:46
1.4K
simplex2__1105_20.min1.thm1
2017-02-06 12:46
1.1K
simplex2__1105_20.min1.thm1.tptp
2017-02-06 16:47
1.0K
simplex2__1109_27.min1.thm1
2017-02-06 12:46
1.3K
simplex2__1111_17.min1.thm1
2017-02-06 12:46
673
simplex2__1113_21.min1.thm1
2017-02-06 12:46
823
simplex2__1125_11.min1.thm1
2017-02-06 12:46
568
simplex2__1142_17.min1.thm1
2017-02-06 12:46
372
simplex2__1143_58.min1.thm1
2017-02-06 12:46
737
simplex2__1153_44.min1.thm1
2017-02-06 12:46
636
simplex2__1160_47.min1.thm1
2017-02-06 12:46
644
simplex2__1176_54.min1.thm1
2017-02-06 12:46
737
simplex2__1179_53.min1.thm1
2017-02-06 12:46
972
simplex2__1188_10.min1.thm1
2017-02-06 12:46
1.4K
simplex2__1190_29.min1.thm1
2017-02-06 12:46
1.5K
simplex2__1193_23.min1.thm1
2017-02-06 12:46
1.4K
simplex2__1195_17.min1.thm1
2017-02-06 12:46
883
simplex2__1206_11.min1.thm1
2017-02-06 12:46
191
simplex2__1219_18.min1.thm1
2017-02-06 12:46
1.9K
simplex2__1241_34.min1.thm1
2017-02-06 12:46
385
simplex2__1241_34.min1.thm1.tptp
2017-02-06 16:47
308
simplex2__1243_25.min1.thm1
2017-02-06 12:46
1.1K
simplex2__1245_31.min1.thm1
2017-02-06 12:46
865
simplex2__1246_27.min1.thm1
2017-02-06 12:46
726
simplex2__1247_21.min1.thm1
2017-02-06 12:46
693
simplex2__1250_60.min1.thm1
2017-02-06 12:46
2.2K
simplex2__1252_12.min1.thm1
2017-02-06 12:46
823
simplex2__1277_38.min1.thm1
2017-02-06 12:46
450
simplex2__1279_39.min1.thm1
2017-02-06 12:46
568
simplex2__1283_73.min1.thm1
2017-02-06 12:46
2.2K
simplex2__1286_38.min1.thm1
2017-02-06 12:46
909
simplex2__1287_38.min1.thm1
2017-02-06 12:46
1.7K
simplex2__1288_41.min1.thm1
2017-02-06 12:46
1.8K
simplex2__1289_23.min1.thm1
2017-02-06 12:46
1.6K
simplex2__1291_48.min1.thm1
2017-02-06 12:46
501
simplex2__1291_48.min1.thm1.tptp
2017-02-06 16:47
418
simplex2__1292_27.min1.thm1
2017-02-06 12:46
384
simplex2__1292_27.min1.thm1.tptp
2017-02-06 16:47
307
simplex2__1293_46.min1.thm1
2017-02-06 12:46
1.5K
simplex2__1295_12.min1.thm1
2017-02-06 12:46
193
simplex2__1297_22.min1.thm1
2017-02-06 12:46
1.2K
simplex2__1302_21.min1.thm1
2017-02-06 12:46
586
simplex2__1307_33.min1.thm1
2017-02-06 12:46
1.4K
simplex2__1308_17.min1.thm1
2017-02-06 12:46
1.4K
simplex2__1311_13.min1.thm1
2017-02-06 12:46
201
simplex2__1316_22.min1.thm1
2017-02-06 12:46
1.8K
simplex2__1317_27.min1.thm1
2017-02-06 12:46
1.3K
simplex2__1318_32.min1.thm1
2017-02-06 12:46
1.1K
simplex2__1319_66.min1.thm1
2017-02-06 12:46
2.0K
simplex2__1324_43.min1.thm1
2017-02-06 12:46
1.5K
simplex2__1330_15.min1.thm1
2017-02-06 12:46
810
simplex2__1331_25.min1.thm1
2017-02-06 12:46
1.0K
simplex2__1332_22.min1.thm1
2017-02-06 12:46
3.1K
simplex2__1337_38.min1.thm1
2017-02-06 12:46
2.6K
simplex2__1358_54.min1.thm1
2017-02-06 12:46
1.4K
simplex2__1367_16.min1.thm1
2017-02-06 12:46
2.2K
simplex2__1370_25.min1.thm1
2017-02-06 12:46
1.1K
simplex2__1399_22.min1.thm1
2017-02-06 12:46
1.2K
simplex2__1404_22.min1.thm1
2017-02-06 12:46
1.2K
simplex2__1405_23.min1.thm1
2017-02-06 12:46
1.6K
simplex2__1406_23.min1.thm1
2017-02-06 12:46
1.6K
simplex2__1412_44.min1.thm1
2017-02-06 12:46
501
simplex2__1412_44.min1.thm1.tptp
2017-02-06 16:47
418
simplex2__1414_12.min1.thm1
2017-02-06 12:46
333
simplex2__1417_13.min1.thm1
2017-02-06 12:46
329
simplex2__1420_33.min1.thm1
2017-02-06 12:46
2.2K
simplex2__1424_18.min1.thm1
2017-02-06 12:46
1.5K
simplex2__1427_25.min1.thm1
2017-02-06 12:46
2.5K
simplex2__1432_17.min1.thm1
2017-02-06 12:46
1.5K
simplex2__1438_17.min1.thm1
2017-02-06 12:46
2.5K
simplex2__1448_23.min1.thm1
2017-02-06 12:46
1.9K
simplex2__1451_14.min1.thm1
2017-02-06 12:46
1.0K
simplex2__1451_14.min1.thm1.tptp
2017-02-06 16:47
909
simplex2__1465_11.min1.thm1
2017-02-06 12:46
447
simplex2__1473_18.min1.thm1
2017-02-06 12:46
692
simplex2__1476_12.min1.thm1
2017-02-06 12:46
1.2K
simplex2__1477_16.min1.thm1
2017-02-06 12:46
1.5K
simplex2__1480_13.min1.thm1
2017-02-06 12:46
1.5K
simplex2__1481_20.min1.thm1
2017-02-06 12:46
2.9K
simplex2__1484_25.min1.thm1
2017-02-06 12:46
1.5K
simplex2__1487_36.min1.thm1
2017-02-06 12:46
1.8K
simplex2__1489_27.min1.thm1
2017-02-06 12:46
2.6K
simplex2__1492_15.min1.thm1
2017-02-06 12:46
1.2K
simplex2__1507_34.min1.thm1
2017-02-06 12:46
1.4K
simplex2__1508_62.min1.thm1
2017-02-06 12:46
2.4K
simplex2__1516_49.min1.thm1
2017-02-06 12:46
2.0K
simplex2__1518_28.min1.thm1
2017-02-06 12:46
1.6K
simplex2__1519_19.min1.thm1
2017-02-06 12:46
1.6K
simplex2__1530_28.min1.thm1
2017-02-06 12:46
4.2K
simplex2__1538_54.min1.thm1
2017-02-06 12:46
737
simplex2__1559_39.min1.thm1
2017-02-06 12:46
1.3K
simplex2__1560_47.min1.thm1
2017-02-06 12:46
1.1K
simplex2__1561_47.min1.thm1
2017-02-06 12:46
1.1K
simplex2__1562_39.min1.thm1
2017-02-06 12:46
1.3K
simplex2__1579_14.min1.thm1
2017-02-06 12:46
678
simplex2__1589_47.min1.thm1
2017-02-06 12:46
754
simplex2__1594_19.min1.thm1
2017-02-06 12:46
1.0K
simplex2__1597_37.min1.thm1
2017-02-06 12:46
2.0K
simplex2__1604_41.min1.thm1
2017-02-06 12:46
500
simplex2__1609_27.min1.thm1
2017-02-06 12:46
768
simplex2__1610_12.min1.thm1
2017-02-06 12:46
193
simplex2__1613_18.min1.thm1
2017-02-06 12:46
424
simplex2__1617_18.min1.thm1
2017-02-06 12:46
385
simplex2__1618_42.min1.thm1
2017-02-06 12:46
530
simplex2__1628_45.min1.thm1
2017-02-06 12:46
538
simplex2__1632_38.min1.thm1
2017-02-06 12:46
848
simplex2__1633_36.min1.thm1
2017-02-06 12:46
760
simplex2__1638_11.min1.thm1
2017-02-06 12:46
189
simplex2__1640_31.min1.thm1
2017-02-06 12:46
1.2K
simplex2__1641_23.min1.thm1
2017-02-06 12:46
872
simplex2__1647_18.min1.thm1
2017-02-06 12:46
891
simplex2__1660_43.min1.thm1
2017-02-06 12:46
685
simplex2__1664_47.min1.thm1
2017-02-06 12:46
1.7K
simplex2__1665_17.min1.thm1
2017-02-06 12:46
2.4K
simplex2__1666_19.min1.thm1
2017-02-06 12:46
1.8K
simplex2__1669_21.min1.thm1
2017-02-06 12:46
1.9K
simplex2__1674_40.min1.thm1
2017-02-06 12:46
494
simplex2__1676_18.min1.thm1
2017-02-06 12:46
1.8K
simplex2__1677_19.min1.thm1
2017-02-06 12:46
1.7K
simplex2__1678_28.min1.thm1
2017-02-06 12:46
1.3K
simplex2__1679_13.min1.thm1
2017-02-06 12:46
609
simplex2__1682_30.min1.thm1
2017-02-06 12:46
2.2K
simplex2__1683_23.min1.thm1
2017-02-06 12:46
2.0K
simplex2__1684_14.min1.thm1
2017-02-06 12:46
583
simplex2__1684_14.min1.thm1.tptp
2017-02-06 16:47
506
simplex2__1687_24.min1.thm1
2017-02-06 12:46
671
simplex2__1688_27.min1.thm1
2017-02-06 12:46
1.2K
simplex2__1689_21.min1.thm1
2017-02-06 12:46
1.6K
simplex2__1704_12.min1.thm1
2017-02-06 12:46
195
simplex2__1706_19.min1.thm1
2017-02-06 12:46
1.2K
simplex2__1719_19.min1.thm1
2017-02-06 12:46
384
simplex2__1725_15.min1.thm1
2017-02-06 12:46
2.2K
simplex2__1732_42.min1.thm1
2017-02-06 12:46
916
simplex2__1733_37.min1.thm1
2017-02-06 12:46
917
simplex2__1734_43.min1.thm1
2017-02-06 12:46
1.4K
simplex2__1735_43.min1.thm1
2017-02-06 12:46
767
simplex2__1737_59.min1.thm1
2017-02-06 12:46
1.4K
simplex2__1742_71.min1.thm1
2017-02-06 12:46
2.2K
simplex2__1744_35.min1.thm1
2017-02-06 12:46
770
simplex2__1744_35.min1.thm1.tptp
2017-02-06 16:47
699
simplex2__1755_27.min1.thm1
2017-02-06 12:46
3.4K
simplex2__1767_14.min1.thm1
2017-02-06 12:46
626
simplex2__1767_14.min1.thm1.tptp
2017-02-06 16:47
575
simplex2__1773_13.min1.thm1
2017-02-06 12:46
625
simplex2__1773_13.min1.thm1.tptp
2017-02-06 16:47
574
simplex2__1782_13.min1.thm1
2017-02-06 12:46
376
simplex2__1784_14.min1.thm1
2017-02-06 12:46
1.6K
simplex2__1815_45.min1.thm1
2017-02-06 12:46
737
simplex2__1822_44.min1.thm1
2017-02-06 12:46
1.8K
simplex2__1826_17.min1.thm1
2017-02-06 12:46
2.9K
simplex2__1870_24.min1.thm1
2017-02-06 12:46
2.8K
simplex2__1872_18.min1.thm1
2017-02-06 12:46
907
simplex2__1877_25.min1.thm1
2017-02-06 12:46
1.2K
simplex2__1885_19.min1.thm1
2017-02-06 12:46
1.6K
simplex2__1887_17.min1.thm1
2017-02-06 12:46
309
simplex2__1887_17.min1.thm1.tptp
2017-02-06 16:47
232
simplex2__1910_44.min1.thm1
2017-02-06 12:46
548
simplex2__1915_32.min1.thm1
2017-02-06 12:46
786
simplex2__1938_45.min1.thm1
2017-02-06 12:46
1.4K
simplex2__1940_47.min1.thm1
2017-02-06 12:46
1.5K
simplex2__1940_47.min1.thm1.tptp
2017-02-06 16:47
1.5K
simplex2__1951_16.min1.thm1
2017-02-06 12:46
769
simplex2__1960_18.min1.thm1
2017-02-06 12:46
1.0K
simplex2__1962_62.min1.thm1
2017-02-06 12:46
767
simplex2__1963_16.min1.thm1
2017-02-06 12:46
1.0K
simplex2__1964_31.min1.thm1
2017-02-06 12:46
2.1K
simplex2__1966_32.min1.thm1
2017-02-06 12:46
344
simplex2__1967_48.min1.thm1
2017-02-06 12:46
606
simplex2__1987_19.min1.thm1
2017-02-06 12:46
1.5K
simplex2__2013_17.min1.thm1
2017-02-06 12:46
684
simplex2__2016_23.min1.thm1
2017-02-06 12:46
1.4K
simplex2__2028_12.min1.thm1
2017-02-06 12:46
197
simplex2__2031_19.min1.thm1
2017-02-06 12:46
886
simplex2__2061_24.min1.thm1
2017-02-06 12:46
584
simplex2__2075_16.min1.thm1
2017-02-06 12:46
1.2K
simplex2__2081_20.min1.thm1
2017-02-06 12:46
325
simplex2__2081_20.min1.thm1.tptp
2017-02-06 16:47
248
simplex2__2082_27.min1.thm1
2017-02-06 12:46
1.3K
simplex2__2097_26.min1.thm1
2017-02-06 12:46
667
simplex2__2097_26.min1.thm1.tptp
2017-02-06 16:47
590
simplex2__2099_37.min1.thm1
2017-02-06 12:46
544
simplex2__2115_34.min1.thm1
2017-02-06 12:46
2.1K
simplex2__2129_12.min1.thm1
2017-02-06 12:46
225
simplex2__2139_31.min1.thm1
2017-02-06 12:46
1.0K
simplex2__2141_27.min1.thm1
2017-02-06 12:46
1.1K
simplex2__2162_17.min1.thm1
2017-02-06 12:46
1.2K
simplex2__2176_46.min1.thm1
2017-02-06 12:46
1.4K
simplex2__2177_19.min1.thm1
2017-02-06 12:46
1.6K
simplex2__2178_35.min1.thm1
2017-02-06 12:46
1.8K
simplex2__2184_21.min1.thm1
2017-02-06 12:46
1.8K
simplex2__2187_18.min1.thm1
2017-02-06 12:46
1.0K
simplex2__2194_17.min1.thm1
2017-02-06 12:46
784
simplex2__2195_15.min1.thm1
2017-02-06 12:46
1.7K
simplex2__2197_19.min1.thm1
2017-02-06 12:46
1.8K
simplex2__2199_57.min1.thm1
2017-02-06 12:46
1.0K
simplex2__2214_16.min1.thm1
2017-02-06 12:46
1.3K
simplex2__2215_22.min1.thm1
2017-02-06 12:46
1.6K
simplex2__2226_13.min1.thm1
2017-02-06 12:46
701
simplex2__2229_33.min1.thm1
2017-02-06 12:46
879
simplex2__2270_17.min1.thm1
2017-02-06 12:46
817
simplex2__2284_15.min1.thm1
2017-02-06 12:46
187
simplex2__2285_16.min1.thm1
2017-02-06 12:46
562
simplex2__2291_26.min1.thm1
2017-02-06 12:46
1.3K
simplex2__2298_18.min1.thm1
2017-02-06 12:46
791
simplex2__2299_26.min1.thm1
2017-02-06 12:46
1.0K
simplex2__2300_19.min1.thm1
2017-02-06 12:46
1.9K
simplex2__2302_40.min1.thm1
2017-02-06 12:46
2.8K
simplex2__2305_51.min1.thm1
2017-02-06 12:46
789
simplex2__2312_24.min1.thm1
2017-02-06 12:46
875
simplex2__2318_18.min1.thm1
2017-02-06 12:46
509
simplex2__2322_26.min1.thm1
2017-02-06 12:46
1.0K
simplex2__2325_16.min1.thm1
2017-02-06 12:46
1.0K
simplex2__2328_30.min1.thm1
2017-02-06 12:46
1.2K
simplex2__2330_26.min1.thm1
2017-02-06 12:46
1.0K
simplex2__2331_20.min1.thm1
2017-02-06 12:46
1.5K
simplex2__2337_32.min1.thm1
2017-02-06 12:46
944
simplex2__2340_43.min1.thm1
2017-02-06 12:46
1.4K
simplex2__2353_13.min1.thm1
2017-02-06 12:46
1.7K
simplex2__2355_18.min1.thm1
2017-02-06 12:46
463
simplex2__2361_77.min1.thm1
2017-02-06 12:46
1.2K
simplex2__2366_20.min1.thm1
2017-02-06 12:46
1.7K
simplex2__2371_14.min1.thm1
2017-02-06 12:46
552
simplex2__2374_30.min1.thm1
2017-02-06 12:46
1.7K
simplex2__2380_23.min1.thm1
2017-02-06 12:46
1.3K
simplex2__2381_31.min1.thm1
2017-02-06 12:46
2.7K
simplex2__2382_16.min1.thm1
2017-02-06 12:46
1.3K
simplex2__2384_26.min1.thm1
2017-02-06 12:46
776
simplex2__2385_38.min1.thm1
2017-02-06 12:46
710
simplex2__2396_26.min1.thm1
2017-02-06 12:46
1.0K
simplex2__2398_16.min1.thm1
2017-02-06 12:46
1.2K
simplex2__2404_21.min1.thm1
2017-02-06 12:46
551
simplex2__2404_21.min1.thm1.tptp
2017-02-06 16:47
474
simplex2__2406_20.min1.thm1
2017-02-06 12:46
1.3K
simplex2__2410_48.min1.thm1
2017-02-06 12:46
1.1K
simplex2__2416_28.min1.thm1
2017-02-06 12:46
1.3K
simplex2__2424_18.min1.thm1
2017-02-06 12:46
639
simplex2__2429_28.min1.thm1
2017-02-06 12:46
1.4K
simplex2__2434_20.min1.thm1
2017-02-06 12:46
1.8K
simplex2__2452_17.min1.thm1
2017-02-06 12:46
838
simplex2__2454_45.min1.thm1
2017-02-06 12:46
759
simplex2__2455_28.min1.thm1
2017-02-06 12:46
641
simplex2__2455_28.min1.thm1.tptp
2017-02-06 16:47
563
simplex2__2456_16.min1.thm1
2017-02-06 12:46
1.8K
simplex2__2468_18.min1.thm1
2017-02-06 12:46
566
simplex2__2472_19.min1.thm1
2017-02-06 12:46
1.0K
simplex2__2480_20.min1.thm1
2017-02-06 12:46
1.6K
simplex2__2485_16.min1.thm1
2017-02-06 12:46
1.2K
simplex2__2490_12.min1.thm1
2017-02-06 12:46
621
simplex2__2490_12.min1.thm1.tptp
2017-02-06 16:47
544
simplex2__2491_21.min1.thm1
2017-02-06 12:46
1.7K
simplex2__2495_48.min1.thm1
2017-02-06 12:46
1.1K
simplex2__2502_29.min1.thm1
2017-02-06 12:46
1.3K
simplex2__2503_22.min1.thm1
2017-02-06 12:46
1.5K
simplex2__2512_16.min1.thm1
2017-02-06 12:46
1.4K
simplex2__2520_43.min1.thm1
2017-02-06 12:46
2.8K
simplex2__2533_21.min1.thm1
2017-02-06 12:46
824
simplex2__2540_30.min1.thm1
2017-02-06 12:46
1.6K
simplex2__2541_30.min1.thm1
2017-02-06 12:46
1.4K
simplex2__2542_16.min1.thm1
2017-02-06 12:46
555
simplex2__2564_27.min1.thm1
2017-02-06 12:46
2.2K
simplex2__2565_42.min1.thm1
2017-02-06 12:46
1.0K
simplex2__2566_16.min1.thm1
2017-02-06 12:46
1.5K
simplex2__2571_38.min1.thm1
2017-02-06 12:46
2.1K
simplex2__2578_33.min1.thm1
2017-02-06 12:46
2.3K
simplex2__2589_17.min1.thm1
2017-02-06 12:46
605
simplex2__2600_29.min1.thm1
2017-02-06 12:46
683
simplex2__2600_29.min1.thm1.tptp
2017-02-06 16:47
606
simplex2__2609_34.min1.thm1
2017-02-06 12:46
2.3K
simplex2__2613_16.min1.thm1
2017-02-06 12:46
1.2K
simplex2__2620_14.min1.thm1
2017-02-06 12:46
547
simplex2__2620_14.min1.thm1.tptp
2017-02-06 16:47
470
simplex2__2629_22.min1.thm1
2017-02-06 12:46
1.5K
simplex2__2633_30.min1.thm1
2017-02-06 12:46
685
simplex2__2651_21.min1.thm1
2017-02-06 12:46
1.3K
simplex2__2664_21.min1.thm1
2017-02-06 12:46
1.1K
simplex2__2670_19.min1.thm1
2017-02-06 12:46
1.4K
simplex2__2672_28.min1.thm1
2017-02-06 12:46
1.3K
simplex2__2673_24.min1.thm1
2017-02-06 12:46
1.1K
simplex2__2679_17.min1.thm1
2017-02-06 12:46
1.5K
simplex2__2687_23.min1.thm1
2017-02-06 12:46
749
simplex2__2695_26.min1.thm1
2017-02-06 12:46
841
simplex2__2699_33.min1.thm1
2017-02-06 12:46
1.2K
simplex2__2702_32.min1.thm1
2017-02-06 12:46
1.8K
simplex2__2717_18.min1.thm1
2017-02-06 12:46
1.5K
simplex2__2718_36.min1.thm1
2017-02-06 12:46
1.8K
simplex2__2723_30.min1.thm1
2017-02-06 12:46
1.8K
simplex2__2725_17.min1.thm1
2017-02-06 12:46
2.1K
simplex2__2734_20.min1.thm1
2017-02-06 12:46
727
simplex2__2735_40.min1.thm1
2017-02-06 12:46
1.5K
simplex2__2739_18.min1.thm1
2017-02-06 12:46
1.5K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80