Spracherkennung für: .summary vermutete Sprache: Unknown {[0] [0] [0]} [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.22 Sekunden, vorverarbeitet 2026-04-28]
