z34.16.0

built x86_64-unknown-linux-gnufilc0 Recorded
DERIVATION
/nix/store/cx0kx4k8h5fwpidafzh9jg9dasl6m0gi-z3-x86_64-unknown-linux-gnufilc0-4.16.0.drv
SYSTEM
x86_64-linux
DURATION
12m 26s
LOG LINES
24,706
Output paths
/nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev
/nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib
/nix/store/dcwp1ygyzpqa3ha42vqp3gvkax3gyi3h-z3-x86_64-unknown-linux-gnufilc0-4.16.0
/nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python
Native result · built
{
  "capture": {
    "mono_ns": 11877320031679760,
    "wall_ns": 1791274037704397124
  },
  "drv": "/nix/store/cx0kx4k8h5fwpidafzh9jg9dasl6m0gi-z3-x86_64-unknown-linux-gnufilc0-4.16.0.drv",
  "outcome": "built",
  "outputs": [
    {
      "path": "/nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev",
      "valid": true
    },
    {
      "path": "/nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib",
      "valid": true
    },
    {
      "path": "/nix/store/dcwp1ygyzpqa3ha42vqp3gvkax3gyi3h-z3-x86_64-unknown-linux-gnufilc0-4.16.0",
      "valid": true
    },
    {
      "path": "/nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python",
      "valid": true
    }
  ],
  "result": {
    "builtOutputs": {
      "dev": {
        "dependentRealisations": {},
        "id": "sha256:c4222ef74eb76aab5d2d3688737f6df47ea42aa67faf5fd324c25d7681e556b7!dev",
        "outPath": "6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev",
        "signatures": []
      },
      "lib": {
        "dependentRealisations": {},
        "id": "sha256:c4222ef74eb76aab5d2d3688737f6df47ea42aa67faf5fd324c25d7681e556b7!lib",
        "outPath": "81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib",
        "signatures": []
      },
      "out": {
        "dependentRealisations": {},
        "id": "sha256:c4222ef74eb76aab5d2d3688737f6df47ea42aa67faf5fd324c25d7681e556b7!out",
        "outPath": "dcwp1ygyzpqa3ha42vqp3gvkax3gyi3h-z3-x86_64-unknown-linux-gnufilc0-4.16.0",
        "signatures": []
      },
      "python": {
        "dependentRealisations": {},
        "id": "sha256:c4222ef74eb76aab5d2d3688737f6df47ea42aa67faf5fd324c25d7681e556b7!python",
        "outPath": "bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python",
        "signatures": []
      }
    },
    "path": {
      "drvPath": "cx0kx4k8h5fwpidafzh9jg9dasl6m0gi-z3-x86_64-unknown-linux-gnufilc0-4.16.0.drv",
      "outputs": [
        "*"
      ]
    },
    "startTime": 1791273295,
    "status": "Built",
    "stopTime": 1791274037,
    "success": true,
    "timesBuilt": 1
  },
  "success": true
}

Phases

0.3s
0.0s
0.1s
3.9s
9m 38s
2m 14s
0.0s
5.0s
0.7s
0.5s

Dependencies

grey: build-platform tools

Build output

