* poly 0x5
** running for SAT
starting. poly=0x5 or a^2 + 1
prime factor: 0x3 or a + 1
prime factor: 0x3 or a + 1
** running for Z3
starting. poly=0x5 or a^2 + 1
prime factor: 0x3 or a + 1
prime factor: 0x3 or a + 1
* poly 0x7
** running for SAT
starting. poly=0x7 or a^2 + a + 1
prime factor: 0x7 or a^2 + a + 1
** running for Z3
starting. poly=0x7 or a^2 + a + 1
prime factor: 0x7 or a^2 + a + 1
* poly 0x409
** running for SAT
starting. poly=0x409 or a^10 + a^3 + 1
prime factor: 0x409 or a^10 + a^3 + 1
** running for Z3
starting. poly=0x409 or a^10 + a^3 + 1
prime factor: 0x409 or a^10 + a^3 + 1
* poly 0x40f
** running for SAT
starting. poly=0x40f or a^10 + a^3 + a^2 + a + 1
prime factor: 0x40f or a^10 + a^3 + a^2 + a + 1
** running for Z3
starting. poly=0x40f or a^10 + a^3 + a^2 + a + 1
prime factor: 0x40f or a^10 + a^3 + a^2 + a + 1
* poly 0x11021
** running for SAT
starting. poly=0x11021 or a^16 + a^12 + a^5 + 1
prime factor: 0xf01f or a^15 + a^14 + a^13 + a^12 + a^4 + a^3 + a^2 + a + 1
prime factor: 0x3 or a + 1
** running for Z3
starting. poly=0x11021 or a^16 + a^12 + a^5 + 1
prime factor: 0xf01f or a^15 + a^14 + a^13 + a^12 + a^4 + a^3 + a^2 + a + 1
prime factor: 0x3 or a + 1
* poly 0x18005
** running for SAT
starting. poly=0x18005 or a^16 + a^15 + a^2 + 1
prime factor: 0x3 or a + 1
prime factor: 0x8003 or a^15 + a + 1
** running for Z3
starting. poly=0x18005 or a^16 + a^15 + a^2 + 1
prime factor: 0x8003 or a^15 + a + 1
prime factor: 0x3 or a + 1
* poly 0x1C867
** running for SAT
starting. poly=0x1c867 or a^16 + a^15 + a^14 + a^11 + a^6 + a^5 + a^2 + a + 1
prime factor: 0x1c867 or a^16 + a^15 + a^14 + a^11 + a^6 + a^5 + a^2 + a + 1
** running for Z3
starting. poly=0x1c867 or a^16 + a^15 + a^14 + a^11 + a^6 + a^5 + a^2 + a + 1
prime factor: 0x1c867 or a^16 + a^15 + a^14 + a^11 + a^6 + a^5 + a^2 + a + 1
* poly 0x104c11db7
** running for SAT
starting. poly=0x104c11db7 or a^32 + a^26 + a^23 + a^22 + a^16 + a^12 + a^11 + a^10 + a^8 + a^7 + a^5 + a^4 + a^2 + a + 1
prime factor: 0x104c11db7 or a^32 + a^26 + a^23 + a^22 + a^16 + a^12 + a^11 + a^10 + a^8 + a^7 + a^5 + a^4 + a^2 + a + 1
** running for Z3
starting. poly=0x104c11db7 or a^32 + a^26 + a^23 + a^22 + a^16 + a^12 + a^11 + a^10 + a^8 + a^7 + a^5 + a^4 + a^2 + a + 1
prime factor: 0x104c11db7 or a^32 + a^26 + a^23 + a^22 + a^16 + a^12 + a^11 + a^10 + a^8 + a^7 + a^5 + a^4 + a^2 + a + 1
* poly 0x11EDC6F41
** running for SAT
starting. poly=0x11edc6f41 or a^32 + a^28 + a^27 + a^26 + a^25 + a^23 + a^22 + a^20 + a^19 + a^18 + a^14 + a^13 + a^11 + a^10 + a^9 + a^8 + a^6 + 1
prime factor: 0x3 or a + 1
prime factor: 0xf5b4253f or a^31 + a^30 + a^29 + a^28 + a^26 + a^24 + a^23 + a^21 + a^20 + a^18 + a^13 + a^10 + a^8 + a^5 + a^4 + a^3 + a^2 + a + 1
** running for Z3
starting. poly=0x11edc6f41 or a^32 + a^28 + a^27 + a^26 + a^25 + a^23 + a^22 + a^20 + a^19 + a^18 + a^14 + a^13 + a^11 + a^10 + a^9 + a^8 + a^6 + 1
prime factor: 0x3 or a + 1
prime factor: 0xf5b4253f or a^31 + a^30 + a^29 + a^28 + a^26 + a^24 + a^23 + a^21 + a^20 + a^18 + a^13 + a^10 + a^8 + a^5 + a^4 + a^3 + a^2 + a + 1
* poly 0x132583499
** running for SAT
starting. poly=0x132583499 or a^32 + a^29 + a^28 + a^25 + a^22 + a^20 + a^19 + a^13 + a^12 + a^10 + a^7 + a^4 + a^3 + 1
prime factor: 0x3 or a + 1
prime factor: 0x5a12a42d or a^30 + a^28 + a^27 + a^25 + a^20 + a^17 + a^15 + a^13 + a^10 + a^5 + a^3 + a^2 + 1
prime factor: 0x3 or a + 1
** running for Z3
starting. poly=0x132583499 or a^32 + a^29 + a^28 + a^25 + a^22 + a^20 + a^19 + a^13 + a^12 + a^10 + a^7 + a^4 + a^3 + 1
prime factor: 0x5a12a42d or a^30 + a^28 + a^27 + a^25 + a^20 + a^17 + a^15 + a^13 + a^10 + a^5 + a^3 + a^2 + 1
prime factor: 0x3 or a + 1
prime factor: 0x3 or a + 1
* poly 0x1741B8CD7
** running for SAT
starting. poly=0x1741b8cd7 or a^32 + a^30 + a^29 + a^28 + a^26 + a^20 + a^19 + a^17 + a^16 + a^15 + a^11 + a^10 + a^7 + a^6 + a^4 + a^2 + a + 1
prime factor: 0xd or a^3 + a^2 + 1
prime factor: 0x10595341 or a^28 + a^22 + a^20 + a^19 + a^16 + a^14 + a^12 + a^9 + a^8 + a^6 + 1
prime factor: 0x3 or a + 1
** running for Z3
starting. poly=0x1741b8cd7 or a^32 + a^30 + a^29 + a^28 + a^26 + a^20 + a^19 + a^17 + a^16 + a^15 + a^11 + a^10 + a^7 + a^6 + a^4 + a^2 + a + 1
prime factor: 0x10595341 or a^28 + a^22 + a^20 + a^19 + a^16 + a^14 + a^12 + a^9 + a^8 + a^6 + 1
prime factor: 0xd or a^3 + a^2 + 1
prime factor: 0x3 or a + 1
* poly 0x1814141AB
** running for SAT
starting. poly=0x1814141ab or a^32 + a^31 + a^24 + a^22 + a^16 + a^14 + a^8 + a^7 + a^5 + a^3 + a + 1
prime factor: 0x3 or a + 1
prime factor: 0x80c0c099 or a^31 + a^23 + a^22 + a^15 + a^14 + a^7 + a^4 + a^3 + 1
** running for Z3
starting. poly=0x1814141ab or a^32 + a^31 + a^24 + a^22 + a^16 + a^14 + a^8 + a^7 + a^5 + a^3 + a + 1
prime factor: 0x3 or a + 1
prime factor: 0x80c0c099 or a^31 + a^23 + a^22 + a^15 + a^14 + a^7 + a^4 + a^3 + 1
* poly 0x142F0E1EBA9EA3693
** running for SAT
starting. poly=0x142f0e1eba9ea3693 or a^64 + a^62 + a^57 + a^55 + a^54 + a^53 + a^52 + a^47 + a^46 + a^45 + a^40 + a^39 + a^38 + a^37 + a^35 + a^33 + a^32 + a^31 + a^29 + a^27 + a^24 + a^23 + a^22 + a^21 + a^19 + a^17 + a^13 + a^12 + a^10 + a^9 + a^7 + a^4 + a + 1
prime factor: 0x3 or a + 1
prime factor: 0x3 or a + 1
prime factor: 0x25f39 or a^17 + a^14 + a^12 + a^11 + a^10 + a^9 + a^8 + a^5 + a^4 + a^3 + 1
prime factor: 0x900b or a^15 + a^12 + a^3 + a + 1
prime factor: 0x8003 or a^15 + a + 1
prime factor: 0x8423 or a^15 + a^10 + a^5 + a + 1
** running for Z3
starting. poly=0x142f0e1eba9ea3693 or a^64 + a^62 + a^57 + a^55 + a^54 + a^53 + a^52 + a^47 + a^46 + a^45 + a^40 + a^39 + a^38 + a^37 + a^35 + a^33 + a^32 + a^31 + a^29 + a^27 + a^24 + a^23 + a^22 + a^21 + a^19 + a^17 + a^13 + a^12 + a^10 + a^9 + a^7 + a^4 + a + 1
prime factor: 0x8003 or a^15 + a + 1
prime factor: 0x900b or a^15 + a^12 + a^3 + a + 1
prime factor: 0x25f39 or a^17 + a^14 + a^12 + a^11 + a^10 + a^9 + a^8 + a^5 + a^4 + a^3 + 1
prime factor: 0x8423 or a^15 + a^10 + a^5 + a + 1
prime factor: 0x3 or a + 1
prime factor: 0x3 or a + 1