Octopus - CASC19

59 Solved out of the 140 MIX division problems.

Octopus ran on a network of 60 computers. The CPU time reported
below is for the master. The total CPU time for all the computers
is approximately time_for_master * 60 * 0.7.
-------------------------------------------------------
name            cpu time        wall time       output
-------------------------------------------------------
ANA002-1        77.3            116.4           proof
ANA002-2        47.2            57.9            proof
ANA003-1        101.0           122.1           proof
ANA004-4        18.9            38.1            proof
BOO014-1        376.4           452.6           proof
CAT004-2        1.8             8.7             proof
CAT005-3        0.1             26.5            proof
CAT014-3        1.5             22.4            proof
COL003-7                                        timeout
COL003-9                                        timeout
COL006-2                                        timeout
COL006-3                                        timeout
COL044-5                                        timeout
COL078-2        83.5            87.0            proof
COM003-1                                        timeout
FLD028-1                                        timeout
FLD041-4        6.8             22.1            proof
FLD050-3        67.2            72.4            proof
FLD062-3        3.8             8.6             proof
GEO011-1        23.5            25.7            proof
GEO027-2        0.2             67.1            proof
GEO040-3        2.4             62.1            proof
GEO046-2                                        timeout
GEO060-2                                        timeout
GEO083-1        0.7             16.0            proof
GEO084-1        0.1             106.3           proof
GEO089-1                                        timeout
GEO112-1        0.1             7.0             proof
GEO126-1        29.8            37.4            proof
GRP026-1                                        timeout
GRP039-1        88.7            96.8            proof
GRP039-3        29.2            91.3            proof
GRP039-5                                        timeout
GRP040-3        14.1            52.8            proof
GRP049-1                                        timeout
GRP054-1                                        timeout
GRP056-1                                        timeout
GRP072-1                                        timeout
GRP073-1                                        timeout
GRP083-1                                        timeout
GRP085-1                                        timeout
GRP087-1                                        timeout
GRP098-1                                        timeout
GRP108-1                                        timeout
GRP197-1                                        timeout
GRP198-1                                        timeout
GRP364-1                                        timeout
HWC003-2                                        timeout
HWV004-1                                        timeout
HWV013-2        44.5            87.8            proof
HWV014-2        6.8             47.2            proof
HWV016-1        76.0            97.8            proof
HWV016-2                                        timeout
HWV018-2        2.1             14.6            proof
HWV022-1        27.3            31.5            proof
HWV023-2        98.6            104.5           proof
HWV033-1        2.7             49.9            proof
LAT001-1                                        timeout
LAT005-3                                        timeout
LAT015-1                                        timeout
LAT030-1                                        timeout
LCL016-1                                        timeout
LCL109-4                                        timeout
LCL127-1                                        timeout
LCL219-3                                        timeout
LCL222-1        20.9            24.0            proof
LCL223-1                                        timeout
LCL225-1                                        timeout
LCL229-3                                        timeout
LCL231-3                                        timeout
LCL255-3                                        timeout
LCL256-1                                        timeout
LCL300-3                                        timeout
LCL389-1                                        timeout
MGT020-1        0.3             35.5            proof
MGT029-1                                        timeout
MGT034-2        2.1             100.7           proof
MGT035-1                                        timeout
MGT039-2        98.7            143.9           proof
MGT043-1        0.1             121.6           proof
MGT065-1        10.3            38.4            proof
NUM007-1        4.1             55.2            proof
NUM011-1                                        timeout
NUM159-1                                        timeout
PLA009-2        2.6             6.1             proof
PLA016-1        24.7            27.9            proof
PLA021-1        25.0            222.4           proof
PUZ039-1                                        timeout
PUZ040-1                                        timeout
PUZ042-1                                        timeout
RNG001-2        3.8             19.3            proof
RNG001-5        0.1             4.4             proof
RNG004-3        1.6             20.0            proof
RNG025-1                                        timeout
RNG029-1                                        timeout
RNG029-3                                        timeout
RNG040-1        0.1             6.6             proof
RNG040-2        0.1             63.4            proof
ROB014-1                                        timeout
ROB015-2                                        timeout
ROB019-1                                        timeout
SET012-2        1.6             251.7           proof
SET013-3                                        timeout
SET014-3        0.4             2.8             proof
SET015-1        13.4            27.4            proof
SET016-3                                        timeout
SET018-1                                        timeout
SET019-3        0.4             99.8            proof
SET022-3        0.7             54.6            proof
SET023-3        0.3             51.0            proof
SET027-3        0.5             4.2             proof
SET027-4        0.4             87.4            proof
SET042-3        1.3             5.5             proof
SET411-6        4.4             20.9            proof
SET468-6                                        timeout
SET473-6                                        timeout
SET505-6                                        timeout
SET508-6                                        timeout
SWC098-1                                        timeout
SWC277-1        9.2             71.6            proof
SWC345-1                                        timeout
SWC407-1                                        timeout
SWV014-1        1.4             4.0             proof
SYN014-1                                        timeout
SYN015-1                                        timeout
SYN036-3                                        timeout
SYN037-1                                        timeout
SYN067-1                                        timeout
SYN067-2                                        timeout
SYN067-3                                        timeout
SYN076-1                                        timeout
SYN077-1        32.2            76.3            proof
SYN311-1        0.0             2.1             proof
SYN614-1                                        timeout
SYN617-1        3.0             9.1             proof
SYN690-1                                        timeout
SYN762-1                                        timeout
SYN784-1                                        timeout
SYN796-1                                        timeout
SYN802-1                                        timeout