Captured
z3
75989, 75991, 75997, 76001, 76003, 76031, 76039, 76079, 76081, 76091, 76099,
z3
76103, 76123, 76129, 76147, 76157, 76159, 76163, 76207, 76213, 76231, 76243,
z3
76249, 76253, 76259, 76261, 76283, 76289, 76303, 76333, 76343, 76367, 76369,
z3
76379, 76387, 76403, 76421, 76423, 76441, 76463, 76471, 76481, 76487, 76493,
z3
76507, 76511, 76519, 76537, 76541, 76543, 76561, 76579, 76597, 76603, 76607,
z3
76631, 76649, 76651, 76667, 76673, 76679, 76697, 76717, 76733, 76753, 76757,
z3
76771, 76777, 76781, 76801, 76819, 76829, 76831, 76837, 76847, 76871, 76873,
z3
76883, 76907, 76913, 76919, 76943, 76949, 76961, 76963, 76991, 77003, 77017,
z3
77023, 77029, 77041, 77047, 77069, 77081, 77093, 77101, 77137, 77141, 77153,
z3
77167, 77171, 77191, 77201, 77213, 77237, 77239, 77243, 77249, 77261, 77263,
z3
77267, 77269, 77279, 77291, 77317, 77323, 77339, 77347, 77351, 77359, 77369,
z3
77377, 77383, 77417, 77419, 77431, 77447, 77471, 77477, 77479, 77489, 77491,
z3
77509, 77513, 77521, 77527, 77543, 77549, 77551, 77557, 77563, 77569, 77573,
z3
77587, 77591, 77611, 77617, 77621, 77641, 77647, 77659, 77681, 77687, 77689,
z3
77699, 77711, 77713, 77719, 77723, 77731, 77743, 77747, 77761, 77773, 77783,
z3
77797, 77801, 77813, 77839, 77849, 77863, 77867, 77893, 77899, 77929, 77933,
z3
77951, 77969, 77977, 77983, 77999, 78007, 78017, 78031, 78041, 78049, 78059,
z3
78079, 78101, 78121, 78137, 78139, 78157, 78163, 78167, 78173, 78179, 78191,
z3
78193, 78203, 78229, 78233, 78241, 78259, 78277, 78283, 78301, 78307, 78311,
z3
78317, 78341, 78347, 78367, 78401, 78427, 78437, 78439, 78467, 78479, 78487,
z3
78497, 78509, 78511, 78517, 78539, 78541, 78553, 78569, 78571, 78577, 78583,
z3
78593, 78607, 78623, 78643, 78649, 78653, 78691, 78697, 78707, 78713, 78721,
z3
78737, 78779, 78781, 78787, 78791, 78797, 78803, 78809, 78823, 78839, 78853,
z3
78857, 78877, 78887, 78889, 78893, 78901, 78919, 78929, 78941, 78977, 78979,
z3
78989, 79031, 79039, 79043, 79063, 79087, 79103, 79111, 79133, 79139, 79147,
z3
79151, 79153, 79159, 79181, 79187, 79193, 79201, 79229, 79231, 79241, 79259,
z3
79273, 79279, 79283, 79301, 79309, 79319, 79333, 79337, 79349, 79357, 79367,
z3
79379, 79393, 79397, 79399, 79411, 79423, 79427, 79433, 79451, 79481, 79493,
z3
79531, 79537, 79549, 79559, 79561, 79579, 79589, 79601, 79609, 79613, 79621,
z3
79627, 79631, 79633, 79657, 79669, 79687, 79691, 79693, 79697, 79699, 79757,
z3
79769, 79777, 79801, 79811, 79813, 79817, 79823, 79829, 79841, 79843, 79847,
z3
79861, 79867, 79873, 79889, 79901, 79903, 79907, 79939, 79943, 79967, 79973,
z3
79979, 79987, 79997, 79999, 80021, 80039, 80051, 80071, 80077, 80107, 80111,
z3
80141, 80147, 80149, 80153, 80167, 80173, 80177, 80191, 80207, 80209, 80221,
z3
80231, 80233, 80239, 80251, 80263, 80273, 80279, 80287, 80309, 80317, 80329,
z3
80341, 80347, 80363, 80369, 80387, 80407, 80429, 80447, 80449, 80471, 80473,
z3
80489, 80491, 80513, 80527, 80537, 80557, 80567, 80599, 80603, 80611, 80621,
z3
80627, 80629, 80651, 80657, 80669, 80671, 80677, 80681, 80683, 80687, 80701,
z3
80713, 80737, 80747, 80749, 80761, 80777, 80779, 80783, 80789, 80803, 80809,
z3
80819, 80831, 80833, 80849, 80863, 80897, 80909, 80911, 80917, 80923, 80929,
z3
80933, 80953, 80963, 80989, 81001, 81013, 81017, 81019, 81023, 81031, 81041,
z3
81043, 81047, 81049, 81071, 81077, 81083, 81097, 81101, 81119, 81131, 81157,
z3
81163, 81173, 81181, 81197, 81199, 81203, 81223, 81233, 81239, 81281, 81283,
z3
81293, 81299, 81307, 81331, 81343, 81349, 81353, 81359, 81371, 81373, 81401,
z3
81409, 81421, 81439, 81457, 81463, 81509, 81517, 81527, 81533, 81547, 81551,
z3
81553, 81559, 81563, 81569, 81611, 81619, 81629, 81637, 81647, 81649, 81667,
z3
81671, 81677, 81689, 81701, 81703, 81707, 81727, 81737, 81749, 81761, 81769,
z3
81773, 81799, 81817, 81839, 81847, 81853, 81869, 81883, 81899, 81901, 81919,
z3
81929, 81931, 81937, 81943, 81953, 81967, 81971, 81973, 82003, 82007, 82009,
z3
82013, 82021, 82031, 82037, 82039, 82051, 82067, 82073, 82129, 82139, 82141,
z3
82153, 82163, 82171, 82183, 82189, 82193, 82207, 82217, 82219, 82223, 82231,
z3
82237, 82241, 82261, 82267, 82279, 82301, 82307, 82339, 82349, 82351, 82361,
z3
82373, 82387, 82393, 82421, 82457, 82463, 82469, 82471, 82483, 82487, 82493,
z3
82499, 82507, 82529, 82531, 82549, 82559, 82561, 82567, 82571, 82591, 82601,
z3
82609, 82613, 82619, 82633, 82651, 82657, 82699, 82721, 82723, 82727, 82729,
z3
82757, 82759, 82763, 82781, 82787, 82793, 82799, 82811, 82813, 82837, 82847,
z3
82883, 82889, 82891, 82903, 82913, 82939, 82963, 82981, 82997, 83003, 83009,
z3
83023, 83047, 83059, 83063, 83071, 83077, 83089, 83093, 83101, 83117, 83137,
z3
83177, 83203, 83207, 83219, 83221, 83227, 83231, 83233, 83243, 83257, 83267,
z3
83269, 83273, 83299, 83311, 83339, 83341, 83357, 83383, 83389, 83399, 83401,
z3
83407, 83417, 83423, 83431, 83437, 83443, 83449, 83459, 83471, 83477, 83497,
z3
83537, 83557, 83561, 83563, 83579, 83591, 83597, 83609, 83617, 83621, 83639,
z3
83641, 83653, 83663, 83689, 83701, 83717, 83719, 83737, 83761, 83773, 83777,
z3
83791, 83813, 83833, 83843, 83857, 83869, 83873, 83891, 83903, 83911, 83921,
z3
83933, 83939, 83969, 83983, 83987, 84011, 84017, 84047, 84053, 84059, 84061,
z3
84067, 84089, 84121, 84127, 84131, 84137, 84143, 84163, 84179, 84181, 84191,
z3
84199, 84211, 84221, 84223, 84229, 84239, 84247, 84263, 84299, 84307, 84313,
z3
84317, 84319, 84347, 84349, 84377, 84389, 84391, 84401, 84407, 84421, 84431,
z3
84437, 84443, 84449, 84457, 84463, 84467, 84481, 84499, 84503, 84509, 84521,
z3
84523, 84533, 84551, 84559, 84589, 84629, 84631, 84649, 84653, 84659, 84673,
z3
84691, 84697, 84701, 84713, 84719, 84731, 84737, 84751, 84761, 84787, 84793,
z3
84809, 84811, 84827, 84857, 84859, 84869, 84871, 84913, 84919, 84947, 84961,
z3
84967, 84977, 84979, 84991, 85009, 85021, 85027, 85037, 85049, 85061, 85081,
z3
85087, 85091, 85093, 85103, 85109, 85121, 85133, 85147, 85159, 85193, 85199,
z3
85201, 85213, 85223, 85229, 85237, 85243, 85247, 85259, 85297, 85303, 85313,
z3
85331, 85333, 85361, 85363, 85369, 85381, 85411, 85427, 85429, 85439, 85447,
z3
85451, 85453, 85469, 85487, 85513, 85517, 85523, 85531, 85549, 85571, 85577,
z3
85597, 85601, 85607, 85619, 85621, 85627, 85639, 85643, 85661, 85667, 85669,
z3
85691, 85703, 85711, 85717, 85733, 85751, 85781, 85793, 85817, 85819, 85829,
z3
85831, 85837, 85843, 85847, 85853, 85889, 85903, 85909, 85931, 85933, 85991,
z3
85999, 86011, 86017, 86027, 86029, 86069, 86077, 86083, 86111, 86113, 86117,
z3
86131, 86137, 86143, 86161, 86171, 86179, 86183, 86197, 86201, 86209, 86239,
z3
86243, 86249, 86257, 86263, 86269, 86287, 86291, 86293, 86297, 86311, 86323,
z3
86341, 86351, 86353, 86357, 86369, 86371, 86381, 86389, 86399, 86413, 86423,
z3
86441, 86453, 86461, 86467, 86477, 86491, 86501, 86509, 86531, 86533, 86539,
z3
86561, 86573, 86579, 86587, 86599, 86627, 86629, 86677, 86689, 86693, 86711,
z3
86719, 86729, 86743, 86753, 86767, 86771, 86783, 86813, 86837, 86843, 86851,
z3
86857, 86861, 86869, 86923, 86927, 86929, 86939, 86951, 86959, 86969, 86981,
z3
86993, 87011, 87013, 87037, 87041, 87049, 87071, 87083, 87103, 87107, 87119,
z3
87121, 87133, 87149, 87151, 87179, 87181, 87187, 87211, 87221, 87223, 87251,
z3
87253, 87257, 87277, 87281, 87293, 87299, 87313, 87317, 87323, 87337, 87359,
z3
87383, 87403, 87407, 87421, 87427, 87433, 87443, 87473, 87481, 87491, 87509,
z3
87511, 87517, 87523, 87539, 87541, 87547, 87553, 87557, 87559, 87583, 87587,
z3
87589, 87613, 87623, 87629, 87631, 87641, 87643, 87649, 87671, 87679, 87683,
z3
87691, 87697, 87701, 87719, 87721, 87739, 87743, 87751, 87767, 87793, 87797,
z3
87803, 87811, 87833, 87853, 87869, 87877, 87881, 87887, 87911, 87917, 87931,
z3
87943, 87959, 87961, 87973, 87977, 87991, 88001, 88003, 88007, 88019, 88037,
z3
88069, 88079, 88093, 88117, 88129, 88169, 88177, 88211, 88223, 88237, 88241,
z3
88259, 88261, 88289, 88301, 88321, 88327, 88337, 88339, 88379, 88397, 88411,
z3
88423, 88427, 88463, 88469, 88471, 88493, 88499, 88513, 88523, 88547, 88589,
z3
88591, 88607, 88609, 88643, 88651, 88657, 88661, 88663, 88667, 88681, 88721,
z3
88729, 88741, 88747, 88771, 88789, 88793, 88799, 88801, 88807, 88811, 88813,
z3
88817, 88819, 88843, 88853, 88861, 88867, 88873, 88883, 88897, 88903, 88919,
z3
88937, 88951, 88969, 88993, 88997, 89003, 89009, 89017, 89021, 89041, 89051,
z3
89057, 89069, 89071, 89083, 89087, 89101, 89107, 89113, 89119, 89123, 89137,
z3
89153, 89189, 89203, 89209, 89213, 89227, 89231, 89237, 89261, 89269, 89273,
z3
89293, 89303, 89317, 89329, 89363, 89371, 89381, 89387, 89393, 89399, 89413,
z3
89417, 89431, 89443, 89449, 89459, 89477, 89491, 89501, 89513, 89519, 89521,
z3
89527, 89533, 89561, 89563, 89567, 89591, 89597, 89599, 89603, 89611, 89627,
z3
89633, 89653, 89657, 89659, 89669, 89671, 89681, 89689, 89753, 89759, 89767,
z3
89779, 89783, 89797, 89809, 89819, 89821, 89833, 89839, 89849, 89867, 89891,
z3
89897, 89899, 89909, 89917, 89923, 89939, 89959, 89963, 89977, 89983, 89989,
z3
90001, 90007, 90011, 90017, 90019, 90023, 90031, 90053, 90059, 90067, 90071,
z3
90073, 90089, 90107, 90121, 90127, 90149, 90163, 90173, 90187, 90191, 90197,
z3
90199, 90203, 90217, 90227, 90239, 90247, 90263, 90271, 90281, 90289, 90313,
z3
90353, 90359, 90371, 90373, 90379, 90397, 90401, 90403, 90407, 90437, 90439,
z3
90469, 90473, 90481, 90499, 90511, 90523, 90527, 90529, 90533, 90547, 90583,
z3
90599, 90617, 90619, 90631, 90641, 90647, 90659, 90677, 90679, 90697, 90703,
z3
90709, 90731, 90749, 90787, 90793, 90803, 90821, 90823, 90833, 90841, 90847,
z3
90863, 90887, 90901, 90907, 90911, 90917, 90931, 90947, 90971, 90977, 90989,
z3
90997, 91009, 91019, 91033, 91079, 91081, 91097, 91099, 91121, 91127, 91129,
z3
91139, 91141, 91151, 91153, 91159, 91163, 91183, 91193, 91199, 91229, 91237,
z3
91243, 91249, 91253, 91283, 91291, 91297, 91303, 91309, 91331, 91367, 91369,
z3
91373, 91381, 91387, 91393, 91397, 91411, 91423, 91433, 91453, 91457, 91459,
z3
91463, 91493, 91499, 91513, 91529, 91541, 91571, 91573, 91577, 91583, 91591,
z3
91621, 91631, 91639, 91673, 91691, 91703, 91711, 91733, 91753, 91757, 91771,
z3
91781, 91801, 91807, 91811, 91813, 91823, 91837, 91841, 91867, 91873, 91909,
z3
91921, 91939, 91943, 91951, 91957, 91961, 91967, 91969, 91997, 92003, 92009,
z3
92033, 92041, 92051, 92077, 92083, 92107, 92111, 92119, 92143, 92153, 92173,
z3
92177, 92179, 92189, 92203, 92219, 92221, 92227, 92233, 92237, 92243, 92251,
z3
92269, 92297, 92311, 92317, 92333, 92347, 92353, 92357, 92363, 92369, 92377,
z3
92381, 92383, 92387, 92399, 92401, 92413, 92419, 92431, 92459, 92461, 92467,
z3
92479, 92489, 92503, 92507, 92551, 92557, 92567, 92569, 92581, 92593, 92623,
z3
92627, 92639, 92641, 92647, 92657, 92669, 92671, 92681, 92683, 92693, 92699,
z3
92707, 92717, 92723, 92737, 92753, 92761, 92767, 92779, 92789, 92791, 92801,
z3
92809, 92821, 92831, 92849, 92857, 92861, 92863, 92867, 92893, 92899, 92921,
z3
92927, 92941, 92951, 92957, 92959, 92987, 92993, 93001, 93047, 93053, 93059,
z3
93077, 93083, 93089, 93097, 93103, 93113, 93131, 93133, 93139, 93151, 93169,
z3
93179, 93187, 93199, 93229, 93239, 93241, 93251, 93253, 93257, 93263, 93281,
z3
93283, 93287, 93307, 93319, 93323, 93329, 93337, 93371, 93377, 93383, 93407,
z3
93419, 93427, 93463, 93479, 93481, 93487, 93491, 93493, 93497, 93503, 93523,
z3
93529, 93553, 93557, 93559, 93563, 93581, 93601, 93607, 93629, 93637, 93683,
z3
93701, 93703, 93719, 93739, 93761, 93763, 93787, 93809, 93811, 93827, 93851,
z3
93871, 93887, 93889, 93893, 93901, 93911, 93913, 93923, 93937, 93941, 93949,
z3
93967, 93971, 93979, 93983, 93997, 94007, 94009, 94033, 94049, 94057, 94063,
z3
94079, 94099, 94109, 94111, 94117, 94121, 94151, 94153, 94169, 94201, 94207,
z3
94219, 94229, 94253, 94261, 94273, 94291, 94307, 94309, 94321, 94327, 94331,
z3
94343, 94349, 94351, 94379, 94397, 94399, 94421, 94427, 94433, 94439, 94441,
z3
94447, 94463, 94477, 94483, 94513, 94529, 94531, 94541, 94543, 94547, 94559,
z3
94561, 94573, 94583, 94597, 94603, 94613, 94621, 94649, 94651, 94687, 94693,
z3
94709, 94723, 94727, 94747, 94771, 94777, 94781, 94789, 94793, 94811, 94819,
z3
94823, 94837, 94841, 94847, 94849, 94873, 94889, 94903, 94907, 94933, 94949,
z3
94951, 94961, 94993, 94999, 95003, 95009, 95021, 95027, 95063, 95071, 95083,
z3
95087, 95089, 95093, 95101, 95107, 95111, 95131, 95143, 95153, 95177, 95189,
z3
95191, 95203, 95213, 95219, 95231, 95233, 95239, 95257, 95261, 95267, 95273,
z3
95279, 95287, 95311, 95317, 95327, 95339, 95369, 95383, 95393, 95401, 95413,
z3
95419, 95429, 95441, 95443, 95461, 95467, 95471, 95479, 95483, 95507, 95527,
z3
95531, 95539, 95549, 95561, 95569, 95581, 95597, 95603, 95617, 95621, 95629,
z3
95633, 95651, 95701, 95707, 95713, 95717, 95723, 95731, 95737, 95747, 95773,
z3
95783, 95789, 95791, 95801, 95803, 95813, 95819, 95857, 95869, 95873, 95881,
z3
95891, 95911, 95917, 95923, 95929, 95947, 95957, 95959, 95971, 95987, 95989,
z3
96001, 96013, 96017, 96043, 96053, 96059, 96079, 96097, 96137, 96149, 96157,
z3
96167, 96179, 96181, 96199, 96211, 96221, 96223, 96233, 96259, 96263, 96269,
z3
96281, 96289, 96293, 96323, 96329, 96331, 96337, 96353, 96377, 96401, 96419,
z3
96431, 96443, 96451, 96457, 96461, 96469, 96479, 96487, 96493, 96497, 96517,
z3
96527, 96553, 96557, 96581, 96587, 96589, 96601, 96643, 96661, 96667, 96671,
z3
96697, 96703, 96731, 96737, 96739, 96749, 96757, 96763, 96769, 96779, 96787,
z3
96797, 96799, 96821, 96823, 96827, 96847, 96851, 96857, 96893, 96907, 96911,
z3
96931, 96953, 96959, 96973, 96979, 96989, 96997, 97001, 97003, 97007, 97021,
z3
97039, 97073, 97081, 97103, 97117, 97127, 97151, 97157, 97159, 97169, 97171,
z3
97177, 97187, 97213, 97231, 97241, 97259, 97283, 97301, 97303, 97327, 97367,
z3
97369, 97373, 97379, 97381, 97387, 97397, 97423, 97429, 97441, 97453, 97459,
z3
97463, 97499, 97501, 97511, 97523, 97547, 97549, 97553, 97561, 97571, 97577,
z3
97579, 97583, 97607, 97609, 97613, 97649, 97651, 97673, 97687, 97711, 97729,
z3
97771, 97777, 97787, 97789, 97813, 97829, 97841, 97843, 97847, 97849, 97859,
z3
97861, 97871, 97879, 97883, 97919, 97927, 97931, 97943, 97961, 97967, 97973,
z3
97987, 98009, 98011, 98017, 98041, 98047, 98057, 98081, 98101, 98123, 98129,
z3
98143, 98179, 98207, 98213, 98221, 98227, 98251, 98257, 98269, 98297, 98299,
z3
98317, 98321, 98323, 98327, 98347, 98369, 98377, 98387, 98389, 98407, 98411,
z3
98419, 98429, 98443, 98453, 98459, 98467, 98473, 98479, 98491, 98507, 98519,
z3
98533, 98543, 98561, 98563, 98573, 98597, 98621, 98627, 98639, 98641, 98663,
z3
98669, 98689, 98711, 98713, 98717, 98729, 98731, 98737, 98773, 98779, 98801,
z3
98807, 98809, 98837, 98849, 98867, 98869, 98873, 98887, 98893, 98897, 98899,
z3
98909, 98911, 98927, 98929, 98939, 98947, 98953, 98963, 98981, 98993, 98999,
z3
99013, 99017, 99023, 99041, 99053, 99079, 99083, 99089, 99103, 99109, 99119,
z3
99131, 99133, 99137, 99139, 99149, 99173, 99181, 99191, 99223, 99233, 99241,
z3
99251, 99257, 99259, 99277, 99289, 99317, 99347, 99349, 99367, 99371, 99377,
z3
99391, 99397, 99401, 99409, 99431, 99439, 99469, 99487, 99497, 99523, 99527,
z3
99529, 99551, 99559, 99563, 99571, 99577, 99581, 99607, 99611, 99623, 99643,
z3
99661, 99667, 99679, 99689, 99707, 99709, 99713, 99719, 99721, 99733, 99761,
z3
99767, 99787, 99793, 99809, 99817, 99823, 99829, 99833, 99839, 99859, 99871,
z3
99877, 99881, 99901, 99907, 99923, 99929, 99961, 99971, 99989, 99991, 100003,
z3
100019, 100043, 100049, 100057, 100069, 100103, 100109, 100129, 100151, 100153, 100169,
z3
100183, 100189, 100193, 100207, 100213, 100237, 100267, 100271, 100279, 100291, 100297,
z3
100313, 100333, 100343, 100357, 100361, 100363, 100379, 100391, 100393, 100403, 100411,
z3
100417, 100447, 100459, 100469, 100483, 100493, 100501, 100511, 100517, 100519, 100523,
z3
100537, 100547, 100549, 100559, 100591, 100609, 100613, 100621, 100649, 100669, 100673,
z3
100693, 100699, 100703, 100733, 100741, 100747, 100769, 100787, 100799, 100801, 100811,
z3
100823, 100829, 100847, 100853, 100907, 100913, 100927, 100931, 100937, 100943, 100957,
z3
100981, 100987, 100999, 101009, 101021, 101027, 101051, 101063, 101081, 101089, 101107,
z3
101111, 101113, 101117, 101119, 101141, 101149, 101159, 101161, 101173, 101183, 101197,
z3
101203, 101207, 101209, 101221, 101267, 101273, 101279, 101281, 101287, 101293, 101323,
z3
101333, 101341, 101347, 101359, 101363, 101377, 101383, 101399, 101411, 101419, 101429,
z3
101449, 101467, 101477, 101483, 101489, 101501, 101503, 101513, 101527, 101531, 101533,
z3
101537, 101561, 101573, 101581, 101599, 101603, 101611, 101627, 101641, 101653, 101663,
z3
101681, 101693, 101701, 101719, 101723, 101737, 101741, 101747, 101749, 101771, 101789,
z3
101797, 101807, 101833, 101837, 101839, 101863, 101869, 101873, 101879, 101891, 101917,
z3
101921, 101929, 101939, 101957, 101963, 101977, 101987, 101999, 102001, 102013, 102019,
z3
102023, 102031, 102043, 102059, 102061, 102071, 102077, 102079, 102101, 102103, 102107,
z3
102121, 102139, 102149, 102161, 102181, 102191, 102197, 102199, 102203, 102217, 102229,
z3
102233, 102241, 102251, 102253, 102259, 102293, 102299, 102301, 102317, 102329, 102337,
z3
102359, 102367, 102397, 102407, 102409, 102433, 102437, 102451, 102461, 102481, 102497,
z3
102499, 102503, 102523, 102533, 102539, 102547, 102551, 102559, 102563, 102587, 102593,
z3
102607, 102611, 102643, 102647, 102653, 102667, 102673, 102677, 102679, 102701, 102761,
z3
102763, 102769, 102793, 102797, 102811, 102829, 102841, 102859, 102871, 102877, 102881,
z3
102911, 102913, 102929, 102931, 102953, 102967, 102983, 103001, 103007, 103043, 103049,
z3
103067, 103069, 103079, 103087, 103091, 103093, 103099, 103123, 103141, 103171, 103177,
z3
103183, 103217, 103231, 103237, 103289, 103291, 103307, 103319, 103333, 103349, 103357,
z3
103387, 103391, 103393, 103399, 103409, 103421, 103423, 103451, 103457, 103471, 103483,
z3
103511, 103529, 103549, 103553, 103561, 103567, 103573, 103577, 103583, 103591, 103613,
z3
103619, 103643, 103651, 103657, 103669, 103681, 103687, 103699, 103703, 103723, 103769,
z3
103787, 103801, 103811, 103813, 103837, 103841, 103843, 103867, 103889, 103903, 103913,
z3
103919, 103951, 103963, 103967, 103969, 103979, 103981, 103991, 103993, 103997, 104003,
z3
104009, 104021, 104033, 104047, 104053, 104059, 104087, 104089, 104107, 104113, 104119,
z3
104123, 104147, 104149, 104161, 104173, 104179, 104183, 104207, 104231, 104233, 104239,
z3
104243, 104281, 104287, 104297, 104309, 104311, 104323, 104327, 104347, 104369, 104381,
z3
104383, 104393, 104399, 104417, 104459, 104471, 104473, 104479, 104491, 104513, 104527,
z3
104537, 104543, 104549, 104551, 104561, 104579, 104593, 104597, 104623, 104639, 104651,
z3
104659, 104677, 104681, 104683, 104693, 104701, 104707, 104711, 104717, 104723, 104729,
z3
z3
PASS
z3
(test prime_generator :time 0.03 :before-memory 33.39 :after-memory 33.39)
z3
All tests passed!
z3
PASS
z3
(test permutation :time 0.02 :before-memory 33.39 :after-memory 33.39)
z3
All tests passed!
z3
PASS
z3
(test permutation :time 0.02 :before-memory 33.39 :after-memory 33.39)
z3
=== tst_unsound_gh8397 ===
z3
z3
--- Running with lws=false ---
z3
p_main: 4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6
z3
p_diff: x6 - x1
z3
p_root1: 1024 x1^3 + 6144 x1^2 + 6144 x1
z3
p_root2: 2048 x1^3 + 6144 x1^2 + 4096 x1
z3
Input literals:
z3
x6 - x1 > 0;  4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6 < 0;  1024 x1 = 0;  x1 + 1 > 0;  2048 x1^2 + 4096 x1 = 0;  x1 = root[3](1024 x1^3 + 6144 x1^2 + 6144 x1);  x1 = root[3](2048 x1^3 + 6144 x1^2 + 4096 x1);  x1 = 0;  
z3
Result lemma (lws=false):
z3
(or
z3
  !(1024 x1 = 0)
z3
  !(x1 + 1 > 0)
z3
  !(2048 x1^2 + 4096 x1 = 0)
z3
  !(x1 = 0)
z3
  !(x5 + x1 + 1 = 0)
z3
  !(x6 - x1 > 0)
z3
  !(4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6 < 0)
z3
  !(1024 x1 = 0)
z3
  !(x1 + 1 > 0)
z3
  !(2048 x1^2 + 4096 x1 = 0)
z3
  !(x1 = root[3](1024 x1^3 + 6144 x1^2 + 6144 x1))
z3
  !(x1 = root[3](2048 x1^3 + 6144 x1^2 + 4096 x1))
z3
  !(x1 = 0)
z3
)
z3
z3
Evaluating at counterexample (x1=0, x5=0, x6=-0.5):
z3
  !(1024 x1 = 0) -> FALSE
