@@ -342,13 +342,14 @@ var (
342
342
"t2d-standard-32" : 1.3519 ,
343
343
"t2d-standard-48" : 2.0278 ,
344
344
"t2d-standard-60" : 2.5348 ,
345
- "z3-highmem-176" : 21.980576 ,
346
345
"z3-highmem-8" : 1.145745 ,
347
346
"z3-highmem-14" : 2.085698 ,
348
347
"z3-highmem-22" : 3.231443 ,
349
348
"z3-highmem-30" : 4.377188 ,
350
349
"z3-highmem-36" : 5.317141 ,
351
350
"z3-highmem-44" : 6.462886 ,
351
+ "z3-highmem-88" : 12.925772 ,
352
+ "z3-highmem-176" : 21.980576 ,
352
353
"z3-highmem-8-highlssd" : 1.145745 ,
353
354
"z3-highmem-16-highlssd" : 2.291489 ,
354
355
"z3-highmem-22-highlssd" : 3.231443 ,
@@ -537,24 +538,25 @@ var (
537
538
"t2d-standard-32" : 0.3271 ,
538
539
"t2d-standard-48" : 0.4907 ,
539
540
"t2d-standard-60" : 0.6134 ,
540
- "z3-highmem-176" : 7.568291 ,
541
- "z3-highmem-8" : 0.402664 ,
542
- "z3-highmem-14" : 0.736921 ,
543
- "z3-highmem-22" : 1.139585 ,
544
- "z3-highmem-30" : 1.542249 ,
545
- "z3-highmem-36" : 1.876505 ,
546
- "z3-highmem-44" : 2.279170 ,
547
- "z3-highmem-8-highlssd" : 0.402664 ,
548
- "z3-highmem-16-highlssd" : 0.805329 ,
549
- "z3-highmem-22-highlssd" : 1.139585 ,
550
- "z3-highmem-32-highlssd" : 1.610657 ,
551
- "z3-highmem-44-highlssd" : 2.279170 ,
552
- "z3-highmem-88-highlssd" : 4.558339 ,
553
- "z3-highmem-14-standardlssd" : 0.607888 ,
554
- "z3-highmem-22-standardlssd" : 1.010553 ,
555
- "z3-highmem-44-standardlssd" : 1.892073 ,
556
- "z3-highmem-88-standardlssd" : 3.784146 ,
557
- "z3-highmem-176-standardlssd" : 7.568291 ,
541
+ "z3-highmem-8" : 0.290841 ,
542
+ "z3-highmem-14" : 0.532258 ,
543
+ "z3-highmem-22" : 0.823099 ,
544
+ "z3-highmem-30" : 1.113941 ,
545
+ "z3-highmem-36" : 1.355358 ,
546
+ "z3-highmem-44" : 1.646199 ,
547
+ "z3-highmem-88" : 3.292398 ,
548
+ "z3-highmem-176" : 5.467054 ,
549
+ "z3-highmem-8-highlssd" : 0.290841 ,
550
+ "z3-highmem-16-highlssd" : 0.581682 ,
551
+ "z3-highmem-22-highlssd" : 0.823099 ,
552
+ "z3-highmem-32-highlssd" : 1.163365 ,
553
+ "z3-highmem-44-highlssd" : 1.646199 ,
554
+ "z3-highmem-88-highlssd" : 3.292398 ,
555
+ "z3-highmem-14-standardlssd" : 0.439113 ,
556
+ "z3-highmem-22-standardlssd" : 0.729954 ,
557
+ "z3-highmem-44-standardlssd" : 1.366763 ,
558
+ "z3-highmem-88-standardlssd" : 2.733527 ,
559
+ "z3-highmem-176-standardlssd" : 5.467054 ,
558
560
}
559
561
gpuPrices = map [string ]float64 {
560
562
"nvidia-tesla-t4" : 0.35 ,
0 commit comments