3.24.3 html 141 242 1 false 34 0 false 4 false false R1.htm 0000001 - Document - Document and Entity Information Sheet http://www.prospricing.com/role/DocumentandEntityInformation Document and Entity Information Cover 1 false false R2.htm 9952151 - Statement - Condensed Consolidated Balance Sheets (Unaudited) Sheet http://www.prospricing.com/role/CondensedConsolidatedBalanceSheetsUnaudited Condensed Consolidated Balance Sheets (Unaudited) Statements 2 false false R3.htm 9952152 - Statement - Condensed Consolidated Balance Sheets (Unaudited) (Parenthetical) Sheet http://www.prospricing.com/role/CondensedConsolidatedBalanceSheetsUnauditedParenthetical Condensed Consolidated Balance Sheets (Unaudited) (Parenthetical) Statements 3 false false R4.htm 9952153 - Statement - Condensed Consolidated Statements of Comprehensive Income (Unaudited) Sheet http://www.prospricing.com/role/CondensedConsolidatedStatementsofComprehensiveIncomeUnaudited Condensed Consolidated Statements of Comprehensive Income (Unaudited) Statements 4 false false R5.htm 9952154 - Statement - Condensed Consolidated Statements of Cash Flows (Unaudited) Sheet http://www.prospricing.com/role/CondensedConsolidatedStatementsofCashFlowsUnaudited Condensed Consolidated Statements of Cash Flows (Unaudited) Statements 5 false false R6.htm 9952155 - Statement - Condensed Consolidated Statement of Stockholders' Equity Statement Sheet http://www.prospricing.com/role/CondensedConsolidatedStatementofStockholdersEquityStatement Condensed Consolidated Statement of Stockholders' Equity Statement Statements 6 false false R7.htm 9952156 - Disclosure - Organization and Nature of Operations Sheet http://www.prospricing.com/role/OrganizationandNatureofOperations Organization and Nature of Operations Notes 7 false false R8.htm 9952157 - Disclosure - Summary of Significant Accounting Policies (Notes) Notes http://www.prospricing.com/role/SummaryofSignificantAccountingPoliciesNotes Summary of Significant Accounting Policies (Notes) Notes 8 false false R9.htm 9952158 - Disclosure - Deferred Revenue and Performance Obligation (Notes) Notes http://www.prospricing.com/role/DeferredRevenueandPerformanceObligationNotes Deferred Revenue and Performance Obligation (Notes) Notes 9 false false R10.htm 9952159 - Disclosure - Disaggregation of Revenue (Notes) Notes http://www.prospricing.com/role/DisaggregationofRevenueNotes Disaggregation of Revenue (Notes) Notes 10 false false R11.htm 9952160 - Disclosure - Leases (Notes) Notes http://www.prospricing.com/role/LeasesNotes Leases (Notes) Notes 11 false false R12.htm 9952161 - Disclosure - Earnings per Share (Note) Sheet http://www.prospricing.com/role/EarningsperShareNote Earnings per Share (Note) Notes 12 false false R13.htm 9952162 - Disclosure - Noncash Share-based Compensation (Note) Sheet http://www.prospricing.com/role/NoncashSharebasedCompensationNote Noncash Share-based Compensation (Note) Notes 13 false false R14.htm 9952163 - Disclosure - Convertible debt (Notes) Notes http://www.prospricing.com/role/ConvertibledebtNotes Convertible debt (Notes) Notes 14 false false R15.htm 9952165 - Disclosure - Commitments and Contingencies Sheet http://www.prospricing.com/role/CommitmentsandContingencies Commitments and Contingencies Notes 15 false false R16.htm 9952166 - Disclosure - Severance and other related costs Sheet http://www.prospricing.com/role/Severanceandotherrelatedcosts Severance and other related costs Notes 16 false false R17.htm 9952167 - Disclosure - Other Income and Expenses Sheet http://www.prospricing.com/role/OtherIncomeandExpenses Other Income and Expenses Notes 17 false false R18.htm 995410 - Disclosure - Pay vs Performance Disclosure Sheet http://xbrl.sec.gov/ecd/role/PvpDisclosure Pay vs Performance Disclosure Notes 18 false false R19.htm 995445 - Disclosure - Insider Trading Arrangements Sheet http://xbrl.sec.gov/ecd/role/InsiderTradingArrangements Insider Trading Arrangements Notes 19 false false R20.htm 9954471 - Disclosure - Summary of Significant Accounting Policies (Policies) Sheet http://www.prospricing.com/role/SummaryofSignificantAccountingPoliciesPolicies Summary of Significant Accounting Policies (Policies) Policies http://www.prospricing.com/role/SummaryofSignificantAccountingPoliciesNotes 20 false false R21.htm 9954474 - Disclosure - Disaggregation of Revenue (Tables) Sheet http://www.prospricing.com/role/DisaggregationofRevenueTables Disaggregation of Revenue (Tables) Tables http://www.prospricing.com/role/DisaggregationofRevenueNotes 21 false false R22.htm 9954475 - Disclosure - Leases (Tables) Sheet http://www.prospricing.com/role/LeasesTables Leases (Tables) Tables http://www.prospricing.com/role/LeasesNotes 22 false false R23.htm 9954476 - Disclosure - Earnings per Share (Table) Sheet http://www.prospricing.com/role/EarningsperShareTable Earnings per Share (Table) Tables http://www.prospricing.com/role/EarningsperShareNote 23 false false R24.htm 9954477 - Disclosure - Noncash Share-based Compensation (Tables) Sheet http://www.prospricing.com/role/NoncashSharebasedCompensationTables Noncash Share-based Compensation (Tables) Tables http://www.prospricing.com/role/NoncashSharebasedCompensationNote 24 false false R25.htm 9954478 - Disclosure - Convertible debt (Tables) Sheet http://www.prospricing.com/role/ConvertibledebtTables Convertible debt (Tables) Tables http://www.prospricing.com/role/ConvertibledebtNotes 25 false false R26.htm 9954479 - Disclosure - Commitment and Contingencies (Tables) Sheet http://www.prospricing.com/role/CommitmentandContingenciesTables Commitment and Contingencies (Tables) Tables 26 false false R27.htm 9954480 - Disclosure - Other Income and Expenses (Tables) Sheet http://www.prospricing.com/role/OtherIncomeandExpensesTables Other Income and Expenses (Tables) Tables http://www.prospricing.com/role/OtherIncomeandExpenses 27 false false R28.htm 9954482 - Disclosure - Summary of Significant Accounting Policies Significant Accounting Policies (Details) Sheet http://www.prospricing.com/role/SummaryofSignificantAccountingPoliciesSignificantAccountingPoliciesDetails Summary of Significant Accounting Policies Significant Accounting Policies (Details) Details 28 false false R29.htm 9954484 - Disclosure - Deferred Revenue and Performance Obligation (Details) Sheet http://www.prospricing.com/role/DeferredRevenueandPerformanceObligationDetails Deferred Revenue and Performance Obligation (Details) Details http://www.prospricing.com/role/DeferredRevenueandPerformanceObligationNotes 29 false false R30.htm 9954485 - Disclosure - Disaggregation of Revenue Revenue by Geography (Details) Sheet http://www.prospricing.com/role/DisaggregationofRevenueRevenuebyGeographyDetails Disaggregation of Revenue Revenue by Geography (Details) Details 30 false false R31.htm 9954486 - Disclosure - Leases (Details) Sheet http://www.prospricing.com/role/LeasesDetails Leases (Details) Details http://www.prospricing.com/role/LeasesTables 31 false false R32.htm 9954487 - Disclosure - Leases Schedule of lease liability maturities (Details) Sheet http://www.prospricing.com/role/LeasesScheduleofleaseliabilitymaturitiesDetails Leases Schedule of lease liability maturities (Details) Details 32 false false R33.htm 9954488 - Disclosure - Earnings per Share (Details) Sheet http://www.prospricing.com/role/EarningsperShareDetails Earnings per Share (Details) Details http://www.prospricing.com/role/EarningsperShareTable 33 false false R34.htm 9954489 - Disclosure - Earnings per Share Basis and Diluted (Details) Sheet http://www.prospricing.com/role/EarningsperShareBasisandDilutedDetails Earnings per Share Basis and Diluted (Details) Details 34 false false R35.htm 9954490 - Disclosure - Noncash Share-based Compensation (Details) Sheet http://www.prospricing.com/role/NoncashSharebasedCompensationDetails Noncash Share-based Compensation (Details) Details http://www.prospricing.com/role/NoncashSharebasedCompensationTables 35 false false R36.htm 9954491 - Disclosure - Noncash Share-based Compensation Expense (Details) Sheet http://www.prospricing.com/role/NoncashSharebasedCompensationExpenseDetails Noncash Share-based Compensation Expense (Details) Details http://www.prospricing.com/role/NoncashSharebasedCompensationTables 36 false false R37.htm 9954492 - Disclosure - Noncash Share-based Compensation Awards outstanding (Details) Sheet http://www.prospricing.com/role/NoncashSharebasedCompensationAwardsoutstandingDetails Noncash Share-based Compensation Awards outstanding (Details) Details 37 false false R38.htm 9954493 - Disclosure - Noncash Share-based Compensation Assumptions (Details) Sheet http://www.prospricing.com/role/NoncashSharebasedCompensationAssumptionsDetails Noncash Share-based Compensation Assumptions (Details) Details 38 false false R39.htm 9954494 - Disclosure - Convertible debt (Details) Sheet http://www.prospricing.com/role/ConvertibledebtDetails Convertible debt (Details) Details http://www.prospricing.com/role/ConvertibledebtTables 39 false false R40.htm 9954496 - Disclosure - Commitments and Contingencies Purchase commitments (Details) Sheet http://www.prospricing.com/role/CommitmentsandContingenciesPurchasecommitmentsDetails Commitments and Contingencies Purchase commitments (Details) Details 40 false false R41.htm 9954497 - Disclosure - Severance and other related costs (Details) Sheet http://www.prospricing.com/role/SeveranceandotherrelatedcostsDetails Severance and other related costs (Details) Details http://www.prospricing.com/role/Severanceandotherrelatedcosts 41 false false R42.htm 9954498 - Disclosure - Other Income and Expenses (Details) Sheet http://www.prospricing.com/role/OtherIncomeandExpensesDetails Other Income and Expenses (Details) Details http://www.prospricing.com/role/OtherIncomeandExpensesTables 42 false false All Reports Book All Reports pro-20240930.htm pro-20240930.xsd pro-20240930_cal.xml pro-20240930_def.xml pro-20240930_lab.xml pro-20240930_pre.xml pro-20240930_g1.jpg http://fasb.org/us-gaap/2024 http://xbrl.sec.gov/dei/2024 http://xbrl.sec.gov/ecd/2024 true true