z3
  !(x1 + 1 > 0) -> FALSE
z3
  !(2048 x1^2 + 4096 x1 = 0) -> FALSE
z3
  !(x1 = 0) -> FALSE
z3
  !(x5 + x1 + 1 = 0) -> TRUE
z3
  !(x6 - x1 > 0) -> TRUE
z3
  !(4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6 < 0) -> TRUE
z3
  !(1024 x1 = 0) -> FALSE
z3
  !(x1 + 1 > 0) -> FALSE
z3
  !(2048 x1^2 + 4096 x1 = 0) -> FALSE
z3
  !(x1 = root[3](1024 x1^3 + 6144 x1^2 + 6144 x1)) -> FALSE
z3
  !(x1 = root[3](2048 x1^3 + 6144 x1^2 + 4096 x1)) -> FALSE
z3
  !(x1 = 0) -> FALSE
z3
At least one literal is TRUE - lemma is sound at this point
z3
z3
--- Running with lws=true ---
z3
p_main: 4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6
z3
p_diff: x6 - x1
z3
p_root1: 1024 x1^3 + 6144 x1^2 + 6144 x1
z3
p_root2: 2048 x1^3 + 6144 x1^2 + 4096 x1
z3
Input literals:
z3
x6 - x1 > 0;  4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6 < 0;  1024 x1 = 0;  x1 + 1 > 0;  2048 x1^2 + 4096 x1 = 0;  x1 = root[3](1024 x1^3 + 6144 x1^2 + 6144 x1);  x1 = root[3](2048 x1^3 + 6144 x1^2 + 4096 x1);  x1 = 0;  
z3
Result lemma (lws=true):
z3
(or
z3
  !(1024 x1 = 0)
z3
  !(x1 + 1 > 0)
z3
  !(2048 x1^2 + 4096 x1 = 0)
z3
  !(x1 = 0)
z3
  !(x5 + 1 = 0)
z3
  !(x6 - x1 > 0)
z3
  !(4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6 < 0)
z3
  !(1024 x1 = 0)
z3
  !(x1 + 1 > 0)
z3
  !(2048 x1^2 + 4096 x1 = 0)
z3
  !(x1 = root[3](1024 x1^3 + 6144 x1^2 + 6144 x1))
z3
  !(x1 = root[3](2048 x1^3 + 6144 x1^2 + 4096 x1))
z3
  !(x1 = 0)
z3
)
z3
z3
Evaluating at counterexample (x1=0, x5=0, x6=-0.5):
z3
  !(1024 x1 = 0) -> FALSE
