Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/simplex1
Name
Last modified
Size
Description
Parent Directory
-
simplex1__4565_14.min1.thm1
2017-02-06 12:46
1.1K
simplex1__4563_75.min1.thm1
2017-02-06 12:46
2.8K
simplex1__4562_14.min1.thm1.tptp
2017-02-06 16:47
356
simplex1__4562_14.min1.thm1
2017-02-06 12:46
433
simplex1__4542_16.min1.thm1
2017-02-06 12:46
1.2K
simplex1__4539_19.min1.thm1
2017-02-06 12:46
1.9K
simplex1__4538_42.min1.thm1
2017-02-06 12:46
1.8K
simplex1__4537_17.min1.thm1
2017-02-06 12:46
442
simplex1__4535_19.min1.thm1
2017-02-06 12:46
892
simplex1__4534_22.min1.thm1
2017-02-06 12:46
940
simplex1__4532_14.min1.thm1
2017-02-06 12:46
2.8K
simplex1__4523_22.min1.thm1
2017-02-06 12:46
879
simplex1__4522_18.min1.thm1
2017-02-06 12:46
1.4K
simplex1__4521_19.min1.thm1
2017-02-06 12:46
1.0K
simplex1__4513_16.min1.thm1
2017-02-06 12:46
751
simplex1__4497_33.min1.thm1
2017-02-06 12:46
1.5K
simplex1__4496_38.min1.thm1
2017-02-06 12:46
1.7K
simplex1__4493_29.min1.thm1
2017-02-06 12:46
1.5K
simplex1__4490_23.min1.thm1
2017-02-06 12:46
1.8K
simplex1__4486_24.min1.thm1
2017-02-06 12:46
1.9K
simplex1__4470_19.min1.thm1
2017-02-06 12:46
894
simplex1__4467_21.min1.thm1
2017-02-06 12:46
857
simplex1__4466_25.min1.thm1
2017-02-06 12:46
1.0K
simplex1__4456_20.min1.thm1
2017-02-06 12:46
947
simplex1__4451_27.min1.thm1
2017-02-06 12:46
867
simplex1__4450_30.min1.thm1
2017-02-06 12:46
1.4K
simplex1__4444_25.min1.thm1
2017-02-06 12:46
1.0K
simplex1__4431_25.min1.thm1
2017-02-06 12:46
715
simplex1__4427_27.min1.thm1
2017-02-06 12:46
1.9K
simplex1__4417_43.min1.thm1
2017-02-06 12:46
1.5K
simplex1__4409_27.min1.thm1
2017-02-06 12:46
1.4K
simplex1__4405_23.min1.thm1
2017-02-06 12:46
1.8K
simplex1__4404_28.min1.thm1
2017-02-06 12:46
804
simplex1__4401_25.min1.thm1
2017-02-06 12:46
1.3K
simplex1__4390_18.min1.thm1
2017-02-06 12:46
1.0K
simplex1__4389_44.min1.thm1
2017-02-06 12:46
872
simplex1__4388_19.min1.thm1.tptp
2017-02-06 16:47
303
simplex1__4388_19.min1.thm1
2017-02-06 12:46
377
simplex1__4371_17.min1.thm1
2017-02-06 12:46
939
simplex1__4370_20.min1.thm1
2017-02-06 12:46
1.5K
simplex1__4367_20.min1.thm1.tptp
2017-02-06 16:47
501
simplex1__4367_20.min1.thm1
2017-02-06 12:46
580
simplex1__4366_26.min1.thm1
2017-02-06 12:46
820
simplex1__4365_25.min1.thm1
2017-02-06 12:46
1.0K
simplex1__4364_26.min1.thm1
2017-02-06 12:46
1.0K
simplex1__4363_31.min1.thm1
2017-02-06 12:46
1.2K
simplex1__4361_21.min1.thm1.tptp
2017-02-06 16:47
334
simplex1__4361_21.min1.thm1
2017-02-06 12:46
399
simplex1__4360_17.min1.thm1
2017-02-06 12:46
682
simplex1__4359_14.min1.thm1
2017-02-06 12:46
3.6K
simplex1__4358_25.min1.thm1
2017-02-06 12:46
3.6K
simplex1__4356_19.min1.thm1
2017-02-06 12:46
1.5K
simplex1__4355_30.min1.thm1
2017-02-06 12:46
2.3K
simplex1__4354_25.min1.thm1
2017-02-06 12:46
1.0K
simplex1__4353_12.min1.thm1
2017-02-06 12:46
490
simplex1__4352_30.min1.thm1
2017-02-06 12:46
2.3K
simplex1__4351_20.min1.thm1
2017-02-06 12:46
1.0K
simplex1__4349_23.min1.thm1
2017-02-06 12:46
2.6K
simplex1__4344_22.min1.thm1
2017-02-06 12:46
892
simplex1__4343_26.min1.thm1
2017-02-06 12:46
931
simplex1__4330_16.min1.thm1
2017-02-06 12:46
882
simplex1__4326_15.min1.thm1
2017-02-06 12:46
846
simplex1__4324_26.min1.thm1
2017-02-06 12:46
1.1K
simplex1__4318_23.min1.thm1
2017-02-06 12:46
590
simplex1__4316_20.min1.thm1
2017-02-06 12:46
782
simplex1__4313_61.min1.thm1
2017-02-06 12:46
2.6K
simplex1__4305_28.min1.thm1
2017-02-06 12:46
2.4K
simplex1__4303_13.min1.thm1
2017-02-06 12:46
2.7K
simplex1__4302_21.min1.thm1
2017-02-06 12:46
1.4K
simplex1__4301_20.min1.thm1
2017-02-06 12:46
3.1K
simplex1__4298_18.min1.thm1
2017-02-06 12:46
1.5K
simplex1__4296_35.min1.thm1
2017-02-06 12:46
2.1K
simplex1__4291_22.min1.thm1
2017-02-06 12:46
2.3K
simplex1__4282_21.min1.thm1
2017-02-06 12:46
1.5K
simplex1__4280_20.min1.thm1
2017-02-06 12:46
525
simplex1__4279_28.min1.thm1
2017-02-06 12:46
2.2K
simplex1__4277_34.min1.thm1
2017-02-06 12:46
1.3K
simplex1__4276_29.min1.thm1
2017-02-06 12:46
2.2K
simplex1__4272_21.min1.thm1
2017-02-06 12:46
1.1K
simplex1__4267_21.min1.thm1
2017-02-06 12:46
1.1K
simplex1__4263_22.min1.thm1
2017-02-06 12:46
2.3K
simplex1__4255_22.min1.thm1
2017-02-06 12:46
1.1K
simplex1__4252_15.min1.thm1
2017-02-06 12:46
248
simplex1__4243_22.min1.thm1
2017-02-06 12:46
2.3K
simplex1__4235_22.min1.thm1
2017-02-06 12:46
1.1K
simplex1__4232_15.min1.thm1
2017-02-06 12:46
248
simplex1__4226_26.min1.thm1.tptp
2017-02-06 16:47
400
simplex1__4226_26.min1.thm1
2017-02-06 12:46
465
simplex1__4225_26.min1.thm1
2017-02-06 12:46
1.5K
simplex1__4224_26.min1.thm1.tptp
2017-02-06 16:47
400
simplex1__4224_26.min1.thm1
2017-02-06 12:46
465
simplex1__4223_26.min1.thm1
2017-02-06 12:46
1.4K
simplex1__4218_22.min1.thm1
2017-02-06 12:46
2.0K
simplex1__4216_15.min1.thm1
2017-02-06 12:46
1.2K
simplex1__4212_22.min1.thm1
2017-02-06 12:46
2.0K
simplex1__4210_15.min1.thm1
2017-02-06 12:46
1.3K
simplex1__4207_18.min1.thm1
2017-02-06 12:46
773
simplex1__4203_31.min1.thm1
2017-02-06 12:46
1.7K
simplex1__4202_17.min1.thm1
2017-02-06 12:46
300
simplex1__4200_22.min1.thm1
2017-02-06 12:46
1.0K
simplex1__4199_18.min1.thm1
2017-02-06 12:46
778
simplex1__4198_24.min1.thm1
2017-02-06 12:46
1.9K
simplex1__4197_35.min1.thm1
2017-02-06 12:46
1.7K
simplex1__4196_30.min1.thm1
2017-02-06 12:46
384
simplex1__4193_32.min1.thm1
2017-02-06 12:46
820
simplex1__4192_22.min1.thm1.tptp
2017-02-06 16:47
418
simplex1__4192_22.min1.thm1
2017-02-06 12:46
486
simplex1__4191_30.min1.thm1
2017-02-06 12:46
1.6K
simplex1__4185_31.min1.thm1
2017-02-06 12:46
2.8K
simplex1__4179_21.min1.thm1.tptp
2017-02-06 16:47
334
simplex1__4179_21.min1.thm1
2017-02-06 12:46
412
simplex1__4174_28.min1.thm1
2017-02-06 12:46
2.4K
simplex1__4173_19.min1.thm1
2017-02-06 12:46
1.1K
simplex1__4172_12.min1.thm1.tptp
2017-02-06 16:47
332
simplex1__4172_12.min1.thm1
2017-02-06 12:46
397
simplex1__4168_17.min1.thm1
2017-02-06 12:46
892
simplex1__4160_21.min1.thm1
2017-02-06 12:46
1.9K
simplex1__4158_21.min1.thm1
2017-02-06 12:46
1.8K
simplex1__4154_27.min1.thm1.tptp
2017-02-06 16:47
377
simplex1__4154_27.min1.thm1
2017-02-06 12:46
427
simplex1__4151_27.min1.thm1
2017-02-06 12:46
340
simplex1__4142_18.min1.thm1
2017-02-06 12:46
2.5K
simplex1__4138_22.min1.thm1.tptp
2017-02-06 16:47
324
simplex1__4138_22.min1.thm1
2017-02-06 12:46
389
simplex1__4137_29.min1.thm1
2017-02-06 12:46
1.3K
simplex1__4136_23.min1.thm1
2017-02-06 12:46
2.3K
simplex1__4127_19.min1.thm1
2017-02-06 12:46
1.1K
simplex1__4122_27.min1.thm1
2017-02-06 12:46
1.4K
simplex1__4106_16.min1.thm1
2017-02-06 12:46
857
simplex1__4089_31.min1.thm1
2017-02-06 12:46
2.7K
simplex1__4063_32.min1.thm1
2017-02-06 12:46
918
simplex1__4056_44.min1.thm1
2017-02-06 12:46
2.4K
simplex1__4052_22.min1.thm1
2017-02-06 12:46
2.1K
simplex1__4048_28.min1.thm1
2017-02-06 12:46
1.8K
simplex1__4045_36.min1.thm1
2017-02-06 12:46
1.6K
simplex1__4033_21.min1.thm1
2017-02-06 12:46
863
simplex1__4032_30.min1.thm1
2017-02-06 12:46
1.2K
simplex1__4023_21.min1.thm1
2017-02-06 12:46
489
simplex1__4022_33.min1.thm1
2017-02-06 12:46
1.6K
simplex1__4019_15.min1.thm1
2017-02-06 12:46
707
simplex1__4018_30.min1.thm1
2017-02-06 12:46
928
simplex1__4017_28.min1.thm1
2017-02-06 12:46
686
simplex1__4016_33.min1.thm1
2017-02-06 12:46
686
simplex1__4015_41.min1.thm1
2017-02-06 12:46
1.2K
simplex1__4014_33.min1.thm1
2017-02-06 12:46
1.0K
simplex1__4009_27.min1.thm1
2017-02-06 12:46
1.4K
simplex1__4007_22.min1.thm1
2017-02-06 12:46
1.9K
simplex1__4006_30.min1.thm1
2017-02-06 12:46
1.3K
simplex1__4005_24.min1.thm1
2017-02-06 12:46
820
simplex1__4001_31.min1.thm1
2017-02-06 12:46
705
simplex1__4000_32.min1.thm1
2017-02-06 12:46
686
simplex1__3995_26.min1.thm1
2017-02-06 12:46
857
simplex1__3992_21.min1.thm1
2017-02-06 12:46
431
simplex1__3989_29.min1.thm1.tptp
2017-02-06 16:47
270
simplex1__3989_29.min1.thm1
2017-02-06 12:46
347
simplex1__3984_14.min1.thm1
2017-02-06 12:46
213
simplex1__3978_28.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3977_30.min1.thm1
2017-02-06 12:46
681
simplex1__3976_31.min1.thm1
2017-02-06 12:46
670
simplex1__3964_18.min1.thm1
2017-02-06 12:46
2.1K
simplex1__3957_28.min1.thm1
2017-02-06 12:46
1.3K
simplex1__3954_36.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3942_22.min1.thm1
2017-02-06 12:46
1.1K
simplex1__3941_22.min1.thm1
2017-02-06 12:46
2.1K
simplex1__3940_13.min1.thm1
2017-02-06 12:46
782
simplex1__3938_16.min1.thm1
2017-02-06 12:46
878
simplex1__3936_19.min1.thm1
2017-02-06 12:46
569
simplex1__3932_15.min1.thm1
2017-02-06 12:46
841
simplex1__3931_25.min1.thm1
2017-02-06 12:46
1.1K
simplex1__3906_43.min1.thm1
2017-02-06 12:46
612
simplex1__3905_37.min1.thm1.tptp
2017-02-06 16:47
219
simplex1__3905_37.min1.thm1
2017-02-06 12:46
300
simplex1__3904_40.min1.thm1
2017-02-06 12:46
863
simplex1__3896_18.min1.thm1
2017-02-06 12:46
1.1K
simplex1__3894_11.min1.thm1
2017-02-06 12:46
3.1K
simplex1__3893_19.min1.thm1
2017-02-06 12:46
2.4K
simplex1__3891_20.min1.thm1
2017-02-06 12:46
895
simplex1__3889_12.min1.thm1
2017-02-06 12:46
887
simplex1__3887_36.min1.thm1
2017-02-06 12:46
2.3K
simplex1__3879_22.min1.thm1
2017-02-06 12:46
1.1K
simplex1__3878_20.min1.thm1
2017-02-06 12:46
1.7K
simplex1__3877_20.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3876_22.min1.thm1
2017-02-06 12:46
1.1K
simplex1__3875_20.min1.thm1
2017-02-06 12:46
1.3K
simplex1__3872_18.min1.thm1
2017-02-06 12:46
445
simplex1__3870_34.min1.thm1
2017-02-06 12:46
1.7K
simplex1__3868_14.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3866_17.min1.thm1
2017-02-06 12:46
590
simplex1__3864_12.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3863_35.min1.thm1
2017-02-06 12:46
1.4K
simplex1__3862_10.min1.thm1
2017-02-06 12:46
648
simplex1__3861_40.min1.thm1
2017-02-06 12:46
1.9K
simplex1__3854_18.min1.thm1
2017-02-06 12:46
1.4K
simplex1__3848_19.min1.thm1
2017-02-06 12:46
679
simplex1__3841_62.min1.thm1
2017-02-06 12:46
2.8K
simplex1__3829_11.min1.thm1
2017-02-06 12:46
584
simplex1__3828_41.min1.thm1
2017-02-06 12:46
1.9K
simplex1__3822_34.min1.thm1
2017-02-06 12:46
578
simplex1__3821_17.min1.thm1.tptp
2017-02-06 16:47
236
simplex1__3821_17.min1.thm1
2017-02-06 12:46
313
simplex1__3806_35.min1.thm1
2017-02-06 12:46
345
simplex1__3805_35.min1.thm1
2017-02-06 12:46
448
simplex1__3779_18.min1.thm1
2017-02-06 12:46
681
simplex1__3777_14.min1.thm1
2017-02-06 12:46
2.1K
simplex1__3774_23.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3769_19.min1.thm1
2017-02-06 12:46
855
simplex1__3768_17.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3767_13.min1.thm1
2017-02-06 12:46
1.1K
simplex1__3760_37.min1.thm1.tptp
2017-02-06 16:47
211
simplex1__3760_37.min1.thm1
2017-02-06 12:46
292
simplex1__3752_21.min1.thm1
2017-02-06 12:46
437
simplex1__3750_39.min1.thm1
2017-02-06 12:46
853
simplex1__3741_24.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3739_25.min1.thm1
2017-02-06 12:46
2.3K
simplex1__3738_43.min1.thm1
2017-02-06 12:46
596
simplex1__3724_19.min1.thm1
2017-02-06 12:46
1.3K
simplex1__3723_18.min1.thm1
2017-02-06 12:46
946
simplex1__3718_18.min1.thm1
2017-02-06 12:46
2.6K
simplex1__3717_26.min1.thm1
2017-02-06 12:46
2.0K
simplex1__3715_32.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3714_28.min1.thm1
2017-02-06 12:46
1.8K
simplex1__3690_15.min1.thm1.tptp
2017-02-06 16:47
521
simplex1__3690_15.min1.thm1
2017-02-06 12:46
577
simplex1__3685_15.min1.thm1
2017-02-06 12:46
663
simplex1__3684_24.min1.thm1.tptp
2017-02-06 16:47
479
simplex1__3684_24.min1.thm1
2017-02-06 12:46
534
simplex1__3672_27.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3670_30.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3667_29.min1.thm1
2017-02-06 12:46
1.6K
simplex1__3653_31.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3651_32.min1.thm1.tptp
2017-02-06 16:47
418
simplex1__3651_32.min1.thm1
2017-02-06 12:46
484
simplex1__3640_28.min1.thm1
2017-02-06 12:46
1.6K
simplex1__3639_42.min1.thm1
2017-02-06 12:46
1.4K
simplex1__3633_13.min1.thm1
2017-02-06 12:46
782
simplex1__3620_42.min1.thm1
2017-02-06 12:46
877
simplex1__3619_24.min1.thm1
2017-02-06 12:46
301
simplex1__3618_30.min1.thm1
2017-02-06 12:46
756
simplex1__3613_22.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3611_25.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3608_48.min1.thm1
2017-02-06 12:46
822
simplex1__3607_20.min1.thm1.tptp
2017-02-06 16:47
303
simplex1__3607_20.min1.thm1
2017-02-06 12:46
377
simplex1__3597_24.min1.thm1
2017-02-06 12:46
3.3K
simplex1__3591_21.min1.thm1
2017-02-06 12:46
722
simplex1__3590_26.min1.thm1
2017-02-06 12:46
1.4K
simplex1__3586_6.min1.thm1
2017-02-06 12:46
1.1K
simplex1__3582_23.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3581_25.min1.thm1
2017-02-06 12:46
3.0K
simplex1__3579_20.min1.thm1
2017-02-06 12:46
2.5K
simplex1__3573_26.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3572_28.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3571_24.min1.thm1
2017-02-06 12:46
493
simplex1__3568_30.min1.thm1
2017-02-06 12:46
1.9K
simplex1__3560_26.min1.thm1
2017-02-06 12:46
1.4K
simplex1__3559_28.min1.thm1
2017-02-06 12:46
2.2K
simplex1__3556_20.min1.thm1
2017-02-06 12:46
1.3K
simplex1__3545_28.min1.thm1
2017-02-06 12:46
1.1K
simplex1__3537_15.min1.thm1.tptp
2017-02-06 16:47
440
simplex1__3537_15.min1.thm1
2017-02-06 12:46
505
simplex1__3536_21.min1.thm1.tptp
2017-02-06 16:47
393
simplex1__3536_21.min1.thm1
2017-02-06 12:46
460
simplex1__3528_26.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3526_29.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3523_28.min1.thm1
2017-02-06 12:46
1.6K
simplex1__3508_22.min1.thm1
2017-02-06 12:46
1.6K
simplex1__3507_37.min1.thm1
2017-02-06 12:46
931
simplex1__3500_31.min1.thm1.tptp
2017-02-06 16:47
410
simplex1__3500_31.min1.thm1
2017-02-06 12:46
476
simplex1__3489_26.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3488_40.min1.thm1
2017-02-06 12:46
1.3K
simplex1__3469_41.min1.thm1
2017-02-06 12:46
861
simplex1__3468_22.min1.thm1
2017-02-06 12:46
295
simplex1__3467_28.min1.thm1
2017-02-06 12:46
752
simplex1__3461_23.min1.thm1
2017-02-06 12:46
3.3K
simplex1__3460_21.min1.thm1
2017-02-06 12:46
1.1K
simplex1__3456_21.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3452_18.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3451_47.min1.thm1
2017-02-06 12:46
807
simplex1__3450_18.min1.thm1.tptp
2017-02-06 16:47
294
simplex1__3450_18.min1.thm1
2017-02-06 12:46
368
simplex1__3443_22.min1.thm1
2017-02-06 12:46
1.6K
simplex1__3442_38.min1.thm1
2017-02-06 12:46
1.9K
simplex1__3441_39.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3436_7.min1.thm1
2017-02-06 12:46
1.1K
simplex1__3432_24.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3431_26.min1.thm1
2017-02-06 12:46
3.0K
simplex1__3424_40.min1.thm1
2017-02-06 12:46
1.6K
simplex1__3423_26.min1.thm1
2017-02-06 12:46
2.5K
simplex1__3422_27.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3421_29.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3420_24.min1.thm1
2017-02-06 12:46
511
simplex1__3417_31.min1.thm1
2017-02-06 12:46
1.9K
simplex1__3409_27.min1.thm1
2017-02-06 12:46
1.4K
simplex1__3408_28.min1.thm1
2017-02-06 12:46
2.2K
simplex1__3405_20.min1.thm1
2017-02-06 12:46
1.3K
simplex1__3394_45.min1.thm1
2017-02-06 12:46
1.4K
simplex1__3387_18.min1.thm1
2017-02-06 12:46
474
simplex1__3386_20.min1.thm1
2017-02-06 12:46
2.4K
simplex1__3383_24.min1.thm1
2017-02-06 12:46
1.8K
simplex1__3380_34.min1.thm1
2017-02-06 12:46
1.9K
simplex1__3378_66.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3376_19.min1.thm1
2017-02-06 12:46
1.4K
simplex1__3372_34.min1.thm1
2017-02-06 12:46
1.9K
simplex1__3370_66.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3365_7.min1.thm1
2017-02-06 12:46
1.1K
simplex1__3361_29.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3360_31.min1.thm1
2017-02-06 12:46
3.0K
simplex1__3356_16.min1.thm1.tptp
2017-02-06 16:47
499
simplex1__3356_16.min1.thm1
2017-02-06 12:46
555
simplex1__3350_16.min1.thm1
2017-02-06 12:46
641
simplex1__3349_24.min1.thm1.tptp
2017-02-06 16:47
451
simplex1__3349_24.min1.thm1
2017-02-06 12:46
506
simplex1__3345_31.min1.thm1
2017-02-06 12:46
877
simplex1__3340_15.min1.thm1
2017-02-06 12:46
2.6K
simplex1__3338_33.min1.thm1
2017-02-06 12:46
1.1K
simplex1__3337_26.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3336_27.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3335_24.min1.thm1
2017-02-06 12:46
1.8K
simplex1__3333_23.min1.thm1
2017-02-06 12:46
1.7K
simplex1__3332_49.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3331_32.min1.thm1
2017-02-06 12:46
795
simplex1__3321_46.min1.thm1.tptp
2017-02-06 16:47
244
simplex1__3321_46.min1.thm1
2017-02-06 12:46
327
simplex1__3315_17.min1.thm1
2017-02-06 12:46
714
simplex1__3310_18.min1.thm1
2017-02-06 12:46
1.7K
simplex1__3309_43.min1.thm1
2017-02-06 12:46
1.4K
simplex1__3305_30.min1.thm1
2017-02-06 12:46
4.4K
simplex1__3304_42.min1.thm1
2017-02-06 12:46
1.7K
simplex1__3293_26.min1.thm1
2017-02-06 12:46
3.0K
simplex1__3292_46.min1.thm1
2017-02-06 12:46
2.7K
simplex1__3284_52.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3280_41.min1.thm1
2017-02-06 12:46
1.6K
simplex1__3278_24.min1.thm1
2017-02-06 12:46
1.8K
simplex1__3276_11.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3275_32.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3274_29.min1.thm1
2017-02-06 12:46
1.9K
simplex1__3271_36.min1.thm1
2017-02-06 12:46
1.4K
simplex1__3270_23.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3269_26.min1.thm1.tptp
2017-02-06 16:47
561
simplex1__3269_26.min1.thm1
2017-02-06 12:46
632
simplex1__3266_38.min1.thm1
2017-02-06 12:46
852
simplex1__3264_23.min1.thm1.tptp
2017-02-06 16:47
193
simplex1__3264_23.min1.thm1
2017-02-06 12:46
274
simplex1__3260_19.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3258_21.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3252_27.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3251_26.min1.thm1
2017-02-06 12:46
1.8K
simplex1__3250_29.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3228_17.min1.thm1
2017-02-06 12:46
802
simplex1__3220_18.min1.thm1
2017-02-06 12:46
1.6K
simplex1__3218_42.min1.thm1
2017-02-06 12:46
2.4K
simplex1__3211_43.min1.thm1
2017-02-06 12:46
609
simplex1__3189_15.min1.thm1
2017-02-06 12:46
2.5K
simplex1__3187_47.min1.thm1
2017-02-06 12:46
1.6K
simplex1__3185_11.min1.thm1
2017-02-06 12:46
2.5K
simplex1__3183_36.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3182_18.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3181_26.min1.thm1.tptp
2017-02-06 16:47
561
simplex1__3181_26.min1.thm1
2017-02-06 12:46
632
simplex1__3177_18.min1.thm1
2017-02-06 12:46
3.4K
simplex1__3173_14.min1.thm1
2017-02-06 12:46
2.4K
simplex1__3172_41.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3170_78.min1.thm1
2017-02-06 12:46
2.3K
simplex1__3169_47.min1.thm1
2017-02-06 12:46
1.4K
simplex1__3168_24.min1.thm1
2017-02-06 12:46
815
simplex1__3155_17.min1.thm1
2017-02-06 12:46
3.2K
simplex1__3152_20.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3151_43.min1.thm1
2017-02-06 12:46
2.4K
simplex1__3150_13.min1.thm1
2017-02-06 12:46
271
simplex1__3143_18.min1.thm1
2017-02-06 12:46
1.6K
simplex1__3141_42.min1.thm1
2017-02-06 12:46
2.4K
simplex1__3134_43.min1.thm1
2017-02-06 12:46
609
simplex1__3112_16.min1.thm1
2017-02-06 12:46
2.5K
simplex1__3110_47.min1.thm1
2017-02-06 12:46
1.6K
simplex1__3108_36.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3107_18.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3106_26.min1.thm1.tptp
2017-02-06 16:47
561
simplex1__3106_26.min1.thm1
2017-02-06 12:46
632
simplex1__3102_78.min1.thm1
2017-02-06 12:46
2.3K
simplex1__3100_18.min1.thm1
2017-02-06 12:46
3.1K
simplex1__3098_42.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3096_63.min1.thm1
2017-02-06 12:46
2.6K
simplex1__3095_25.min1.thm1
2017-02-06 12:46
1.9K
simplex1__3070_28.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3057_65.min1.thm1
2017-02-06 12:46
1.3K
simplex1__3056_32.min1.thm1
2017-02-06 12:46
490
simplex1__3055_22.min1.thm1
2017-02-06 12:46
624
simplex1__3054_47.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3053_40.min1.thm1
2017-02-06 12:46
1.0K
simplex1__3045_43.min1.thm1
2017-02-06 12:46
958
simplex1__3043_64.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3042_36.min1.thm1
2017-02-06 12:46
2.0K
simplex1__3040_27.min1.thm1
2017-02-06 12:46
1.9K
simplex1__3036_43.min1.thm1
2017-02-06 12:46
609
simplex1__3033_18.min1.thm1
2017-02-06 12:46
5.2K
simplex1__3029_72.min1.thm1
2017-02-06 12:46
2.7K
simplex1__3028_40.min1.thm1
2017-02-06 12:46
2.0K
simplex1__3027_39.min1.thm1
2017-02-06 12:46
1.8K
simplex1__3026_38.min1.thm1
2017-02-06 12:46
909
simplex1__3020_22.min1.thm1
2017-02-06 12:46
2.3K
simplex1__3019_33.min1.thm1
2017-02-06 12:46
1.5K
simplex1__3018_22.min1.thm1
2017-02-06 12:46
1.2K
simplex1__3017_30.min1.thm1.tptp
2017-02-06 16:47
560
simplex1__3017_30.min1.thm1
2017-02-06 12:46
631
simplex1__3016_18.min1.thm1
2017-02-06 12:46
740
simplex1__3015_44.min1.thm1
2017-02-06 12:46
814
simplex1__3000_17.min1.thm1
2017-02-06 12:46
1.5K
simplex1__2996_19.min1.thm1
2017-02-06 12:46
1.8K
simplex1__2995_20.min1.thm1
2017-02-06 12:46
2.0K
simplex1__2993_28.min1.thm1
2017-02-06 12:46
1.1K
simplex1__2991_28.min1.thm1
2017-02-06 12:46
2.9K
simplex1__2984_12.min1.thm1
2017-02-06 12:46
197
simplex1__2972_39.min1.thm1
2017-02-06 12:46
510
simplex1__2961_42.min1.thm1
2017-02-06 12:46
900
simplex1__2956_11.min1.thm1
2017-02-06 12:46
2.5K
simplex1__2954_47.min1.thm1
2017-02-06 12:46
1.6K
simplex1__2952_28.min1.thm1
2017-02-06 12:46
1.7K
simplex1__2951_38.min1.thm1
2017-02-06 12:46
1.5K
simplex1__2950_18.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2949_30.min1.thm1.tptp
2017-02-06 16:47
560
simplex1__2949_30.min1.thm1
2017-02-06 12:46
631
simplex1__2948_39.min1.thm1
2017-02-06 12:46
392
simplex1__2937_17.min1.thm1
2017-02-06 12:46
1.5K
simplex1__2936_22.min1.thm1
2017-02-06 12:46
1.1K
simplex1__2935_23.min1.thm1
2017-02-06 12:46
1.4K
simplex1__2933_26.min1.thm1
2017-02-06 12:46
2.1K
simplex1__2914_20.min1.thm1
2017-02-06 12:46
2.0K
simplex1__2913_16.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2908_20.min1.thm1
2017-02-06 12:46
878
simplex1__2905_20.min1.thm1
2017-02-06 12:46
878
simplex1__2902_22.min1.thm1
2017-02-06 12:46
771
simplex1__2899_22.min1.thm1
2017-02-06 12:46
771
simplex1__2892_16.min1.thm1
2017-02-06 12:46
943
simplex1__2889_21.min1.thm1
2017-02-06 12:46
943
simplex1__2882_27.min1.thm1
2017-02-06 12:46
3.1K
simplex1__2881_24.min1.thm1
2017-02-06 12:46
730
simplex1__2878_19.min1.thm1
2017-02-06 12:46
654
simplex1__2872_26.min1.thm1
2017-02-06 12:46
1.6K
simplex1__2868_21.min1.thm1
2017-02-06 12:46
928
simplex1__2867_30.min1.thm1
2017-02-06 12:46
891
simplex1__2866_18.min1.thm1
2017-02-06 12:46
447
simplex1__2863_26.min1.thm1
2017-02-06 12:46
497
simplex1__2860_20.min1.thm1
2017-02-06 12:46
571
simplex1__2855_32.min1.thm1
2017-02-06 12:46
546
simplex1__2852_27.min1.thm1
2017-02-06 12:46
1.4K
simplex1__2851_27.min1.thm1
2017-02-06 12:46
1.0K
simplex1__2850_29.min1.thm1
2017-02-06 12:46
1.7K
simplex1__2845_36.min1.thm1
2017-02-06 12:46
709
simplex1__2839_20.min1.thm1
2017-02-06 12:46
1.1K
simplex1__2837_16.min1.thm1.tptp
2017-02-06 16:47
303
simplex1__2837_16.min1.thm1
2017-02-06 12:46
385
simplex1__2832_30.min1.thm1
2017-02-06 12:46
516
simplex1__2829_24.min1.thm1
2017-02-06 12:46
1.4K
simplex1__2828_25.min1.thm1
2017-02-06 12:46
746
simplex1__2826_29.min1.thm1
2017-02-06 12:46
1.0K
simplex1__2819_41.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2817_23.min1.thm1
2017-02-06 12:46
689
simplex1__2816_27.min1.thm1
2017-02-06 12:46
527
simplex1__2815_18.min1.thm1.tptp
2017-02-06 16:47
290
simplex1__2815_18.min1.thm1
2017-02-06 12:46
355
simplex1__2814_18.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2805_17.min1.thm1
2017-02-06 12:46
2.4K
simplex1__2801_24.min1.thm1.tptp
2017-02-06 16:47
196
simplex1__2801_24.min1.thm1
2017-02-06 12:46
277
simplex1__2795_26.min1.thm1
2017-02-06 12:46
2.1K
simplex1__2776_19.min1.thm1
2017-02-06 12:46
1.0K
simplex1__2775_31.min1.thm1
2017-02-06 12:46
958
simplex1__2774_19.min1.thm1
2017-02-06 12:46
715
simplex1__2773_18.min1.thm1
2017-02-06 12:46
468
simplex1__2772_34.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2771_14.min1.thm1
2017-02-06 12:46
920
simplex1__2767_28.min1.thm1
2017-02-06 12:46
658
simplex1__2765_28.min1.thm1
2017-02-06 12:46
708
simplex1__2762_19.min1.thm1
2017-02-06 12:46
488
simplex1__2761_36.min1.thm1
2017-02-06 12:46
635
simplex1__2758_19.min1.thm1.tptp
2017-02-06 16:47
796
simplex1__2758_19.min1.thm1
2017-02-06 12:46
870
simplex1__2757_31.min1.thm1
2017-02-06 12:46
1.0K
simplex1__2755_15.min1.thm1
2017-02-06 12:46
591
simplex1__2754_39.min1.thm1
2017-02-06 12:46
741
simplex1__2748_29.min1.thm1
2017-02-06 12:46
1.8K
simplex1__2736_16.min1.thm1
2017-02-06 12:46
611
simplex1__2735_17.min1.thm1
2017-02-06 12:46
1.1K
simplex1__2731_16.min1.thm1
2017-02-06 12:46
611
simplex1__2730_17.min1.thm1
2017-02-06 12:46
810
simplex1__2722_18.min1.thm1
2017-02-06 12:46
936
simplex1__2721_13.min1.thm1
2017-02-06 12:46
918
simplex1__2710_16.min1.thm1
2017-02-06 12:46
607
simplex1__2709_17.min1.thm1
2017-02-06 12:46
1.1K
simplex1__2705_16.min1.thm1
2017-02-06 12:46
607
simplex1__2704_17.min1.thm1
2017-02-06 12:46
806
simplex1__2696_18.min1.thm1
2017-02-06 12:46
936
simplex1__2695_13.min1.thm1
2017-02-06 12:46
1.0K
simplex1__2692_29.min1.thm1
2017-02-06 12:46
793
simplex1__2686_17.min1.thm1
2017-02-06 12:46
1.0K
simplex1__2683_29.min1.thm1
2017-02-06 12:46
793
simplex1__2677_22.min1.thm1
2017-02-06 12:46
921
simplex1__2672_42.min1.thm1
2017-02-06 12:46
1.0K
simplex1__2671_23.min1.thm1.tptp
2017-02-06 16:47
344
simplex1__2671_23.min1.thm1
2017-02-06 12:46
394
simplex1__2670_23.min1.thm1
2017-02-06 12:46
307
simplex1__2666_37.min1.thm1
2017-02-06 12:46
1.5K
simplex1__2665_22.min1.thm1
2017-02-06 12:46
479
simplex1__2664_44.min1.thm1
2017-02-06 12:46
943
simplex1__2661_15.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2660_21.min1.thm1
2017-02-06 12:46
1.0K
simplex1__2649_40.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2644_23.min1.thm1
2017-02-06 12:46
786
simplex1__2642_25.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2641_38.min1.thm1
2017-02-06 12:46
1.8K
simplex1__2640_16.min1.thm1
2017-02-06 12:46
808
simplex1__2639_44.min1.thm1
2017-02-06 12:46
788
simplex1__2632_18.min1.thm1
2017-02-06 12:46
480
simplex1__2631_29.min1.thm1
2017-02-06 12:46
1.3K
simplex1__2624_26.min1.thm1
2017-02-06 12:46
302
simplex1__2621_17.min1.thm1
2017-02-06 12:46
616
simplex1__2620_24.min1.thm1
2017-02-06 12:46
1.0K
simplex1__2616_21.min1.thm1
2017-02-06 12:46
952
simplex1__2614_25.min1.thm1
2017-02-06 12:46
1.1K
simplex1__2609_19.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2608_11.min1.thm1
2017-02-06 12:46
934
simplex1__2604_48.min1.thm1
2017-02-06 12:46
1.4K
simplex1__2602_37.min1.thm1
2017-02-06 12:46
554
simplex1__2600_12.min1.thm1
2017-02-06 12:46
203
simplex1__2595_10.min1.thm1
2017-02-06 12:46
728
simplex1__2591_18.min1.thm1
2017-02-06 12:46
2.3K
simplex1__2590_18.min1.thm1
2017-02-06 12:46
739
simplex1__2588_20.min1.thm1
2017-02-06 12:46
775
simplex1__2587_23.min1.thm1
2017-02-06 12:46
772
simplex1__2586_18.min1.thm1
2017-02-06 12:46
271
simplex1__2573_43.min1.thm1
2017-02-06 12:46
1.1K
simplex1__2567_41.min1.thm1
2017-02-06 12:46
597
simplex1__2564_32.min1.thm1
2017-02-06 12:46
2.7K
simplex1__2556_41.min1.thm1
2017-02-06 12:46
821
simplex1__2555_68.min1.thm1
2017-02-06 12:46
1.1K
simplex1__2538_30.min1.thm1
2017-02-06 12:46
3.0K
simplex1__2533_17.min1.thm1
2017-02-06 12:46
1.0K
simplex1__2530_20.min1.thm1
2017-02-06 12:46
1.8K
simplex1__2527_15.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2526_21.min1.thm1
2017-02-06 12:46
948
simplex1__2525_24.min1.thm1
2017-02-06 12:46
818
simplex1__2519_32.min1.thm1
2017-02-06 12:46
1.6K
simplex1__2518_29.min1.thm1
2017-02-06 12:46
1.3K
simplex1__2515_39.min1.thm1
2017-02-06 12:46
1.1K
simplex1__2510_27.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2504_24.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2496_17.min1.thm1
2017-02-06 12:46
2.4K
simplex1__2492_24.min1.thm1.tptp
2017-02-06 16:47
195
simplex1__2492_24.min1.thm1
2017-02-06 12:46
276
simplex1__2463_51.min1.thm1
2017-02-06 12:46
3.6K
simplex1__2461_18.min1.thm1
2017-02-06 12:46
588
simplex1__2460_23.min1.thm1
2017-02-06 12:46
789
simplex1__2459_27.min1.thm1
2017-02-06 12:46
668
simplex1__2446_18.min1.thm1
2017-02-06 12:46
796
simplex1__2445_14.min1.thm1
2017-02-06 12:46
652
simplex1__2444_19.min1.thm1
2017-02-06 12:46
723
simplex1__2433_45.min1.thm1
2017-02-06 12:46
1.5K
simplex1__2411_28.min1.thm1
2017-02-06 12:46
1.9K
simplex1__2409_41.min1.thm1
2017-02-06 12:46
594
simplex1__2408_32.min1.thm1
2017-02-06 12:46
1.9K
simplex1__2406_24.min1.thm1
2017-02-06 12:46
1.1K
simplex1__2405_11.min1.thm1
2017-02-06 12:46
532
simplex1__2401_17.min1.thm1
2017-02-06 12:46
695
simplex1__2395_16.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2391_18.min1.thm1
2017-02-06 12:46
2.3K
simplex1__2390_22.min1.thm1
2017-02-06 12:46
742
simplex1__2389_42.min1.thm1
2017-02-06 12:46
597
simplex1__2385_19.min1.thm1
2017-02-06 12:46
1.0K
simplex1__2384_16.min1.thm1
2017-02-06 12:46
880
simplex1__2381_19.min1.thm1.tptp
2017-02-06 16:47
290
simplex1__2381_19.min1.thm1
2017-02-06 12:46
364
simplex1__2380_17.min1.thm1
2017-02-06 12:46
559
simplex1__2379_24.min1.thm1
2017-02-06 12:46
1.3K
simplex1__2376_19.min1.thm1.tptp
2017-02-06 16:47
290
simplex1__2376_19.min1.thm1
2017-02-06 12:46
364
simplex1__2375_17.min1.thm1
2017-02-06 12:46
559
simplex1__2374_24.min1.thm1
2017-02-06 12:46
1.3K
simplex1__2371_19.min1.thm1
2017-02-06 12:46
496
simplex1__2352_18.min1.thm1
2017-02-06 12:46
884
simplex1__2351_17.min1.thm1
2017-02-06 12:46
617
simplex1__2350_24.min1.thm1
2017-02-06 12:46
1.3K
simplex1__2349_30.min1.thm1
2017-02-06 12:46
1.4K
simplex1__2318_26.min1.thm1
2017-02-06 12:46
1.6K
simplex1__2315_22.min1.thm1
2017-02-06 12:46
1.1K
simplex1__2303_19.min1.thm1
2017-02-06 12:46
1.1K
simplex1__2302_22.min1.thm1
2017-02-06 12:46
2.3K
simplex1__2301_28.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2292_44.min1.thm1
2017-02-06 12:46
1.4K
simplex1__2288_17.min1.thm1
2017-02-06 12:46
462
simplex1__2286_17.min1.thm1
2017-02-06 12:46
902
simplex1__2284_37.min1.thm1
2017-02-06 12:46
567
simplex1__2282_11.min1.thm1
2017-02-06 12:46
275
simplex1__2258_20.min1.thm1
2017-02-06 12:46
1.5K
simplex1__2248_19.min1.thm1
2017-02-06 12:46
2.7K
simplex1__2240_43.min1.thm1
2017-02-06 12:46
755
simplex1__2238_44.min1.thm1
2017-02-06 12:46
1.4K
simplex1__2237_53.min1.thm1
2017-02-06 12:46
1.1K
simplex1__2226_19.min1.thm1
2017-02-06 12:46
2.3K
simplex1__2225_21.min1.thm1
2017-02-06 12:46
742
simplex1__2224_43.min1.thm1
2017-02-06 12:46
597
simplex1__2222_29.min1.thm1
2017-02-06 12:46
1.1K
simplex1__2221_21.min1.thm1
2017-02-06 12:46
1.0K
simplex1__2213_35.min1.thm1
2017-02-06 12:46
960
simplex1__2212_36.min1.thm1
2017-02-06 12:46
1.0K
simplex1__2210_26.min1.thm1
2017-02-06 12:46
1.3K
simplex1__2209_22.min1.thm1
2017-02-06 12:46
933
simplex1__2201_23.min1.thm1.tptp
2017-02-06 16:47
193
simplex1__2201_23.min1.thm1
2017-02-06 12:46
274
simplex1__2190_27.min1.thm1
2017-02-06 12:46
3.5K
simplex1__2181_39.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2175_45.min1.thm1
2017-02-06 12:46
395
simplex1__2161_19.min1.thm1
2017-02-06 12:46
1.5K
simplex1__2158_44.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2151_28.min1.thm1
2017-02-06 12:46
829
simplex1__2150_12.min1.thm1
2017-02-06 12:46
1.0K
simplex1__2148_21.min1.thm1
2017-02-06 12:46
1.7K
simplex1__2146_33.min1.thm1
2017-02-06 12:46
1.5K
simplex1__2130_19.min1.thm1
2017-02-06 12:46
892
simplex1__2129_19.min1.thm1
2017-02-06 12:46
521
simplex1__2128_17.min1.thm1
2017-02-06 12:46
676
simplex1__2122_25.min1.thm1
2017-02-06 12:46
1.8K
simplex1__2119_43.min1.thm1
2017-02-06 12:46
769
simplex1__2118_19.min1.thm1
2017-02-06 12:46
2.3K
simplex1__2117_21.min1.thm1
2017-02-06 12:46
739
simplex1__2113_43.min1.thm1
2017-02-06 12:46
596
simplex1__2094_18.min1.thm1
2017-02-06 12:46
660
simplex1__2090_18.min1.thm1.tptp
2017-02-06 16:47
329
simplex1__2090_18.min1.thm1
2017-02-06 12:46
403
simplex1__2089_25.min1.thm1
2017-02-06 12:46
445
simplex1__2087_11.min1.thm1
2017-02-06 12:46
269
simplex1__2086_20.min1.thm1
2017-02-06 12:46
401
simplex1__2081_18.min1.thm1
2017-02-06 12:46
426
simplex1__2076_46.min1.thm1
2017-02-06 12:46
2.1K
simplex1__2072_10.min1.thm1
2017-02-06 12:46
2.5K
simplex1__2070_17.min1.thm1
2017-02-06 12:46
884
simplex1__2067_12.min1.thm1
2017-02-06 12:46
884
simplex1__2063_17.min1.thm1
2017-02-06 12:46
952
simplex1__2062_9.min1.thm1
2017-02-06 12:46
2.6K
simplex1__2055_16.min1.thm1
2017-02-06 12:46
884
simplex1__2046_26.min1.thm1
2017-02-06 12:46
1.4K
simplex1__2020_17.min1.thm1
2017-02-06 12:46
864
simplex1__2014_18.min1.thm1
2017-02-06 12:46
867
simplex1__2013_30.min1.thm1
2017-02-06 12:46
1.2K
simplex1__2005_57.min1.thm1
2017-02-06 12:46
1.0K
simplex1__2004_30.min1.thm1
2017-02-06 12:46
671
simplex1__2003_19.min1.thm1
2017-02-06 12:46
559
simplex1__1992_14.min1.thm1.tptp
2017-02-06 16:47
510
simplex1__1992_14.min1.thm1
2017-02-06 12:46
584
simplex1__1990_21.min1.thm1
2017-02-06 12:46
1.5K
simplex1__1988_18.min1.thm1
2017-02-06 12:46
4.1K
simplex1__1987_54.min1.thm1
2017-02-06 12:46
2.3K
simplex1__1986_28.min1.thm1
2017-02-06 12:46
1.4K
simplex1__1973_17.min1.thm1
2017-02-06 12:46
1.8K
simplex1__1965_36.min1.thm1.tptp
2017-02-06 16:47
215
simplex1__1965_36.min1.thm1
2017-02-06 12:46
296
simplex1__1954_44.min1.thm1
2017-02-06 12:46
1.3K
simplex1__1953_62.min1.thm1
2017-02-06 12:46
646
simplex1__1946_25.min1.thm1
2017-02-06 12:46
661
simplex1__1945_21.min1.thm1
2017-02-06 12:46
1.2K
simplex1__1941_16.min1.thm1
2017-02-06 12:46
2.2K
simplex1__1931_67.min1.thm1
2017-02-06 12:46
2.3K
simplex1__1929_41.min1.thm1.tptp
2017-02-06 16:47
413
simplex1__1929_41.min1.thm1
2017-02-06 12:46
497
simplex1__1927_37.min1.thm1
2017-02-06 12:46
842
simplex1__1905_14.min1.thm1.tptp
2017-02-06 16:47
423
simplex1__1905_14.min1.thm1
2017-02-06 12:46
500
simplex1__1903_21.min1.thm1
2017-02-06 12:46
1.5K
simplex1__1900_29.min1.thm1
2017-02-06 12:46
1.6K
simplex1__1895_22.min1.thm1
2017-02-06 12:46
1.7K
simplex1__1894_14.min1.thm1
2017-02-06 12:46
1.3K
simplex1__1886_17.min1.thm1
2017-02-06 12:46
1.4K
simplex1__1885_18.min1.thm1
2017-02-06 12:46
1.2K
simplex1__1884_26.min1.thm1.tptp
2017-02-06 16:47
564
simplex1__1884_26.min1.thm1
2017-02-06 12:46
635
simplex1__1873_63.min1.thm1
2017-02-06 12:46
2.0K
simplex1__1860_17.min1.thm1
2017-02-06 12:46
887
simplex1__1853_19.min1.thm1.tptp
2017-02-06 16:47
236
simplex1__1853_19.min1.thm1
2017-02-06 12:46
313
simplex1__1850_25.min1.thm1
2017-02-06 12:46
776
simplex1__1833_50.min1.thm1
2017-02-06 12:46
1.5K
simplex1__1824_23.min1.thm1
2017-02-06 12:46
799
simplex1__1821_24.min1.thm1.tptp
2017-02-06 16:47
915
simplex1__1821_24.min1.thm1
2017-02-06 12:46
1.0K
simplex1__1820_33.min1.thm1
2017-02-06 12:46
3.1K
simplex1__1818_26.min1.thm1
2017-02-06 12:46
2.0K
simplex1__1816_24.min1.thm1.tptp
2017-02-06 16:47
918
simplex1__1816_24.min1.thm1
2017-02-06 12:46
1.0K
simplex1__1815_33.min1.thm1
2017-02-06 12:46
3.1K
simplex1__1812_39.min1.thm1
2017-02-06 12:46
2.6K
simplex1__1811_35.min1.thm1
2017-02-06 12:46
2.7K
simplex1__1808_31.min1.thm1
2017-02-06 12:46
725
simplex1__1805_30.min1.thm1
2017-02-06 12:46
2.3K
simplex1__1800_21.min1.thm1
2017-02-06 12:46
1.0K
simplex1__1799_26.min1.thm1
2017-02-06 12:46
1.3K
simplex1__1798_42.min1.thm1
2017-02-06 12:46
675
simplex1__1793_30.min1.thm1
2017-02-06 12:46
2.6K
simplex1__1792_29.min1.thm1
2017-02-06 12:46
3.5K
simplex1__1772_26.min1.thm1
2017-02-06 12:46
1.5K
simplex1__1770_26.min1.thm1
2017-02-06 12:46
2.0K
simplex1__1741_39.min1.thm1
2017-02-06 12:46
2.6K
simplex1__1740_35.min1.thm1
2017-02-06 12:46
2.7K
simplex1__1737_31.min1.thm1
2017-02-06 12:46
725
simplex1__1734_30.min1.thm1
2017-02-06 12:46
2.3K
simplex1__1728_23.min1.thm1
2017-02-06 12:46
799
simplex1__1723_60.min1.thm1
2017-02-06 12:46
1.0K
simplex1__1722_33.min1.thm1
2017-02-06 12:46
681
simplex1__1720_21.min1.thm1
2017-02-06 12:46
1.0K
simplex1__1719_26.min1.thm1
2017-02-06 12:46
1.3K
simplex1__1718_42.min1.thm1
2017-02-06 12:46
675
simplex1__1711_31.min1.thm1
2017-02-06 12:46
1.2K
simplex1__1709_22.min1.thm1
2017-02-06 12:46
2.7K
simplex1__1698_17.min1.thm1
2017-02-06 12:46
378
simplex1__1696_13.min1.thm1
2017-02-06 12:46
828
simplex1__1691_25.min1.thm1
2017-02-06 12:46
1.0K
simplex1__1690_22.min1.thm1
2017-02-06 12:46
1.3K
simplex1__1689_26.min1.thm1
2017-02-06 12:46
1.7K
simplex1__1687_21.min1.thm1
2017-02-06 12:46
1.7K
simplex1__1670_40.min1.thm1
2017-02-06 12:46
1.9K
simplex1__1669_40.min1.thm1
2017-02-06 12:46
738
simplex1__1664_40.min1.thm1
2017-02-06 12:46
1.9K
simplex1__1663_40.min1.thm1
2017-02-06 12:46
737
simplex1__1650_35.min1.thm1
2017-02-06 12:46
1.3K
simplex1__1649_35.min1.thm1
2017-02-06 12:46
1.4K
simplex1__1624_51.min1.thm1
2017-02-06 12:46
1.8K
simplex1__1605_14.min1.thm1.tptp
2017-02-06 16:47
340
simplex1__1605_14.min1.thm1
2017-02-06 12:46
421
simplex1__1603_21.min1.thm1
2017-02-06 12:46
1.3K
simplex1__1600_31.min1.thm1
2017-02-06 12:46
1.6K
simplex1__1595_24.min1.thm1
2017-02-06 12:46
1.7K
simplex1__1594_15.min1.thm1
2017-02-06 12:46
1.2K
simplex1__1586_17.min1.thm1
2017-02-06 12:46
1.4K
simplex1__1585_20.min1.thm1
2017-02-06 12:46
1.2K
simplex1__1584_27.min1.thm1.tptp
2017-02-06 16:47
517
simplex1__1584_27.min1.thm1
2017-02-06 12:46
588
simplex1__1573_39.min1.thm1
2017-02-06 12:46
2.1K
simplex1__1572_40.min1.thm1
2017-02-06 12:46
1.9K
simplex1__1571_34.min1.thm1
2017-02-06 12:46
1.3K
simplex1__1570_18.min1.thm1
2017-02-06 12:46
761
simplex1__1562_11.min1.thm1
2017-02-06 12:46
191
simplex1__1556_33.min1.thm1
2017-02-06 12:46
1.4K
simplex1__1547_18.min1.thm1.tptp
2017-02-06 16:47
767
simplex1__1547_18.min1.thm1
2017-02-06 12:46
838
simplex1__1542_26.min1.thm1
2017-02-06 12:46
2.1K
simplex1__1540_38.min1.thm1
2017-02-06 12:46
1.6K
simplex1__1536_56.min1.thm1.tptp
2017-02-06 16:47
468
simplex1__1536_56.min1.thm1
2017-02-06 12:46
523
simplex1__1532_24.min1.thm1
2017-02-06 12:46
2.3K
simplex1__1530_22.min1.thm1.tptp
2017-02-06 16:47
384
simplex1__1530_22.min1.thm1
2017-02-06 12:46
461
simplex1__1525_18.min1.thm1
2017-02-06 12:46
697
simplex1__1524_23.min1.thm1
2017-02-06 12:46
1.6K
simplex1__1522_11.min1.thm1
2017-02-06 12:46
191
simplex1__1521_28.min1.thm1
2017-02-06 12:46
708
simplex1__1520_29.min1.thm1
2017-02-06 12:46
810
simplex1__1508_24.min1.thm1
2017-02-06 12:46
2.0K
simplex1__1506_24.min1.thm1
2017-02-06 12:46
710
simplex1__1505_29.min1.thm1
2017-02-06 12:46
811
simplex1__1504_36.min1.thm1
2017-02-06 12:46
1.5K
simplex1__1500_54.min1.thm1.tptp
2017-02-06 16:47
448
simplex1__1500_54.min1.thm1
2017-02-06 12:46
503
simplex1__1496_22.min1.thm1.tptp
2017-02-06 16:47
693
simplex1__1496_22.min1.thm1
2017-02-06 12:46
747
simplex1__1483_14.min1.thm1
2017-02-06 12:46
1.7K
simplex1__1468_17.min1.thm1
2017-02-06 12:46
1.4K
simplex1__1464_18.min1.thm1
2017-02-06 12:46
1.1K
simplex1__1463_17.min1.thm1
2017-02-06 12:46
1.4K
simplex1__1459_25.min1.thm1
2017-02-06 12:46
2.1K
simplex1__1458_34.min1.thm1
2017-02-06 12:46
746
simplex1__1456_28.min1.thm1
2017-02-06 12:46
735
simplex1__1455_34.min1.thm1
2017-02-06 12:46
746
simplex1__1453_28.min1.thm1
2017-02-06 12:46
735
simplex1__1448_55.min1.thm1.tptp
2017-02-06 16:47
458
simplex1__1448_55.min1.thm1
2017-02-06 12:46
513
simplex1__1440_55.min1.thm1.tptp
2017-02-06 16:47
456
simplex1__1440_55.min1.thm1
2017-02-06 12:46
511
simplex1__1434_40.min1.thm1
2017-02-06 12:46
476
simplex1__1416_15.min1.thm1
2017-02-06 12:46
922
simplex1__1413_21.min1.thm1.tptp
2017-02-06 16:47
707
simplex1__1413_21.min1.thm1
2017-02-06 12:46
761
simplex1__1410_29.min1.thm1
2017-02-06 12:46
756
simplex1__1409_30.min1.thm1
2017-02-06 12:46
396
simplex1__1388_23.min1.thm1
2017-02-06 12:46
1.4K
simplex1__1387_27.min1.thm1
2017-02-06 12:46
1.4K
simplex1__1386_45.min1.thm1
2017-02-06 12:46
1.4K
simplex1__1385_32.min1.thm1
2017-02-06 12:46
892
simplex1__1384_31.min1.thm1
2017-02-06 12:46
1.0K
simplex1__1383_36.min1.thm1
2017-02-06 12:46
892
simplex1__1382_31.min1.thm1
2017-02-06 12:46
1.0K
simplex1__1377_46.min1.thm1
2017-02-06 12:46
853
simplex1__1366_14.min1.thm1
2017-02-06 12:46
1.8K
simplex1__1364_23.min1.thm1
2017-02-06 12:46
1.4K
simplex1__1363_37.min1.thm1
2017-02-06 12:46
1.2K
simplex1__1362_32.min1.thm1
2017-02-06 12:46
892
simplex1__1361_46.min1.thm1
2017-02-06 12:46
853
simplex1__1360_36.min1.thm1
2017-02-06 12:46
1.0K
simplex1__1326_17.min1.thm1
2017-02-06 12:46
4.0K
simplex1__1316_23.min1.thm1
2017-02-06 12:46
1.5K
simplex1__1312_64.min1.thm1
2017-02-06 12:46
2.5K
simplex1__1300_14.min1.thm1
2017-02-06 12:46
2.9K
simplex1__1292_31.min1.thm1
2017-02-06 12:46
1.4K
simplex1__1291_25.min1.thm1
2017-02-06 12:46
2.3K
simplex1__1290_25.min1.thm1
2017-02-06 12:46
2.3K
simplex1__1288_17.min1.thm1
2017-02-06 12:46
760
simplex1__1287_31.min1.thm1
2017-02-06 12:46
1.4K
simplex1__1271_17.min1.thm1
2017-02-06 12:46
921
simplex1__1270_20.min1.thm1
2017-02-06 12:46
448
simplex1__1269_27.min1.thm1
2017-02-06 12:46
745
simplex1__1268_24.min1.thm1
2017-02-06 12:46
448
simplex1__1267_27.min1.thm1
2017-02-06 12:46
745
simplex1__1262_49.min1.thm1
2017-02-06 12:46
530
simplex1__1249_42.min1.thm1
2017-02-06 12:46
1.3K
simplex1__1248_16.min1.thm1
2017-02-06 12:46
746
simplex1__1236_20.min1.thm1
2017-02-06 12:46
448
simplex1__1235_32.min1.thm1
2017-02-06 12:46
745
simplex1__1232_49.min1.thm1
2017-02-06 12:46
530
simplex1__1205_14.min1.thm1.tptp
2017-02-06 16:47
308
simplex1__1205_14.min1.thm1
2017-02-06 12:46
389
simplex1__1203_21.min1.thm1
2017-02-06 12:46
1.3K
simplex1__1200_47.min1.thm1
2017-02-06 12:46
2.4K
simplex1__1199_29.min1.thm1
2017-02-06 12:46
1.6K
simplex1__1197_22.min1.thm1
2017-02-06 12:46
2.5K
simplex1__1192_22.min1.thm1
2017-02-06 12:46
1.6K
simplex1__1191_14.min1.thm1
2017-02-06 12:46
1.2K
simplex1__1179_17.min1.thm1
2017-02-06 12:46
2.1K
simplex1__1177_18.min1.thm1
2017-02-06 12:46
1.6K
simplex1__1176_18.min1.thm1
2017-02-06 12:46
1.2K
simplex1__1165_26.min1.thm1
2017-02-06 12:46
1.6K
simplex1__1164_22.min1.thm1
2017-02-06 12:46
1.7K
simplex1__1162_17.min1.thm1
2017-02-06 12:46
443
simplex1__1161_40.min1.thm1
2017-02-06 12:46
1.7K
simplex1__1157_26.min1.thm1
2017-02-06 12:46
606
simplex1__1156_39.min1.thm1
2017-02-06 12:46
823
simplex1__1155_29.min1.thm1
2017-02-06 12:46
1.1K
simplex1__1154_12.min1.thm1.tptp
2017-02-06 16:47
292
simplex1__1154_12.min1.thm1
2017-02-06 12:46
370
simplex1__1153_39.min1.thm1
2017-02-06 12:46
1.0K
simplex1__1152_17.min1.thm1
2017-02-06 12:46
932
simplex1__1149_22.min1.thm1
2017-02-06 12:46
1.0K
simplex1__1148_39.min1.thm1
2017-02-06 12:46
1.3K
simplex1__1145_46.min1.thm1
2017-02-06 12:46
1.9K
simplex1__1139_44.min1.thm1
2017-02-06 12:46
1.2K
simplex1__1136_18.min1.thm1
2017-02-06 12:46
1.4K
simplex1__1134_11.min1.thm1
2017-02-06 12:46
1.0K
simplex1__1126_17.min1.thm1
2017-02-06 12:46
783
simplex1__1125_20.min1.thm1
2017-02-06 12:46
426
simplex1__1119_6.min1.thm1
2017-02-06 12:46
2.0K
simplex1__1107_17.min1.thm1
2017-02-06 12:46
696
simplex1__1105_19.min1.thm1
2017-02-06 12:46
764
simplex1__1099_32.min1.thm1
2017-02-06 12:46
1.5K
simplex1__1095_25.min1.thm1
2017-02-06 12:46
1.9K
simplex1__1092_12.min1.thm1
2017-02-06 12:46
1.0K
simplex1__1088_62.min1.thm1
2017-02-06 12:46
650
simplex1__1069_19.min1.thm1
2017-02-06 12:46
2.0K
simplex1__1067_12.min1.thm1
2017-02-06 12:46
2.2K
simplex1__1066_18.min1.thm1
2017-02-06 12:46
2.3K
simplex1__1062_40.min1.thm1
2017-02-06 12:46
1.7K
simplex1__1061_15.min1.thm1
2017-02-06 12:46
289
simplex1__1060_23.min1.thm1
2017-02-06 12:46
3.2K
simplex1__1059_19.min1.thm1
2017-02-06 12:46
1.8K
simplex1__1057_25.min1.thm1
2017-02-06 12:46
1.5K
simplex1__1056_16.min1.thm1
2017-02-06 12:46
1.5K
simplex1__1054_26.min1.thm1
2017-02-06 12:46
1.0K
simplex1__1053_32.min1.thm1.tptp
2017-02-06 16:47
383
simplex1__1053_32.min1.thm1
2017-02-06 12:46
436
simplex1__1051_35.min1.thm1
2017-02-06 12:46
1.0K
simplex1__1050_11.min1.thm1
2017-02-06 12:46
859
simplex1__1044_72.min1.thm1
2017-02-06 12:46
1.7K
simplex1__1043_64.min1.thm1
2017-02-06 12:46
769
simplex1__1040_19.min1.thm1
2017-02-06 12:46
2.0K
simplex1__1037_12.min1.thm1
2017-02-06 12:46
197
simplex1__1036_37.min1.thm1
2017-02-06 12:46
1.9K
simplex1__1035_42.min1.thm1
2017-02-06 12:46
1.5K
simplex1__1028_19.min1.thm1
2017-02-06 12:46
947
simplex1__1027_11.min1.thm1
2017-02-06 12:46
2.2K
simplex1__1026_18.min1.thm1
2017-02-06 12:46
2.3K
simplex1__1022_24.min1.thm1
2017-02-06 12:46
1.6K
simplex1__1019_20.min1.thm1
2017-02-06 12:46
793
simplex1__1016_23.min1.thm1
2017-02-06 12:46
868
simplex1__1010_40.min1.thm1
2017-02-06 12:46
1.7K
simplex1__1009_15.min1.thm1
2017-02-06 12:46
289
simplex1__1008_19.min1.thm1
2017-02-06 12:46
2.4K
simplex1__1006_25.min1.thm1
2017-02-06 12:46
1.9K
simplex1__1005_16.min1.thm1
2017-02-06 12:46
1.9K
simplex1__1003_26.min1.thm1
2017-02-06 12:46
1.6K
simplex1__1002_28.min1.thm1
2017-02-06 12:46
3.2K
simplex1__996_24.min1.thm1
2017-02-06 12:46
876
simplex1__994_28.min1.thm1
2017-02-06 12:46
806
simplex1__986_49.min1.thm1
2017-02-06 12:46
1.3K
simplex1__985_24.min1.thm1
2017-02-06 12:46
781
simplex1__981_19.min1.thm1
2017-02-06 12:46
965
simplex1__980_27.min1.thm1
2017-02-06 12:46
936
simplex1__978_12.min1.thm1
2017-02-06 12:46
197
simplex1__974_37.min1.thm1
2017-02-06 12:46
1.9K
simplex1__973_42.min1.thm1
2017-02-06 12:46
2.5K
simplex1__968_35.min1.thm1
2017-02-06 12:46
2.0K
simplex1__965_44.min1.thm1
2017-02-06 12:46
1.3K
simplex1__960_35.min1.thm1
2017-02-06 12:46
448
simplex1__951_49.min1.thm1
2017-02-06 12:46
1.6K
simplex1__947_13.min1.thm1
2017-02-06 12:46
372
simplex1__946_32.min1.thm1
2017-02-06 12:46
1.4K
simplex1__944_29.min1.thm1
2017-02-06 12:46
1.5K
simplex1__939_50.min1.thm1.tptp
2017-02-06 16:47
1.2K
simplex1__939_50.min1.thm1
2017-02-06 12:46
1.2K
simplex1__934_54.min1.thm1
2017-02-06 12:46
1.4K
simplex1__927_14.min1.thm1
2017-02-06 12:46
1.3K
simplex1__925_55.min1.thm1
2017-02-06 12:46
1.7K
simplex1__917_55.min1.thm1
2017-02-06 12:46
1.5K
simplex1__909_14.min1.thm1.tptp
2017-02-06 16:47
1.1K
simplex1__909_14.min1.thm1
2017-02-06 12:46
1.2K
simplex1__907_26.min1.thm1
2017-02-06 12:46
1.4K
simplex1__904_18.min1.thm1
2017-02-06 12:46
2.5K
simplex1__903_14.min1.thm1
2017-02-06 12:46
2.2K
simplex1__898_14.min1.thm1
2017-02-06 12:46
396
simplex1__896_34.min1.thm1
2017-02-06 12:46
1.2K
simplex1__863_13.min1.thm1.tptp
2017-02-06 16:47
341
simplex1__863_13.min1.thm1
2017-02-06 12:46
429
simplex1__861_41.min1.thm1
2017-02-06 12:46
927
simplex1__854_14.min1.thm1
2017-02-06 12:46
1.2K
simplex1__850_13.min1.thm1
2017-02-06 12:46
867
simplex1__848_20.min1.thm1
2017-02-06 12:46
2.4K
simplex1__846_31.min1.thm1
2017-02-06 12:46
889
simplex1__844_36.min1.thm1
2017-02-06 12:46
1.2K
simplex1__829_12.min1.thm1
2017-02-06 12:46
197
simplex1__810_34.min1.thm1.tptp
2017-02-06 16:47
352
simplex1__810_34.min1.thm1
2017-02-06 12:46
440
simplex1__783_15.min1.thm1
2017-02-06 12:46
1.8K
simplex1__775_21.min1.thm1
2017-02-06 12:46
1.0K
simplex1__774_18.min1.thm1
2017-02-06 12:46
891
simplex1__771_21.min1.thm1.tptp
2017-02-06 16:47
326
simplex1__771_21.min1.thm1
2017-02-06 12:46
400
simplex1__770_21.min1.thm1
2017-02-06 12:46
618
simplex1__769_33.min1.thm1
2017-02-06 12:46
1.4K
simplex1__766_21.min1.thm1.tptp
2017-02-06 16:47
326
simplex1__766_21.min1.thm1
2017-02-06 12:46
400
simplex1__765_21.min1.thm1
2017-02-06 12:46
618
simplex1__764_33.min1.thm1
2017-02-06 12:46
1.4K
simplex1__761_21.min1.thm1
2017-02-06 12:46
739
simplex1__753_20.min1.thm1
2017-02-06 12:46
654
simplex1__738_20.min1.thm1
2017-02-06 12:46
1.0K
simplex1__733_37.min1.thm1
2017-02-06 12:46
947
simplex1__732_12.min1.thm1
2017-02-06 12:46
773
simplex1__726_12.min1.thm1
2017-02-06 12:46
263
simplex1__724_42.min1.thm1
2017-02-06 12:46
3.5K
simplex1__723_19.min1.thm1
2017-02-06 12:46
909
simplex1__721_27.min1.thm1
2017-02-06 12:46
2.5K
simplex1__720_25.min1.thm1
2017-02-06 12:46
1.6K
simplex1__719_26.min1.thm1
2017-02-06 12:46
2.7K
simplex1__718_7.min1.thm1
2017-02-06 12:46
1.4K
simplex1__717_41.min1.thm1
2017-02-06 12:46
2.1K
simplex1__716_25.min1.thm1
2017-02-06 12:46
1.9K
simplex1__715_35.min1.thm1
2017-02-06 12:46
1.4K
simplex1__713_71.min1.thm1
2017-02-06 12:46
765
simplex1__712_20.min1.thm1
2017-02-06 12:46
950
simplex1__711_47.min1.thm1
2017-02-06 12:46
1.9K
simplex1__703_36.min1.thm1
2017-02-06 12:46
2.1K
simplex1__678_13.min1.thm1
2017-02-06 12:46
1.0K
simplex1__676_61.min1.thm1
2017-02-06 12:46
1.1K
simplex1__675_41.min1.thm1
2017-02-06 12:46
2.1K
simplex1__672_69.min1.thm1
2017-02-06 12:46
866
simplex1__663_17.min1.thm1
2017-02-06 12:46
1.0K
simplex1__656_22.min1.thm1.tptp
2017-02-06 16:47
335
simplex1__656_22.min1.thm1
2017-02-06 12:46
415
simplex1__655_14.min1.thm1
2017-02-06 12:46
691
simplex1__654_18.min1.thm1
2017-02-06 12:46
969
simplex1__645_14.min1.thm1.tptp
2017-02-06 16:47
344
simplex1__645_14.min1.thm1
2017-02-06 12:46
430
simplex1__643_18.min1.thm1
2017-02-06 12:46
899
simplex1__642_8.min1.thm1
2017-02-06 12:46
1.5K
simplex1__641_33.min1.thm1
2017-02-06 12:46
1.4K
simplex1__640_33.min1.thm1
2017-02-06 12:46
713
simplex1__638_32.min1.thm1
2017-02-06 12:46
1.5K
simplex1__634_15.min1.thm1
2017-02-06 12:46
1.2K
simplex1__630_16.min1.thm1.tptp
2017-02-06 16:47
329
simplex1__630_16.min1.thm1
2017-02-06 12:46
415
simplex1__629_52.min1.thm1
2017-02-06 12:46
1.6K
simplex1__628_37.min1.thm1
2017-02-06 12:46
727
simplex1__626_24.min1.thm1
2017-02-06 12:46
946
simplex1__625_15.min1.thm1
2017-02-06 12:46
757
simplex1__621_37.min1.thm1
2017-02-06 12:46
1.4K
simplex1__617_48.min1.thm1
2017-02-06 12:46
1.8K
simplex1__607_34.min1.thm1
2017-02-06 12:46
1.8K
simplex1__606_38.min1.thm1
2017-02-06 12:46
474
simplex1__605_51.min1.thm1
2017-02-06 12:46
903
simplex1__587_34.min1.thm1
2017-02-06 12:46
1.2K
simplex1__583_33.min1.thm1
2017-02-06 12:46
713
simplex1__575_8.min1.thm1
2017-02-06 12:46
1.2K
simplex1__574_32.min1.thm1
2017-02-06 12:46
787
simplex1__572_14.min1.thm1
2017-02-06 12:46
713
simplex1__563_53.min1.thm1
2017-02-06 12:46
1.0K
simplex1__554_13.min1.thm1
2017-02-06 12:46
562
simplex1__553_20.min1.thm1
2017-02-06 12:46
292
simplex1__546_17.min1.thm1
2017-02-06 12:46
1.0K
simplex1__545_39.min1.thm1
2017-02-06 12:46
970
simplex1__529_22.min1.thm1
2017-02-06 12:46
1.1K
simplex1__521_13.min1.thm1
2017-02-06 12:46
669
simplex1__504_27.min1.thm1
2017-02-06 12:46
1.7K
simplex1__498_27.min1.thm1
2017-02-06 12:46
1.7K
simplex1__496_35.min1.thm1
2017-02-06 12:46
1.8K
simplex1__494_15.min1.thm1
2017-02-06 12:46
1.0K
simplex1__493_34.min1.thm1
2017-02-06 12:46
1.5K
simplex1__475_17.min1.thm1
2017-02-06 12:46
1.7K
simplex1__473_7.min1.thm1
2017-02-06 12:46
234
simplex1__469_28.min1.thm1
2017-02-06 12:46
1.3K
simplex1__462_32.min1.thm1
2017-02-06 12:46
1.4K
simplex1__453_54.min1.thm1.tptp
2017-02-06 16:47
317
simplex1__453_54.min1.thm1
2017-02-06 12:46
395
simplex1__449_21.min1.thm1.tptp
2017-02-06 16:47
286
simplex1__449_21.min1.thm1
2017-02-06 12:46
363
simplex1__441_36.min1.thm1
2017-02-06 12:46
1.2K
simplex1__440_34.min1.thm1.tptp
2017-02-06 16:47
308
simplex1__440_34.min1.thm1
2017-02-06 12:46
379
simplex1__438_55.min1.thm1
2017-02-06 12:46
516
simplex1__423_24.min1.thm1
2017-02-06 12:46
638
simplex1__422_28.min1.thm1
2017-02-06 12:46
745
simplex1__420_36.min1.thm1
2017-02-06 12:46
1.5K
simplex1__416_54.min1.thm1
2017-02-06 12:46
728
simplex1__391_32.min1.thm1
2017-02-06 12:46
2.1K
simplex1__390_39.min1.thm1
2017-02-06 12:46
1.2K
simplex1__389_34.min1.thm1
2017-02-06 12:46
855
simplex1__388_33.min1.thm1
2017-02-06 12:46
689
simplex1__375_17.min1.thm1.tptp
2017-02-06 16:47
308
simplex1__375_17.min1.thm1
2017-02-06 12:46
368
simplex1__372_73.min1.thm1
2017-02-06 12:46
650
simplex1__358_42.min1.thm1
2017-02-06 12:46
673
simplex1__354_18.min1.thm1
2017-02-06 12:46
796
simplex1__348_44.min1.thm1
2017-02-06 12:46
545
simplex1__346_15.min1.thm1
2017-02-06 12:46
1.5K
simplex1__323_34.min1.thm1
2017-02-06 12:46
468
simplex1__320_36.min1.thm1
2017-02-06 12:46
739
simplex1__319_27.min1.thm1
2017-02-06 12:46
749
simplex1__304_17.min1.thm1
2017-02-06 12:46
1.0K
simplex1__303_42.min1.thm1
2017-02-06 12:46
839
simplex1__302_28.min1.thm1
2017-02-06 12:46
479
simplex1__290_17.min1.thm1
2017-02-06 12:46
929
simplex1__289_28.min1.thm1
2017-02-06 12:46
479
simplex1__272_17.min1.thm1
2017-02-06 12:46
1.5K
simplex1__268_15.min1.thm1
2017-02-06 12:46
2.6K
simplex1__267_21.min1.thm1
2017-02-06 12:46
2.8K
simplex1__262_23.min1.thm1
2017-02-06 12:46
2.1K
simplex1__255_19.min1.thm1
2017-02-06 12:46
2.6K
simplex1__247_20.min1.thm1
2017-02-06 12:46
439
simplex1__242_24.min1.thm1
2017-02-06 12:46
624
simplex1__241_29.min1.thm1
2017-02-06 12:46
1.4K
simplex1__238_27.min1.thm1
2017-02-06 12:46
1.6K
simplex1__237_21.min1.thm1
2017-02-06 12:46
2.4K
simplex1__236_18.min1.thm1
2017-02-06 12:46
1.4K
simplex1__229_16.min1.thm1
2017-02-06 12:46
763
simplex1__228_36.min1.thm1.tptp
2017-02-06 16:47
480
simplex1__228_36.min1.thm1
2017-02-06 12:46
566
simplex1__227_16.min1.thm1
2017-02-06 12:46
901
simplex1__223_10.min1.thm1
2017-02-06 12:46
1.3K
simplex1__210_18.min1.thm1
2017-02-06 12:46
867
simplex1__209_43.min1.thm1
2017-02-06 12:46
682
simplex1__208_17.min1.thm1
2017-02-06 12:46
1.0K
simplex1__207_24.min1.thm1
2017-02-06 12:46
481
simplex1__204_24.min1.thm1
2017-02-06 12:46
607
simplex1__203_33.min1.thm1
2017-02-06 12:46
944
simplex1__202_21.min1.thm1.tptp
2017-02-06 16:47
336
simplex1__202_21.min1.thm1
2017-02-06 12:46
413
simplex1__201_19.min1.thm1
2017-02-06 12:46
576
simplex1__195_24.min1.thm1
2017-02-06 12:46
684
simplex1__192_17.min1.thm1
2017-02-06 12:46
613
simplex1__191_25.min1.thm1
2017-02-06 12:46
440
simplex1__186_26.min1.thm1.tptp
2017-02-06 16:47
338
simplex1__186_26.min1.thm1
2017-02-06 12:46
404
simplex1__181_40.min1.thm1
2017-02-06 12:46
1.1K
simplex1__180_7.min1.thm1.tptp
2017-02-06 16:47
270
simplex1__180_7.min1.thm1
2017-02-06 12:46
347
simplex1__179_34.min1.thm1
2017-02-06 12:46
773
simplex1__178_14.min1.thm1
2017-02-06 12:46
479
simplex1__177_20.min1.thm1
2017-02-06 12:46
549
simplex1__174_25.min1.thm1
2017-02-06 12:46
1.1K
simplex1__173_22.min1.thm1
2017-02-06 12:46
744
simplex1__171_22.min1.thm1.tptp
2017-02-06 16:47
595
simplex1__171_22.min1.thm1
2017-02-06 12:46
649
simplex1__165_18.min1.thm1
2017-02-06 12:46
607
simplex1__164_25.min1.thm1
2017-02-06 12:46
717
simplex1__163_37.min1.thm1
2017-02-06 12:46
552
simplex1__162_36.min1.thm1
2017-02-06 12:46
1.1K
simplex1__161_26.min1.thm1
2017-02-06 12:46
692
simplex1__158_26.min1.thm1
2017-02-06 12:46
1.3K
simplex1__157_31.min1.thm1.tptp
2017-02-06 16:47
466
simplex1__157_31.min1.thm1
2017-02-06 12:46
541
simplex1__156_29.min1.thm1
2017-02-06 12:46
850
simplex1__150_24.min1.thm1
2017-02-06 12:46
850
simplex1__144_35.min1.thm1
2017-02-06 12:46
838
simplex1__142_26.min1.thm1
2017-02-06 12:46
1.1K
simplex1__141_35.min1.thm1
2017-02-06 12:46
836
simplex1__139_26.min1.thm1
2017-02-06 12:46
1.1K
simplex1__138_26.min1.thm1
2017-02-06 12:46
1.0K
simplex1__137_35.min1.thm1
2017-02-06 12:46
1.2K
simplex1__131_19.min1.thm1
2017-02-06 12:46
1.9K
simplex1__130_34.min1.thm1
2017-02-06 12:46
1.2K
simplex1__129_31.min1.thm1
2017-02-06 12:46
894
simplex1__128_24.min1.thm1
2017-02-06 12:46
868
simplex1__127_20.min1.thm1.tptp
2017-02-06 16:47
426
simplex1__127_20.min1.thm1
2017-02-06 12:46
501
simplex1__126_24.min1.thm1
2017-02-06 12:46
1.0K
simplex1__125_20.min1.thm1
2017-02-06 12:46
710
simplex1__122_23.min1.thm1
2017-02-06 12:46
809
simplex1__109_25.min1.thm1
2017-02-06 12:46
745
simplex1__108_25.min1.thm1
2017-02-06 12:46
858
simplex1__107_25.min1.thm1.tptp
2017-02-06 16:47
475
simplex1__107_25.min1.thm1
2017-02-06 12:46
550
simplex1__106_24.min1.thm1
2017-02-06 12:46
859
simplex1__98_24.min1.thm1
2017-02-06 12:46
1.1K
simplex1__97_39.min1.thm1
2017-02-06 12:46
951
simplex1__96_19.min1.thm1
2017-02-06 12:46
636
simplex1__86_54.min1.thm1
2017-02-06 12:46
703
simplex1__84_26.min1.thm1
2017-02-06 12:46
512
simplex1__82_78.min1.thm1.tptp
2017-02-06 16:47
696
simplex1__82_78.min1.thm1
2017-02-06 12:46
749
simplex1__76_18.min1.thm1.tptp
2017-02-06 16:47
562
simplex1__76_18.min1.thm1
2017-02-06 12:46
633
simplex1__74_49.min1.thm1
2017-02-06 12:46
659
simplex1__72_32.min1.thm1
2017-02-06 12:46
671
simplex1__71_40.min1.thm1
2017-02-06 12:46
702
simplex1__60_11.min1.thm1
2017-02-06 12:46
240
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80