products/sources/formale sprachen/PVS/summaries/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: TU_Games.summary   Sprache: Unknown

Spracherkennung für: .summary vermutete Sprache: MT940 {MT940[305] Hlasm[1443] Haskell[1856]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

*** 
*** top (20:36:34 11/7/2014)
*** Generated by proveit - ProofLite-6.0.9 (3/14/14)
*** 
 Proof summary for theory top
    Theory totals: 0 formulas, 0 attempted, 0 succeeded (0.00 s)

 Proof summary for theory players_set
    Theory totals: 0 formulas, 0 attempted, 0 succeeded (0.00 s)

 Proof summary for theory coalition_fun
    coalition_fun_TCC1....................proved - complete   [shostak](0.03 s)
    subsets_are_finite....................proved - complete   [shostak](0.13 s)
    tot_S_0...............................proved - incomplete [shostak](0.03 s)
    tot_distrib...........................proved - incomplete [shostak](0.04 s)
    tot_mult_const........................proved - incomplete [shostak](0.01 s)
    tot_distrib_sub.......................proved - incomplete [shostak](0.06 s)
    tot_div_const.........................proved - incomplete [shostak](0.06 s)
    Theory totals: 7 formulas, 7 attempted, 7 succeeded (0.36 s)

 Proof summary for theory imputations
    subset_core_I.........................proved - incomplete [shostak](0.02 s)
    subset_I_PI...........................proved - incomplete [shostak](0.06 s)
    subset_PI_FP..........................proved - incomplete [shostak](0.05 s)
    Theory totals: 3 formulas, 3 attempted, 3 succeeded (0.14 s)

 Proof summary for theory tu_game
    solution_concept_TCC1.................proved - incomplete [shostak](0.12 s)
    a_test................................proved - incomplete [shostak](0.01 s)
    test_param............................proved - incomplete [shostak](0.00 s)
    tau_v_TCC1............................proved - complete   [shostak](0.02 s)
    tau_x_TCC1............................proved - complete   [shostak](1.09 s)
    bstar_TCC1............................proved - incomplete [shostak](0.15 s)
    affinestar_TCC1.......................proved - incomplete [shostak](0.20 s)
    interch_impl_desir....................proved - complete   [shostak](0.16 s)
    interch_is_sym........................proved - complete   [shostak](0.15 s)
    DES_implies_ETP.......................proved - incomplete [shostak](0.03 s)
    SIVA_implies_NE.......................proved - incomplete [shostak](0.02 s)
    PO_core...............................proved - incomplete [shostak](0.18 s)
    affine_bij............................proved - complete   [shostak](0.06 s)
    COV_core..............................proved - incomplete [shostak](0.47 s)
    Theory totals: 14 formulas, 14 attempted, 14 succeeded (2.68 s)

Grand Totals: 24 proofs, 24 attempted, 24 succeeded (3.18 s)

[ Dauer der Verarbeitung: 0.97 Sekunden  ]