Difference between revisions of "Computer Composition Searches"

From Changeringing Wiki
Jump to navigation Jump to search
m
m
Line 11: Line 11:
 
0:44:28<br>4.36GHz Core i7 6700K<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
 
0:28:15<br>2.1 (4.9)GHz i7 12700K<br>SMC32
||1995<br><br><br><br>2005<br><br><br><br>2010<br><br><br><br>2010<br><br><br><br>2016<br><br><br><br>2022||<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>&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><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.&nbsp;
+
||1995<br><br><br><br>2005<br><br><br><br>2010<br><br><br><br>2010<br><br><br><br>2016<br><br><br><br><br><br><br>2022||<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>&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><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.&nbsp;
 
|-
 
|-
 
| 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>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]

Revision as of 07:50, 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 forty-four minutes and twenty-eight seconds run by Graham John using SMC32 on a Core i7 6700K processor at 4.36 GHz in 2016. It is now over 16 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.