Autonomous Subproject

Message boards : News : Autonomous Subproject
Message board moderation

To post messages, you must log in.

Previous · 1 . . . 6 · 7 · 8 · 9 · 10 · 11 · 12 . . . 15 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 545 - Posted: 3 Jan 2019, 19:11:02 UTC - in response to Message 544.  
Last modified: 3 Jan 2019, 19:15:57 UTC

So for the test i have to copy first A18.txt into a.txt. Correct? Because a.txt is empty after extracting from the zip file.

No, nothing needs to be copied.
The required line is already written in the file A18.txt
4 3 7 2 1 9 5 6

You immediately run the script gener_check.bat.

The a.txt file is used to clear the rez.txt file when the script is re-executed.
ID: 545 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Tomas Brada

Send message
Joined: 22 Jan 18
Posts: 63
Credit: 373,915
RAC: 0
Message 546 - Posted: 3 Jan 2019, 19:40:21 UTC

I queued up IIEWQJGFS..KACUWDOLD ( #15851 + 4096 ) from 44323p.
ID: 546 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Tomas Brada

Send message
Joined: 22 Jan 18
Posts: 63
Credit: 373,915
RAC: 0
Message 547 - Posted: 3 Jan 2019, 22:01:15 UTC

I queue up KACUWDPFG..KAGKLWHJA ( #19947 + 768 ) for my other computer.
ID: 547 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 548 - Posted: 4 Jan 2019, 4:55:06 UTC

XAVER
I received and processed your results (results_xav03.txt, IIEWDRATK - IIEWQJFSG).
Found 108 unique CFs ODLS.

All is well.
Thanks!
ID: 548 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 549 - Posted: 4 Jan 2019, 5:15:56 UTC

Remind everyone

now you select for checking familys names from the names_44323p_21332.txt file starting with family #20715 - KAGKLWMJB.

It remains to check 618 families.
ID: 549 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
XAVER
Avatar

Send message
Joined: 27 Dec 18
Posts: 12
Credit: 5,932
RAC: 0
Message 550 - Posted: 4 Jan 2019, 8:20:34 UTC

I do the rest from KAGKLWMJB to KAGKXQHPC.

XAVER
ID: 550 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 551 - Posted: 4 Jan 2019, 9:27:57 UTC
Last modified: 4 Jan 2019, 9:37:09 UTC

XAVER
I received test results from a new experiment. Thanks.
These results coincide with my results.

Your test took 2 hours and 40 minutes. This is a good time.

We can run this experiment.
We will call this experiment PADLS (pseudo-associative DLSs).

I ask everyone to write me how many rows you want to get.
I remind you: one row gives one WU.

You need to make your own script - how you want to perform the experiment.
For example, you get 10 rows from me.
You need to write one row in the file A18.txt and run the script gener_check.bat.
Save results from file output.txt.

Then repeat everything for the next row.

I am already performing this experiment.
I do not have a universal script for a few rows. I do this for each row separately.

Link
https://cloud.mail.ru/public/FABN/hU8fFevUD
ID: 551 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 552 - Posted: 4 Jan 2019, 9:38:41 UTC - in response to Message 550.  

I do the rest from KAGKLWMJB to KAGKXQHPC.

Good. You are completing this experiment.
ID: 552 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Tomas Brada

Send message
Joined: 22 Jan 18
Posts: 63
Credit: 373,915
RAC: 0
Message 553 - Posted: 4 Jan 2019, 10:43:33 UTC

Miss Makarova,
Can you show me the source to your two generators?
I already have sources to the gen_lk_4_31_31 and family_mar.
I found several versions of kanonizators by Belyshev (dlk, lk, lk to dlk), but I do not know which is for this experiment (kanonizator_dlk_1.03), can you plese link me to that too?
Thank you.
ID: 553 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Tomas Brada

Send message
Joined: 22 Jan 18
Posts: 63
Credit: 373,915
RAC: 0
Message 554 - Posted: 4 Jan 2019, 12:39:24 UTC

I run PADLS test and it finished.
ASS_DLK10A.exe took 0m 28s
PSEVDOASS_DLK_new.exe took 2m 23s
kanonizator_dlk_1.03.exe took 6s
recompiled family_mar took 180m

I got 20 марьяжных ДЛК. MD5 of the output.txt is a667a63917dff740000049d806c827e4.

Канонизатор ДЛК10

Загружена хеш-таблица
Время загрузки:         0.003 сек
Введено ДЛК:            568147
Время загрузки:         4.877 сек
Найдено КФ:             304574
Время поиска:           1.193 сек
КФ записаны в файл:     output.txt
Время записи:           0.161 сек
Общее время работы:     6.297 сек

Поиск марьяжных ДЛК (кроме симметричных) для семейства ЛК

Введено ЛК: 304574


Время работы в сек   : 10699.7
Найдено марьяжных ДЛК: 20
Они записаны в файл output.txt
ID: 554 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 555 - Posted: 4 Jan 2019, 13:35:32 UTC - in response to Message 553.  
Last modified: 4 Jan 2019, 13:51:24 UTC

Miss Makarova,
Can you show me the source to your two generators?
I already have sources to the gen_lk_4_31_31 and family_mar.
I found several versions of kanonizators by Belyshev (dlk, lk, lk to dlk), but I do not know which is for this experiment (kanonizator_dlk_1.03), can you plese link me to that too?

I can send you the source codes of my two generators.
But these source codes are written in BASIC.
Can you handle this?

ice00 tried to rewrite the first generator ASS_DLK10A on C++
But his version does not work.

The program kanonizator_dlk_1.03 of Belyshev has the source.
Link
https://cloud.mail.ru/public/3RNv/rWFVkYDGc
ID: 555 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 556 - Posted: 4 Jan 2019, 14:00:37 UTC
Last modified: 4 Jan 2019, 14:01:04 UTC

I got 20 марьяжных ДЛК. MD5 of the output.txt is a667a63917dff740000049d806c827e4.

An interesting code.

That's what the XAVER got in this test

0 2 3 7 8 9 5 6 4 1
3 1 8 5 0 7 9 4 2 6
8 5 2 6 3 1 7 0 9 4
2 7 1 3 9 8 4 5 6 0
1 8 0 9 4 6 3 2 5 7
6 9 4 0 7 5 2 8 1 3
7 0 5 8 1 4 6 9 3 2
4 6 9 2 5 3 1 7 0 8
9 3 7 4 6 2 0 1 8 5
5 4 6 1 2 0 8 3 7 9

0 2 4 7 6 3 5 8 9 1
7 1 5 9 2 8 3 4 0 6
1 0 2 5 8 4 9 3 6 7
9 5 6 3 0 7 4 1 2 8
8 9 3 1 4 2 7 6 5 0
3 8 0 6 7 5 2 9 1 4
2 4 1 8 9 0 6 5 7 3
6 3 9 0 5 1 8 7 4 2
4 6 7 2 3 9 1 0 8 5
5 7 8 4 1 6 0 2 3 9

0 2 5 7 3 9 8 6 4 1
6 1 4 0 8 3 5 9 2 7
1 9 2 6 0 8 7 3 5 4
2 8 7 3 9 0 4 1 6 5
7 5 0 1 4 6 3 8 9 2
3 4 6 9 7 5 0 2 1 8
9 7 8 5 2 1 6 4 3 0
5 3 9 8 1 4 2 7 0 6
4 0 1 2 6 7 9 5 8 3
8 6 3 4 5 2 1 0 7 9

0 2 6 7 9 4 5 8 3 1
2 1 7 9 6 8 4 5 0 3
7 6 2 1 5 9 0 3 4 8
6 9 1 3 8 7 2 0 5 4
1 3 8 5 4 6 9 2 7 0
8 0 4 2 7 5 3 1 9 6
4 7 0 8 2 3 6 9 1 5
3 5 9 4 0 1 8 7 6 2
9 4 5 0 3 2 1 6 8 7
5 8 3 6 1 0 7 4 2 9

0 2 7 6 9 4 3 8 5 1
2 1 8 5 6 7 4 9 0 3
8 7 2 1 5 9 0 3 4 6
1 4 6 3 7 8 2 0 9 5
7 3 9 8 4 6 1 5 2 0
3 6 0 2 8 5 9 1 7 4
9 0 5 7 1 2 6 4 3 8
6 5 4 9 3 0 8 7 1 2
4 9 3 0 2 1 5 6 8 7
5 8 1 4 0 3 7 2 6 9

0 2 7 9 3 8 5 4 6 1
9 1 8 6 5 4 7 2 0 3
4 0 2 1 6 7 8 3 9 5
6 7 5 3 9 1 2 0 4 8
2 8 3 0 4 6 9 1 5 7
8 3 6 4 7 5 0 9 1 2
3 9 0 8 1 2 6 5 7 4
1 5 9 2 8 0 4 7 3 6
7 4 1 5 2 9 3 6 8 0
5 6 4 7 0 3 1 8 2 9

0 3 4 5 6 8 9 2 7 1
9 1 7 4 2 3 5 6 0 8
7 4 2 9 1 0 8 3 5 6
8 0 5 3 9 4 2 1 6 7
1 2 3 7 4 6 0 8 9 5
2 9 8 6 7 5 3 0 1 4
3 7 1 8 5 2 6 9 4 0
5 6 9 0 8 1 4 7 2 3
6 5 0 1 3 9 7 4 8 2
4 8 6 2 0 7 1 5 3 9

0 3 5 4 2 9 8 6 7 1
8 1 3 9 5 4 7 2 0 6
4 0 2 5 6 7 9 3 1 8
9 5 4 3 8 0 2 1 6 7
3 2 7 1 4 6 5 8 9 0
6 9 8 2 7 5 1 0 4 3
2 7 1 8 0 3 6 9 5 4
1 6 9 0 3 8 4 7 2 5
7 4 0 6 9 1 3 5 8 2
5 8 6 7 1 2 0 4 3 9

0 3 5 7 9 2 8 4 6 1
6 1 3 9 8 7 5 2 0 4
7 0 2 6 5 9 4 3 1 8
9 6 4 3 0 8 2 1 7 5
3 2 7 1 4 6 9 8 5 0
8 9 6 2 7 5 1 0 4 3
2 4 1 8 3 0 6 5 9 7
5 8 9 0 1 4 3 7 2 6
1 5 0 4 6 3 7 9 8 2
4 7 8 5 2 1 0 6 3 9

0 3 6 2 9 4 5 8 7 1
4 1 5 9 8 7 3 2 0 6
7 4 2 1 5 9 0 3 6 8
6 0 8 3 7 1 4 9 5 2
8 2 3 0 4 6 7 1 9 5
1 8 7 6 2 5 9 0 4 3
2 9 4 8 1 0 6 5 3 7
3 5 9 4 6 2 8 7 1 0
9 7 1 5 0 3 2 6 8 4
5 6 0 7 3 8 1 4 2 9

0 3 9 2 6 8 7 4 5 1
7 1 8 4 2 9 3 5 0 6
1 6 2 5 7 0 9 3 4 8
9 8 6 3 5 4 2 1 7 0
3 7 1 9 4 6 8 0 2 5
4 2 0 6 8 5 1 9 3 7
2 5 3 7 0 1 6 8 9 4
8 0 4 1 9 3 5 7 6 2
6 9 5 0 1 7 4 2 8 3
5 4 7 8 3 2 0 6 1 9

0 4 3 9 8 2 5 6 7 1
3 1 6 0 5 4 8 9 2 7
9 7 2 1 6 8 3 0 4 5
1 0 5 3 2 7 4 8 9 6
7 9 8 5 4 6 1 3 0 2
8 2 4 6 7 5 9 1 3 0
2 5 7 8 9 0 6 4 1 3
4 6 9 2 3 1 0 7 5 8
6 3 1 7 0 9 2 5 8 4
5 8 0 4 1 3 7 2 6 9

0 5 3 2 6 8 7 9 4 1
3 1 5 4 8 9 0 6 2 7
7 4 2 8 0 1 9 3 5 6
6 9 8 3 2 7 4 5 1 0
1 2 6 7 4 0 5 8 9 3
2 0 4 9 7 5 3 1 6 8
9 8 1 5 3 4 6 0 7 2
5 3 9 6 1 2 8 7 0 4
4 6 7 0 9 3 1 2 8 5
8 7 0 1 5 6 2 4 3 9

0 5 4 2 8 7 3 6 9 1
6 1 7 9 5 3 2 4 0 8
8 9 2 7 6 0 1 3 5 4
9 7 5 3 0 8 4 1 6 2
1 0 6 5 4 2 8 9 7 3
2 3 1 0 7 5 9 8 4 6
7 4 0 8 9 1 6 2 3 5
3 8 9 6 1 4 5 7 2 0
4 6 3 1 2 9 0 5 8 7
5 2 8 4 3 6 7 0 1 9

0 5 4 7 8 6 3 2 9 1
9 1 7 6 3 4 2 5 0 8
6 9 2 5 1 0 8 3 7 4
8 7 1 3 0 9 4 6 5 2
7 8 3 9 4 2 5 0 1 6
3 2 6 1 7 5 9 8 4 0
2 4 0 8 9 7 6 1 3 5
4 0 9 2 5 8 1 7 6 3
1 6 5 4 2 3 0 9 8 7
5 3 8 0 6 1 7 4 2 9

0 5 6 4 2 8 7 9 3 1
6 1 8 7 9 0 3 4 2 5
7 6 2 9 8 4 5 3 1 0
2 9 5 3 1 7 0 8 6 4
9 8 0 1 4 6 2 5 7 3
1 3 4 8 7 5 9 6 0 2
4 7 1 5 3 2 6 0 9 8
3 0 9 2 5 1 8 7 4 6
5 4 3 0 6 9 1 2 8 7
8 2 7 6 0 3 4 1 5 9

0 6 4 9 5 7 8 2 3 1
6 1 5 2 8 9 7 4 0 3
4 7 2 1 9 8 5 3 6 0
9 0 1 3 6 4 2 5 7 8
7 3 0 5 4 6 1 8 9 2
3 9 8 0 7 5 4 1 2 6
2 5 3 8 0 1 6 9 4 7
8 2 9 6 1 0 3 7 5 4
1 4 6 7 2 3 9 0 8 5
5 8 7 4 3 2 0 6 1 9

0 6 8 2 9 4 3 5 7 1
8 1 6 4 2 7 5 9 0 3
7 8 2 1 5 0 9 3 4 6
1 7 5 3 6 8 2 4 9 0
3 9 0 7 4 6 8 2 1 5
9 0 3 6 7 5 1 8 2 4
5 4 7 8 1 9 6 0 3 2
2 3 9 5 0 1 4 7 6 8
6 5 4 9 3 2 0 1 8 7
4 2 1 0 8 3 7 6 5 9

0 7 4 9 6 2 3 8 5 1
6 1 8 4 3 9 7 2 0 5
4 0 2 6 8 1 5 3 9 7
1 9 6 3 5 0 2 4 7 8
7 8 0 2 4 6 9 5 1 3
8 6 3 1 7 5 4 9 2 0
9 5 7 8 0 4 6 1 3 2
3 2 9 5 1 8 0 7 6 4
2 4 5 7 9 3 1 0 8 6
5 3 1 0 2 7 8 6 4 9

0 8 9 6 5 2 7 4 3 1
5 1 3 7 9 0 8 6 2 4
1 7 2 8 0 9 5 3 4 6
6 9 0 3 1 7 4 2 5 8
3 5 1 2 4 6 9 8 0 7
9 2 7 4 8 5 0 1 6 3
2 4 8 9 3 1 6 0 7 5
8 3 5 1 6 4 2 7 9 0
4 0 6 5 7 3 1 9 8 2
7 6 4 0 2 8 3 5 1 9
ID: 556 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Tomas Brada

Send message
Joined: 22 Jan 18
Posts: 63
Credit: 373,915
RAC: 0
Message 557 - Posted: 4 Jan 2019, 19:18:09 UTC - in response to Message 556.  

Natalia Makarova
An interesting code.
That's what the XAVER got in this test


I got the same set of squares on output. The code i posted was only the checksum of that file, it was not actually in the output. Sorry for causing confusion.
ID: 557 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 558 - Posted: 4 Jan 2019, 19:26:09 UTC - in response to Message 557.  

I got the same set of squares on output. The code i posted was only the checksum of that file, it was not actually in the output. Sorry for causing confusion.

I thought you somehow squeezed a set of squares.
Now I understand it.

Thanks.
ID: 558 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Tomas Brada

Send message
Joined: 22 Jan 18
Posts: 63
Credit: 373,915
RAC: 0
Message 559 - Posted: 4 Jan 2019, 20:16:59 UTC - in response to Message 555.  

Natalia
I can send you the source codes of my two generators.
But these source codes are written in BASIC. Can you handle this?

It is OK. I do not work in BASIC, but I can handle it.

The program kanonizator_dlk_1.03 of Belyshev has the source.
https://cloud.mail.ru/public/3RNv/rWFVkYDGc

The file "kanonizator_dlk_1.03.rar" does have the program, but does not contain the source code. Mistake?

I found other versions of kanonizatorov on Poisk ODLK page, but they all produce different output file than the "_1.03". They do produce same number of KF DLK, probably the order is different. I do not want to damage the experiment.
ID: 559 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 560 - Posted: 5 Jan 2019, 0:47:52 UTC - in response to Message 559.  
Last modified: 5 Jan 2019, 0:48:22 UTC

The file "kanonizator_dlk_1.03.rar" does have the program, but does not contain the source code. Mistake?

Sorry, I forgot to add the source folder to the archive.
Now I have added this folder.

The link is the same
https://cloud.mail.ru/public/3RNv/rWFVkYDGc

I will send you the sources of my generators.
ID: 560 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Tomas Brada

Send message
Joined: 22 Jan 18
Posts: 63
Credit: 373,915
RAC: 0
Message 561 - Posted: 5 Jan 2019, 20:13:15 UTC - in response to Message 560.  

Thank you Natalia.
I received both the generators and kanonizator source.

About the PADS generators: which version of BASIC do you use? QBASIC, Visual Basic or some other?

I added the kanonizator to my repository. I had to fix only a small issue and it compiles fine. The repository now contains and can build:

  • family_mar search program
  • gen_lk_4_31_31 family generator, which is no longer needed
  • kanonizator_dlk 1.03

ID: 561 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 562 - Posted: 6 Jan 2019, 0:20:03 UTC - in response to Message 561.  
Last modified: 6 Jan 2019, 0:26:55 UTC

About the PADS generators: which version of BASIC do you use? QBASIC, Visual Basic or some other?

I am using the QBASIC version.

I added the kanonizator to my repository. I had to fix only a small issue and it compiles fine. The repository now contains and can build:

  • family_mar search program
  • gen_lk_4_31_31 family generator, which is no longer needed
  • kanonizator_dlk 1.03


It's good.
The programs family_mar and kanonizator_dlk_1.03 are often used.

Thanks!
ID: 562 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 563 - Posted: 6 Jan 2019, 11:15:20 UTC
Last modified: 6 Jan 2019, 11:37:58 UTC

Tomas Brada
I received and processed your solutions results_a09.txt.
Found 430 unique CFs ODLS, including 3 groups of four ODLS pairs

Найдено марьяжных КФ:
count[1] = 307
count[2] = 120
count[4] = 3
Всего: 430
Найдено соквадратов: 559
КФ соквадратов: 430

See
https://boinc.progger.info/odlk/forum_thread.php?id=40&postid=2928#2928

Thanks!

PS. Previous portion of solutions received from you results_a05.txt.
Did you send portion of solutions results_a06.txt - results_a08.txt?
ID: 563 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Tomas Brada

Send message
Joined: 22 Jan 18
Posts: 63
Credit: 373,915
RAC: 0
Message 564 - Posted: 6 Jan 2019, 23:30:26 UTC

For PADS experiment:
I compiled both of the basic generators with freebasic compiler and verified that they still produce same results. Then I created a program to link both the generators and kanonizator together. This program finds KF DLKs from a "row" in just 25 seconds. The original took about 8 minutes. Unfortunately, family_mar still takes much longer time to process it. This means that creating BOINC application will be easier.

PS. Previous portion of solutions received from you results_a05.txt. Did you send portion of solutions results_a06.txt - results_a08.txt?

I am waiting for one batch to finish. When it does, i will send you the results and all other results that I have.
ID: 564 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Previous · 1 . . . 6 · 7 · 8 · 9 · 10 · 11 · 12 . . . 15 · Next

Message boards : News : Autonomous Subproject


©2024 Progger & Stefano Tognon (ice00)