z3
  !(x1 + 1 > 0) -> FALSE
z3
  !(2048 x1^2 + 4096 x1 = 0) -> FALSE
z3
  !(x1 = 0) -> FALSE
z3
  !(x5 + 1 = 0) -> TRUE
z3
  !(x6 - x1 > 0) -> TRUE
z3
  !(4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6 < 0) -> TRUE
z3
  !(1024 x1 = 0) -> FALSE
z3
  !(x1 + 1 > 0) -> FALSE
z3
  !(2048 x1^2 + 4096 x1 = 0) -> FALSE
z3
  !(x1 = root[3](1024 x1^3 + 6144 x1^2 + 6144 x1)) -> FALSE
z3
  !(x1 = root[3](2048 x1^3 + 6144 x1^2 + 4096 x1)) -> FALSE
z3
  !(x1 = 0) -> FALSE
z3
At least one literal is TRUE - lemma is sound at this point
z3
z3
=== END tst_unsound_gh8397 ===
z3
z3
PASS
z3
(test nlsat :time 0.00 :before-memory 33.39 :after-memory 33.40)
z3
=== tst_unsound_gh8397 ===
z3
z3
--- Running with lws=false ---
z3
p_main: 4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6
z3
p_diff: x6 - x1
z3
p_root1: 1024 x1^3 + 6144 x1^2 + 6144 x1
z3
p_root2: 2048 x1^3 + 6144 x1^2 + 4096 x1
z3
Input literals:
z3
x6 - x1 > 0;  4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6 < 0;  1024 x1 = 0;  x1 + 1 > 0;  2048 x1^2 + 4096 x1 = 0;  x1 = root[3](1024 x1^3 + 6144 x1^2 + 6144 x1);  x1 = root[3](2048 x1^3 + 6144 x1^2 + 4096 x1);  x1 = 0;  
z3
Result lemma (lws=false):
z3
(or
z3
  !(1024 x1 = 0)
z3
  !(x1 + 1 > 0)
z3
  !(2048 x1^2 + 4096 x1 = 0)
z3
  !(x1 = 0)
z3
  !(x5 + x1 + 1 = 0)
z3
  !(x6 - x1 > 0)
z3
  !(4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6 < 0)
z3
  !(1024 x1 = 0)
z3
  !(x1 + 1 > 0)
z3
  !(2048 x1^2 + 4096 x1 = 0)
z3
  !(x1 = root[3](1024 x1^3 + 6144 x1^2 + 6144 x1))
z3
  !(x1 = root[3](2048 x1^3 + 6144 x1^2 + 4096 x1))
z3
  !(x1 = 0)
z3
)
z3
z3
Evaluating at counterexample (x1=0, x5=0, x6=-0.5):
z3
  !(1024 x1 = 0) -> FALSE
