Difference between revisions of "Computer Composition Searches"

From Changeringing Wiki
Jump to navigation Jump to search
m
m
 
(24 intermediate revisions by 6 users not shown)
Line 1: Line 1:
 
A computer can be a useful tool to search for compositions, yet even with today's fast processors exhausting many composition searches is too big a task. This page has been created to keep a record of searches people have successfully completed in popular methods. If you have completely exhausted a computer search for compositions, please add an entry to the table below, stating any constraints you applied to the search, when you first ran it, and any other information you think would be of interest.
 
A computer can be a useful tool to search for compositions, yet even with today's fast processors exhausting many composition searches is too big a task. This page has been created to keep a record of searches people have successfully completed in popular methods. If you have completely exhausted a computer search for compositions, please add an entry to the table below, stating any constraints you applied to the search, when you first ran it, and any other information you think would be of interest.
  
==Exhausted Composition Searches==
+
==Exhaustive Composition Searches==
 
{| style="color:blue;background-color:#ffffdd;" cellpadding="5" cellspacing="0" border="1"
 
{| style="color:blue;background-color:#ffffdd;" cellpadding="5" cellspacing="0" border="1"
 
! Method                    || Search Constraints      || Results || Time/<br>Computer/<br>Program || Date || Run by||Notes
 
! Method                    || Search Constraints      || Results || Time/<br>Computer/<br>Program || Date || Run by||Notes
 
|-
 
|-
| Cambridge Surprise Major || >=5000 changes<br>Tenors together<br>Round blocks<br>Bob = 14, Single = 1234 || 9,997 compositions<br>255,138 rotations || 9 days<br>P90 PC<br>SMC||1995 || Graham John||See http://www.changeringing.co.uk/cambridgefm.htm
+
| Cambridge Surprise Major || >=5000 changes<br>Tenors together<br>Round blocks<br>Bob = 14, Single = 1234 || 9,997 compositions<br>255,138 rotations || 9 days<br>P90 PC<br>SMC<br><br>
 +
1:42:30<br>2.2GHz Athlon X2<br>SMC32<br><br>
 +
1:03:04<br>3.2GHz Phenom X4<br>SMC32<br><br>
 +
1:03:00<br>4GHz Core i7 930*<br>SMC32<br><br>
 +
0:44:28<br>4.36GHz Core i7 6700K<br>SMC32<br><br>
 +
0:28:15<br>2.1 (4.9)GHz i7 12700K<br>SMC32
 +
||1995<br><br><br><br><br>2005<br><br><br><br><br>2010<br><br><br><br><br><br>2010<br><br><br><br><br>2016<br><br><br><br><br>2022<br><br>||<br>Graham John<br><br><br><br>Mark Davies<br><br><br><br>Simon Humphrey<br><br><br><br>Graham John<br><br><br><br>Graham John<br><br><br><br>Mark Davies<br><br>&nbsp;||See [http://www.changeringing.co.uk/cambridgefm.htm Cambridge - The Full Monty]<br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br>*Leaving 7 processor threads idle!<br><br><br><br>i7 12700 can scale up from 2.1 to 4.9GHz; it also has two types of core, one faster than the other. Run times currently vary between this and over 50 minutes, potentially because of mischeduling to slower cores or reduction in clock boost. To be investigated.<br><br>
 
|-
 
|-
| Cambridge Surprise Major || >=5000 changes<br>Tenors together<br>Snap finishes<br>Bob = 14, Single = 1234 || 15,416 compositions || 13 days<br>PC<br>SMC32||1998 || Graham John||See http://www.changeringing.co.uk/cambridgefm.htm
+
| Cambridge Surprise Major || >=5000 changes<br>Tenors together<br>Snap finishes<br>Bob = 14, Single = 1234 || 15,416 compositions || 13 days<br>PC<br>SMC32||1998 || Graham John||See [http://www.changeringing.co.uk/cambridgefm.htm Cambridge - The Full Monty]
 +
|-
 +
| Cambridge Surprise Major || >=5000 changes<br>Tenors together<br>Round blocks<br>Bob = 14, Single = 1256 || 152,915 compositions<br>3,739,182 rotations || 47 days<br>2.8GHz i7-860<br>SMC32||2010||Mark Davies||
 
|-
 
|-
 
| Bristol Surprise Maximus || 5000-5100 changes<br>Tenors together<br>Round blocks<br>Bob = 14, Single = 1234 || 202,384,361 compositions || 47 hours<br>PC<br>SMC32||1998 || Mark Davies||<br>
 
| Bristol Surprise Maximus || 5000-5100 changes<br>Tenors together<br>Round blocks<br>Bob = 14, Single = 1234 || 202,384,361 compositions || 47 hours<br>PC<br>SMC32||1998 || Mark Davies||<br>
 
|-
 
|-
 
| Yorkshire Surprise Maximus || 5000-5100 changes<br>Tenors together<br>Round blocks<br>Bob = 14, Single = 1234, Big Bob=18 || 202,927,179 compositions || 5 days, 23 hours<br>PC<br>SMC32||1998 || Mark Davies||<br>
 
| Yorkshire Surprise Maximus || 5000-5100 changes<br>Tenors together<br>Round blocks<br>Bob = 14, Single = 1234, Big Bob=18 || 202,927,179 compositions || 5 days, 23 hours<br>PC<br>SMC32||1998 || Mark Davies||<br>
 +
|-
 +
| Plain Bob Minor || 720 changes<br>Bob = 14, Single = 1234 || 1,440,339,152 compositions || 18:16:25<br>2.8GHz i7-860<br>SMC32||2010 || Mark Davies||<br>
  
 
|}
 
|}
 +
 +
==Composing Program Benchmark==
 +
 +
The "Full Monty" search for compositions of Cambridge Surprise Major is a useful benchmark both for measuring the efficiency of composing programs and the computers they run on. As shown in the table above, the first time this was completed was in 1995 using SMC on a Pentium 90, taking 9 days. The current record for this search is twenty-eight minutes and fifteen seconds run by Mark Davies using SMC32 on a Core i7 12700K processor at up to 4.9GHz in 2022. It is now over 20 years since SMC32 was written and as it is a 32-bit single-threaded application, it should be possible to significantly improve on this today by writing a multi-threaded 64-bit search engine for a modern top of the range processor. If you beat it, please update this page.
 +
 +
[[Category:Computers and Composition]]
 +
[[Category:Composition]]

Latest revision as of 07:58, 26 August 2022

A computer can be a useful tool to search for compositions, yet even with today's fast processors exhausting many composition searches is too big a task. This page has been created to keep a record of searches people have successfully completed in popular methods. If you have completely exhausted a computer search for compositions, please add an entry to the table below, stating any constraints you applied to the search, when you first ran it, and any other information you think would be of interest.

Exhaustive Composition Searches

Method Search Constraints Results Time/
Computer/
Program
Date Run by Notes
Cambridge Surprise Major >=5000 changes
Tenors together
Round blocks
Bob = 14, Single = 1234
9,997 compositions
255,138 rotations
9 days
P90 PC
SMC

1:42:30
2.2GHz Athlon X2
SMC32

1:03:04
3.2GHz Phenom X4
SMC32

1:03:00
4GHz Core i7 930*
SMC32

0:44:28
4.36GHz Core i7 6700K
SMC32

0:28:15
2.1 (4.9)GHz i7 12700K
SMC32

1995




2005




2010





2010




2016




2022


Graham John



Mark Davies



Simon Humphrey



Graham John



Graham John



Mark Davies

 
See Cambridge - The Full Monty



















*Leaving 7 processor threads idle!



i7 12700 can scale up from 2.1 to 4.9GHz; it also has two types of core, one faster than the other. Run times currently vary between this and over 50 minutes, potentially because of mischeduling to slower cores or reduction in clock boost. To be investigated.

Cambridge Surprise Major >=5000 changes
Tenors together
Snap finishes
Bob = 14, Single = 1234
15,416 compositions 13 days
PC
SMC32
1998 Graham John See Cambridge - The Full Monty
Cambridge Surprise Major >=5000 changes
Tenors together
Round blocks
Bob = 14, Single = 1256
152,915 compositions
3,739,182 rotations
47 days
2.8GHz i7-860
SMC32
2010 Mark Davies
Bristol Surprise Maximus 5000-5100 changes
Tenors together
Round blocks
Bob = 14, Single = 1234
202,384,361 compositions 47 hours
PC
SMC32
1998 Mark Davies
Yorkshire Surprise Maximus 5000-5100 changes
Tenors together
Round blocks
Bob = 14, Single = 1234, Big Bob=18
202,927,179 compositions 5 days, 23 hours
PC
SMC32
1998 Mark Davies
Plain Bob Minor 720 changes
Bob = 14, Single = 1234
1,440,339,152 compositions 18:16:25
2.8GHz i7-860
SMC32
2010 Mark Davies

Composing Program Benchmark

The "Full Monty" search for compositions of Cambridge Surprise Major is a useful benchmark both for measuring the efficiency of composing programs and the computers they run on. As shown in the table above, the first time this was completed was in 1995 using SMC on a Pentium 90, taking 9 days. The current record for this search is twenty-eight minutes and fifteen seconds run by Mark Davies using SMC32 on a Core i7 12700K processor at up to 4.9GHz in 2022. It is now over 20 years since SMC32 was written and as it is a 32-bit single-threaded application, it should be possible to significantly improve on this today by writing a multi-threaded 64-bit search engine for a modern top of the range processor. If you beat it, please update this page.