Query Match #1 Match on: yg/exp_100002.png
Score: 0.1681% Locations: : Admissible_rule:80
Precision: 100.0000%
Query Match #2 Match on: sq/exp_239788.png
Score: 0.1681% Locations: : Dialectica_interpretation:23
Precision: 100.0000%
Query Match #3 Match on: oe/exp_204520.png
Score: 0.1681% Locations: : Skorokhod's_representation_theorem:1
Precision: 75.0000%
Query Match #4 Match on: ec/exp_113674.png
Score: 0.1681% Locations: : Material_conditional:35
Precision: 71.4286%
Query Match #5 Match on: ug/exp_281742.png
Score: 0.1681% Locations: : Exportation_(logic):7
Precision: 71.4286%
Query Match #6 Match on: xl/exp_185833.png
Score: 0.1681% Locations: : Tautology_(logic):19
Precision: 66.6667%
Query Match #7 Match on: iz/exp_286181.png
Score: 0.1681% Locations: : List_of_logic_systems:79, List_of_logic_systems:109
Precision: 66.6667%
Query Match #8 Match on: iy/exp_286180.png
Score: 0.1681% Locations: : List_of_logic_systems:78, List_of_logic_systems:108
Precision: 66.6667%
Query Match #9 Match on: ng/exp_245056.png
Score: 0.1681% Locations: : Item_tree_analysis:3
Precision: 66.6667%
Query Match #10 Match on: jc/exp_77976.png
Score: 0.1681% Locations: : Deduction_theorem:9
Precision: 66.6667%
Query Match #11 Match on: ya/exp_192608.png
Score: 0.1681% Locations: : Diagram_(category_theory):5
Precision: 60.0000%
Query Match #12 Match on: yv/exp_113537.png
Score: 0.1681% Locations: : Markov_decision_process:82
Precision: 60.0000%
Query Match #13 Match on: vl/exp_233101.png
Score: 0.1681% Locations: : Image_functors_for_sheaves:0
Precision: 60.0000%
Query Match #14 Match on: ax/exp_229187.png
Score: 0.1681% Locations: : Paradoxes_of_material_implication:6
Precision: 55.5556%
Query Match #15 Match on: pf/exp_87599.png
Score: 0.1681% Locations: : List_of_rules_of_inference:125
Precision: 55.5556%
Query Match #16 Match on: ja/exp_240214.png
Score: 0.1681% Locations: : Discrete_Morse_theory:63
Precision: 50.0000%
Query Match #17 Match on: ok/exp_170726.png
Score: 0.1681% Locations: : Commutativity_of_conjunction:14
Precision: 50.0000%
Query Match #18 Match on: oj/exp_170725.png
Score: 0.1681% Locations: : Commutativity_of_conjunction:13
Precision: 50.0000%
Query Match #19 Match on: ue/exp_281740.png
Score: 0.1681% Locations: : Exportation_(logic):5
Precision: 50.0000%
Query Match #20 Match on: ci/exp_120388.png
Score: 0.1681% Locations: : Spectrum_(topology):40
Precision: 50.0000%

Total Query Execution Time: 00:00:00.98

Layer 1 (Index Search) Stats
Total Time: 00:00:00.96
Query Pairs: 11
Matching Raw Pairs: 105702 00:00:00.04
Image Pairs: 105702 00:00:00.22
Initial Unique Images: 27288 00:00:00.68
Final Unique Images : 1001 00:00:00.00
Layer 2 (Match Growing) Stats
Total Time: 00:00:00.00
Initial Matches: 0 00:00:00.00
Grown Matches: 0 00:00:00.00
Connected Matches: 0 00:00:00.00
Filtered Matches: 0 00:00:00.00
Joined Matches: 0 00:00:00.00
Layer 3 (Match Grouping) Stats
Total Time: 00:00:00.02
Initial Groups: 1001
Final Groups: 1001