z3
  !(x1 + 1 > 0) -> FALSE
z3
  !(2048 x1^2 + 4096 x1 = 0) -> FALSE
z3
  !(x1 = 0) -> FALSE
z3
  !(x5 + x1 + 1 = 0) -> TRUE
z3
  !(x6 - x1 > 0) -> TRUE
z3
  !(4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6 < 0) -> TRUE
z3
  !(1024 x1 = 0) -> FALSE
z3
  !(x1 + 1 > 0) -> FALSE
z3
  !(2048 x1^2 + 4096 x1 = 0) -> FALSE
z3
  !(x1 = root[3](1024 x1^3 + 6144 x1^2 + 6144 x1)) -> FALSE
z3
  !(x1 = root[3](2048 x1^3 + 6144 x1^2 + 4096 x1)) -> FALSE
z3
  !(x1 = 0) -> FALSE
z3
At least one literal is TRUE - lemma is sound at this point
z3
z3
--- Running with lws=true ---
z3
p_main: 4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6
z3
p_diff: x6 - x1
z3
p_root1: 1024 x1^3 + 6144 x1^2 + 6144 x1
z3
p_root2: 2048 x1^3 + 6144 x1^2 + 4096 x1
z3
Input literals:
z3
x6 - x1 > 0;  4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6 < 0;  1024 x1 = 0;  x1 + 1 > 0;  2048 x1^2 + 4096 x1 = 0;  x1 = root[3](1024 x1^3 + 6144 x1^2 + 6144 x1);  x1 = root[3](2048 x1^3 + 6144 x1^2 + 4096 x1);  x1 = 0;  
z3
Result lemma (lws=true):
z3
(or
z3
  !(1024 x1 = 0)
z3
  !(x1 + 1 > 0)
z3
  !(2048 x1^2 + 4096 x1 = 0)
z3
  !(x1 = 0)
z3
  !(x5 + 1 = 0)
z3
  !(x6 - x1 > 0)
z3
  !(4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6 < 0)
z3
  !(1024 x1 = 0)
z3
  !(x1 + 1 > 0)
z3
  !(2048 x1^2 + 4096 x1 = 0)
z3
  !(x1 = root[3](1024 x1^3 + 6144 x1^2 + 6144 x1))
z3
  !(x1 = root[3](2048 x1^3 + 6144 x1^2 + 4096 x1))
z3
  !(x1 = 0)
z3
)
z3
z3
Evaluating at counterexample (x1=0, x5=0, x6=-0.5):
z3
  !(1024 x1 = 0) -> FALSE
