Index of /~mptp/1147/MPTP2/ilp0/subset_1
Name
Last modified
Size
Description
Parent Directory
-
subset_1__33_14.min1.thm1
2017-02-06 12:46
605
subset_1__39_14.min1.thm1
2017-02-06 12:46
417
subset_1__39_14.min1.thm1.tptp
2017-02-06 16:47
365
subset_1__42_14.min1.thm1
2017-02-06 12:46
637
subset_1__45_14.min1.thm1
2017-02-06 12:46
672
subset_1__48_14.min1.thm1
2017-02-06 12:46
522
subset_1__48_14.min1.thm1.tptp
2017-02-06 16:47
479
subset_1__51_14.min1.thm1
2017-02-06 12:46
742
subset_1__54_14.min1.thm1
2017-02-06 12:46
787
subset_1__57_14.min1.thm1
2017-02-06 12:46
641
subset_1__57_14.min1.thm1.tptp
2017-02-06 16:47
607
subset_1__60_14.min1.thm1
2017-02-06 12:46
681
subset_1__60_14.min1.thm1.tptp
2017-02-06 16:47
650
subset_1__67_14.min1.thm1
2017-02-06 12:46
402
subset_1__67_14.min1.thm1.tptp
2017-02-06 16:47
332
subset_1__68_13.min1.thm1
2017-02-06 12:46
130
subset_1__71_12.min1.thm1
2017-02-06 12:46
192
subset_1__74_15.min1.thm1
2017-02-06 12:46
197
subset_1__79_18.min1.thm1
2017-02-06 12:46
385
subset_1__79_18.min1.thm1.tptp
2017-02-06 16:47
327
subset_1__94_18.min1.thm1
2017-02-06 12:46
356
subset_1__94_18.min1.thm1.tptp
2017-02-06 16:47
293
subset_1__95_28.min1.thm1
2017-02-06 12:46
511
subset_1__96_16.min1.thm1
2017-02-06 12:46
356
subset_1__96_16.min1.thm1.tptp
2017-02-06 16:47
273
subset_1__106_15.min1.thm1
2017-02-06 12:46
308
subset_1__106_15.min1.thm1.tptp
2017-02-06 16:47
231
subset_1__108_15.min1.thm1
2017-02-06 12:46
308
subset_1__108_15.min1.thm1.tptp
2017-02-06 16:47
231
subset_1__109_27.min1.thm1
2017-02-06 12:46
659
subset_1__110_16.min1.thm1
2017-02-06 12:46
498
subset_1__117_11.min1.thm1
2017-02-06 12:46
621
subset_1__123_11.min1.thm1
2017-02-06 12:46
1.0K
subset_1__132_18.min1.thm1
2017-02-06 12:46
535
subset_1__134_13.min1.thm1
2017-02-06 12:46
365
subset_1__134_13.min1.thm1.tptp
2017-02-06 16:47
296
subset_1__135_13.min1.thm1
2017-02-06 12:46
544
subset_1__136_18.min1.thm1
2017-02-06 12:46
432
subset_1__137_19.min1.thm1
2017-02-06 12:46
493
subset_1__145_16.min1.thm1
2017-02-06 12:46
504
subset_1__146_16.min1.thm1
2017-02-06 12:46
363
subset_1__146_16.min1.thm1.tptp
2017-02-06 16:47
294
subset_1__147_17.min1.thm1
2017-02-06 12:46
421
subset_1__155_14.min1.thm1
2017-02-06 12:46
227
subset_1__156_24.min1.thm1
2017-02-06 12:46
363
subset_1__156_24.min1.thm1.tptp
2017-02-06 16:47
294
subset_1__157_29.min1.thm1
2017-02-06 12:46
509
subset_1__158_16.min1.thm1
2017-02-06 12:46
406
subset_1__168_14.min1.thm1
2017-02-06 12:46
227
subset_1__169_24.min1.thm1
2017-02-06 12:46
363
subset_1__169_24.min1.thm1.tptp
2017-02-06 16:47
294
subset_1__170_19.min1.thm1
2017-02-06 12:46
339
subset_1__170_19.min1.thm1.tptp
2017-02-06 16:47
270
subset_1__172_13.min1.thm1
2017-02-06 12:46
131
subset_1__177_18.min1.thm1
2017-02-06 12:46
359
subset_1__177_18.min1.thm1.tptp
2017-02-06 16:47
296
subset_1__178_19.min1.thm1
2017-02-06 12:46
517
subset_1__180_13.min1.thm1
2017-02-06 12:46
131
subset_1__186_11.min1.thm1
2017-02-06 12:46
285
subset_1__186_11.min1.thm1.tptp
2017-02-06 16:47
202
subset_1__192_10.min1.thm1
2017-02-06 12:46
227
subset_1__193_14.min1.thm1
2017-02-06 12:46
323
subset_1__193_14.min1.thm1.tptp
2017-02-06 16:47
243
subset_1__206_16.min1.thm1
2017-02-06 12:46
455
subset_1__207_27.min1.thm1
2017-02-06 12:46
483
subset_1__208_17.min1.thm1
2017-02-06 12:46
457
subset_1__215_26.min1.thm1
2017-02-06 12:46
739
subset_1__223_13.min1.thm1
2017-02-06 12:46
370
subset_1__224_11.min1.thm1
2017-02-06 12:46
455
subset_1__225_27.min1.thm1
2017-02-06 12:46
483
subset_1__226_17.min1.thm1
2017-02-06 12:46
347
subset_1__226_17.min1.thm1.tptp
2017-02-06 16:47
266
subset_1__235_17.min1.thm1
2017-02-06 12:46
274
subset_1__236_27.min1.thm1
2017-02-06 12:46
429
subset_1__236_27.min1.thm1.tptp
2017-02-06 16:47
360
subset_1__237_19.min1.thm1
2017-02-06 12:46
575
subset_1__239_13.min1.thm1
2017-02-06 12:46
131
subset_1__245_18.min1.thm1
2017-02-06 12:46
520
subset_1__246_18.min1.thm1
2017-02-06 12:46
379
subset_1__246_18.min1.thm1.tptp
2017-02-06 16:47
310
subset_1__247_29.min1.thm1
2017-02-06 12:46
640
subset_1__248_29.min1.thm1
2017-02-06 12:46
628
subset_1__249_17.min1.thm1
2017-02-06 12:46
525
subset_1__249_17.min1.thm1.tptp
2017-02-06 16:47
452
subset_1__255_18.min1.thm1
2017-02-06 12:46
508
subset_1__257_13.min1.thm1
2017-02-06 12:46
371
subset_1__257_13.min1.thm1.tptp
2017-02-06 16:47
302
subset_1__258_18.min1.thm1
2017-02-06 12:46
508
subset_1__259_18.min1.thm1
2017-02-06 12:46
371
subset_1__259_18.min1.thm1.tptp
2017-02-06 16:47
302
subset_1__260_23.min1.thm1
2017-02-06 12:46
478
subset_1__261_28.min1.thm1
2017-02-06 12:46
429
subset_1__261_28.min1.thm1.tptp
2017-02-06 16:47
360
subset_1__262_19.min1.thm1
2017-02-06 12:46
575
subset_1__267_18.min1.thm1
2017-02-06 12:46
508
subset_1__268_31.min1.thm1
2017-02-06 12:46
520
subset_1__270_17.min1.thm1
2017-02-06 12:46
456
subset_1__270_17.min1.thm1.tptp
2017-02-06 16:47
385
subset_1__271_18.min1.thm1
2017-02-06 12:46
508
subset_1__272_31.min1.thm1
2017-02-06 12:46
520
subset_1__273_22.min1.thm1
2017-02-06 12:46
456
subset_1__273_22.min1.thm1.tptp
2017-02-06 16:47
385
subset_1__274_35.min1.thm1
2017-02-06 12:46
594
subset_1__275_29.min1.thm1
2017-02-06 12:46
598
subset_1__276_19.min1.thm1
2017-02-06 12:46
686
subset_1__285_17.min1.thm1
2017-02-06 12:46
274
subset_1__286_27.min1.thm1
2017-02-06 12:46
429
subset_1__286_27.min1.thm1.tptp
2017-02-06 16:47
360
subset_1__287_19.min1.thm1
2017-02-06 12:46
575
subset_1__296_18.min1.thm1
2017-02-06 12:46
508
subset_1__297_31.min1.thm1
2017-02-06 12:46
612
subset_1__298_22.min1.thm1
2017-02-06 12:46
456
subset_1__298_22.min1.thm1.tptp
2017-02-06 16:47
385
subset_1__299_27.min1.thm1
2017-02-06 12:46
429
subset_1__299_27.min1.thm1.tptp
2017-02-06 16:47
360
subset_1__300_33.min1.thm1
2017-02-06 12:46
575
subset_1__309_18.min1.thm1
2017-02-06 12:46
508
subset_1__310_32.min1.thm1
2017-02-06 12:46
520
subset_1__311_23.min1.thm1
2017-02-06 12:46
456
subset_1__311_23.min1.thm1.tptp
2017-02-06 16:47
385
subset_1__312_28.min1.thm1
2017-02-06 12:46
429
subset_1__312_28.min1.thm1.tptp
2017-02-06 16:47
360
subset_1__313_19.min1.thm1
2017-02-06 12:46
575
subset_1__322_25.min1.thm1
2017-02-06 12:46
460
subset_1__322_25.min1.thm1.tptp
2017-02-06 16:47
385
subset_1__323_16.min1.thm1
2017-02-06 12:46
677
subset_1__336_28.min1.thm1
2017-02-06 12:46
552
subset_1__337_24.min1.thm1
2017-02-06 12:46
836
subset_1__339_22.min1.thm1
2017-02-06 12:46
1.0K
subset_1__343_28.min1.thm1
2017-02-06 12:46
836
subset_1__344_19.min1.thm1
2017-02-06 12:46
552
subset_1__346_17.min1.thm1
2017-02-06 12:46
1.0K
subset_1__358_27.min1.thm1
2017-02-06 12:46
552
subset_1__359_24.min1.thm1
2017-02-06 12:46
708
subset_1__361_22.min1.thm1
2017-02-06 12:46
919
subset_1__365_27.min1.thm1
2017-02-06 12:46
708
subset_1__366_19.min1.thm1
2017-02-06 12:46
552
subset_1__368_17.min1.thm1
2017-02-06 12:46
919
subset_1__380_31.min1.thm1
2017-02-06 12:46
558
subset_1__381_23.min1.thm1
2017-02-06 12:46
714
subset_1__383_21.min1.thm1
2017-02-06 12:46
919
subset_1__387_31.min1.thm1
2017-02-06 12:46
714
subset_1__388_19.min1.thm1
2017-02-06 12:46
558
subset_1__390_17.min1.thm1
2017-02-06 12:46
919
subset_1__402_54.min1.thm1
2017-02-06 12:46
657
subset_1__403_36.min1.thm1
2017-02-06 12:46
1.0K
subset_1__404_25.min1.thm1
2017-02-06 12:46
1.1K
subset_1__406_23.min1.thm1
2017-02-06 12:46
1.0K
subset_1__410_36.min1.thm1
2017-02-06 12:46
1.1K
subset_1__411_54.min1.thm1
2017-02-06 12:46
1.0K
subset_1__412_19.min1.thm1
2017-02-06 12:46
657
subset_1__414_17.min1.thm1
2017-02-06 12:46
1.0K
subset_1__418_17.min1.thm1
2017-02-06 12:46
550
subset_1__423_16.min1.thm1
2017-02-06 12:46
504
subset_1__424_16.min1.thm1
2017-02-06 12:46
363
subset_1__424_16.min1.thm1.tptp
2017-02-06 16:47
294
subset_1__425_17.min1.thm1
2017-02-06 12:46
1.0K
subset_1__431_16.min1.thm1
2017-02-06 12:46
504
subset_1__432_16.min1.thm1
2017-02-06 12:46
363
subset_1__432_16.min1.thm1.tptp
2017-02-06 16:47
294
subset_1__433_17.min1.thm1
2017-02-06 12:46
880
subset_1__439_33.min1.thm1
2017-02-06 12:46
689
subset_1__440_16.min1.thm1
2017-02-06 12:46
700
subset_1__440_21.min1.thm1
2017-02-06 12:46
438
subset_1__440_21.min1.thm1.tptp
2017-02-06 16:47
364
subset_1__441_14.min1.thm1
2017-02-06 12:46
700
subset_1__441_19.min1.thm1
2017-02-06 12:46
438
subset_1__441_19.min1.thm1.tptp
2017-02-06 16:47
364
subset_1__442_17.min1.thm1
2017-02-06 12:46
725
subset_1__448_16.min1.thm1
2017-02-06 12:46
504
subset_1__450_13.min1.thm1
2017-02-06 12:46
363
subset_1__450_13.min1.thm1.tptp
2017-02-06 16:47
294
subset_1__451_32.min1.thm1
2017-02-06 12:46
1.5K
subset_1__452_15.min1.thm1
2017-02-06 12:46
775
subset_1__458_16.min1.thm1
2017-02-06 12:46
504
subset_1__460_13.min1.thm1
2017-02-06 12:46
363
subset_1__460_13.min1.thm1.tptp
2017-02-06 16:47
294
subset_1__461_38.min1.thm1
2017-02-06 12:46
1.6K
subset_1__462_17.min1.thm1
2017-02-06 12:46
1.1K
subset_1__468_16.min1.thm1
2017-02-06 12:46
504
subset_1__470_13.min1.thm1
2017-02-06 12:46
363
subset_1__470_13.min1.thm1.tptp
2017-02-06 16:47
294
subset_1__472_34.min1.thm1
2017-02-06 12:46
1.5K
subset_1__473_32.min1.thm1
2017-02-06 12:46
1.6K
subset_1__480_18.min1.thm1
2017-02-06 12:46
861
subset_1__481_14.min1.thm1
2017-02-06 12:46
581
subset_1__488_19.min1.thm1
2017-02-06 12:46
861
subset_1__489_14.min1.thm1
2017-02-06 12:46
581
subset_1__495_33.min1.thm1
2017-02-06 12:46
607
subset_1__496_16.min1.thm1
2017-02-06 12:46
504
subset_1__497_17.min1.thm1
2017-02-06 12:46
763
subset_1__506_24.min1.thm1
2017-02-06 12:46
908
subset_1__507_16.min1.thm1
2017-02-06 12:46
525
subset_1__510_17.min1.thm1
2017-02-06 12:46
671
subset_1__511_17.min1.thm1
2017-02-06 12:46
346
subset_1__511_17.min1.thm1.tptp
2017-02-06 16:47
263
subset_1__515_36.min1.thm1
2017-02-06 12:46
557
subset_1__520_16.min1.thm1
2017-02-06 12:46
643
subset_1__521_17.min1.thm1
2017-02-06 12:46
936
subset_1__527_16.min1.thm1
2017-02-06 12:46
516
subset_1__528_17.min1.thm1
2017-02-06 12:46
902
subset_1__542_17.min1.thm1
2017-02-06 12:46
514
subset_1__543_13.min1.thm1
2017-02-06 12:46
463
subset_1__544_19.min1.thm1
2017-02-06 12:46
709
subset_1__551_13.min1.thm1
2017-02-06 12:46
453
subset_1__551_13.min1.thm1.tptp
2017-02-06 16:47
399
subset_1__552_15.min1.thm1
2017-02-06 12:46
779
subset_1__559_8.min1.thm1
2017-02-06 12:46
436
subset_1__559_8.min1.thm1.tptp
2017-02-06 16:47
362
subset_1__560_17.min1.thm1
2017-02-06 12:46
856
subset_1__569_18.min1.thm1
2017-02-06 12:46
504
subset_1__576_17.min1.thm1
2017-02-06 12:46
512
subset_1__577_13.min1.thm1
2017-02-06 12:46
365
subset_1__577_13.min1.thm1.tptp
2017-02-06 16:47
296
subset_1__578_18.min1.thm1
2017-02-06 12:46
431
subset_1__579_19.min1.thm1
2017-02-06 12:46
709
subset_1__582_34.min1.thm1
2017-02-06 12:46
589
subset_1__582_34.min1.thm1.tptp
2017-02-06 16:47
532
subset_1__585_16.min1.thm1
2017-02-06 12:46
618
subset_1__586_17.min1.thm1
2017-02-06 12:46
876
subset_1__593_20.min1.thm1
2017-02-06 12:46
490
subset_1__594_17.min1.thm1
2017-02-06 12:46
635
subset_1__608_27.min1.thm1
2017-02-06 12:46
483
subset_1__609_17.min1.thm1
2017-02-06 12:46
348
subset_1__609_17.min1.thm1.tptp
2017-02-06 16:47
267
subset_1__621_29.min1.thm1
2017-02-06 12:46
491
subset_1__622_19.min1.thm1
2017-02-06 12:46
356
subset_1__622_19.min1.thm1.tptp
2017-02-06 16:47
275
subset_1__624_16.min1.thm1
2017-02-06 12:46
504
subset_1__625_17.min1.thm1
2017-02-06 12:46
363
subset_1__625_17.min1.thm1.tptp
2017-02-06 16:47
294
subset_1__637_11.min1.thm1
2017-02-06 12:46
540
subset_1__638_17.min1.thm1
2017-02-06 12:46
697
subset_1__652_18.min1.thm1
2017-02-06 12:46
506
subset_1__653_18.min1.thm1
2017-02-06 12:46
367
subset_1__653_18.min1.thm1.tptp
2017-02-06 16:47
298
subset_1__654_18.min1.thm1
2017-02-06 12:46
431
subset_1__655_29.min1.thm1
2017-02-06 12:46
491
subset_1__657_17.min1.thm1
2017-02-06 12:46
476
subset_1__658_13.min1.thm1
2017-02-06 12:46
463
subset_1__659_19.min1.thm1
2017-02-06 12:46
709
subset_1__664_17.min1.thm1
2017-02-06 12:46
660
subset_1__665_17.min1.thm1
2017-02-06 12:46
421
subset_1__665_17.min1.thm1.tptp
2017-02-06 16:47
352
subset_1__666_16.min1.thm1
2017-02-06 12:46
479
subset_1__667_38.min1.thm1
2017-02-06 12:46
483
subset_1__668_15.min1.thm1
2017-02-06 12:46
689
subset_1__669_17.min1.thm1
2017-02-06 12:46
535
subset_1__677_59.min1.thm1
2017-02-06 12:46
372
subset_1__678_17.min1.thm1
2017-02-06 12:46
725
subset_1__686_59.min1.thm1
2017-02-06 12:46
372
subset_1__687_17.min1.thm1
2017-02-06 12:46
725
subset_1__697_14.min1.thm1
2017-02-06 12:46
540
subset_1__702_19.min1.thm1
2017-02-06 12:46
430
subset_1__704_24.min1.thm1
2017-02-06 12:46
385
subset_1__704_24.min1.thm1.tptp
2017-02-06 16:47
316
subset_1__705_17.min1.thm1
2017-02-06 12:46
531
subset_1__713_24.min1.thm1
2017-02-06 12:46
742
subset_1__718_19.min1.thm1
2017-02-06 12:46
508
subset_1__720_27.min1.thm1
2017-02-06 12:46
417
subset_1__720_27.min1.thm1.tptp
2017-02-06 16:47
348
subset_1__721_17.min1.thm1
2017-02-06 12:46
563
subset_1__730_14.min1.thm1
2017-02-06 12:46
540
subset_1__731_24.min1.thm1
2017-02-06 12:46
742
subset_1__736_19.min1.thm1
2017-02-06 12:46
635
subset_1__738_30.min1.thm1
2017-02-06 12:46
453
subset_1__738_30.min1.thm1.tptp
2017-02-06 16:47
384
subset_1__739_17.min1.thm1
2017-02-06 12:46
599
subset_1__748_24.min1.thm1
2017-02-06 12:46
742
subset_1__749_24.min1.thm1
2017-02-06 12:46
742
subset_1__754_19.min1.thm1
2017-02-06 12:46
716
subset_1__756_33.min1.thm1
2017-02-06 12:46
485
subset_1__756_33.min1.thm1.tptp
2017-02-06 16:47
416
subset_1__757_17.min1.thm1
2017-02-06 12:46
631
subset_1__769_6.min1.thm1
2017-02-06 12:46
628
subset_1__771_19.min1.thm1
2017-02-06 12:46
1.4K
subset_1__773_36.min1.thm1
2017-02-06 12:46
517
subset_1__773_36.min1.thm1.tptp
2017-02-06 16:47
448
subset_1__774_17.min1.thm1
2017-02-06 12:46
663
subset_1__786_14.min1.thm1
2017-02-06 12:46
703
subset_1__788_19.min1.thm1
2017-02-06 12:46
1.5K
subset_1__790_39.min1.thm1
2017-02-06 12:46
549
subset_1__790_39.min1.thm1.tptp
2017-02-06 16:47
480
subset_1__791_17.min1.thm1
2017-02-06 12:46
695
subset_1__803_26.min1.thm1
2017-02-06 12:46
778
subset_1__805_19.min1.thm1
2017-02-06 12:46
1.6K
subset_1__807_42.min1.thm1
2017-02-06 12:46
581
subset_1__807_42.min1.thm1.tptp
2017-02-06 16:47
512
subset_1__808_17.min1.thm1
2017-02-06 12:46
727
subset_1__820_38.min1.thm1
2017-02-06 12:46
863
subset_1__822_19.min1.thm1
2017-02-06 12:46
1.8K
subset_1__824_45.min1.thm1
2017-02-06 12:46
613
subset_1__824_45.min1.thm1.tptp
2017-02-06 16:47
544
subset_1__825_17.min1.thm1
2017-02-06 12:46
759
subset_1__832_18.min1.thm1
2017-02-06 12:46
344
subset_1__832_18.min1.thm1.tptp
2017-02-06 16:47
266
subset_1__833_23.min1.thm1
2017-02-06 12:46
385
subset_1__833_23.min1.thm1.tptp
2017-02-06 16:47
316
subset_1__834_17.min1.thm1
2017-02-06 12:46
531
subset_1__845_18.min1.thm1
2017-02-06 12:46
357
subset_1__847_23.min1.thm1
2017-02-06 12:46
369
subset_1__847_23.min1.thm1.tptp
2017-02-06 16:47
300
subset_1__848_39.min1.thm1
2017-02-06 12:46
515
subset_1__850_16.min1.thm1
2017-02-06 12:46
418
subset_1__850_16.min1.thm1.tptp
2017-02-06 16:47
354
subset_1__864_18.min1.thm1
2017-02-06 12:46
463
subset_1__865_24.min1.thm1
2017-02-06 12:46
463
subset_1__868_16.min1.thm1
2017-02-06 12:46
459
subset_1__869_19.min1.thm1
2017-02-06 12:46
459
subset_1__871_17.min1.thm1
2017-02-06 12:46
666
subset_1__880_31.min1.thm1
2017-02-06 12:46
324
subset_1__880_31.min1.thm1.tptp
2017-02-06 16:47
247
subset_1__881_19.min1.thm1
2017-02-06 12:46
441
subset_1__881_19.min1.thm1.tptp
2017-02-06 16:47
383
subset_1__891_23.min1.thm1
2017-02-06 12:46
379
subset_1__891_23.min1.thm1.tptp
2017-02-06 16:47
300
subset_1__899_13.min1.thm1
2017-02-06 12:46
262
subset_1__909_16.min1.thm1
2017-02-06 12:46
371
subset_1__909_16.min1.thm1.tptp
2017-02-06 16:47
307
subset_1__910_21.min1.thm1
2017-02-06 12:46
363
subset_1__910_21.min1.thm1.tptp
2017-02-06 16:47
294
subset_1__911_17.min1.thm1
2017-02-06 12:46
509
subset_1__917_16.min1.thm1
2017-02-06 12:46
455
subset_1__918_17.min1.thm1
2017-02-06 12:46
483
subset_1__928_50.min1.thm1
2017-02-06 12:46
322
subset_1__929_39.min1.thm1
2017-02-06 12:46
409
subset_1__929_39.min1.thm1.tptp
2017-02-06 16:47
345
subset_1__932_13.min1.thm1
2017-02-06 12:46
482
subset_1__933_17.min1.thm1
2017-02-06 12:46
490
subset_1__949_46.min1.thm1
2017-02-06 12:46
471
subset_1__950_11.min1.thm1
2017-02-06 12:46
539
subset_1__951_19.min1.thm1
2017-02-06 12:46
539
subset_1__956_44.min1.thm1
2017-02-06 12:46
463
subset_1__957_9.min1.thm1
2017-02-06 12:46
521
subset_1__958_17.min1.thm1
2017-02-06 12:46
521
subset_1__967_15.min1.thm1
2017-02-06 12:46
561
subset_1__967_20.min1.thm1
2017-02-06 12:46
438
subset_1__967_20.min1.thm1.tptp
2017-02-06 16:47
364
subset_1__978_18.min1.thm1
2017-02-06 12:46
520
subset_1__979_18.min1.thm1
2017-02-06 12:46
379
subset_1__979_18.min1.thm1.tptp
2017-02-06 16:47
310
subset_1__980_19.min1.thm1
2017-02-06 12:46
509
subset_1__998_17.min1.thm1
2017-02-06 12:46
226
subset_1__1008_15.min1.thm1
2017-02-06 12:46
314
subset_1__1008_15.min1.thm1.tptp
2017-02-06 16:47
232
subset_1__1019_16.min1.thm1
2017-02-06 12:46
304
subset_1__1019_16.min1.thm1.tptp
2017-02-06 16:47
216
subset_1__1022_11.min1.thm1
2017-02-06 12:46
441
subset_1__1022_11.min1.thm1.tptp
2017-02-06 16:47
378
subset_1__1031_18.min1.thm1
2017-02-06 12:46
361
subset_1__1041_14.min1.thm1
2017-02-06 12:46
508
subset_1__1056_16.min1.thm1
2017-02-06 12:46
751
subset_1__1057_33.min1.thm1
2017-02-06 12:46
483
subset_1__1058_33.min1.thm1
2017-02-06 12:46
483
subset_1__1060_16.min1.thm1
2017-02-06 12:46
508
subset_1__1073_17.min1.thm1
2017-02-06 12:46
961
subset_1__1074_17.min1.thm1
2017-02-06 12:46
693
subset_1__1076_11.min1.thm1
2017-02-06 12:46
336
subset_1__1076_11.min1.thm1.tptp
2017-02-06 16:47
262
subset_1__1077_17.min1.thm1
2017-02-06 12:46
1.1K
subset_1__1090_24.min1.thm1
2017-02-06 12:46
646
subset_1__1091_19.min1.thm1
2017-02-06 12:46
493
subset_1__1097_50.min1.thm1
2017-02-06 12:46
599
subset_1__1098_19.min1.thm1
2017-02-06 12:46
429
subset_1__1098_19.min1.thm1.tptp
2017-02-06 16:47
359
subset_1__1106_28.min1.thm1
2017-02-06 12:46
515
subset_1__1107_35.min1.thm1
2017-02-06 12:46
384
subset_1__1107_35.min1.thm1.tptp
2017-02-06 16:47
306
subset_1__1108_40.min1.thm1
2017-02-06 12:46
425
subset_1__1108_40.min1.thm1.tptp
2017-02-06 16:47
356
subset_1__1109_60.min1.thm1
2017-02-06 12:46
571
subset_1__1111_22.min1.thm1
2017-02-06 12:46
332
subset_1__1111_22.min1.thm1.tptp
2017-02-06 16:47
247
subset_1__1114_55.min1.thm1
2017-02-06 12:46
570
subset_1__1115_15.min1.thm1
2017-02-06 12:46
310
subset_1__1127_28.min1.thm1
2017-02-06 12:46
585
subset_1__1128_19.min1.thm1
2017-02-06 12:46
478
subset_1__1138_15.min1.thm1
2017-02-06 12:46
294
subset_1__1138_15.min1.thm1.tptp
2017-02-06 16:47
209
subset_1__1150_15.min1.thm1
2017-02-06 12:46
386
subset_1__1150_15.min1.thm1.tptp
2017-02-06 16:47
330
subset_1__1151_24.min1.thm1
2017-02-06 12:46
545
subset_1__1152_44.min1.thm1
2017-02-06 12:46
575
subset_1__1154_39.min1.thm1
2017-02-06 12:46
573
subset_1__1162_15.min1.thm1
2017-02-06 12:46
363
subset_1__1162_15.min1.thm1.tptp
2017-02-06 16:47
287
subset_1__1163_11.min1.thm1
2017-02-06 12:46
335
subset_1__1163_11.min1.thm1.tptp
2017-02-06 16:47
270
subset_1__1164_38.min1.thm1
2017-02-06 12:46
483
subset_1__1166_16.min1.thm1
2017-02-06 12:46
310
subset_1__1166_16.min1.thm1.tptp
2017-02-06 16:47
228
subset_1__1177_44.min1.thm1
2017-02-06 12:46
813
subset_1__1178_14.min1.thm1
2017-02-06 12:46
723
subset_1__1189_15.min1.thm1
2017-02-06 12:46
389
subset_1__1189_15.min1.thm1.tptp
2017-02-06 16:47
333
subset_1__1190_24.min1.thm1
2017-02-06 12:46
260
subset_1__1191_17.min1.thm1
2017-02-06 12:46
406
subset_1__1191_17.min1.thm1.tptp
2017-02-06 16:47
332
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80