Index of /~mptp/1147/MPTP2/ilp0/finsub_1
Name
Last modified
Size
Description
Parent Directory
-
finsub_1__51_14.min1.thm1
2017-02-06 12:45
272
finsub_1__53_14.min1.thm1
2017-02-06 12:45
272
finsub_1__61_26.min1.thm1
2017-02-06 12:45
231
finsub_1__68_15.min1.thm1
2017-02-06 12:45
347
finsub_1__68_15.min1.thm1.tptp
2017-02-06 16:47
282
finsub_1__69_21.min1.thm1
2017-02-06 12:45
537
finsub_1__77_15.min1.thm1
2017-02-06 12:45
347
finsub_1__77_15.min1.thm1.tptp
2017-02-06 16:47
282
finsub_1__78_21.min1.thm1
2017-02-06 12:45
546
finsub_1__86_15.min1.thm1
2017-02-06 12:45
347
finsub_1__86_15.min1.thm1.tptp
2017-02-06 16:47
282
finsub_1__87_21.min1.thm1
2017-02-06 12:45
545
finsub_1__98_24.min1.thm1
2017-02-06 12:45
687
finsub_1__105_19.min1.thm1
2017-02-06 12:45
518
finsub_1__105_19.min1.thm1.tptp
2017-02-06 16:47
448
finsub_1__111_19.min1.thm1
2017-02-06 12:45
518
finsub_1__111_19.min1.thm1.tptp
2017-02-06 16:47
448
finsub_1__113_17.min1.thm1
2017-02-06 12:45
359
finsub_1__122_16.min1.thm1
2017-02-06 12:45
888
finsub_1__124_16.min1.thm1
2017-02-06 12:45
887
finsub_1__131_37.min1.thm1
2017-02-06 12:45
330
finsub_1__132_25.min1.thm1
2017-02-06 12:45
967
finsub_1__133_14.min1.thm1
2017-02-06 12:45
921
finsub_1__140_37.min1.thm1
2017-02-06 12:45
330
finsub_1__141_30.min1.thm1
2017-02-06 12:45
1.3K
finsub_1__142_14.min1.thm1
2017-02-06 12:45
1.2K
finsub_1__156_43.min1.thm1
2017-02-06 12:45
635
finsub_1__157_23.min1.thm1
2017-02-06 12:45
507
finsub_1__158_24.min1.thm1
2017-02-06 12:45
877
finsub_1__159_22.min1.thm1
2017-02-06 12:45
633
finsub_1__161_17.min1.thm1
2017-02-06 12:45
523
finsub_1__161_17.min1.thm1.tptp
2017-02-06 16:47
478
finsub_1__175_59.min1.thm1
2017-02-06 12:45
841
finsub_1__176_25.min1.thm1
2017-02-06 12:45
749
finsub_1__177_24.min1.thm1
2017-02-06 12:45
824
finsub_1__178_23.min1.thm1
2017-02-06 12:45
517
finsub_1__179_23.min1.thm1
2017-02-06 12:45
1.0K
finsub_1__181_17.min1.thm1
2017-02-06 12:45
530
finsub_1__181_17.min1.thm1.tptp
2017-02-06 16:47
485
finsub_1__195_23.min1.thm1
2017-02-06 12:45
648
finsub_1__196_59.min1.thm1
2017-02-06 12:45
841
finsub_1__197_25.min1.thm1
2017-02-06 12:45
656
finsub_1__198_49.min1.thm1
2017-02-06 12:45
904
finsub_1__199_22.min1.thm1
2017-02-06 12:45
517
finsub_1__200_23.min1.thm1
2017-02-06 12:45
1.0K
finsub_1__202_17.min1.thm1
2017-02-06 12:45
530
finsub_1__202_17.min1.thm1.tptp
2017-02-06 16:47
485
finsub_1__209_14.min1.thm1
2017-02-06 12:45
625
finsub_1__211_14.min1.thm1
2017-02-06 12:45
736
finsub_1__218_15.min1.thm1
2017-02-06 12:45
788
finsub_1__219_14.min1.thm1
2017-02-06 12:45
781
finsub_1__229_44.min1.thm1
2017-02-06 12:45
478
finsub_1__229_44.min1.thm1.tptp
2017-02-06 16:47
400
finsub_1__230_42.min1.thm1
2017-02-06 12:45
1.0K
finsub_1__231_44.min1.thm1
2017-02-06 12:45
1.3K
finsub_1__239_14.min1.thm1
2017-02-06 12:45
231
finsub_1__246_22.min1.thm1
2017-02-06 12:45
502
finsub_1__247_48.min1.thm1
2017-02-06 12:45
694
finsub_1__253_22.min1.thm1
2017-02-06 12:45
670
finsub_1__255_18.min1.thm1
2017-02-06 12:45
601
finsub_1__256_17.min1.thm1
2017-02-06 12:45
601
finsub_1__257_22.min1.thm1
2017-02-06 12:45
577
finsub_1__258_23.min1.thm1
2017-02-06 12:45
601
finsub_1__259_24.min1.thm1
2017-02-06 12:45
656
finsub_1__260_17.min1.thm1
2017-02-06 12:45
601
finsub_1__261_23.min1.thm1
2017-02-06 12:45
656
finsub_1__278_14.min1.thm1
2017-02-06 12:45
227
finsub_1__279_43.min1.thm1
2017-02-06 12:45
1.0K
finsub_1__289_21.min1.thm1
2017-02-06 12:45
570
finsub_1__293_21.min1.thm1
2017-02-06 12:45
570
finsub_1__294_21.min1.thm1
2017-02-06 12:45
589
finsub_1__295_22.min1.thm1
2017-02-06 12:45
509
finsub_1__296_21.min1.thm1
2017-02-06 12:45
1.7K
finsub_1__298_54.min1.thm1
2017-02-06 12:45
672
finsub_1__305_60.min1.thm1
2017-02-06 12:45
654
finsub_1__306_20.min1.thm1
2017-02-06 12:45
339
finsub_1__308_20.min1.thm1
2017-02-06 12:45
875
finsub_1__310_16.min1.thm1
2017-02-06 12:45
466
finsub_1__310_16.min1.thm1.tptp
2017-02-06 16:47
406
finsub_1__324_36.min1.thm1
2017-02-06 12:45
440
finsub_1__324_36.min1.thm1.tptp
2017-02-06 16:47
363
finsub_1__325_23.min1.thm1
2017-02-06 12:45
440
finsub_1__325_23.min1.thm1.tptp
2017-02-06 16:47
363
finsub_1__330_36.min1.thm1
2017-02-06 12:45
440
finsub_1__330_36.min1.thm1.tptp
2017-02-06 16:47
363
finsub_1__331_23.min1.thm1
2017-02-06 12:45
440
finsub_1__331_23.min1.thm1.tptp
2017-02-06 16:47
363
finsub_1__334_19.min1.thm1
2017-02-06 12:45
374
finsub_1__334_19.min1.thm1.tptp
2017-02-06 16:47
314
finsub_1__343_14.min1.thm1
2017-02-06 12:45
227
finsub_1__344_19.min1.thm1
2017-02-06 12:45
941
finsub_1__351_14.min1.thm1
2017-02-06 12:45
535
finsub_1__364_18.min1.thm1
2017-02-06 12:45
475
finsub_1__365_18.min1.thm1
2017-02-06 12:45
429
finsub_1__366_23.min1.thm1
2017-02-06 12:45
568
finsub_1__368_17.min1.thm1
2017-02-06 12:45
423
finsub_1__368_17.min1.thm1.tptp
2017-02-06 16:47
359
finsub_1__375_50.min1.thm1
2017-02-06 12:45
594
finsub_1__376_41.min1.thm1
2017-02-06 12:45
614
finsub_1__376_41.min1.thm1.tptp
2017-02-06 16:47
543
finsub_1__381_22.min1.thm1
2017-02-06 12:45
547
finsub_1__383_13.min1.thm1
2017-02-06 12:45
475
finsub_1__384_17.min1.thm1
2017-02-06 12:45
454
finsub_1__384_17.min1.thm1.tptp
2017-02-06 16:47
392
finsub_1__385_18.min1.thm1
2017-02-06 12:45
475
finsub_1__386_23.min1.thm1
2017-02-06 12:45
479
finsub_1__387_30.min1.thm1
2017-02-06 12:45
626
finsub_1__389_17.min1.thm1
2017-02-06 12:45
565
finsub_1__389_17.min1.thm1.tptp
2017-02-06 16:47
501
finsub_1__396_49.min1.thm1
2017-02-06 12:45
593
finsub_1__397_17.min1.thm1
2017-02-06 12:45
613
finsub_1__397_17.min1.thm1.tptp
2017-02-06 16:47
542
finsub_1__406_16.min1.thm1
2017-02-06 12:45
467
finsub_1__407_14.min1.thm1
2017-02-06 12:45
511
finsub_1__420_19.min1.thm1
2017-02-06 12:45
904
finsub_1__422_20.min1.thm1
2017-02-06 12:45
271
finsub_1__423_17.min1.thm1
2017-02-06 12:45
473
finsub_1__427_20.min1.thm1
2017-02-06 12:45
458
finsub_1__437_63.min1.thm1
2017-02-06 12:45
276
finsub_1__440_71.min1.thm1
2017-02-06 12:45
631
finsub_1__444_23.min1.thm1
2017-02-06 12:45
712
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80