z3
  !(x1 + 1 > 0) -> FALSE
z3
  !(2048 x1^2 + 4096 x1 = 0) -> FALSE
z3
  !(x1 = 0) -> FALSE
z3
  !(x5 + 1 = 0) -> TRUE
z3
  !(x6 - x1 > 0) -> TRUE
z3
  !(4 x6^3 + 4 x5 x6^2 - 4 x1 x6^2 + 4 x6^2 - 4 x1 x5 x6 - 4 x1 x6 < 0) -> TRUE
z3
  !(1024 x1 = 0) -> FALSE
z3
  !(x1 + 1 > 0) -> FALSE
z3
  !(2048 x1^2 + 4096 x1 = 0) -> FALSE
z3
  !(x1 = root[3](1024 x1^3 + 6144 x1^2 + 6144 x1)) -> FALSE
z3
  !(x1 = root[3](2048 x1^3 + 6144 x1^2 + 4096 x1)) -> FALSE
z3
  !(x1 = 0) -> FALSE
z3
At least one literal is TRUE - lemma is sound at this point
z3
z3
=== END tst_unsound_gh8397 ===
z3
z3
PASS
z3
(test nlsat :time 0.00 :before-memory 33.40 :after-memory 33.40)
z3
vandermonde_factored:x1 x2^2 - x1^2 x2 + x0 x1^2 - x0 x2^2 + x0^2 x2 - x0^2 x1
z3
vandermonde(flat): x1 x2^2 - x1^2 x2 + x0 x1^2 - x0^2 x1 + x0^2 x2 - x0 x2^2
z3
Project x1 x2^2 - x0 x2^2 - x1^2 x2 + x0^2 x2 + x0 x1^2 - x0^2 x1 > 0;  
z3
==>
z3
x1 - x0 > 0;  
z3
-1
z3
PASS
z3
(test nlsat_mv :time 0.00 :before-memory 33.40 :after-memory 33.40)
z3
vandermonde_factored:x1 x2^2 - x1^2 x2 + x0 x1^2 - x0 x2^2 + x0^2 x2 - x0^2 x1
z3
vandermonde(flat): x1 x2^2 - x1^2 x2 + x0 x1^2 - x0^2 x1 + x0^2 x2 - x0 x2^2
z3
Project x1 x2^2 - x0 x2^2 - x1^2 x2 + x0^2 x2 + x0 x1^2 - x0^2 x1 > 0;  
z3
==>
z3
x1 - x0 > 0;  
z3
-1
z3
PASS
z3
(test nlsat_mv :time 0.00 :before-memory 33.40 :after-memory 33.40)
z3
PASS
z3
(test zstring :time 0.00 :before-memory 33.40 :after-memory 33.40)
z3
PASS
z3
(test zstring :time 0.00 :before-memory 33.40 :after-memory 33.40)
z3
checkPhase completed in 2 minutes 14 seconds
z3
Running phase: installPhase
z3
install flags: -j20 install
z3
[0/1] Install the project...
z3
-- Install configuration: "Release"
z3
-- Installing: /nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib/lib/libz3.so.4.16.0.0
z3
-- Installing: /nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib/lib/libz3.so.4.16
z3
-- Installing: /nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib/lib/libz3.so
z3
-- Installing: /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/include/z3_algebraic.h
z3
-- Installing: /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/include/z3_api.h
z3
-- Installing: /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/include/z3_ast_containers.h
z3
-- Installing: /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/include/z3_fixedpoint.h
z3
-- Installing: /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/include/z3_fpa.h
z3
-- Installing: /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/include/z3.h
z3
-- Installing: /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/include/z3++.h
z3
-- Installing: /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/include/z3_macros.h
z3
-- Installing: /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/include/z3_optimization.h
z3
-- Installing: /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/include/z3_polynomial.h
z3
-- Installing: /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/include/z3_rcf.h
z3
-- Installing: /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/include/z3_v1.h
z3
-- Installing: /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/include/z3_spacer.h
z3
-- Installing: /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/include/z3_version.h
z3
-- Installing: /nix/store/dcwp1ygyzpqa3ha42vqp3gvkax3gyi3h-z3-x86_64-unknown-linux-gnufilc0-4.16.0/bin/z3
z3
-- Installing: /nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python/lib/python3.12/site-packages/z3/__init__.py
z3
-- Installing: /nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python/lib/python3.12/site-packages/z3/z3.py
z3
-- Installing: /nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python/lib/python3.12/site-packages/z3/z3num.py
z3
-- Installing: /nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python/lib/python3.12/site-packages/z3/z3poly.py
z3
-- Installing: /nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python/lib/python3.12/site-packages/z3/z3printer.py
z3
-- Installing: /nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python/lib/python3.12/site-packages/z3/z3rcf.py
z3
-- Installing: /nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python/lib/python3.12/site-packages/z3/z3test.py
z3
-- Installing: /nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python/lib/python3.12/site-packages/z3/z3types.py
z3
-- Installing: /nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python/lib/python3.12/site-packages/z3/z3util.py
z3
-- Installing: /nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python/lib/python3.12/site-packages/z3/z3core.py
z3
-- Installing: /nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python/lib/python3.12/site-packages/z3/z3consts.py
z3
-- Installing: /nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib/lib/cmake/z3/Z3Targets.cmake
z3
-- Installing: /nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib/lib/cmake/z3/Z3Targets-release.cmake
z3
-- Installing: /nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib/lib/cmake/z3/Z3Config.cmake
z3
-- Installing: /nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib/lib/cmake/z3/Z3ConfigVersion.cmake
z3
-- Installing: /nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib/lib/pkgconfig/z3.pc
z3
Running phase: fixupPhase
z3
Moving /nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib/lib/pkgconfig to /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/lib/pkgconfig
z3
Moving /nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib/lib/cmake to /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/lib/cmake
z3
Patching '/nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/lib/pkgconfig/z3.pc' includedir to output /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev
z3
shrinking RPATHs of ELF executables and libraries in /nix/store/dcwp1ygyzpqa3ha42vqp3gvkax3gyi3h-z3-x86_64-unknown-linux-gnufilc0-4.16.0
z3
shrinking /nix/store/dcwp1ygyzpqa3ha42vqp3gvkax3gyi3h-z3-x86_64-unknown-linux-gnufilc0-4.16.0/bin/z3
z3
checking for references to /build/ in /nix/store/dcwp1ygyzpqa3ha42vqp3gvkax3gyi3h-z3-x86_64-unknown-linux-gnufilc0-4.16.0...
z3
patching script interpreter paths in /nix/store/dcwp1ygyzpqa3ha42vqp3gvkax3gyi3h-z3-x86_64-unknown-linux-gnufilc0-4.16.0
z3
stripping (with command strip and flags -S -p) in  /nix/store/dcwp1ygyzpqa3ha42vqp3gvkax3gyi3h-z3-x86_64-unknown-linux-gnufilc0-4.16.0/bin
z3
shrinking RPATHs of ELF executables and libraries in /nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib
z3
shrinking /nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib/lib/libz3.so.4.16.0.0
z3
checking for references to /build/ in /nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib...
z3
patching script interpreter paths in /nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib
z3
stripping (with command strip and flags -S -p) in  /nix/store/81q5ia110p7bsxsalzygx6811dq8cr9y-z3-x86_64-unknown-linux-gnufilc0-4.16.0-lib/lib
z3
shrinking RPATHs of ELF executables and libraries in /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev
z3
checking for references to /build/ in /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev...
z3
patching script interpreter paths in /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev
z3
stripping (with command strip and flags -S -p) in  /nix/store/6jfiiay59nfg6mfq59mjzrz15yzb70ky-z3-x86_64-unknown-linux-gnufilc0-4.16.0-dev/lib
z3
shrinking RPATHs of ELF executables and libraries in /nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python
z3
checking for references to /build/ in /nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python...
z3
patching script interpreter paths in /nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python
z3
stripping (with command strip and flags -S -p) in  /nix/store/bmj6l1zhds7rrpg9jxv14gm1rnxcy3m4-z3-x86_64-unknown-linux-gnufilc0-4.16.0-python/lib
z3
Running phase: installCheckPhase
z3
Executing versionCheckPhase
z3
Successfully managed to find version 4.16.0 in the output of the command /nix/store/dcwp1ygyzpqa3ha42vqp3gvkax3gyi3h-z3-x86_64-unknown-linux-gnufilc0-4.16.0/bin/z3 --version
z3
Z3 version 4.16.0 - 64 bit
z3
Finished versionCheckPhase
z3
no Makefile or custom installCheckPhase, doing nothing
z3
z3 python ok
z3
Running phase: pythonImportsCheckPhase
z3
Executing pythonImportsCheckPhase